Search results for "automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Vincent Le Maout	Tools to Implement Automata, a First Step: ASTL.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
35	Bruce W. Watson	Practical Optimizations for Automata.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
35	Dominique Revuz	Operations on Extended Automata.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
35	Djelloul Ziadi	Sorting and Doubling Techniques for Set Partitioning and Automata Minimization Problems.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
35	François Bertault, Gregory Kucherov	Visualization of Dynamic Automata Using Padnon.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
35	James Glenn, William I. Gasarch	Implementing WS1S via Finite Automata: Performance Issues.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
35	James Glenn, William I. Gasarch	Implementing WS1S via Finite Automata.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
35	Denis Maurel	Building Automata on Schemata and Acceptability Tables: Application to French Data Adverbials.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
35	Gertjan van Noord	FSA Utilities: A Toolbox to Manipulate Finite-State Automata.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
35	Romuald Boné, Christophe Daguin, Antoine Georgevail, Denis Maurel	Time Series Forecasting by Finite-State Automata.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
35	Max H. Garzon, Eugene Eberbach	Dynamical Implementation of Nondeterministic Automata and Concurrent Systems.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
35	Morten Biehl, Nils Klarlund, Theis Rauhe	Algorithms for Guided Tree Automata.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
34	Rafael C. Carrasco, Jan Daciuk, Mikel L. Forcada	An Implementation of Deterministic Tree Automata Minimization.	CIAA	2007	DBLP DOI BibTeX RDF	sminimal deterministic tree automata, minimization of automata
34	Rakesh M. Verma	A visual and interactive automata theory course emphasizing breadth of automata.	ITiCSE	2005	DBLP DOI BibTeX RDF	string automata, formal languages, tree automata, rule-based programming
34	Danuta Makowiec	The Heart Pacemaker by Cellular Automata on Complex Networks.	ACRI	2008	DBLP DOI BibTeX RDF	Greenberg-Hastings cellular automata, complex networks
34	Moshe Y. Vardi	Linear-Time Model Checking: Automata Theory in Practice.	CIAA	2007	DBLP DOI BibTeX RDF	Büchi automata, model checking, linear-temporal logic
34	Juraj Hromkovic, Georg Schnitger	Pushdown Automata and Multicounter Machines, a Comparison of Computation Modes.	ICALP	2003	DBLP DOI BibTeX RDF	multicounter machines, randomization, nondeterminism, complexity theory, pushdown automata
34	Jacques Duparc, Alessandro Facchini, Filip Murlak	Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata.	CSL	2009	DBLP DOI BibTeX RDF
34	Christel Baier, Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye	When Are Timed Automata Determinizable?	ICALP (2)	2009	DBLP DOI BibTeX RDF
34	Suna Bensch, Henning Bordihn, Markus Holzer 0001, Martin Kutrib	Deterministic Input-Reversal and Input-Revolving Finite Automata.	LATA	2008	DBLP DOI BibTeX RDF
34	Markus Holzer 0001, Martin Kutrib	Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity.	CIAA	2008	DBLP DOI BibTeX RDF
34	Giovanni Pighizzini	Deterministic Pushdown Automata and Unary Languages.	CIAA	2008	DBLP DOI BibTeX RDF
34	Marcelo Arenas, Pablo Barceló, Leonid Libkin	Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.	ICALP	2007	DBLP DOI BibTeX RDF
34	Marius Bozga, Radu Iosif, Yassine Lakhnech	Flat Parametric Counter Automata.	ICALP (2)	2006	DBLP DOI BibTeX RDF
34	Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell 0001	Decidability and Complexity Results for Timed Automata via Channel Machines.	ICALP	2005	DBLP DOI BibTeX RDF
34	Yanjun Wen, Ji Wang 0001, Zhi-Chang Qi	Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata.	ICFEM	2004	DBLP DOI BibTeX RDF
34	Michiel Frishert, Loek G. Cleophas, Bruce W. Watson	The Effect of Rewriting Regular Expressions on Their Accepting Automata.	CIAA	2003	DBLP DOI BibTeX RDF
34	Mehryar Mohri	Edit-Distance of Weighted Automata.	CIAA	2002	DBLP DOI BibTeX RDF
34	Borivoj Melichar, Jan Skryja	On the Size of Deterministic Finite Automata.	CIAA	2001	DBLP DOI BibTeX RDF
34	Lynette van Zijl	Supernondeterministic Finite Automata.	CIAA	2001	DBLP DOI BibTeX RDF
34	Thomas A. Henzinger, Peter W. Kopke	Discrete-Time Control for Rectangular Hybrid Automata.	ICALP	1997	DBLP DOI BibTeX RDF
34	Christophe Lohr, Jean-Pierre Courtiat	From the Specification to the Scheduling of Time-Dependent Systems.	FTRTFT	2002	DBLP DOI BibTeX RDF	Minimal Reachability Graph, Time Labeled Scheduling Automata, Process Algebra, Timed Automata, Temporal Consistency, RT-Lotos
34	Willem Visser, Howard Barringer	Practical CTL* Model Checking: Should SPIN be Extended?	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Büchi automata, Hesitant alternating automata, Model checking, Games, Spin
34	K. Subramani 0001, C. Tauras	An approximation algorithm for state minimization in 2-MDFAs.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	2-MDFA, Finite state automata, State minimization
34	Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng	Duration-constrained regular expressions.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Regular expressions, Hybrid automata, Duration Calculus
34	Edward A. Lee, Yuhong Xiong	A behavioral type system and its application in Ptolemy II.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping
34	Orna Kupferman	Avoiding Determinization.	LICS	2006	DBLP DOI BibTeX RDF
34	Orna Kupferman, Moshe Y. Vardi	Safraless Decision Procedures.	FOCS	2005	DBLP DOI BibTeX RDF
33	Are Uppman, Jean-Marc Champarnaud	Autographe: A Graphical Version of Automate.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
33	Yuri Velinov	On the Syntax, Semantics, and Implementation of a Graph-Based Computational Environment.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
33	Françoise Fogelman-Soulié	Representation of Knowledge and Learning on Automata Networks.	Automata Networks	1986	DBLP DOI BibTeX RDF
32	Jun-Cheol Jeon, Kee-Young Yoo	Authentication Based on Singular Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF	Singular Operation, Authentication, Cellular Automata, Hash function, One-Time Password
32	Angel Aponte, José Alí Moreno	Cellular Automata and Its Application to the Modeling of Vehicular Traffic in the City of Caracas.	ACRI	2006	DBLP DOI BibTeX RDF	Cellular Automata, Traffic Modeling, Nonlinear Optimization, Emergent Behavior
32	Marco Tomassini	Generalized Automata Networks.	ACRI	2006	DBLP DOI BibTeX RDF
32	Pawel Topa	Towards a Two-Scale Cellular Automata Model of Tumour-Induced Angiogenesis.	ACRI	2006	DBLP DOI BibTeX RDF
32	Lev Naumov	CAME &L-Cellular Automata Modeling Environment & Library.	ACRI	2004	DBLP DOI BibTeX RDF
32	Danuta Makowiec	Cellular Automata with Majority Rule on Evolving Network.	ACRI	2004	DBLP DOI BibTeX RDF
32	Marco Tomassini, Mattias Venzi	Artificially Evolved Asynchronous Cellular Automata for the Density Task.	ACRI	2002	DBLP DOI BibTeX RDF
32	Martin Dickhöfer, Thomas Wilke	Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem.	ICALP	1999	DBLP DOI BibTeX RDF
32	Bruce W. Watson	A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic Finite Automata.	WIA	1999	DBLP DOI BibTeX RDF
32	Danial J. Neebel, Charles R. Kime	Cellular Automata for Weighted Random Pattern Generation.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	multiple weight sets, hybrid cellular automata, weighted cellular automata, test-per-clock pattern generation, Built-in self-test, cellular automata, weighted random patterns
32	Péter Gács	Reliable Cellular Automata with Self-Organization.	FOCS	1997	DBLP DOI BibTeX RDF	noisy cellular automaton, fault-tolerant cellular automaton, probabilistic cellular automata, interacting particle system, Gibbs states, fault tolerance, reliability, cellular automata, cellular automata, self-organization, self organization, error-correction, ergodicity, renormalization
32	Sukumar Nandi, B. K. Kar, Parimal Pal Chaudhuri	Theory and Applications of Cellular Automata in Cryptography.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	CA state transitions, fundamental transformations, programmable cellular automata, pseudorandom pattern generators, VLSI, cryptography, cryptography, stream ciphers, cellular automata, cellular automata, block ciphers, random number generation, VLSI implementation
32	Sam M. Kim, Robert McNaughton, Robert McCloskey	A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite Automata.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	local testability, locally testable language, nonnegative integer, prefix, suffix, computational complexity, polynomial time algorithm, formal languages, finite automata, word, deterministic finite automata, deterministic automata, substrings
32	Peter D. Hortensius, Robert D. McLeod, Howard C. Card	Cellular Automata-Based Signature analysis for Built-in Self-Test.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	signature analysis properties, one-dimensional cellular automata, cyclic-group rules, CALBO, cellular automata-based logic block observation, BILBO, built-in block observation, logic testing, built-in self-test, built-in self test, LFSR, linear feedback shift register, finite automata, test pattern generation
32	Shmuel Safra	On the Complexity of omega-Automata	FOCS	1988	DBLP DOI BibTeX RDF	Buchi automata, complexity, decision procedures, deterministic automata, omega -automata
32	Wei Li 0058, Albert Y. Zomaya, Adel Al-Jumaily	Cellular automata based models of wireless sensor networks.	MOBIWAC	2009	DBLP DOI BibTeX RDF	asynchronous cellular automata, synchronous cellular automata, wireless sensor network, connectivity, self-organization, coverage, network lifetime
32	Zhiwen Mo, Xiaolei Hong	Minimization of Mizumoto Automata.	ICFIE	2007	DBLP DOI BibTeX RDF	Mizumoto automata, canonical fuzzy finite automata, minimization, equivalence
32	Alfons G. Hoekstra, Eric Lorenz, Jean-Luc Falcone, Bastien Chopard	Towards a Complex Automata Framework for Multi-scale Modeling: Formalism and the Scale Separation Map.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Complex Automata, Scale Separation Map, Cellular Automata, Multi-Scale Modeling
32	Susan H. Rodger, Bart Bressler, Thomas Finley, Stephen Reading	Turning automata theory into a hands-on course.	SIGCSE	2006	DBLP DOI BibTeX RDF	SLR parsing, automata, grammar, L-system, turing machine, pushdown automata, JFLAP, LL parsing
32	Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz	Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.	DS-RT	2004	DBLP DOI BibTeX RDF	Exhaustive Simulation, Temporal Verification, Observer Automata, Communicating, Timed Automata, RTOS
32	Katsuhiko Nakamura	Real-Time Language Recognition by One-Way and Two-Way Cellular Automata.	MFCS	1999	DBLP DOI BibTeX RDF	one-way cellular automata, parallel language recognition, closure under reversal, Cellular automata
32	Sukumar Nandi, Ch. Rambabu, Parimal Pal Chaudhuri	A VLSI Architecture for Cellular Automata Based Reed-Solomon Decoder.	ISPAN	1999	DBLP DOI BibTeX RDF	Cellular Automata(CA), S b EC-D b ED, Extended Reed-Soloman code, t b EC - t b ED, Cellular Automata Array(CAA), VLSI, pipeline
32	Eugene Asarin, Paul Caspi, Oded Maler	A Kleene Theorem for Timed Automata.	LICS	1997	DBLP DOI BibTeX RDF	Kleene theorem, timed regular expressions, dense-time discrete-valued signals, /spl omega/-regular expressions, timed automata, expressive power, automata theory
32	Adam Kellett, Michael Fisher 0001	Automata Representations for Concurrent METATEM.	TIME	1997	DBLP DOI BibTeX RDF	Concurrent METATEM language, temporal logic formulae, direct interpretation, large applications, closely coupled automata, performance, parallel languages, parallel language, finite-state automata, logic programming language
32	P. S. Thiagarajan, Shaofa Yang	Succinct discrete time approximations of distributed hybrid automata.	HSCC	2010	DBLP DOI BibTeX RDF	discrete time approximation, distributed hybrid automata
32	Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone	Modal interfaces: unifying interface automata and modal specifications.	EMSOFT	2009	DBLP DOI BibTeX RDF	modal specifications, compatibility, interface automata
32	Slawomir Lasota 0001, Igor Walukiewicz	Alternating timed automata.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	emptyness problem, timed automata, Alternation
32	Jochen Eisinger, Felix Klaedtke	Don't care words with an application to the automata-based approach for real addition.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Mixed linear arithmetic over the integers and reals, Verification of infinite-state systems, Decision procedure, Automata theory
32	Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre	Collapsible Pushdown Automata and Recursion Schemes.	LICS	2008	DBLP DOI BibTeX RDF	Higher-order pushdown automata, game semantics, higher-order recursion schemes
32	Fabio Massacci, Ida Sri Rejeki Siahaan	Simulating midlet's security claims with automata modulo theory.	PLAS	2008	DBLP DOI BibTeX RDF	security policy, automata, mobile code
32	Sun Meng, Farhad Arbab	Web services choreography and orchestration in Reo and constraint automata.	SAC	2007	DBLP DOI BibTeX RDF	web services, orchestration, choreography, Reo, constraint automata
32	Lutz Priese	Finite Automata on Unranked and Unordered DAGs.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF	regular dag languages, directed acyclic graphs, finite state automata
32	Amparo Fúster-Sabater, Pino Caballero-Gil	Linearization of Stream Ciphers by Means of Concatenated Automata.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	Stream cipher, cellular automata, symmetric cryptography, concatenation
32	Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik	Dealing with practical limitations of distributed timed model checking for timed automata.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Distributed timed model checking, Kronos, Load-balance, Reconfiguration, Timed automata, Reachability, Redistribution, Zeus, DBM
32	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston	Performance analysis of probabilistic timed automata using digital clocks.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Timed automata, Probabilistic model checking, Digital clocks
32	Samira Tasharofi, Sepand Ansari, Marjan Sirjani	Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.	ICFEM	2006	DBLP DOI BibTeX RDF	finite-state machine testing, symbiotic evolutionary algorithms, genetic algorithms, automatic test data generation, Constraint automata
32	Thierry Jéron, Hervé Marchand, Vlad Rusu	Symbolic Determinisation of Extended Automata.	IFIP TCS	2006	DBLP DOI BibTeX RDF	symbolic automata, determinisation
32	Manuel Baclet, Claire Pagetti	Around Hopcroft's Algorithm.	CIAA	2006	DBLP DOI BibTeX RDF	Hopcroft’s algorithm, Finite automata, minimization
32	Abdeslam En-Nouaary, Rachida Dssouli	A Guided Method for Testing Timed Input Output Automata.	TestCom	2003	DBLP DOI BibTeX RDF	Timed Input Output Automata, Real-Time Systems, Testing, Test Purposes
32	Maurice H. ter Beek, Jetty Kleijn	Team Automata Satisfying Compositionality.	FME	2003	DBLP DOI BibTeX RDF	team automata, synchronizations, computations, compositionality, behaviour, shuffles
32	Alberto Bertoni, Carlo Mereghetti, Beatrice Palano	Quantum Computing: 1-Way Quantum Automata.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF	quantum finite automata, formal power series
32	Alberto Bertoni, Carlo Mereghetti, Beatrice Palano	Lower Bounds on the Size of Quantum Automata Accepting Unary Languages.	ICTCS	2003	DBLP DOI BibTeX RDF	quantum information theory, quantum automata
32	Amparo Fúster-Sabater, Dolores de la Guía-Martínez	Keystream Generator Analysis in Terms of Cellular Automata.	KES	2003	DBLP DOI BibTeX RDF	cryptography, cellular automata, shrinking generator
32	Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager	Minimum-Cost Reachability for Priced Timed Automata.	HSCC	2001	DBLP DOI BibTeX RDF	Optimization, Algorithms, Verification, Data Structures, Timed Automata
32	Dirk Beyer 0001	Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs.	CHARME	2001	DBLP DOI BibTeX RDF	Real-time systems, Formal verification, Timed Automata
32	Anca Muscholl, Doron A. Peled	From Finite State Communication Protocols to High-Level Message Sequence Charts.	ICALP	2001	DBLP DOI BibTeX RDF	HMSC, bounded automata, partial order specification, specification, Message sequence charts
32	Boris Chidlovskii	Using Regular Tree Automata as XML Schemas.	ADL	2000	DBLP DOI BibTeX RDF	XML schema, tree automata, DTD, query algebra
32	Reid B. Porter, Neil W. Bergmann	Evolving FPGA Based Cellular Automata.	SEAL	1998	DBLP DOI BibTeX RDF	Genetic Algorithm, FPGA, Cellular Automata
32	Davide Bresolin, Angelo Montanari, Gabriele Puppis	A theory of ultimately periodic languages and automata with an application to time granularity.	Acta Informatica	2009	DBLP DOI BibTeX RDF
32	Gabriel Ciobanu, Sergiu Rudeanu	Final and sequential behaviours of M-automata.	Acta Informatica	2009	DBLP DOI BibTeX RDF
32	Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger	Alternating Weighted Automata.	FCT	2009	DBLP DOI BibTeX RDF
32	Christian Kissig, Yde Venema	Complementation of Coalgebra Automata.	CALCO	2009	DBLP DOI BibTeX RDF
32	Sicco Verwer, Mathijs de Weerdt, Cees Witteveen	Polynomial Distinguishability of Timed Automata.	ICGI	2008	DBLP DOI BibTeX RDF
32	Damien Regnault	Directed Percolation Arising in Stochastic Cellular Automata Analysis.	MFCS	2008	DBLP DOI BibTeX RDF
32	Sara NavidPour, Mohammad Izadi, Ali Movaghar 0001	Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.	COMPSAC	2008	DBLP DOI BibTeX RDF
32	Jens Glöckler	A Taxonomy of Deterministic Forgetting Automata.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
32	Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar	Computing Simulations over Tree Automata.	TACAS	2008	DBLP DOI BibTeX RDF
32	Lei Bu, You Li, Linzhang Wang, Xuandong Li	BACH : Bounded ReAchability CHecker for Linear Hybrid Automata.	FMCAD	2008	DBLP DOI BibTeX RDF
32	Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin	On Stateless Multihead Automata: Hierarchies and the Emptiness Problem.	LATIN	2008	DBLP DOI BibTeX RDF