Search results for "CIAA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Marcella Anselmo, Maria Madonia	Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata .	CIAA	2005	DBLP DOI BibTeX RDF
1	Oscar H. Ibarra, Hsu-Chun Yen	On Deterministic Catalytic Systems.	CIAA	2005	DBLP DOI BibTeX RDF
1	Joachim Klein 0001, Christel Baier	Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic.	CIAA	2005	DBLP DOI BibTeX RDF
1	Jacques Sakarovitch	The Language, the Expression, and the (Small) Automaton.	CIAA	2005	DBLP DOI BibTeX RDF
1	Markus Lohrey, Sebastian Maneth	Tree Automata and XPath on Compressed Trees.	CIAA	2005	DBLP DOI BibTeX RDF
1	Antonio Cano, Pedro García 0001	Finite Automata and Unions of Regular Patterns with Bounded Constant Segments.	CIAA	2005	DBLP DOI BibTeX RDF
1	José João Morais, Nelma Moreira, Rogério Reis	Acyclic Automata with Easy-to-Find Short Regular Expressions.	CIAA	2005	DBLP DOI BibTeX RDF
1	German Tischler	Parametric Weighted Finite Automata for Figure Drawing.	CIAA	2004	DBLP DOI BibTeX RDF
1	Vladimir A. Zakharov, Ivan Zakharyaschev	On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata.	CIAA	2004	DBLP DOI BibTeX RDF
1	Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu 0001 (eds.)	Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers	CIAA	2004	DBLP DOI BibTeX RDF
1	Björn Borchardt	Code Selection by Tree Series Transducers.	CIAA	2004	DBLP DOI BibTeX RDF
1	Manuel Vilares Ferro, Juan Otero, Jorge Graña Gil	Regional Finite-State Error Repair.	CIAA	2004	DBLP DOI BibTeX RDF
1	Jean-Michel Couvreur	A BDD-Like Implementation of an Automata Package.	CIAA	2004	DBLP DOI BibTeX RDF
1	Zeshan Peng, H. F. Ting	Time and Space Efficient Algorithms for Constrained Sequence Alignment.	CIAA	2004	DBLP DOI BibTeX RDF
1	Wojciech Debski, Wojciech Fraczak	Concatenation State Machines and Simple Functions.	CIAA	2004	DBLP DOI BibTeX RDF
1	Baozhen Shan	Stochastic Context-Free Graph Grammars for Glycoprotein Modelling.	CIAA	2004	DBLP DOI BibTeX RDF
1	Cyril Allauzen, Mehryar Mohri, Brian Roark	A General Weighted Grammar Library.	CIAA	2004	DBLP DOI BibTeX RDF
1	Michiel Frishert, Loek G. Cleophas, Bruce W. Watson	FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views.	CIAA	2004	DBLP DOI BibTeX RDF
1	Yonghua Han, Bin Ma 0002, Kaizhong Zhang	An Automata Approach to Match Gapped Sequence Tags Against Protein Database.	CIAA	2004	DBLP DOI BibTeX RDF
1	Lynette van Zijl	Magic Numbers for Symmetric Difference NFAs.	CIAA	2004	DBLP DOI BibTeX RDF
1	Mark G. Eramian, Matthew Drotar	Does Hausdorff Dimension Measure Texture Complexity?.	CIAA	2004	DBLP DOI BibTeX RDF
1	Liliana Cojocaru	Simulating the Process of Gene Assembly in Ciliates.	CIAA	2004	DBLP DOI BibTeX RDF
1	Yo-Sub Han, Derick Wood	The Generalization of Generalized Automata: Expression Automata.	CIAA	2004	DBLP DOI BibTeX RDF
1	Gaoyan Xie, Cheng Li, Zhe Dang	Testability of Oracle Automata.	CIAA	2004	DBLP DOI BibTeX RDF
1	Jean-Marc Champarnaud, Florent Nicart, Djelloul Ziadi	Computing the Follow Automaton of an Expression.	CIAA	2004	DBLP DOI BibTeX RDF
1	Aneta Binder, Rudolf Freund, Georg Lojka, Marion Oswald	Implementation of Catalytic P Systems.	CIAA	2004	DBLP DOI BibTeX RDF
1	Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema	Finding Finite Automata That Certify Termination of String Rewriting.	CIAA	2004	DBLP DOI BibTeX RDF
1	Lila Kari, Stavros Konstantinidis, Petr Sosík	Substitutions, Trajectories and Noisy Channels.	CIAA	2004	DBLP DOI BibTeX RDF
1	Henning Bordihn, Markus Holzer 0001, Martin Kutrib	Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages.	CIAA	2004	DBLP DOI BibTeX RDF
1	Manuel Delgado 0001, José Morais	Approximation to the Smallest Regular Expression for a Given Regular Language.	CIAA	2004	DBLP DOI BibTeX RDF
1	Andreas Maletti	Myhill-Nerode Theorem for Sequential Transducers over Unique GCD-Monoids.	CIAA	2004	DBLP DOI BibTeX RDF
1	Jean Berstel, Olivier Carton	On the Complexity of Hopcroft's State Minimization Algorithm.	CIAA	2004	DBLP DOI BibTeX RDF
1	Sebastian John	Minimal Unambiguous eNFA.	CIAA	2004	DBLP DOI BibTeX RDF
1	Michiel Frishert, Bruce W. Watson	Combining Regular Expressions with (Near-)Optimal Brzozowski Automata.	CIAA	2004	DBLP DOI BibTeX RDF
1	Anssi Yli-Jyrä	Approximating Dependency Grammars Through Intersection of Regular Languages.	CIAA	2004	DBLP DOI BibTeX RDF
1	Bryan Krawetz, John Lawrence, Jeffrey O. Shallit	State Complexity and the Monoid of Transformations of a Finite Set.	CIAA	2004	DBLP DOI BibTeX RDF
1	Attila Egri-Nagy, Chrystopher L. Nehaniv	Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory.	CIAA	2004	DBLP DOI BibTeX RDF
1	Jozef Jirásek 0001, Galina Jirásková, Alexander Szabari	State Complexity of Concatenation and Complementation of Regular Languages.	CIAA	2004	DBLP DOI BibTeX RDF
1	Hellis Tamm, Matti Nykänen, Esko Ukkonen	Size Reduction of Multitape Automata.	CIAA	2004	DBLP DOI BibTeX RDF
1	Mark Daley, Ian McQuillan	Viral Gene Compression: Complexity and Verification.	CIAA	2004	DBLP DOI BibTeX RDF
1	Oscar H. Ibarra	Automata-Theoretic Techniques for Analyzing Infinite-State Systems.	CIAA	2004	DBLP DOI BibTeX RDF
1	Tomás Polcar, Borivoj Melichar	Two-Dimensional Pattern Matching by Two-Dimensional Online Tessellation Automata.	CIAA	2004	DBLP DOI BibTeX RDF
1	Libor Polák	Minimalizations of NFA Using the Universal Automaton.	CIAA	2004	DBLP DOI BibTeX RDF
1	Jonathan Lee 0005, Jeffrey O. Shallit	Enumerating Regular Expressions and Their Languages.	CIAA	2004	DBLP DOI BibTeX RDF
1	Cezar Câmpeanu, Andrei Paun	Tight Bounds for NFA to DFCA Transformations for Binary Alphabets.	CIAA	2004	DBLP DOI BibTeX RDF
1	Harumichi Nishimura, Tomoyuki Yamakami	An Application of Quantum Finite Automata to Interactive Proof Systems.	CIAA	2004	DBLP DOI BibTeX RDF	quantum finite automaton, quantum interactive proof system, quantum measurement, quantum circuit
1	Mathieu Giraud, Dominique Lavenier	Linear Encoding Scheme for Weighted Finite Automata.	CIAA	2004	DBLP DOI BibTeX RDF
1	Jean-Marc Champarnaud, Fabien Coulon, Thomas Paranthoën	Brute Force Determinization of NFAs by Means of State Covers.	CIAA	2004	DBLP DOI BibTeX RDF
1	Denis Lugiez	From Automata to Semilinear Sets: A Logical Solution for Sets L(C, P).	CIAA	2004	DBLP DOI BibTeX RDF
1	Avraham Trakhtman	Reducing the Time Complexity of Testing for Local Threshold Testability.	CIAA	2003	DBLP DOI BibTeX RDF	threshold locally testable, algorithm, graph, Automaton
1	Juhani Karhumäki	Automata on Words.	CIAA	2003	DBLP DOI BibTeX RDF
1	Nico Wallmeier, Patrick Hütten, Wolfgang Thomas	Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications.	CIAA	2003	DBLP DOI BibTeX RDF
1	Borivoj Melichar, Tomás Polcar	The Longest Common Subsequence Problem A Finite Automata Approach.	CIAA	2003	DBLP DOI BibTeX RDF
1	José M. Castaño	LR Parsing for Global Index Languages (GILs).	CIAA	2003	DBLP DOI BibTeX RDF
1	Tsai-Hung Fan, Shufen Lee, Hsueh-I Lu, Tsung-Shan Tsou, Tsai-Cheng Wang, Adam Yao	An Optimal Algorithm for Maximum-Sum Segment and Its Application in Bioinformatics Extended Abstract.	CIAA	2003	DBLP DOI BibTeX RDF
1	Nathan Preston, Mukkai S. Krishnamoorthy	AVA: An Applet for Visualizing FRACTRAN and Other Automata.	CIAA	2003	DBLP DOI BibTeX RDF
1	Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie	Preliminary Experiments in Hardcoding Finite Automata.	CIAA	2003	DBLP DOI BibTeX RDF
1	Franck Guingne, André Kempe, Florent Nicart	Running Time Complexity of Printing an Acyclic Automaton.	CIAA	2003	DBLP DOI BibTeX RDF
1	Klaus Sutner	The Ehrenfeucht-Mycielski Sequence.	CIAA	2003	DBLP DOI BibTeX RDF
1	Sylvain Lombardy, Raphael Poss, Yann Régis-Gianas, Jacques Sakarovitch	Introducing VAUCANSON.	CIAA	2003	DBLP DOI BibTeX RDF
1	Haruo Hosoya, Makoto Murata	Boolean Operations for Attribute-Element Constraints.	CIAA	2003	DBLP DOI BibTeX RDF
1	Robert Kelly, Julie Carson-Berndsen	Computational Linguistic Motivations for a Finite-State Machine Hierarchy.	CIAA	2003	DBLP DOI BibTeX RDF
1	Farn Wang, Hsu-Chun Yen	Timing Parameter Characterization of Real-Time Systems.	CIAA	2003	DBLP DOI BibTeX RDF
1	Cyril Allauzen, Mehryar Mohri	An Efficient Pre-determinization Algorithm.	CIAA	2003	DBLP DOI BibTeX RDF
1	Akihiko Tozawa, Masami Hagiya	XML Schema Containment Checking Based on Semi-implicit Techniques.	CIAA	2003	DBLP DOI BibTeX RDF
1	Manuel Vilares Ferro, Victor M. Darriba, Jesús Vilares Ferro, Leandro Rodríguez Liñares	Robust Parsing Using Dynamic Programming.	CIAA	2003	DBLP DOI BibTeX RDF
1	Satoru Miyamoto, Shunsuke Inenaga, Masayuki Takeda, Ayumi Shinohara	Ternary Directed Acyclic Word Graphs.	CIAA	2003	DBLP DOI BibTeX RDF
1	Bala Ravikumar	Weak Minimization of DFA - An Algorithm and Applications.	CIAA	2003	DBLP DOI BibTeX RDF
1	Jean-Marc Champarnaud, Éric Laugerotte, Faissal Ouardi, Djelloul Ziadi	From Regular Weighted Expressions to Finite Automata.	CIAA	2003	DBLP DOI BibTeX RDF
1	Oscar H. Ibarra, Zhe Dang (eds.)	Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings	CIAA	2003	DBLP DOI BibTeX RDF
1	Olgierd Unold, Maciej Troc, Tadeusz Dobosz, Alicja Trusewicz	Finite-State Molecular Computing.	CIAA	2003	DBLP DOI BibTeX RDF
1	Carsten Fritz	Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata.	CIAA	2003	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger	Automata for Specifying Component Interfaces.	CIAA	2003	DBLP DOI BibTeX RDF
1	Jean-Marc Champarnaud, Denis Maurel (eds.)	Implementation and Application of Automata, 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers	CIAA	2003	DBLP DOI BibTeX RDF
1	Dietrich Kuske, Ingmar Meinecke	Branching Automata with Costs - A Way of Reflecting Parallelism in Costs.	CIAA	2003	DBLP DOI BibTeX RDF
1	Lynette van Zijl	Succinct Descriptions of Regular Languages with Binary +-NFAs.	CIAA	2003	DBLP DOI BibTeX RDF
1	César Bravo, João José Neto	Building Context-Sensitive Parsers from CF Grammars with Regular Control Language.	CIAA	2003	DBLP DOI BibTeX RDF
1	Farn Wang, Geng-Dian Hwang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-Time Systems.	CIAA	2003	DBLP DOI BibTeX RDF	Branching temporal logics, inevitability, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
1	Hellis Tamm, Esko Ukkonen	Bideterministic Automata and Minimal Representations of Regular Languages.	CIAA	2003	DBLP DOI BibTeX RDF
1	Mark Daley, Mark G. Eramian, Ian McQuillan	Bag Automata and Stochastic Retrieval of Biomolecules in Solution.	CIAA	2003	DBLP DOI BibTeX RDF
1	André Kempe, Christof Baeijs, Tamás Gaál, Franck Guingne, Florent Nicart	WFSC - A New Weighted Finite State Compiler.	CIAA	2003	DBLP DOI BibTeX RDF
1	Gaoyan Xie, Cheng Li, Zhe Dang	New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations.	CIAA	2003	DBLP DOI BibTeX RDF
1	Michiel Frishert, Loek G. Cleophas, Bruce W. Watson	The Effect of Rewriting Regular Expressions on Their Accepting Automata.	CIAA	2003	DBLP DOI BibTeX RDF
1	Xiang Fu 0001, Tevfik Bultan, Jianwen Su	Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services.	CIAA	2003	DBLP DOI BibTeX RDF
1	Franck Guingne, Florent Nicart	Finite State Lazy Operations in NLP.	CIAA	2002	DBLP DOI BibTeX RDF
1	Cezar Câmpeanu, Andrei Paun	The Number of Similarity Relations and the Number of Minimal Deterministic Finite Cover Automata.	CIAA	2002	DBLP DOI BibTeX RDF
1	Mehryar Mohri	Edit-Distance of Weighted Automata.	CIAA	2002	DBLP DOI BibTeX RDF
1	Manuel Vilares Ferro, Victor M. Darriba, Miguel A. Alonso 0001	Searching for Asymptotic Error Repair.	CIAA	2002	DBLP DOI BibTeX RDF
1	Miguel A. Alonso 0001, Víctor J. Díaz, Manuel Vilares Ferro	Tabulation of Bidirectional Push Down Automata.	CIAA	2002	DBLP DOI BibTeX RDF
1	Cezar Câmpeanu, Kai Salomaa, Sheng Yu 0001	Regex and Extended Regex.	CIAA	2002	DBLP DOI BibTeX RDF	regex, extended regex, programming languages, formal languages, Regular expressions
1	Heiko Körner	On Minimizing Cover Automata for Finite Languages in O(n log n) Time.	CIAA	2002	DBLP DOI BibTeX RDF
1	Miroslav Balík	DAWG versus Suffix Array.	CIAA	2002	DBLP DOI BibTeX RDF
1	Jan Daciuk	Comparison of Construction Algorithms for Minimal, Acyclic, Deterministic, Finite-State Automata from Sets of Strings.	CIAA	2002	DBLP DOI BibTeX RDF
1	Zdenek Tronícek	Common Subsequence Automaton.	CIAA	2002	DBLP DOI BibTeX RDF
1	Alexander Okhotin	Whale Calf, a Parser Generator for Conjunctive Grammars.	CIAA	2002	DBLP DOI BibTeX RDF
1	Gaëlle Largeteau, Dominique Geniet	Term Validation of Distributed Hard Real-Time Applications.	CIAA	2002	DBLP DOI BibTeX RDF
1	Mihaela Gheorghiu, Janusz A. Brzozowski	Feedback-Free Circuits in the Algebra of Transients.	CIAA	2002	DBLP DOI BibTeX RDF
1	Anne Brüggemann-Klein, Derick Wood	On Predictive Parsing and Extended Context-Free Grammars.	CIAA	2002	DBLP DOI BibTeX RDF
1	Bruce W. Watson, Derick Wood (eds.)	Implementation and Application of Automata, 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers	CIAA	2002	DBLP DOI BibTeX RDF
1	Pascal Caron, Marianne Flouret	Star Normal Form, Rational Expressions, and Glushkov WFAs Properties.	CIAA	2002	DBLP DOI BibTeX RDF

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