Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 147258 results
Sort by: relevance publication year

Efficient determinization of visibly and height-deterministic pushdown automata

JOURNAL ARTICLE published November 2016 in Computer Languages, Systems & Structures

Authors: Radomír Polách | Jan Trávníček | Jan Janoušek | Bořivoj Melichar

https://doi.org/10.1016/j.cl.2016.07.005 Actions

On regular tree languages and deterministic pushdown automata

JOURNAL ARTICLE published November 2009 in Acta Informatica

Authors: Jan Janoušek | Bořivoj Melichar

https://doi.org/10.1007/s00236-009-0104-9 Actions

Mathematical and Engineering Methods in Computer Science

BOOK published 2012 in Lecture Notes in Computer Science

Editors: Zdeněk Kotásek | Jan Bouda | Ivana Černá | Lukáš Sekanina | Tomáš Vojnar | David Antoš

https://doi.org/10.1007/978-3-642-25929-6 Actions

Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives

BOOK CHAPTER published 2012 in Mathematical and Engineering Methods in Computer Science

Authors: Krishnendu Chatterjee | Laurent Doyen

https://doi.org/10.1007/978-3-642-25929-6_3 Actions

A New Algorithm for the Determinisation of Visibly Pushdown Automata

PROCEEDINGS ARTICLE published 11 October 2015 in Annals of Computer Science and Information Systems

Authors: Radomír Polách | Jan Travniček | Jan Janoušek | Bořivoj Melichar

https://doi.org/10.15439/2015f325 Actions

Tree Template Matching in Ranked Ordered Trees by Pushdown Automata

BOOK CHAPTER published 2011 in Implementation and Application of Automata

Authors: Tomáš Flouri | Jan Janoušek | Bořivoj Melichar | Costas S. Iliopoulos | Solon P. Pissis

https://doi.org/10.1007/978-3-642-22256-6_25 Actions

Subtree matching by deterministic pushdown automata

PROCEEDINGS ARTICLE published October 2009 in 2009 International Multiconference on Computer Science and Information Technology

Authors: Tomas Flouri | Borivoj Melichar | J. Janousek

https://doi.org/10.1109/imcsit.2009.5352769 Actions

Steiner Tree 1.39-Approximation in Practice

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Stephan Beyer | Markus Chimani

https://doi.org/10.1007/978-3-319-14896-0_6 Actions

A Full and Linear Index of a Tree for Tree Patterns

BOOK CHAPTER published 2014 in Descriptional Complexity of Formal Systems

Authors: Jan Janoušek | Bořivoj Melichar | Radomír Polách | Martin Poliak | Jan Trávníček

https://doi.org/10.1007/978-3-319-09704-6_18 Actions

Quicksort and Large Deviations

BOOK CHAPTER published 2013 in Mathematical and Engineering Methods in Computer Science

Authors: Colin McDiarmid

https://doi.org/10.1007/978-3-642-36046-6_5 Actions

Deterministic automata for extended regular expressions

JOURNAL ARTICLE published 20 December 2017 in Open Computer Science

Authors: Mirzakhmet Syzdykov

https://doi.org/10.1515/comp-2017-0004 Actions

Non-Deterministic Finite State Automata as Termites Swarm Agent Model

PROCEEDINGS ARTICLE published 2017 in Proceedings of 2017 the 7th International Workshop on Computer Science and Engineering

https://doi.org/10.18178/wcse.2017.06.055 Actions

Today’s Challenges for Embedded ASR

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Jozef Ivanecký | Stephan Mehlhase

https://doi.org/10.1007/978-3-319-14896-0_2 Actions

Security for Cyber-Physical Systems

BOOK CHAPTER published 2013 in Mathematical and Engineering Methods in Computer Science

Authors: Dieter Gollmann

https://doi.org/10.1007/978-3-642-36046-6_2 Actions

Mathematical and Engineering Methods in Computer Science

BOOK published 2013 in Lecture Notes in Computer Science

Editors: Antonín Kučera | Thomas A. Henzinger | Jaroslav Nešetřil | Tomáš Vojnar | David Antoš

https://doi.org/10.1007/978-3-642-36046-6 Actions

3D Model-Based Segmentation of 3D Biomedical Images

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Stefan Wörz

https://doi.org/10.1007/978-3-319-14896-0_4 Actions

Automating Software Analysis at Large Scale

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Daniel Kroening | Michael Tautschnig

https://doi.org/10.1007/978-3-319-14896-0_3 Actions

Tree template matching in ranked ordered trees by pushdown automata

JOURNAL ARTICLE published December 2012 in Journal of Discrete Algorithms

Authors: Tomáš Flouri | Costas S. Iliopoulos | Jan Janoušek | Bořivoj Melichar | Solon P. Pissis

https://doi.org/10.1016/j.jda.2012.10.003 Actions

From regular expressions to deterministic automata

JOURNAL ARTICLE published 1986 in Theoretical Computer Science

Authors: Gerard Berry | Ravi Sethi

https://doi.org/10.1016/0304-3975(86)90088-5 Actions

Aho-Corasick like multiple subtree matching by pushdown automata

PROCEEDINGS ARTICLE published 22 March 2010 in Proceedings of the 2010 ACM Symposium on Applied Computing

Research funded by Czech Science Foundation (201/09/0807) | Ministry of Education, Youth and Sports (MSM 6840770014)

Authors: Tomáš Flouri | Bořivoj Melichar | Jan Janoušek

https://doi.org/10.1145/1774088.1774543 Actions
Feedback: support@crossref.org