Search results for "Automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
79	Stefan Schwoon	Determinization and Complementation of Streett Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
70	Cliff A. Joslyn	On Possibilistic Automata.	EUROCAST	1993	DBLP DOI BibTeX RDF
69	Luca Alberucci	Strictness of the Modal µ-Calculus Hierarchy.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
67	Hitoshi Ohsaki, Hiroyuki Seki	Languages Modulo Normalization.	FroCoS	2007	DBLP DOI BibTeX RDF	tree automata modulo axioms, equational rewriting, Boolean closedness, hedge automata and XML schema, regularity, decidability
61	Ville Laurikari	NFAs with Tagged Transitions, Their Conversion to Deterministic Automata and Application to Regular Expressions.	SPIRE	2000	DBLP DOI BibTeX RDF	tagged transitions, automata conversion, input string position tracking, last-use tracking, nondeterministic Mealy machines, string processing, substring addressing, lookahead operator, regular expressions, finite automata, formal semantics, deterministic automata, nondeterministic finite automata
61	Orna Kupferman, Moshe Y. Vardi	Weak alternating automata are not that weak.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	weak alternating automata, complementation
61	Zhe Dang, Oscar H. Ibarra, Jianwen Su	Composability of Infinite-State Activity Automata.	ISAAC	2004	DBLP DOI BibTeX RDF
60	Juraj Hromkovic, Georg Schnitger	Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser's Separation.	ICALP	2003	DBLP DOI BibTeX RDF	descriptional complexity of regular languages, Finite automata, nondeterminism
59	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	Extended Temporal Logic Revisited.	CONCUR	2001	DBLP DOI BibTeX RDF
58	Mehryar Mohri, Pedro J. Moreno 0001, Eugene Weinstein	Factor Automata of Automata and Applications.	CIAA	2007	DBLP DOI BibTeX RDF	suffix automata, factor automata, music identification, information retrieval, finite automata, suffix trees, inverted files, text indexing
57	Bahman Pourvatan, Nima Rouhy	An Alternative Algorithm for Constraint Automata Product.	FSEN	2007	DBLP DOI BibTeX RDF	Constraint Automata Product, Reo, Constraint Automata
57	Wolfgang Golubski, Wolfram-Manfred Lippe	Tree-Stack Automata.	MFCS	1990	DBLP DOI BibTeX RDF
55	Sriram C. Krishnan, Anuj Puri, Robert K. Brayton	Deterministic w Automata vis-a-vis Deterministic Buchi Automata.	ISAAC	1994	DBLP DOI BibTeX RDF
53	Xavier Nicollin, Joseph Sifakis, Sergio Yovine	Compiling Real-Time Specifications into Extended Automata.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
53	Daowen Qiu, Lvzhou Li	An overview of quantum computation models: quantum automata.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	quantum computation, automata theory, quantum automata
53	Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick	Specification and Analysis of Automata-Based Designs.	IFM	2000	DBLP DOI BibTeX RDF	model checking, Timed automata, stochastic automata
53	Franciszek Seredynski, Albert Y. Zomaya	Sequential and Parallel Cellular Automata-Based Scheduling Algorithms.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	two-processor systems, genetic algorithms, Cellular automata, coevolution, multiprocessor scheduling
53	Orna Kupferman, Nir Piterman	Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata.	FoSSaCS	2009	DBLP DOI BibTeX RDF
53	Jarkko Kari	Structure of Reversible Cellular Automata.	UC	2009	DBLP DOI BibTeX RDF
53	Salvatore La Torre, Aniello Murano, Margherita Napoli	Weak Muller Acceptance Conditions for Tree Automata.	VMCAI	2002	DBLP DOI BibTeX RDF
53	Chandra M. R. Kintala, Detlef Wotschke	Concurrent Conciseness of Degree, Probabilistic, Nondeterministic and Deterministic Finite Automata (Extended Abstract).	STACS	1986	DBLP DOI BibTeX RDF
51	Sylvain Lombardy	On the Construction of Reversible Automata for Reversible Languages.	ICALP	2002	DBLP DOI BibTeX RDF	reversible languages, reversible automata, universal automata, Finite automata
51	Eric Schkufza, Nathaniel Love, Michael R. Genesereth	Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF
51	Bernard Boigelot, Julien Brusten, Véronique Bruyère	On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases.	ICALP (2)	2008	DBLP DOI BibTeX RDF
51	Giusi Castiglione, Antonio Restivo, Marinella Sciortino	Hopcroft's Algorithm and Cyclic Automata.	LATA	2008	DBLP DOI BibTeX RDF
51	Deepak D'Souza, P. S. Thiagarajan	Product Interval Automata: A Subclass of Timed Automata.	FSTTCS	1999	DBLP DOI BibTeX RDF
50	Thierry Cachat	Two-Way Tree Automata Solving Pushdown Games.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
49	Amparo Fúster-Sabater, Dolores de la Guía-Martínez	Cellular Automata Application to the Linearization of Stream Cipher Generators.	ACRI	2004	DBLP DOI BibTeX RDF	cryptography, Cellular automata, linear modelling, clock-controlled generators
49	Darcy Dunne, Angelo B. Mingarelli	On the Dynamics of Some Exceptional Fuzzy Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF
49	Helmut Jürgensen, Ludwig Staiger	Finite Automata Encoding Geometric Figures.	WIA	1999	DBLP DOI BibTeX RDF
49	Marie-Pierre Béal, Eugen Czeizler, Jarkko Kari, Dominique Perrin	Unambiguous Automata.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	local automata, synchronized automata, unambiguous automata, unambiguous monoids of relations, Automata
49	Attila Kondacs, John Watrous	On the Power of Quantum Finite State Automata.	FOCS	1997	DBLP DOI BibTeX RDF	quantum finite state automata, non-regular language, finite automata, finite state automata, regular languages
49	Béatrice Bérard, Serge Haddad	Interrupt Timed Automata.	FoSSaCS	2009	DBLP DOI BibTeX RDF	decidability of reachability, timed automata, interruptions, Hybrid automata, multi-task systems
49	Liao Zekai, Shu Lan	Minimization of Lattice Automata.	ICFIE	2007	DBLP DOI BibTeX RDF	Lattice Automata, Refining Equivalence, Refining Congruence, Quotient Lattice Automata, Minimization
49	Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001	Timed Automata Patterns.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
49	Orna Kupferman, Yoad Lustig	Lattice Automata.	VMCAI	2007	DBLP DOI BibTeX RDF
49	Orna Kupferman, Moshe Y. Vardi	Weak Alternating Automata Are Not That Weak.	ISTCS	1997	DBLP DOI BibTeX RDF
48	Sandro Pedrazzini	The Finite State Automata's Design Patterns.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
47	Mohammad Izadi, Marcello M. Bonsangue	Recasting Constraint Automata into Büchi Automata.	ICTAC	2008	DBLP DOI BibTeX RDF
47	Bernd Grobauer, Olaf Müller	From I/O Automata to Timed I/O Automata.	TPHOLs	1999	DBLP DOI BibTeX RDF
46	Rajeev Alur	Marrying words and trees.	PODS	2007	DBLP DOI BibTeX RDF	nested words, XML, query languages, tree automata, pushdown automata
46	Franck Cassez, Kim Guldstrand Larsen	The Impressive Power of Stopwatches.	CONCUR	2000	DBLP DOI BibTeX RDF
46	Daniel Kirsten	Alternating Tree Automata and Parity Games.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
46	Berndt Farwer	omega-Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
46	Frank Nießner	Nondeterministic Tree Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
45	Alfons G. Hoekstra, Jean-Luc Falcone, Alfonso Caiazzo, Bastien Chopard	Multi-scale Modeling with Cellular Automata: The Complex Automata Approach.	ACRI	2008	DBLP DOI BibTeX RDF	Complex Automata, Multi-Scale Modeling
45	Detlef Kähler, Thomas Wilke	Complementation, Disambiguation, and Determinization of Büchi Automata Unified.	ICALP (1)	2008	DBLP DOI BibTeX RDF
45	Qiqi Yan	Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique.	ICALP (2)	2006	DBLP DOI BibTeX RDF
45	Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová	Component-interaction automata as a verification-oriented component-based system specification.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	Component-based specification languages, component-interaction automata, team automata, verification, ADLs, I/O automata, interface automata, component interaction
45	Emmanuel Jeandel	Topological Automata.	STACS	2005	DBLP DOI BibTeX RDF	ProbabilisticAutomata, Formal Languages, Finite Automata, Quantum Automata
45	S. Murtaza, Alfons G. Hoekstra, Peter M. A. Sloot	Compute Bound and I/O Bound Cellular Automata Simulations on FPGA Logic.	ACM Trans. Reconfigurable Technol. Syst.	2009	DBLP DOI BibTeX RDF	FPGA-based hardware accelerator, lattice Boltzman simulations, High-performance computing, cellular automata
45	Felix Klaedtke	Bounds on the automata size for Presburger arithmetic.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Automata-based decision procedures, complexity, quantifier elimination, Presburger arithmetic
45	Randy Smith, Cristian Estan, Somesh Jha	XFA: Faster Signature Matching with Extended Automata.	SP	2008	DBLP DOI BibTeX RDF	intrusion detection, regular expressions, finite automata, signature matching
45	Guillaume Theyssier	How Common Can Be Universality for Cellular Automata?.	STACS	2005	DBLP DOI BibTeX RDF	zero-one law, cellular automata, universality
45	Feng Bao 0001	Cryptanalysis of a Partially Known Cellular Automata Cryptosystem.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	cryptanalysis, Cellular automata, encryption, chosen-plaintext attack
45	Richard Mayr	On the Complexity of Bisimulation Problems for Pushdown Automata.	IFIP TCS	2000	DBLP DOI BibTeX RDF	verification, complexity, bisimulation, Pushdown automata
45	Juraj Hromkovic, Georg Schnitger	On the Power of Randomized Pushdown Automata.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
45	Pavol Duris, Tomasz Jurdzinski, Miroslaw Kutylowski, Krzysztof Lorys	Power of Cooperation and Multihead Finite Systems.	ICALP	1998	DBLP DOI BibTeX RDF
44	Cezar Câmpeanu, Nicolae Santean, Sheng Yu 0001	Minimal Cover-Automata for Finite Languages.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
44	Marie-Chantal Beaulieu, Anne Bergeron	Automata and Computational Probabilities.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
43	Rodolfo Gómez 0001	A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata.	FORMATS	2009	DBLP DOI BibTeX RDF	Urgent actions, Timed Automata with Deadlines, Uppaal
43	Frédérique Bassino, Julien David, Cyril Nicaud	: A Library to Randomly and Exhaustively Generate Automata.	CIAA	2007	DBLP DOI BibTeX RDF	C++ library, finite automata, random generation
43	Jim Morey, Kamran Sedig, Robert E. Mercer, M. Wayne Wilson	Crystal Lattice Automata.	CIAA	2001	DBLP DOI BibTeX RDF	lattice, automata, tiling, microworlds, crystallography
43	Chenguang Luo	From Word Automata to Tree Automata.	ICYCS	2008	DBLP DOI BibTeX RDF
43	Joseph S. Miller	Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata.	HSCC	2000	DBLP DOI BibTeX RDF
42	Gopal Gupta 0001, Enrico Pontelli	A constraint-based approach for specification and verification of real-time systems.	RTSS	1997	DBLP DOI BibTeX RDF	constraint based approach, real time systems specification, real time systems verification, general constraint logic programming, real time event ordering, grammar productions, Definite Clause Grammar, CLP program, DCG, timed push down automata, real-time systems, timed automata, constraint logic program, constraint automata
42	Rajeev Alur, P. Madhusudan	Adding nesting structure to words.	J. ACM	2009	DBLP DOI BibTeX RDF	software model checking, tree automata, Pushdown automata, XML processing
42	Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi	Execution monitoring enforcement for limited-memory systems.	PST	2006	DBLP DOI BibTeX RDF	bounded history automata, enforcement mechanisms, locally-testable properties, security policies, execution monitoring, edit automata
41	Markus Roggenbach	Determinization of Büchi-Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
41	Klaus Reinhardt	The Complexity of Translating Logic to Finite Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
41	Bruce W. Watson	A Fast New Semi-incremental Algorithm for the Construction of Minimal Acyclic DFAs.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
41	Howard Straubing, Denis Thérien	Finite automata and computational complexity.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
41	Debojyoti Bhattacharya, Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury	A Cellular Automata Based Approach for Generation of Large Primitive Polynomial and Its Application to RS-Coded MPSK Modulation.	ACRI	2006	DBLP DOI BibTeX RDF	MPSK Modulation, RS-encoding, Cellular Automata, Galois field, Primitive polynomial
41	Shahram Golzari, Mohammad Reza Meybodi	A Maze Routing Algorithm Based on Two Dimensional Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF	maze routing algorithm, routing, parallel algorithm, cellular automata, physical design
41	Amparo Fúster-Sabater, Pino Caballero-Gil	Concatenated Automata in Cryptanalysis of Stream Ciphers.	ACRI	2006	DBLP DOI BibTeX RDF	cryptography, Stream cipher, cellular automata, linear model
41	Yo-Sub Han, Derick Wood	The Generalization of Generalized Automata: Expression Automata.	CIAA	2004	DBLP DOI BibTeX RDF
41	Carsten Fritz	Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata.	CIAA	2003	DBLP DOI BibTeX RDF
40	Amos Beimel, Francesco Bergadano, Nader H. Bshouty, Eyal Kushilevitz, Stefano Varricchio	On the Applications of Multiplicity Automata in Learning.	FOCS	1996	DBLP DOI BibTeX RDF	multiplicity automata, DNF formulae learnability, minimal multiplicity automaton, multiplicity automata learning, finite field polynomials, infinite field bounded-degree polynomials, decision trees, states, matrix, automata theory, automata theory, query complexity
40	John Watrous	On One-Dimensional Quantum Cellular Automata.	FOCS	1995	DBLP DOI BibTeX RDF	one-dimensional quantum cellular automata, quantum computational model, one dimensional quantum cellular automata, quantum Turing machine, constant slowdown, one dimensional partitioned quantum cellular automata, linear slowdown, 1D partitioned quantum cellular automaton simulation, simulation, cellular automata, quantum computation, quantum computers, physics, physics computing, Turing machines, quantum theory
40	Nils Klarlund	Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic	FOCS	1991	DBLP DOI BibTeX RDF	complementation omega -automata, languages of infinite words, Buchi automata, Streett automata, optimal complementation, temporal logic, finite-state automata, ETLs, graph-theoretic approach
40	Ruma Dutta, Anirban Kundu, Debajyoti Mukhopadhyay	Offering Memory Efficiency Utilizing Cellular Automata for Markov Tree Based Web-Page Prediction Model.	ICIT	2007	DBLP DOI BibTeX RDF	Cellular Automata (CA), Single Cycle Multiple Attractor Cellular Automata (SMACA), Rule Vec- tor (RV), Self Cycle Loop Attractor (SLA), Prediction by Partial Match (PPM), LRS (Longest Repeating Sequence)
40	Maxime Crochemore, Chiara Epifanio, Roberto Grossi, Filippo Mignosi	A Trie-Based Approach for Compacting Automata.	CPM	2004	DBLP DOI BibTeX RDF	factor and suffix automata, suffix tree, index, text compression, Automata and formal languages
40	Miha Mraz, Nikolaj Zimic, Iztok Lapanja, Iztok Lebar Bajec	Fuzzy cellular automata: from theory to applications.	ICTAI	2000	DBLP DOI BibTeX RDF	fuzzy cellular automata, fuzzified entity, fire spread, homogeneous nature environment, fuzzy logic, cellular automata, simulation results
40	Ronald L. Rivest, Robert E. Schapire	Diversity-Based Inference of Finite Automata.	J. ACM	1994	DBLP DOI BibTeX RDF	diversity-based representation, permutation automata, finite automata, learning theory, inductive inference
40	Jay Ligatti, Lujo Bauer, David Walker 0001	Edit automata: enforcement mechanisms for run-time security policies.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Run-time checking and monitoring, Classification of security policies, Language-based security, Security automata
40	Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos	Monotone AC-Tree Automata.	LPAR	2005	DBLP DOI BibTeX RDF	equational tree automata, complexity, decidability, closure properties
40	Sven Schewe	Tighter Bounds for the Determinisation of Büchi Automata.	FoSSaCS	2009	DBLP DOI BibTeX RDF
40	Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001	Concavely-Priced Probabilistic Timed Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
40	Rusins Freivalds	Super-Exponential Size Advantage of Quantum Finite Automata with Mixed States.	ISAAC	2008	DBLP DOI BibTeX RDF
40	Manfred Droste, Karin Quaas	A Kleene-Schützenberger Theorem for Weighted Timed Automata.	FoSSaCS	2008	DBLP DOI BibTeX RDF
40	Andreas Morgenstern, Klaus Schneider 0001	From LTL to Symbolically Represented Deterministic Automata.	VMCAI	2008	DBLP DOI BibTeX RDF
40	Christian Dax, Jochen Eisinger, Felix Klaedtke	Mechanizing the Powerset Construction for Restricted Classes of omega -Automata.	ATVA	2007	DBLP DOI BibTeX RDF
40	Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Kang-Nien Wu, Wen-Chin Chan	GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae.	TACAS	2007	DBLP DOI BibTeX RDF
40	Rusins Freivalds	Hamming, Permutations and Automata.	SAGA	2007	DBLP DOI BibTeX RDF
40	Orna Kupferman, Gila Morgenstern, Aniello Murano	Typeness for omega-Regular Automata.	ATVA	2004	DBLP DOI BibTeX RDF
40	Kumar Neeraj Verma	On Closure under Complementation of Equational Tree Automata for Theories Extending AC.	LPAR	2003	DBLP DOI BibTeX RDF
40	Ralf Treinen	Predicate Logic and Tree Automata with Tests.	FoSSaCS	2000	DBLP DOI BibTeX RDF
40	Andris Ambainis, Richard F. Bonner, Rusins Freivalds, Marats Golovkins, Marek Karpinski	Quantum Finite Multitape Automata.	SOFSEM	1999	DBLP DOI BibTeX RDF
40	Gérard Duchamp, Marianne Flouret, Éric Laugerotte	Operations over Automata with Multiplicities.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
40	Jean-Francis Michon, Jean-Marc Champarnaud	Automata and Binary Decision Diagrams.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF