The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CIAA"( http://dblp.L3S.de/Venues/CIAA )

URL (DBLP): http://dblp.uni-trier.de/db/conf/wia

Publication years (Num. hits)
2000 (35) 2001 (25) 2002 (34) 2003 (35) 2004 (42) 2005 (36) 2006 (34) 2007 (35) 2008 (31) 2009 (33) 2010 (34) 2011 (29) 2012 (34) 2013 (32) 2014 (26) 2015 (27) 2016 (28) 2017 (21) 2018 (28)
Publication types (Num. hits)
inproceedings(580) proceedings(19)
Venues (Conferences, Journals, ...)
CIAA(599)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 115 occurrences of 90 keywords

Results
Found 599 publication records. Showing 599 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Yusei Masuda, Shinnosuke Seki, Yuki Ubukata Towards the Algorithmic Molecular Self-assembly of Fractals by Cotranscriptional Folding. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Kutrib, Andreas Malcher, Matthias Wendlandt Boosting Pushdown and Queue Machines by Preprocessing. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cyril Allauzen, Michael D. Riley Algorithms for Weighted Finite Automata with Failure Transitions. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oscar H. Ibarra, Ian McQuillan Semilinearity of Families of Languages. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laurent Bartholdi, Thibault Godin, Ines Klimann, Matthieu Picantin A New Hierarchy for Automaton Semigroups. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sylvain Lombardy, Jacques Sakarovitch Two Routes to Automata Minimization and the Ways to Reach It Efficiently. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi Solving Parity Games: Explicit vs Symbolic. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Justin DeBenedetto, David Chiang 0001 Algorithms and Training for Weighted Multiset Automata and Regular Expressions. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mikhail V. Berlinkov, Cyril Nicaud Synchronizing Random Almost-Group Automata. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johanna Björklund, Frank Drewes, Anna Jonsson A Comparison of Two N-Best Extraction Methods for Weighted Tree Automata. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cezar Câmpeanu (eds.) Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anne Condon On Design and Analysis of Chemical Reaction Network Algorithms. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Gerdjikov Generalised Twinning Property. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuki Nozaki, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara Enumeration of Cryptarithms Using Deterministic Finite Automata. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Joshua Young Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Samira Attou, Ludovic Mignot, Djelloul Ziadi The Bottom-Up Position Tree Automaton and Its Compact Version. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Janusz A. Brzozowski, Lila Kari, Bai Li, Marek Szykula State Complexity of Overlap Assembly. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Sakharov One-Counter Automata for Parsing and Language Approximation. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sylvain Lombardy, Jacques Sakarovitch The Validity of Weighted Automata. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sylvie Davies State Complexity of Reversals of Deterministic Finite Automata with Output. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Cognetta, Yo-Sub Han Online Stochastic Pattern Matching. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jozef Jirásek 0002, Galina Jirásková The Exact Complexity of Star-Complement-Star. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero Non-self-embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Birzhan Moldagaliyev, Ludwig Staiger, Frank Stephan 0001 On the Values for Factor Complexity. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michal Hospodár, Markus Holzer 0001 The Ranges of Accepting State Complexities of Languages Resulting From Some Operations. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Kutrib, Matthias Wendlandt Parametrizing String Assembling Systems. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Corwin Sinnamon Complexity of Proper Suffix-Convex Regular Languages. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shubh Narayan Singh, Kanduru V. Krishna On Syntactic Complexity of Circular Semi-flower Automata. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo Massazza On the Conjecture ℒDFCM ⊊ RCM. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Kutrib, Andreas Malcher, Matthias Wendlandt Transducing Reversibly with Finite State Machines. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen Timed and Untimed Energy Games. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  BibTeX  RDF
1Janusz A. Brzozowski, Corwin Sinnamon Complexity of Proper Prefix-Convex Regular Languages. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yo-Sub Han, Sang-Ki Ko Alignment Distance of Regular Tree Languages. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Damien Pous CoInductive Automata Algorithms. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  BibTeX  RDF
1Andrew Ryzhikov Synchronization Problems in Automata Without Non-trivial Cycles. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Berglund, Brink van der Merwe, Bruce Watson, Nicolaas Weideman On the Semantics of Atomic Subgroups in Practical Regular Expressions. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Claudia Cauli, Nir Piterman Equivalence of Probabilistic \mu -Calculus and p-Automata. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marek Szykula, John Wittnebel Syntactic Complexity of Bifix-Free Languages. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan Gerdjikov, Stoyan Mihov, Klaus U. Schulz A Simple Method for Building Bimachines from Functional Finite-State Transducers. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Henrik Björklund, Johanna Björklund, Petter Ericson On the Regularity and Learnability of Ordered DAG Languages. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Véronique Cortier Electronic Voting: How Logic Can Help. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  BibTeX  RDF
1Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson On the Complexity of Determinizing Monitors. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg Stamina: Stabilisation Monoids in Automata Theory. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arnaud Carayol, Cyril Nicaud (eds.) Implementation and Application of Automata - 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Robert Ferens, Marek Szykula Complexity of Bifix-Free Regular Languages. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michal Hospodár, Galina Jirásková, Peter Mlynárcik Nondeterministic Complexity of Operations on Free and Convex Languages. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Louis-Marie Dando, Sylvain Lombardy From Hadamard Expressions to Weighted Rotating Automata and Back. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Henning Bordihn, Markus Holzer 0001 On the Number of Active States in Deterministic and Nondeterministic Finite Automata. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman Computational Completeness of Path-Structured Graph-Controlled Insertion-Deletion Systems. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi Solving Parity Games Using an Automata-Based Algorithm. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jorge Calvo-Zaragoza, Colin de la Higuera, José Oncina Computing the Expected Edit Distance from a String to a PFA. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Prusa Complexity of Sets of Two-Dimensional Patterns. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Akio Fujiyoshi A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of Tree-Width 2 for Spanning Tree Automata. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Robert Glück A Practical Simulation Result for Two-Way Pushdown Automata. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrzej Kisielewicz, Jakub Kowalski, Marek Szykula Experiments with Synchronizing Automata. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Akim Demaille Derived-Term Automata of Multitape Rational Expressions. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zoltán Ésik Ternary Equational Languages. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jozef Jirásek Jr., Juraj Sebej Kuratowski Algebras Generated by Prefix-Free Languages. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Sulzmann, Kenny Zhuo Ming Lu Derivative-Based Diagnosis of Regular Expression Ambiguity. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Holger Bock Axelsen, Markus Holzer 0001, Martin Kutrib The Degree of Irreversibility in Deterministic Finite Automata. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jakub Waszczuk, Agata Savary, Yannick Parmentier 0001 Enhancing Practical TAG Parsing Efficiency by Capturing Redundancy. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Markus Teichmann Regular Approximation of Weighted Linear Nondeleting Context-Free Tree Languages. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Emil Lerner On Synchronizing Automata and Uniform Distribution. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Derivatives for Enhanced Regular Expressions. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Aleksandrs Belovs, J. Andres Montoya, Abuzer Yakaryilmaz Looking for Pairs that Hard to Separate: A Quantum Approach. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yo-Sub Han, Kai Salomaa (eds.) Implementation and Application of Automata - 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Suna Bensch, Johanna Björklund, Martin Kutrib Deterministic Stack Transducers. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stavros Konstantinidis, Casey Meijer, Nelma Moreira, Rogério Reis Implementation of Code Properties via Transducers. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bakhadyr Khoussainov, Jiamou Liu Decision Problems for Finite Automata over Infinite Algebraic Structures. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christos A. Kapoutsis, Lamana Mulaffer A Logical Characterization of Small 2NFAs. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicolaas Weideman, Brink van der Merwe, Martin Berglund, Bruce Watson Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Qichao Wang, Friedrich Otto Weighted Restarting Automata as Language Acceptors. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Timothy Ng 0001 Prefix Distance Between Regular Languages. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oscar H. Ibarra, Ian McQuillan On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shinnosuke Seki, Andrew Winslow The Complexity of Fixed-Height Patterned Tile Self-assembly. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Andreas Krebs Problems on Finite Automata and the Exponential Time Hypothesis. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michal Hospodár, Galina Jirásková, Peter Mlynárcik Nondeterministic Complexity of Operations on Closed and Ideal Languages. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Berglund, Brink van der Merwe On the Semantics of Regular Expression Parsing in the Wild. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Timothy Ng 0001, David Rappaport, Kai Salomaa State Complexity of Prefix Distance. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emanuele Giaquinta Run-Length Encoded Nondeterministic KMP and Suffix Automata. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Masaki Nakanishi, Abuzer Yakaryilmaz Classical and Quantum Counter Automata on Promise Problems. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mans Hulden From Two-Way to One-Way Finite Automata - Three Regular Expression-Based Methods. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Abhijin 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. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sabine Broda, Sílvia Cavadas, Miguel Ferreira, Nelma Moreira Deciding Synchronous Kleene Algebra with Derivatives. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pascal Caron, Ludovic Mignot, Clément Miklarz On the Hierarchy of Block Deterministic Languages. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benedikt Bollig Automata and Logics for Concurrent Systems: Five Models in Five Pages. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Kutrib, Matthias Wendlandt Expressive Capacity of Concatenation Freeness. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Natalia Kushik, Nina Yevtushenko Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marek Szykula Checking Whether an Automaton Is Monotonic Is NP-complete. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Prusa (Un)decidability of the Emptiness Problem for Multi-dimensional Context-Free Grammars. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti From Ambiguous Regular Expressions to Deterministic Parsing Automata. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Meenakshi Paramasivan, Markus L. Schmid Jumping Finite Automata: Characterizations and Complexity. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhe Dang, Dmitry Dementyev, Thomas R. Fischer, William J. Hutton III Security of Numerical Sensors in Automata. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Grzegorz Madejski The Membership Problem for Linear and Regular Permutation Languages. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vladimir V. Gusev, Marek Szykula On the Number of Synchronizing Colorings of Digraphs. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Abejide Ade-Ibijola, Sigrid Ewert, Ian Douglas Sanders Introducing Code Adviser: A DFA-driven Electronic Programming Tutor. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hermann Gruber, Markus Holzer 0001, Sebastian Jakobi More on Deterministic and Nondeterministic Finite Cover Automata - Extended Abstract. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bruce W. Watson Hardware Implementations of Finite Automata and Regular Expressions - Extended Abstract. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pierre-Cyrille Héam, Jean-Luc Joly Random Generation and Enumeration of Accessible Deterministic Real-Time Pushdown Automata. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefan Hoffmann 0001, Ludwig Staiger Subword Metrics for Infinite Words. Search on Bibsonomy CIAA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 599 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license