Search results for "automata"

Hits ?▲	Authors	Title	Venue	Year	Link
29	Adrien Richard	A fixed point theorem for Boolean networks expressed in terms of forbidden subnetworks.	Automata	2011	DBLP BibTeX RDF
29	Pierre Guillon 0001	Projective subdynamics and universal shifts.	Automata	2011	DBLP BibTeX RDF
29	Vincent Nesme, Guillaume Theyssier	Selfsimilarity, Simulation and Spacetime Symmetries.	Automata	2011	DBLP BibTeX RDF
29	Chris J. Kuhlman, Henning S. Mortveit, David Murrugarra, V. S. Anil Kumar 0001	Bifurcations in Boolean Networks.	Automata	2011	DBLP BibTeX RDF
29	Kévin Perrot, Thi Ha Duong Phan, Van Trung Pham	On the set of Fixed Points of the Parallel Symmetric Sand Pile Model.	Automata	2011	DBLP BibTeX RDF
29	Petr Kurka, Enrico Formenti, Alberto Dennunzio	Asymptotic distribution of entry times in a cellular automaton with annihilating particles.	Automata	2011	DBLP BibTeX RDF
29	Carter Bays	Introduction to Cellular Automata and Conway's Game of Life.	Game of Life Cellular Automata	2010	DBLP DOI BibTeX RDF
29	Adam P. Goucher	Universal Computation and Construction in GoL Cellular Automata.	Game of Life Cellular Automata	2010	DBLP DOI BibTeX RDF
29	Mark D. Niemiec	Object Synthesis in Conway's Game of Life and Other Cellular Automata.	Game of Life Cellular Automata	2010	DBLP DOI BibTeX RDF
29	Emmanuel Sapin	Gliders and Glider Guns Discovery in Cellular Automata.	Game of Life Cellular Automata	2010	DBLP DOI BibTeX RDF
29	David Eppstein	Growth and Decay in Life-Like Cellular Automata.	Game of Life Cellular Automata	2010	DBLP DOI BibTeX RDF
29	Adam G. Dunn	Hierarchical Cellular Automata Methods.	Simulating Complex Systems by Cellular Automata	2010	DBLP DOI BibTeX RDF
29	Paulien Hogeweg	Multilevel Cellular Automata as a Tool for Studying Bioinformatic Processes.	Simulating Complex Systems by Cellular Automata	2010	DBLP DOI BibTeX RDF
29	Zafer Gürdal, Ramzi Zakhama	Cellular Automata for Simultaneous Analysis and Optimal Structural Topology Design.	Simulating Complex Systems by Cellular Automata	2010	DBLP DOI BibTeX RDF
29	Olga L. Bandman	Cellular Automata Composition Techniques for Spatial Dynamics Simulation.	Simulating Complex Systems by Cellular Automata	2010	DBLP DOI BibTeX RDF
29	Hiroshi Umeo	Problem Solving on One-Bit-Communication Cellular Automata.	Simulating Complex Systems by Cellular Automata	2010	DBLP DOI BibTeX RDF
29	Alfons G. Hoekstra, Jirí Kroc, Peter M. A. Sloot	Introduction to Modeling of Complex Systems Using Cellular Automata.	Simulating Complex Systems by Cellular Automata	2010	DBLP DOI BibTeX RDF
29	Christian Glaßer, Jean-Eric Pin, Nicole Schweikardt, Victor L. Selivanov, Wolfgang Thomas	10501 Abstracts Collection - Advances and Applications of Automata on Words and Trees.	Advances and Applications of Automata on Words and Trees	2010	DBLP BibTeX RDF
29	Christian Glaßer, Jean-Eric Pin, Nicole Schweikardt, Victor L. Selivanov, Wolfgang Thomas	10501 Executive Summary - Advances and Applications of Automata on Words and Trees.	Advances and Applications of Automata on Words and Trees	2010	DBLP BibTeX RDF
29	Johannes Gütschow, Vincent Nesme, Reinhard F. Werner	The fractal structure of cellular automata on abelian groups.	Automata	2010	DBLP BibTeX RDF
29	Eric Goles Ch., Mathilde Noual	Block-sequential update schedules and Boolean automata circuits.	Automata	2010	DBLP BibTeX RDF
29	Predrag T. Tosic	On the complexity of enumerating possible dynamics of sparsely connected Boolean network automata with simple update rules.	Automata	2010	DBLP BibTeX RDF
29	S.-J. Cho, U.-S. Choi, H.-D. Kim, Y.-H. Hwang, J.-G. Kim	60/102 Null Boundary Cellular Automata based expander graphs.	Automata	2010	DBLP BibTeX RDF
29	Leemon C. Baird III, Barry Fagin	Faster Methods for Identifying Nontrivial Energy Conservation Functions for Cellular Automata.	Automata	2010	DBLP BibTeX RDF
29	Martin Kutrib, Jonas Lefèvre, Andreas Malcher	The Size of One-Way Cellular Automata.	Automata	2010	DBLP BibTeX RDF
29	Pedro P. B. de Oliveira, Jarkko Kari (eds.)	15th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2009, São Paulo, Brazil, October 10-12, 2009	AUTOMATA	2009	DBLP BibTeX RDF
29	István Babcsányi	The Cerny Conjecture for Automata with Blocking States.	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
29	Pál Dömösi	Automata Networks without any Letichevsky Criteria.	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
29	Kellie Michele Evans	Larger Than Life's Invariant Measures.	AUTOMATA	2009	DBLP DOI BibTeX RDF
29	Pedro Paulo Balbi de Oliveira, Jarkko Kari	Preface.	AUTOMATA	2009	DBLP DOI BibTeX RDF
29	Patrick Ediger, Rolf Hoffmann	CA Models for Target Searching Agents.	AUTOMATA	2009	DBLP DOI BibTeX RDF
29	Sukanta Das, Sukanya Mukherjee, Nazma Naskar, Biplab K. Sikdar	Characterization of Single Cycle CA and its Application in Pattern Classification.	AUTOMATA	2009	DBLP DOI BibTeX RDF
29	Sukanta Das, Biplab K. Sikdar	Characterization of 1-d Periodic Boundary Reversible CA.	AUTOMATA	2009	DBLP DOI BibTeX RDF
29	J. Andrés Montoya, Carolina Mejía	On the Complexity of Sandpile Prediction Problems.	AUTOMATA	2009	DBLP DOI BibTeX RDF
29	Rubens A. Zimbres, Pedro Paulo Balbi de Oliveira	Dynamics of Quality Perception in a Social Network: A Cellular Automaton Based Model in Aesthetics Services.	AUTOMATA	2009	DBLP DOI BibTeX RDF
29	Moshe Y. Vardi, Thomas Wilke	Automata: from logics to algorithms.	Logic and Automata	2008	DBLP BibTeX RDF
29	Wim Martens, Frank Neven, Thomas Schwentick	Deterministic top-down tree automata: past, present, and future.	Logic and Automata	2008	DBLP BibTeX RDF
29	Olivier Carton, Dominique Perrin, Jean-Eric Pin	Automata and semigroups recognizing infinite words.	Logic and Automata	2008	DBLP BibTeX RDF
29	Andreas Malcher, Carlo Mereghetti, Beatrice Palano	Recent results on iterative arrays with small space bounds.	Automata	2008	DBLP BibTeX RDF
29	Olga L. Bandman	Mapping physical phenomena onto CA-models.	Automata	2008	DBLP BibTeX RDF
29	Maurice Margenstern, Yu Song	A new universal cellular automaton on the pentagrid.	Automata	2008	DBLP BibTeX RDF
29	Larry Bull, Ramón Alonso-Sanz	On coupling random Boolean networks.	Automata	2008	DBLP BibTeX RDF
29	Anna T. Lawniczak, Bruno N. Di Stefano	Development of CA model of highway traffic.	Automata	2008	DBLP BibTeX RDF
29	Masaya Nohmi	Analysis of five-cell neighborhood linear cellular automaton.	Automata	2008	DBLP BibTeX RDF
29	Anna T. Lawniczak, Hao Wu 0002, Bruno N. Di Stefano	DDoS attack detection using entropy of packet traffic in CA like data communication network model.	Automata	2008	DBLP BibTeX RDF
29	Edward Jack Powley, Susan Stepney	Automorphisms of transition graphs for a linear cellular automaton.	Automata	2008	DBLP BibTeX RDF
29	Takahiro Ito, Shuichi Inokuchi, Yoshihiro Mizoguchi	An abstract collision system.	Automata	2008	DBLP BibTeX RDF
29	Genaro Juárez Martínez, Andrew Adamatzky, Harold V. McIntosh, Benjamin de Lacy Costello	Computation by competing patterns: Life rule B2/S2345678.	Automata	2008	DBLP BibTeX RDF
29	Hidenosuke Nishio, Thomas Worsch	Changing the neighborhood of CA: local structure, equivalence and reversibility.	Automata	2008	DBLP BibTeX RDF
29	Kenichi Morita	A 24-state universal one-dimensional reversible cellular automaton.	Automata	2008	DBLP BibTeX RDF
29	Burton Voorhees	The discrete Baker transformation.	Automata	2008	DBLP BibTeX RDF
29	Matthias Schulz	How far is to the next recurrent configuration? An NP-complete problem in the sandpile model.	Automata	2008	DBLP BibTeX RDF
29	Luidnel Maignan, Frédéric Gruau	A 1D cellular automaton that moves particles until regular spatial placement.	Automata	2008	DBLP BibTeX RDF
29	Patrick Ediger, Rolf Hoffmann	Optimizing the creature's rule for all-to-all communication.	Automata	2008	DBLP BibTeX RDF
29	Fumio Ohi	Chaotic properties of elementary cellular automaton rule 168 of Wolfram class I.	Automata	2008	DBLP BibTeX RDF
29	Balázs Imreh, Masami Ito, Magnus Steinby	On Commutative Directable Nondeterministic Automata.	Grammars and Automata for String Processing	2003	DBLP BibTeX RDF
29	Catalin Dima	Distributed Real-Time Automata.	Grammars and Automata for String Processing	2003	DBLP BibTeX RDF
29	Galina Jirásková	Note on Minimal Automata and Uniform Communication Protocols.	Grammars and Automata for String Processing	2003	DBLP BibTeX RDF
29	Bruce W. Watson	A New Recursive Incremental Algorithm for Building Minimal Acyclic Deterministic Finite Automata.	Grammars and Automata for String Processing	2003	DBLP BibTeX RDF
29	Manuel Alfonseca 0001, Alfonso Ortega 0002, Alberto Suárez 0001	Cellular Automata and Probabilistic L Systems: An Example in Ecology.	Grammars and Automata for String Processing	2003	DBLP BibTeX RDF
29	Manfred Kudlek	On Universal Finite Automata and a-Transducers.	Grammars and Automata for String Processing	2003	DBLP BibTeX RDF
29	Denis Maurel	Electronic Dictionaries and Acyclic Finite-State Automata: A State of the Art.	Grammars and Automata for String Processing	2003	DBLP BibTeX RDF
29	Dietmar Berwanger, Achim Blumensath	Automata for Guarded Fixed Point Logics.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
29	Júlia Zappe	Modal µ-Calculus and Alternating Tree Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
29	Werner Kuich	Forty Years of Formal Power Series in Automata Theory.	A Half-Century of Automata Theory	2000	DBLP BibTeX RDF
29	John E. Hopcroft	Automata Theory: Its Past and Future.	A Half-Century of Automata Theory	2000	DBLP BibTeX RDF
29	Arto Salomaa	Compositions over a Finite Domain: From Completeness to Synchronizable Automata.	A Half-Century of Automata Theory	2000	DBLP BibTeX RDF
29	Juris Hartmanis	Undecidability and Incompleteness Results in Automata Theory.	A Half-Century of Automata Theory	2000	DBLP BibTeX RDF
29	Zdenek Tronícek	Operations on DASG.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
29	Norbert Blum	On Parsing LL-Languages.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
29	Sandra Huerter, Kai Salomaa, Xiuming Wu, Sheng Yu 0001	Implementing Reversed Alternating Finite Automaton (r-AFA) Operations.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
29	Max Silberztein	INTEX 4.1 for Windows: A Walkthrough.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
29	Jürgen Albert, Dora Giammarresi, Derick Wood	Extended Context-Free Grammars and Normal Form Algorithms.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
29	Heiko Goeman	On Parsing and Condensing Substrings of LR Languages in Linear Time.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
29	Matti Nykänen	Using Acceptors as Transducers.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
29	Max H. Garzon, Y. Gao, John A. Rose, R. C. Murphy, Russell J. Deaton, Donald R. Franceschetti, Stanley Edward Stevens Jr.	In Vitro Implementation of Finite-State Machines.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
29	Derick Wood	WIA and Theory and Practice.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
29	Pascal Caron	LANGAGE: A Maple Package for Automaton Characterization of Regular Languages.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
29	Miguel A. Alonso 0001, David Cabrero Souto, Manuel Vilares Ferro	Construction of Efficient Generalized LR Parsers.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
29	Charlotte L. Miller	Towards a Meta-Normal Form Algorithm for Context-Free Grammars.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
29	Jean-Luc Ponty	An Efficient Null-Free Procedure for Deciding Regular Language Membership.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
29	Kai Salomaa, Xiuming Wu, Sheng Yu 0001	Efficient Implementation of Regular Languages Using R-AFA.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
29	Mehryar Mohri, Fernando C. N. Pereira, Michael Riley 0001	A Rational Design for a Weighted Finite-State Transducer Library.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
29	Yuri Velinov	Teaching Theory of Computation with Tape Machines.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
29	A. N. Trahtman	A Precise Estimation of the Order of Local Testability of a Deterministic Finite Automaton.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
29	Denis Maurel, Laurent Chauvier	Pseudo-minimal Transducers: A Transducer with Proper Elements.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
29	Max Silberztein	INTEX: An Integrated FST Toolbox.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
29	Kai Salomaa, Sheng Yu 0001	NFA to DFA Transformation for Finite Languages.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
29	Darrell R. Raymond	WIA and the Practice of Theory in Computer Science.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
29	Bruce W. Watson	FIRE Lite: FAs and REs in C++.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
29	Barbara Schubert	How to Use Sorting Procedures to Minimize DFA.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
29	Susan H. Rodger	Integrating Hands-on Work into the Formal Languages Course via Tools and Programming.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
29	J. Howard Johnson, Derick Wood	Instruction Computation in Subset Construction.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
29	Jean-Luc Ponty, Djelloul Ziadi, Jean-Marc Champarnaud	A New Quadratic Algorithm to Convert a Regular Expression into an Automaton.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
29	Bala Ravikumar, X. Xiong	Implementing Sequential and Parallel Programs for the Homing Sequence Problem.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
29	Detlef Seese	Interpretability and tree automata: A simple way to solve algorithmic problems on graphs closely related to trees.	Tree Automata and Languages	1992	DBLP BibTeX RDF
29	Ahmed Saoudi, Paola Bonizzoni	Automata on infinite trees and rational control.	Tree Automata and Languages	1992	DBLP BibTeX RDF
29	Andreas Podelski	A monoid approach to tree automata.	Tree Automata and Languages	1992	DBLP BibTeX RDF
29	Antonio Restivo	Codes and Automata.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
29	Maxime Crochemore	Algorithms and automata.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF