CIAA C

27 papers

YearTitle / Authors
2015(Un)decidability of the Emptiness Problem for Multi-dimensional Context-Free Grammars.
Daniel Prusa
2015Automata and Logics for Concurrent Systems: Five Models in Five Pages.
Benedikt Bollig
2015BSP: A Parsing Tool for Ambiguous Regular Expressions.
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2015Checking Whether an Automaton Is Monotonic Is NP-complete.
Marek Szykula
2015Classical and Quantum Counter Automata on Promise Problems.
Masaki Nakanishi, Abuzer Yakaryilmaz
2015Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems.
Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2015Deciding Synchronous Kleene Algebra with Derivatives.
Sabine Broda, Sílvia Cavadas, Miguel Ferreira, Nelma Moreira
2015Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata.
Natalia Kushik, Nina Yevtushenko
2015Expressive Capacity of Concatenation Freeness.
Martin Kutrib, Matthias Wendlandt
2015From Ambiguous Regular Expressions to Deterministic Parsing Automata.
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2015From Two-Way to One-Way Finite Automata - Three Regular Expression-Based Methods.
Mans Hulden
2015Hardware Implementations of Finite Automata and Regular Expressions - Extended Abstract.
Bruce W. Watson
2015Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
Frank Drewes
2015Introducing Code Adviser: A DFA-driven Electronic Programming Tutor.
Abejide Ade-Ibijola, Sigrid Ewert, Ian Douglas Sanders
2015Jumping Finite Automata: Characterizations and Complexity.
Henning Fernau, Meenakshi Paramasivan, Markus L. Schmid
2015More on Deterministic and Nondeterministic Finite Cover Automata - Extended Abstract.
Hermann Gruber, Markus Holzer, Sebastian Jakobi
2015On the Disambiguation of Weighted Automata.
Mehryar Mohri, Michael D. Riley
2015On the Hierarchy of Block Deterministic Languages.
Pascal Caron, Ludovic Mignot, Clément Miklarz
2015On the Number of Synchronizing Colorings of Digraphs.
Vladimir V. Gusev, Marek Szykula
2015On the Semantics of Regular Expression Parsing in the Wild.
Martin Berglund, Brink van der Merwe
2015On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism.
Pierre-Cyrille Héam, Jean-Luc Joly
2015Random Generation and Enumeration of Accessible Deterministic Real-Time Pushdown Automata.
Pierre-Cyrille Héam, Jean-Luc Joly
2015Run-Length Encoded Nondeterministic KMP and Suffix Automata.
Emanuele Giaquinta
2015Security of Numerical Sensors in Automata.
Zhe Dang, Dmitry Dementyev, Thomas R. Fischer, William J. Hutton III
2015State Complexity of Prefix Distance.
Timothy Ng, David Rappaport, Kai Salomaa
2015Subword Metrics for Infinite Words.
Stefan Hoffmann, Ludwig Staiger
2015The Membership Problem for Linear and Regular Permutation Languages.
Grzegorz Madejski