Search results for "automata"

Hits ?▲	Authors	Title	Venue	Year	Link
29	Alonso Castillo-Ramirez, Pierre Guillon 0001, Kévin Perrot (eds.)	27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2021, July 12-14, 2021, Aix-Marseille University, France.	AUTOMATA	2021	DBLP BibTeX RDF
29	Juhani Karhumäki, Jarkko Kari	Finite automata, image manipulation, and automatic real functions.	Handbook of Automata Theory (II.)	2021	DBLP DOI BibTeX RDF
29	Arnaud Carayol, Olivier Serre	Higher-order recursion schemes and their automata models.	Handbook of Automata Theory (II.)	2021	DBLP DOI BibTeX RDF
29	Manfred Droste, Dietrich Kuske	Weighted automata.	Handbook of Automata Theory (I.)	2021	DBLP DOI BibTeX RDF
29	Zoltán Ésik	Equational theories for automata.	Handbook of Automata Theory (I.)	2021	DBLP DOI BibTeX RDF
29	Jean Berstel, Luc Boasson, Olivier Carton, Isabelle Fagnot	Minimisation of automata.	Handbook of Automata Theory (I.)	2021	DBLP DOI BibTeX RDF
29	Thomas Wilke, Sven Schewe	ω-Automata.	Handbook of Automata Theory (I.)	2021	DBLP DOI BibTeX RDF
29	Jean-Éric Pin	Finite automata.	Handbook of Automata Theory (I.)	2021	DBLP DOI BibTeX RDF
29	Andris Ambainis, Abuzer Yakaryilmaz	Automata and quantum computing.	Handbook of Automata Theory (II.)	2021	DBLP DOI BibTeX RDF
29	Boris Adamczewski, Jason Bell	Automata in number theory.	Handbook of Automata Theory (II.)	2021	DBLP DOI BibTeX RDF
29	Christof Löding	Automata on infinite trees.	Handbook of Automata Theory (I.)	2021	DBLP DOI BibTeX RDF
29	Sylvain Lombardy, Jean Mairesse	Max-plus automata.	Handbook of Automata Theory (I.)	2021	DBLP DOI BibTeX RDF
29	Patricia Bouyer	Timed automata.	Handbook of Automata Theory (II.)	2021	DBLP DOI BibTeX RDF
29	Jacques Sakarovitch	Automata and rational expressions.	Handbook of Automata Theory (I.)	2021	DBLP DOI BibTeX RDF
29	Wouter Gelade, Thomas Schwentick	Automata and finite model theory.	Handbook of Automata Theory (II.)	2021	DBLP DOI BibTeX RDF
29	Laurent Bartholdi, Pedro V. Silva	Groups defined by automata.	Handbook of Automata Theory (II.)	2021	DBLP DOI BibTeX RDF
29	Igor Walukiewicz	Synthesis with finite automata.	Handbook of Automata Theory (II.)	2021	DBLP DOI BibTeX RDF
29	Christof Löding, Wolfgang Thomas	Automata on finite trees.	Handbook of Automata Theory (I.)	2021	DBLP DOI BibTeX RDF
29	Kousha Etessami	Analysis of probabilistic processes and automata theory.	Handbook of Automata Theory (II.)	2021	DBLP DOI BibTeX RDF
29	Dietrich Kuske, Anca Muscholl	Communicating automata.	Handbook of Automata Theory (II.)	2021	DBLP DOI BibTeX RDF
29	Bernard Boigelot	Symbolic methods and automata.	Handbook of Automata Theory (II.)	2021	DBLP DOI BibTeX RDF
29	Loïc Paulevé, Sylvain Sené	Non-Deterministic Updates of Boolean Networks.	AUTOMATA	2021	DBLP DOI BibTeX RDF
29		Front Matter, Table of Contents, Preface, Conference Organization.	AUTOMATA	2021	DBLP DOI BibTeX RDF
29	Victor H. Lutfalla	An Effective Construction for Cut-And-Project Rhombus Tilings with Global n-Fold Rotational Symmetry.	AUTOMATA	2021	DBLP DOI BibTeX RDF
29	Maximilien Gadouleau	Dynamical Properties of Disjunctive Boolean Networks (Invited Talk).	AUTOMATA	2021	DBLP DOI BibTeX RDF
29	Hector Zenil (eds.)	Cellular Automata and Discrete Complex Systems - 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10-12, 2020, Proceedings	Automata	2020	DBLP DOI BibTeX RDF
29	Tien Thao Nguyen, Luidnel Maignan	Exploring Millions of 6-State FSSP Solutions: The Formal Notion of Local CA Simulation.	Automata	2020	DBLP DOI BibTeX RDF
29	Silvio Capobianco, Pierre Guillon 0001, Camille Noûs	A Characterization of Amenable Groups by Besicovitch Pseudodistances.	Automata	2020	DBLP DOI BibTeX RDF
29	Martin Kutrib, Andreas Malcher	Cellular String Generators.	Automata	2020	DBLP DOI BibTeX RDF
29	Ville Salo	Four Heads are Better than Three.	Automata	2020	DBLP DOI BibTeX RDF
29	Alonso Castillo-Ramirez, Pedro Paulo Balbi de Oliveira (eds.)	Cellular Automata and Discrete Complex Systems - 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019, Proceedings	Automata	2019	DBLP DOI BibTeX RDF
29	Eric Goles 0001, Pedro Montealegre 0001, Martín Ríos Wilson	On the Effects of Firing Memory in the Dynamics of Conjunctive Networks.	Automata	2019	DBLP DOI BibTeX RDF
29	Thibault Godin	Generic Properties in Some Classes of Automaton Groups.	Automata	2019	DBLP DOI BibTeX RDF
29	Martin Kutrib, Thomas Worsch	Iterative Arrays with Self-verifying Communication Cell.	Automata	2019	DBLP DOI BibTeX RDF
29	Martin Kutrib, Andreas Malcher	Iterative Arrays with Finite Inter-cell Communication.	Automata	2019	DBLP DOI BibTeX RDF
29	Jan M. Baetens, Martin Kutrib (eds.)	Cellular Automata and Discrete Complex Systems - 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings	Automata	2018	DBLP DOI BibTeX RDF
29	Henryk Fuks, Francis Kwaku Combert	Evaluating the Quality of Local Structure Approximation Using Elementary Rule 14.	Automata	2018	DBLP DOI BibTeX RDF
29	Andreas Malcher	Hierarchies and Undecidability Results for Iterative Arrays with Sparse Communication.	Automata	2018	DBLP DOI BibTeX RDF
29	Johan Kopra	Glider Automorphisms on Some Shifts of Finite Type and a Finitary Ryan's Theorem.	Automata	2018	DBLP DOI BibTeX RDF
29	Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon	A Gauge-Invariant Reversible Cellular Automaton.	Automata	2018	DBLP DOI BibTeX RDF
29	Thomas Chatain, Stefan Haar, Loïc Paulevé	Boolean Networks: Beyond Generalized Asynchronicity.	Automata	2018	DBLP DOI BibTeX RDF
29	Viet-Ha Nguyen 0004, Kévin Perrot	Any Shape Can Ultimately Cross Information on Two-Dimensional Abelian Sandpile Models.	Automata	2018	DBLP DOI BibTeX RDF
29	Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca (eds.)	Cellular Automata and Discrete Complex Systems - 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings	AUTOMATA	2017	DBLP DOI BibTeX RDF
29	Sylvain Contassot-Vivier, Jean-François Couchot	Canonical Form of Gray Codes in N-cubes.	AUTOMATA	2017	DBLP DOI BibTeX RDF
29	Antonio Bernini	Restricted Binary Strings and Generalized Fibonacci Numbers.	AUTOMATA	2017	DBLP DOI BibTeX RDF
29	Marcella Anselmo, Dora Giammarresi, Maria Madonia	Infinite Two-Dimensional Strong Prefix Codes: Characterization and Properties.	AUTOMATA	2017	DBLP DOI BibTeX RDF
29	Lapo Cioni, Luca Ferrari 0001	Enumerative Results on the Schröder Pattern Poset.	AUTOMATA	2017	DBLP DOI BibTeX RDF
29	Matthew Cook 0001, Turlough Neary (eds.)	Cellular Automata and Discrete Complex Systems - 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings	AUTOMATA	2016	DBLP DOI BibTeX RDF
29	Anaël Grandjean	Constant Acceleration Theorem for Extended von Neumann Neighbourhoods.	Automata	2016	DBLP DOI BibTeX RDF
29	Nazim Fatès, Irène Marcovici, Siamak Taati	Two-Dimensional Traffic Rules and the Density Classification Problem.	Automata	2016	DBLP DOI BibTeX RDF
29	Kenichi Morita	An 8-State Simple Reversible Triangular Cellular Automaton that Exhibits Complex Behavior.	Automata	2016	DBLP DOI BibTeX RDF
29	Silvio Capobianco, Jarkko Kari, Siamak Taati	An "almost dual" to Gottschalk's Conjecture.	Automata	2016	DBLP DOI BibTeX RDF
29	Andrew Winslow	A Brief Tour of Theoretical Tile Self-Assembly.	Automata	2016	DBLP DOI BibTeX RDF
29	Shigeki Akiyama, Katsunobu Imai	The Corona Limit of Penrose Tilings Is a Regular Decagon.	Automata	2016	DBLP DOI BibTeX RDF
29	Sebastián Barbieri, Jarkko Kari, Ville Salo	The Group of Reversible Turing Machines.	Automata	2016	DBLP DOI BibTeX RDF
29	Teijiro Isokawa, Katsunobu Imai, Nobuyuki Matsui, Ferdinand Peper, Hiroshi Umeo (eds.)	Cellular Automata and Discrete Complex Systems - 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers	Automata	2015	DBLP DOI BibTeX RDF
29	Jarkko Kari (eds.)	Cellular Automata and Discrete Complex Systems - 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings	Automata	2015	DBLP DOI BibTeX RDF
29	Norman Margolus	The Ideal Energy of Classical Lattice Dynamics.	Automata	2015	DBLP DOI BibTeX RDF
29	Nazim Fatès	Remarks on the Cellular Automaton Global Synchronisation Problem.	Automata	2015	DBLP DOI BibTeX RDF
29	Kari Eloranta	Hard Core via PCA: Entropy Bounds.	Automata	2015	DBLP DOI BibTeX RDF
29	Matthew Cook 0001, Urban Larsson, Turlough Neary	A Cellular Automaton for Blocking Queen Games.	Automata	2015	DBLP DOI BibTeX RDF
29	Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Michael Levet, Henning S. Mortveit, Sichao Wu	Network Structure and Activity in Boolean Networks.	Automata	2015	DBLP DOI BibTeX RDF
29	Luke Schaeffer	A Physically Universal Quantum Cellular Automaton.	Automata	2015	DBLP DOI BibTeX RDF
29	Turlough Neary, Damien Woods	Tag Systems and the Complexity of Simple Programs.	Automata	2015	DBLP DOI BibTeX RDF
29	Abhijin Adiga, Chris J. Kuhlman, Henning S. Mortveit, Sichao Wu	Effect of Graph Structure on the Limit Sets of Threshold Dynamical Systems.	Automata	2015	DBLP DOI BibTeX RDF
29	Diego Maldonado, Andrés Moreira, Anahí Gajardo	Universal Time-Symmetric Number-Conserving Cellular Automaton.	Automata	2015	DBLP DOI BibTeX RDF
29	Siamak Taati	Restricted Density Classification in One Dimension.	Automata	2015	DBLP DOI BibTeX RDF
29	Andreas Deutsch	Cellular Automaton Models for Collective Cell Behaviour.	Automata	2015	DBLP DOI BibTeX RDF
29	Luidnel Maignan, Jean-Baptiste Yunès	Generalized FSSP on Hexagonal Tiling: Towards Arbitrary Regular Spaces.	Automata	2014	DBLP DOI BibTeX RDF
29	Matthew Macauley, Henning S. Mortveit	Cycle Equivalence of Finite Dynamical Systems Containing Symmetries.	Automata	2014	DBLP DOI BibTeX RDF
29	Jarkko Kari	A Universal Cellular Automaton Without Sensitive Subsystems.	Automata	2014	DBLP DOI BibTeX RDF
29	Enrico Formenti, Kévin Perrot, Eric Rémila	Computational Complexity of the Avalanche Problem on One Dimensional Kadanoff Sandpiles.	Automata	2014	DBLP DOI BibTeX RDF
29	Ville Salo, Ilkka Törmä	Complexity of Conjugacy, Factoring and Embedding for Countable Sofic Shifts of Rank 2.	Automata	2014	DBLP DOI BibTeX RDF
29	Pablo Moisset de Espanés, Ivan Rapaport	Strict Majority Bootstrap Percolation on Augmented Tori and Random Regular Graphs: Experimental Results.	Automata	2014	DBLP DOI BibTeX RDF
29	Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)	Cellular Automata and Discrete Complex Systems - 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings	Automata	2013	DBLP DOI BibTeX RDF
29	Fritz von Haeseler, Hidenosuke Nishio	On Polynomial Rings in Information Dynamics of Linear CA.	Automata	2013	DBLP DOI BibTeX RDF
29	Olivier Bouré, Nazim Fatès, Vincent Chevrier	A Robustness Approach to Study Metastable Behaviours in a Lattice-Gas Model of Swarming.	Automata	2013	DBLP DOI BibTeX RDF
29	Enrico Formenti (eds.)	Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, AUTOMATA & JAC 2012, La Marana, Corsica, September 19-21, 2012.	AUTOMATA & JAC	2012	DBLP DOI BibTeX RDF
29	Supratik Chakraborty	Reasoning about Heap Manipulating Programs using Automata Techniques.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Amaldev Manuel, Ramaswamy Ramanujam	Automata over Infinite Alphabets.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Madhu Gopinathan, Pavithra Prabhakar	Introduction to Hybrid Automata.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Manindra Agrawal, Frank Stephan 0001, P. S. Thiagarajan, Shaofa Yang	The Discrete Time Behaviour of Restricted Linear Hybrid Automata.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Howard Straubing, Pascal Weil	An Introduction to Finite Automata and their Connection to Logic.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Madhavan Mukund	Automata on Distributed Alphabets.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Paritosh K. Pandya, P. Vijay Suman	An Introduction to Timed Automata.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Christof Löding	Basics on Tree Automata.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Namit Chaturvedi, Atish Datta Chowdhury, Meenakshi Balasubramanian	A Framework for Decentralized Physical Access Control using Finite State Automata.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Priti Shankar	Syntax Directed Compression of Trees Using Pushdown Automata.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Madhavan Mukund	Finite-State Automata on Infinite Inputs.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Wolfgang Thomas	Finite Automata and the Analysis of Infinite Transition Systems.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Kamala Krithivasan, Y. Sivasubramanyam	Weighted Finite Automata and Digital Images.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Fabrice Chevalier, Deepak D'Souza, Raj Mohan Matteplackel, Pavithra Prabhakar	Automata and Logics over Signals.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
29	Alexander Shen, Andrei E. Romashchenko	Topological arguments for Kolmogorov complexity	AUTOMATA & JAC	2012	DBLP DOI BibTeX RDF
29	Thomas Fernique, Mathieu Sablik	Local Rules for Computable Planar Tilings	AUTOMATA & JAC	2012	DBLP DOI BibTeX RDF
29	Ville Salo, Ilkka Törmä	On Derivatives and Subpattern Orders of Countable Subshifts	AUTOMATA & JAC	2012	DBLP DOI BibTeX RDF
29	Mathilde Noual, Damien Regnault, Sylvain Sené	Boolean networks synchronism sensitivity and XOR circulant networks convergence time	AUTOMATA & JAC	2012	DBLP DOI BibTeX RDF
29	Katsunobu Imai, Takahiro Hatsuda, Victor Poupet, Kota Sato	A Universal Semi-totalistic Cellular Automaton on Kite and Dart Penrose Tilings	AUTOMATA & JAC	2012	DBLP DOI BibTeX RDF
29	Emmanuel Jeandel, Nicolas Rolin	Fixed Parameter Undecidability for Wang Tilesets	AUTOMATA & JAC	2012	DBLP DOI BibTeX RDF
29	Nazim Fatès, Eric Goles Chacc, Alejandro Maass, Ivan Rapaport (eds.)	17th International Workshop on Cellular Automata and Discrete Complex Systems, Automata 2011, Center for Mathematical Modeling, University of Chile, Santiago, Chile, November 21-23, 2011	Automata	2011	DBLP BibTeX RDF
29	Felipe García-Ramos	Product decomposition for surjective 2-block NCCA.	Automata	2011	DBLP BibTeX RDF