Search results for "automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Damien Regnault	Quick Energy Drop in Stochastic 2D Minority.	ACRI	2008	DBLP DOI BibTeX RDF
32	Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin 0001	Tree Automata with Memory, Visibility and Structural Constraints.	FoSSaCS	2007	DBLP DOI BibTeX RDF
32	Hellis Tamm	On Transition Minimality of Bideterministic Automata.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
32	Marcin Jurdzinski, François Laroussinie, Jeremy Sproston	Model Checking Probabilistic Timed Automata with One or Two Clocks.	TACAS	2007	DBLP DOI BibTeX RDF
32	Jaco Geldenhuys, Henri Hansen	Larger Automata and Less Work for LTL Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF
32	Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan 0001	Propositional Tree Automata.	RTA	2006	DBLP DOI BibTeX RDF
32	Corinna Cortes, Mehryar Mohri, Ashish Rastogi, Michael Riley 0001	Efficient Computation of the Relative Entropy of Probabilistic Automata.	LATIN	2006	DBLP DOI BibTeX RDF
32	Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi	The Complexity of Enriched µ-Calculi.	ICALP (2)	2006	DBLP DOI BibTeX RDF
32	Wim Martens, Joachim Niehren	Minimizing Tree Automata for Unranked Trees.	DBPL	2005	DBLP DOI BibTeX RDF
32	Biniam Gebremichael, Frits W. Vaandrager	Specifying Urgency in Timed I/O Automata.	SEFM	2005	DBLP DOI BibTeX RDF
32	Salvatore La Torre, Aniello Murano	Reasoning About Co-Büchi Tree Automata.	ICTAC	2004	DBLP DOI BibTeX RDF
32	Henning Bordihn, Markus Holzer 0001, Martin Kutrib	Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
32	Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie	Real-Counter Automata and Their Decision Problems.	FSTTCS	2004	DBLP DOI BibTeX RDF
32	Jean-Michel Couvreur, Nasser Saheb, Grégoire Sutre	An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems.	LPAR	2003	DBLP DOI BibTeX RDF
32	Bing Sun, Jianhua Lv, Guoren Wang, Ge Yu 0001, Bo Zhou	Efficient Evaluation of XML Path Queries with Automata.	WAIM	2003	DBLP DOI BibTeX RDF
32	Markus Holzer 0001, Martin Kutrib	Flip-Pushdown Automata: Nondeterminism Is Better than Determinism.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
32	Kumar Neeraj Verma	Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties.	RTA	2003	DBLP DOI BibTeX RDF
32	Franco Zambonelli, Marco Mamei, Andrea Roli	What Can Cellular Automata Tell Us about the Behavior of Large Multi-agent Systems?	SELMAS	2002	DBLP DOI BibTeX RDF
32	Elena Fersman, Paul Pettersson, Wang Yi 0001	Timed Automata with Asynchronous Processes: Schedulability and Decidability.	TACAS	2002	DBLP DOI BibTeX RDF
32	Kousha Etessami	A Hierarchy of Polynomial-Time Computable Simulations for Automata.	CONCUR	2002	DBLP DOI BibTeX RDF
32	Dimitra Giannakopoulou, Flavio Lerda	From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.	FORTE	2002	DBLP DOI BibTeX RDF
32	Chrystopher L. Nehaniv	Self-Reproduction in Asynchronous Cellular Automata.	Evolvable Hardware	2002	DBLP DOI BibTeX RDF
32	Valerie King, Orna Kupferman, Moshe Y. Vardi	On the Complexity of Parity Word Automata.	FoSSaCS	2001	DBLP DOI BibTeX RDF
32	Janis Buls, Vaira Buza, Roberts Glaudins	Representation of Autonomous Automata.	FCT	2001	DBLP DOI BibTeX RDF
32	Claudia Roberta Calidonna, Claudia Di Napoli, Maurizio Giordano, Mario Mango Furnari, Salvatore Di Gregorio	A network of cellular automata for a landslide simulation.	ICS	2001	DBLP DOI BibTeX RDF
32	Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer	On Presburger Liveness of Discrete Timed Automata.	STACS	2001	DBLP DOI BibTeX RDF
32	Kenya Jin'no	Analysis of hysteresis cellular automata.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
32	Orna Kupferman, Moshe Y. Vardi, Pierre Wolper	An automata-theoretic approach to branching-time model checking.	J. ACM	2000	DBLP DOI BibTeX RDF
32	Ruggero Lanotte, Andrea Maggiolo-Schettini	Timed Automata with Monotonic Activities.	MFCS	2000	DBLP DOI BibTeX RDF
32	Kousha Etessami, Gerard J. Holzmann	Optimizing Büchi Automata.	CONCUR	2000	DBLP DOI BibTeX RDF
32	Marats Golovkins	Quantum Pushdown Automata.	SOFSEM	2000	DBLP DOI BibTeX RDF
32	Christof Löding	Optimal Bounds for Transformations of omega-Automata.	FSTTCS	1999	DBLP DOI BibTeX RDF
32	Holger Petersen 0001	The Head Hierarchy for Oblivious Finite Automata with Polynomial Advice Collapses.	MFCS	1998	DBLP DOI BibTeX RDF
32	Michaela Huhn, Peter Niebert	Towards Automata for Branching Time and Partial Order.	CONCUR	1996	DBLP DOI BibTeX RDF
32	Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya	The Rabin Index and Chain Automata, with Applications to Automatas and Games.	CAV	1995	DBLP DOI BibTeX RDF
32	Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper	An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract).	CAV	1994	DBLP DOI BibTeX RDF
32	William K. C. Lam, Robert K. Brayton	Alternating RQ Timed Automata.	CAV	1993	DBLP DOI BibTeX RDF
32	Danièle Beauquier, Damian Niwinski	Automata on Infinite Trees with Counting Constraints.	TAPSOFT	1993	DBLP DOI BibTeX RDF
32	Karel Culík II, Juhani Karhumäki	On the Equivalence Problem for Deterministic Multitape Automata and Transducers.	STACS	1989	DBLP DOI BibTeX RDF
32	Gilberto Filé	Tree Automata and Logic Programs.	STACS	1985	DBLP DOI BibTeX RDF
32	Jerzy W. Grzymala-Busse	Automorphisms of Polyadic Automata.	J. ACM	1969	DBLP DOI BibTeX RDF
31	Irène Guessarian	A characterization of fair computations of finite state SCCS processes.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
30	Shenglin Gui, Lei Luo 0004, Miao Yu, Jianhua Xu, Yun Li	Schedulability Analysis for Distributed Systems Using Network of Action Automata and Environment Automata.	ISPA	2011	DBLP DOI BibTeX RDF	action automata, environment automata, distributed systems, schedulability analysis
30	Hanlin Lu, Sheng Yu 0001	Are Statecharts Finite Automata?	CIAA	2009	DBLP DOI BibTeX RDF	interaction machines, statecharts, finite automata
30	Amparo Fúster-Sabater, Pino Caballero-Gil, Oscar Delgado-Mohatar	Cellular Automata-Based Structures to Compute the Solutions of Linear Difference Equations.	ACRI	2008	DBLP DOI BibTeX RDF	cryptography, cellular automata, natural computing, difference equation
30	Alfonso Caiazzo, Jean-Luc Falcone, Bastien Chopard, Alfons G. Hoekstra	Error Investigations in Complex Automata Models for Reaction-Diffusion Systems.	ACRI	2008	DBLP DOI BibTeX RDF	Complex Automata modeling, lattice Boltzmann method, asymptotic expansion, reaction-diffusion
30	Johanna Högberg, Andreas Maletti, Jonathan May	Backward and Forward Bisimulation Minimisation of Tree Automata.	CIAA	2007	DBLP DOI BibTeX RDF	natural language processing, bisimulation, minimisation, tree automata
30	Martin Kutrib, Andreas Malcher, Larissa Werlein	Regulated Nondeterminism in Pushdown Automata.	CIAA	2007	DBLP DOI BibTeX RDF	regulated nondeterminism, limited nondeterminism, pushdown automata, closure properties
30	Yilin Wu, Nan Chen, Matthew Rissler, Yi Jiang, Dale Kaiser, Mark S. Alber	CA Models of Myxobacteria Swarming.	ACRI	2006	DBLP DOI BibTeX RDF	probabilistic cellular automata, lattice and off-lattice models, bacteria swarming, slime guidance, pattern formation
30	Puspita Deo, Heather J. Ruskin	Simulation of Heterogeneous Motorised Traffic at a Signalised Intersection.	ACRI	2006	DBLP DOI BibTeX RDF	motorised traffic, two-component cellular automata, Heterogeneous
30	Juan C. Burguillo-Rial, Francisco J. González-Castaño, Enrique Costa-Montenegro, Javier Vales-Alonso	Agent-Driven Resource Optimization in User Networks: A Game Theoretical Approach.	ACRI	2004	DBLP DOI BibTeX RDF	Stochastic cellular automata, user networks, game theory, complex systems
30	João José Neto, César Bravo	Adaptive Automata - A Revisited Proposal.	CIAA	2002	DBLP DOI BibTeX RDF	adaptive devices, rule-driven formalisms, self-modifying machines, adaptive automata, adaptive paradigm
30	Viliam Geffert, Carlo Mereghetti, Giovanni Pighizzini	Converting Two-Way Nondeterministic Unary Automata into Simpler Automata.	MFCS	2001	DBLP DOI BibTeX RDF	unary languages, formal languages, finite state automata
30	Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz	Random Generation of Deterministic Tree (Walking) Automata.	CIAA	2009	DBLP DOI BibTeX RDF
30	Pablo Arrighi, Vincent Nesme, Reinhard F. Werner	One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations.	LATA	2008	DBLP DOI BibTeX RDF
30	Bernard Boigelot, Julien Brusten	A Generalization of Cobham's Theorem to Automata over Real Numbers.	ICALP	2007	DBLP DOI BibTeX RDF
30	Laura Bozzelli, Salvatore La Torre	Decision Problems for Lower/Upper Bound Parametric Timed Automata.	ICALP	2007	DBLP DOI BibTeX RDF
30	Henning Bordihn, Markus Holzer 0001, Martin Kutrib	Hybrid Extended Finite Automata.	CIAA	2006	DBLP DOI BibTeX RDF
30	Corinna Cortes, Mehryar Mohri, Ashish Rastogi	On the Computation of Some Standard Distances Between Probabilistic Automata.	CIAA	2006	DBLP DOI BibTeX RDF
30	Yo-Sub Han, Derick Wood	Shorter Regular Expressions from Finite-State Automata.	CIAA	2005	DBLP DOI BibTeX RDF
30	Hellis Tamm, Matti Nykänen, Esko Ukkonen	Size Reduction of Multitape Automata.	CIAA	2005	DBLP DOI BibTeX RDF
30	German Tischler	Parametric Weighted Finite Automata for Figure Drawing.	CIAA	2004	DBLP DOI BibTeX RDF
30	Oscar H. Ibarra	Automata-Theoretic Techniques for Analyzing Infinite-State Systems.	CIAA	2004	DBLP DOI BibTeX RDF
30	Hellis Tamm, Esko Ukkonen	Bideterministic Automata and Minimal Representations of Regular Languages.	CIAA	2003	DBLP DOI BibTeX RDF
30	Christophe Papazian, Eric Rémila	Hyperbolic Recognition by Graph Automata.	ICALP	2002	DBLP DOI BibTeX RDF
30	Boris A. Trakhtenbrot	Automata, Circuits, and Hybrids: Facets of Continuous Time.	ICALP	2001	DBLP DOI BibTeX RDF
30	Mehryar Mohri	Generic epsilon -Removal Algorithm for Weighted Automata.	CIAA	2000	DBLP DOI BibTeX RDF
30	Michele d'Amico, Giovanni Manzini, Luciano Margara	On Computing the Entropy of Cellular Automata.	ICALP	1998	DBLP DOI BibTeX RDF
30	Rajeev Alur, David L. Dill	Automata For Modeling Real-Time Systems.	ICALP	1990	DBLP DOI BibTeX RDF
30	Ben C. Moszkowski	A Complete Axiomatization of Interval Temporal Logic with Infinite Time.	LICS	2000	DBLP DOI BibTeX RDF	complete axiom systems, Buechi-automata, temporal logic, regular expressions, finite-state automata, omega-automata
30	E. Allen Emerson, Jai Srinivasan	Branching time temporal logic.	REX Workshop	1988	DBLP DOI BibTeX RDF	Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
30	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001	On the expressiveness and complexity of randomization in finite state monitors.	J. ACM	2009	DBLP DOI BibTeX RDF	topology, randomization, runtime verification, probabilistic automata, Omega automata
30	Ahmed Khoumsi	A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	real-time discrete event systems (RTDES), conformance relation tioco, Set-Exp-Automata, timed automata, supervisory control
30	Hacène Fouchal, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet	Integrated Tool for Testing Timed Systems.	ISSADS	2005	DBLP DOI BibTeX RDF	Validation, Timed Automata, Conformance Testing, Automata Theory, Protocol Engineering
30	Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch	ACID-Unification Is NEXPTIME-Decidable.	MFCS	2003	DBLP DOI BibTeX RDF	E-Unification, Dag automata, Complexity, Tree automata, Set constraints
30	Ahmed Khoumsi, Thierry Jéron, Hervé Marchand	Test Cases Generation for Nondeterministic Real-Time Systems.	FATES	2003	DBLP DOI BibTeX RDF	Conformance test cases generation, Determinizable Timed Automata (DTA), Set-Exp-Automata (SEA), Real-time systems, Test architecture
30	Trevor Jim, Yitzhak Mandelbaum, David Walker 0001	Semantics and algorithms for data-dependent grammars.	POPL	2010	DBLP DOI BibTeX RDF	ambiguous grammars, context-sensitive grammars, data-dependent grammars, earley parsing, l-attributed grammars, regular right-sides, scannerless parsing, semantic predicates, automata, regular expressions, transducers, ebnf
30	Frank Neven, Thomas Schwentick, Victor Vianu	Finite state machines for strings over infinite alphabets.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	infinite alphabets, XML, Automata, first-order logic, expressiveness, pebbles, monadic second-order logic, registers
30	Padmanabhan Krishnan	Decomposing Controllers into Non-conflicting Distributed Controllers.	ICTAC	2004	DBLP DOI BibTeX RDF	Asynchronous Automata, Controllers, Decompositions
30	Felix Klaedtke	Decision Procedure for an Extension of WS1S.	CSL	2001	DBLP DOI BibTeX RDF	word languages, weak monadic second-order logic of one successor, WS1S, tree automata
29	Randy Smith, Cristian Estan, Somesh Jha, Ida Sri Rejeki Siahaan	Fast Signature Matching Using Extended Finite Automaton (XFA).	ICISS	2008	DBLP DOI BibTeX RDF
29	Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi	Büchi Complementation Made Tighter.	ATVA	2004	DBLP DOI BibTeX RDF
29	Antonín Kucera 0001	On Simulation-Checking with Sequential Systems.	ASIAN	2000	DBLP DOI BibTeX RDF
29	Luca Manzoni, Luca Mariot, Dipanwita Roy Chowdhury (eds.)	Cellular Automata and Discrete Complex Systems - 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings	AUTOMATA	2023	DBLP DOI BibTeX RDF
29	Ville Salo, Ilkka Törmä	Diddy: A Python Toolbox for Infinite Discrete Dynamical Systems.	AUTOMATA	2023	DBLP DOI BibTeX RDF
29	Giuseppa Castiglione, Manuela Flores, Dora Giammarresi	Isometric Words and Edit Distance: Main Notions and New Variations.	AUTOMATA	2023	DBLP DOI BibTeX RDF
29	Lidia Stocker, Hans J. Herrmann	Periods in the Q2R, X2R and Kawasaki-Q2R Cellular Automata.	Automata and Complexity	2022	DBLP DOI BibTeX RDF
29	Rance Cleaveland	Better Automata Through Process Algebra.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
29	Jacques Demongeot, Tarek Melliti, Mathilde Noual, Damien Regnault, Sylvain Sené	On Boolean Automata Isolated Cycles and Tangential Double-Cycles Dynamics.	Automata and Complexity	2022	DBLP DOI BibTeX RDF
29	Falk Howar, Bernhard Steffen	Active Automata Learning as Black-Box Search and Lazy Partition Refinement.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
29	Hans Zantema	Passive Automata Learning: DFAs and NFAs.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
29	Rob van Glabbeek	Fair Must Testing for I/O Automata.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
29	Hector Zenil, Yanbo Zhang, Narsis Aftab Kiani	Model Discovery and Discrete Inverse Problems with Cellular Automata and Boolean Networks.	Automata and Complexity	2022	DBLP DOI BibTeX RDF
29	Enrico Formenti, Christophe Papazian, Adrien Richard, Pierre-Alain Scribot	From Additive Flowers to Additive Automata Networks.	Automata and Complexity	2022	DBLP DOI BibTeX RDF
29	Amaury Saint-Jore, Nazim Fatès, Emmanuel Jeandel	Amoebae for Clustering: A Bio-Inspired Cellular Automata Method for Data Classification.	Automata and Complexity	2022	DBLP DOI BibTeX RDF
29	Andrew Adamatzky, Eric Goles Ch., Michail-Antisthenis I. Tsompanas, Genaro J. Martínez, Han A. B. Wosten, Martin Tegelaar	On Fungal Automata.	Automata and Complexity	2022	DBLP DOI BibTeX RDF
29	Kenichi Morita	Reversible Elementary Triangular Partitioned Cellular Automata and Their Complex Behavior.	Automata and Complexity	2022	DBLP DOI BibTeX RDF
29	Pedro Paulo Balbi de Oliveira, G. S. Etchebehere, Eurico L. P. Ruivo	A Spectral Outlook on the Elementary Cellular Automata with Cyclic Configurations and Block-Sequential Asynchronous Updates.	Automata and Complexity	2022	DBLP DOI BibTeX RDF
29	Guillaume Theyssier	The Mirage of Universality in Cellular Automata.	Automata and Complexity	2022	DBLP DOI BibTeX RDF
29	Ville Salo, Juliette Schabanel	Triangle Solitaire.	AUTOMATA	2022	DBLP DOI BibTeX RDF