Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alexander Sakharov |
One-Counter Automata for Parsing and Language Approximation. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Justin DeBenedetto, David Chiang 0001 |
Algorithms and Training for Weighted Multiset Automata and Regular Expressions. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Joshua Young |
Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yusei Masuda, Shinnosuke Seki, Yuki Ubukata |
Towards the Algorithmic Molecular Self-assembly of Fractals by Cotranscriptional Folding. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Johanna Björklund, Frank Drewes, Anna Jonsson |
A Comparison of Two N-Best Extraction Methods for Weighted Tree Automata. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sylvie Davies |
State Complexity of Reversals of Deterministic Finite Automata with Output. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Oscar H. Ibarra, Ian McQuillan |
Semilinearity of Families of Languages. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Ryzhikov |
Synchronization Problems in Automata Without Non-trivial Cycles. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yo-Sub Han, Sang-Ki Ko |
Alignment Distance of Regular Tree Languages. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Janusz A. Brzozowski, Corwin Sinnamon |
Complexity of Proper Prefix-Convex Regular Languages. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Damien Pous |
CoInductive Automata Algorithms. |
CIAA |
2017 |
DBLP BibTeX RDF |
|
1 | Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman |
Computational Completeness of Path-Structured Graph-Controlled Insertion-Deletion Systems. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Gerdjikov, Stoyan Mihov, Klaus U. Schulz |
A Simple Method for Building Bimachines from Functional Finite-State Transducers. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Cortier |
Electronic Voting: How Logic Can Help. |
CIAA |
2017 |
DBLP BibTeX RDF |
|
1 | Marek Szykula, John Wittnebel |
Syntactic Complexity of Bifix-Free Languages. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Berglund, Brink van der Merwe, Bruce W. Watson, Nicolaas Weideman |
On the Semantics of Atomic Subgroups in Practical Regular Expressions. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Massazza |
On the Conjecture ℒDFCM ⊊ RCM. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson |
On the Complexity of Determinizing Monitors. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg |
Stamina: Stabilisation Monoids in Automata Theory. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen |
Timed and Untimed Energy Games. |
CIAA |
2017 |
DBLP BibTeX RDF |
|
1 | Arnaud Carayol, Cyril Nicaud (eds.) |
Implementation and Application of Automata - 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ferens, Marek Szykula |
Complexity of Bifix-Free Regular Languages. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michal Hospodár, Galina Jirásková, Peter Mlynárcik |
Nondeterministic Complexity of Operations on Free and Convex Languages. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
Transducing Reversibly with Finite State Machines. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Cauli, Nir Piterman |
Equivalence of Probabilistic \mu -Calculus and p-Automata. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Louis-Marie Dando, Sylvain Lombardy |
From Hadamard Expressions to Weighted Rotating Automata and Back. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Henning Bordihn, Markus Holzer 0001 |
On the Number of Active States in Deterministic and Nondeterministic Finite Automata. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Björklund, Johanna Björklund, Petter Ericson |
On the Regularity and Learnability of Ordered DAG Languages. |
CIAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Qichao Wang, Friedrich Otto |
Weighted Restarting Automata as Language Acceptors. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Markus Teichmann |
Regular Approximation of Weighted Linear Nondeleting Context-Free Tree Languages. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Prusa |
Complexity of Sets of Two-Dimensional Patterns. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bakhadyr Khoussainov, Jiamou Liu |
Decision Problems for Finite Automata over Infinite Algebraic Structures. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Jirásek Jr., Juraj Sebej |
Kuratowski Algebras Generated by Prefix-Free Languages. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Andreas Krebs |
Problems on Finite Automata and the Exponential Time Hypothesis. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Waszczuk, Agata Savary, Yannick Parmentier 0001 |
Enhancing Practical TAG Parsing Efficiency by Capturing Redundancy. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Calvo-Zaragoza, Colin de la Higuera, José Oncina |
Computing the Expected Edit Distance from a String to a PFA. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Suna Bensch, Johanna Björklund, Martin Kutrib |
Deterministic Stack Transducers. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandrs Belovs, J. Andres Montoya, Abuzer Yakaryilmaz |
Looking for Pairs that Hard to Separate: A Quantum Approach. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Ng 0001 |
Prefix Distance Between Regular Languages. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shinnosuke Seki, Andrew Winslow |
The Complexity of Fixed-Height Patterned Tile Self-assembly. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Di Stasio 0001, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi |
Solving Parity Games Using an Automata-Based Algorithm. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Emil Lerner |
On Synchronizing Automata and Uniform Distribution. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Akio Fujiyoshi |
A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of Tree-Width 2 for Spanning Tree Automata. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Kenny Zhuo Ming Lu |
Derivative-Based Diagnosis of Regular Expression Ambiguity. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik |
Ternary Equational Languages. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christos A. Kapoutsis, Lamana Mulaffer |
A Logical Characterization of Small 2NFAs. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert Glück |
A Practical Simulation Result for Two-Way Pushdown Automata. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nicolaas Weideman, Brink van der Merwe, Martin Berglund, Bruce W. Watson |
Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michal Hospodár, Galina Jirásková, Peter Mlynárcik |
Nondeterministic Complexity of Operations on Closed and Ideal Languages. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Kisielewicz 0001, Jakub Kowalski, Marek Szykula |
Experiments with Synchronizing Automata. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Holger Bock Axelsen, Markus Holzer 0001, Martin Kutrib |
The Degree of Irreversibility in Deterministic Finite Automata. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oscar H. Ibarra, Ian McQuillan |
On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 |
Derivatives for Enhanced Regular Expressions. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Akim Demaille |
Derived-Term Automata of Multitape Rational Expressions. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Konstantinidis, Casey Meijer, Nelma Moreira, Rogério Reis |
Implementation of Code Properties via Transducers. |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yo-Sub Han, Kai Salomaa (eds.) |
Implementation and Application of Automata - 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings |
CIAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Abejide Ade-Ibijola, Sigrid Ewert, Ian Douglas Sanders |
Introducing Code Adviser: A DFA-driven Electronic Programming Tutor. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Berglund, Brink van der Merwe |
On the Semantics of Regular Expression Parsing in the Wild. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Prusa |
(Un)decidability of the Emptiness Problem for Multi-dimensional Context-Free Grammars. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Dang, Dmitry Dementyev, Thomas R. Fischer, William J. Hutton III |
Security of Numerical Sensors in Automata. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Ng 0001, David Rappaport, Kai Salomaa |
State Complexity of Prefix Distance. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Cyrille Héam, Jean-Luc Joly |
Random Generation and Enumeration of Accessible Deterministic Real-Time Pushdown Automata. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Natalia Kushik, Nina Yevtushenko 0001 |
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Matthias Wendlandt |
Expressive Capacity of Concatenation Freeness. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mehryar Mohri, Michael D. Riley |
On the Disambiguation of Weighted Automata. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mans Hulden |
From Two-Way to One-Way Finite Automata - Three Regular Expression-Based Methods. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti |
From Ambiguous Regular Expressions to Deterministic Parsing Automata. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Broda, Sílvia Cavadas, Miguel Ferreira, Nelma Moreira |
Deciding Synchronous Kleene Algebra with Derivatives. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Nakanishi, Abuzer Yakaryilmaz |
Classical and Quantum Counter Automata on Promise Problems. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele Giaquinta |
Run-Length Encoded Nondeterministic KMP and Suffix Automata. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bruce W. Watson |
Hardware Implementations of Finite Automata and Regular Expressions - Extended Abstract. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Cyrille Héam, Jean-Luc Joly |
On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir V. Gusev, Marek Szykula |
On the Number of Synchronizing Colorings of Digraphs. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marek Szykula |
Checking Whether an Automaton Is Monotonic Is NP-complete. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Meenakshi Paramasivan, Markus L. Schmid |
Jumping Finite Automata: Characterizations and Complexity. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Caron, Ludovic Mignot, Clément Miklarz |
On the Hierarchy of Block Deterministic Languages. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes (eds.) |
Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig |
Automata and Logics for Concurrent Systems: Five Models in Five Pages. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hoffmann 0001, Ludwig Staiger |
Subword Metrics for Infinite Words. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns |
Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz Madejski |
The Membership Problem for Linear and Regular Permutation Languages. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti |
BSP: A Parsing Tool for Ambiguous Regular Expressions. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hermann Gruber, Markus Holzer 0001, Sebastian Jakobi |
More on Deterministic and Nondeterministic Finite Cover Automata - Extended Abstract. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pighizzini |
Investigations on Automata and Languages over a Unary Alphabet. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marzio De Biasi, Abuzer Yakaryilmaz |
Unary Languages Recognized by Two-Way One-Counter Automata. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jibran Rashid, Abuzer Yakaryilmaz |
Implications of Quantum Automata for Contextuality. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Otto |
Restarting Automata for Picture Languages: A Survey on Recent Developments. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eva Maia, Nelma Moreira, Rogério Reis |
Partial Derivative and Position Bisimilarity Automata. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Abiel Roche-Lima, Michael Domaratzki, Brian Fristensky |
Pairwise Rational Kernels Obtained by Automaton Operations. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Osterholzer |
Pushdown Machines for Weighted Context-Free Tree Translation. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sang-Ki Ko, Yo-Sub Han |
Left is Better than Right for Reducing Nondeterminism of NFAs. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch |
A Type System for Weighted Automata and Rational Expressions. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Janusz A. Brzozowski, Marek Szykula |
Large Aperiodic Semigroups. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Maletti |
The Power of Regularity-Preserving Multi Bottom-up Tree Transducers. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Petr Kurka, Tomás Vávra |
Analytic Functions Computable by Finite State Transducers. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ivone Amorim, António Machiavelo, Rogério Reis |
Counting Equivalent Linear Finite Transducers Using a Canonical Form. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Ch. Sirakoulis |
Cellular Automata for Crowd Dynamics. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Martin Kutrib (eds.) |
Implementation and Application of Automata - 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bianchi, Carlo Mereghetti, Beatrice Palano |
On the Power of One-Way Automata with Quantum and Classical States. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Akio Fujiyoshi |
Recognition of Labeled Multidigraphs by Spanning Tree Automata. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|