Search results for "automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
40	Thierry Poibeau	Bi-directional Automata to Extract Complex Phrases from Texts.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
40	Dominique L'Her, Philippe Le Parc, Lionel Marcé	Proving Sequential Function Chart Programs Using Automata.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
40	Denis Maurel, Brigitte Le Pévédic, Olivier Rousseau	The Syntactic Prediction with Token Automata: Application to HandiAS System.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
40	Jan Holub 0001, Borivoj Melichar	Implementation of Nondeterministic Finite Automata for Approximate Pattern Matching.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
40	Jean-Marc Champarnaud, Djelloul Ziadi, Jean-Luc Ponty	Determinization of Glushkov Automata.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
39	Manfred Droste, George Rahonis	Weighted Automata and Weighted Logics with Discounting.	CIAA	2007	DBLP DOI BibTeX RDF	weighted Büchi and Muller automata, weighted MSO logic, discounting, formal power series, weighted automata
39	Juraj Hromkovic, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert	Measures of Nondeterminism in Finite Automata.	ICALP	2000	DBLP DOI BibTeX RDF	limited ambiguity, communication complexity, finite automata, nondeterminism, descriptional complexity
39	Christoph Koch 0001	Applications of Automata in XML Processing.	CIAA	2009	DBLP DOI BibTeX RDF
39	Thomas Colcombet, Christof Löding	The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata.	ICALP (2)	2008	DBLP DOI BibTeX RDF
39	Hartmut Messerschmidt, Frantisek Mráz, Friedrich Otto, Martin Plátek	Correctness Preservation and Complexity of Simple RL-Automata.	CIAA	2006	DBLP DOI BibTeX RDF
39	Radek Pelánek, Jan Strejcek	Deeper Connections Between LTL and Alternating Automata.	CIAA	2005	DBLP DOI BibTeX RDF
39	Moshe Y. Vardi	Logic and Automata: A Match Made in Heaven.	ICALP	2003	DBLP DOI BibTeX RDF
39	Marats Golovkins, Maksim Kravtsev	Probabilistic Reversible Automata and Quantum Automata.	COCOON	2002	DBLP DOI BibTeX RDF
39	Dietrich Kuske	Asynchronous Cellular Automata and Asynchronous Automata for Pomsets.	CONCUR	1998	DBLP DOI BibTeX RDF
39	Bernard Boigelot, Stéphane Rassart, Pierre Wolper	On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract).	ICALP	1998	DBLP DOI BibTeX RDF
38	Abdellatif Saoudi	Recognizable Infinite Tree Sets and their Complexity.	FSTTCS	1990	DBLP DOI BibTeX RDF	Büchi automata, Muller automata and Rabin automata, Tree automata
38	Christian Dax, Felix Klaedtke	Alternation Elimination by Complementation (Extended Abstract).	LPAR	2008	DBLP DOI BibTeX RDF
38	Benjamin Aminof, Orna Kupferman	On the Succinctness of Nondeterminism.	ATVA	2006	DBLP DOI BibTeX RDF
37	Felix Klaedtke	Complementation of Büchi Automata Using Alternation.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
37	Wolfgang Thomas	Automata and quantifier hierarchies.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
37	Abdelaâziz Bel Fekih, Abdelhaq El Jai	Regional Analysis of a Class of Cellular Automata Models.	ACRI	2006	DBLP DOI BibTeX RDF	Additive real-valued Cellular Automata, Regional controllability, Regional Observability, Sensors, Actuators
37	Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury	Generation of Expander Graphs Using Cellular Automata and Its Applications to Cryptography.	ACRI	2006	DBLP DOI BibTeX RDF	Security, Efficiency, Cellular Automata, Expander Graphs, One-way functions
37	Samir Roy, Biswajit Saha	Minority Gate Oriented Logic Design with Quantum-Dot Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF	Nano-computing, Minority Gate, Quantum-dot Cellular Automata
37	Stéphane Gobron, Denis Finck, Philippe Even, Bertrand Kerautret	Merging Cellular Automata for Simulating Surface Effects.	ACRI	2006	DBLP DOI BibTeX RDF	environmental and biological systems, surface effects, image processing, cellular automata, geometric modeling, fluid simulation
37	Witold Dzwinel	In Search of Cellular Automata Reproducing Chaotic Dynamics Described by Logistic Formula.	ACRI	2006	DBLP DOI BibTeX RDF	spatially extended systems, logistic equation, cellular automata, chaotic dynamics
37	Jun-Cheol Jeon, Kee-Young Yoo	Cellular Automata Based Role-Delegation in RBAC.	ACRI	2006	DBLP DOI BibTeX RDF	Multiple-Attractor Cellular Automata, Role-Delegation, Role-based Access Control, Separation of Duty
37	Kazuhiro Yamamoto, Satoshi Kokubo, Katsuhiro Nishinari	New Approach for Pedestrian Dynamics by Real-Coded Cellular Automata (RCA).	ACRI	2006	DBLP DOI BibTeX RDF	Pedestrian dynamics, real-coded cellular automata, crowd
37	Adam G. Dunn, George Milne	Modelling Wildfire Dynamics via Interacting Automata.	ACRI	2004	DBLP DOI BibTeX RDF	Modelling wildfire spread, Circal, cellular automata
37	Burton Voorhees	Discrete Baker Transformation for Binary Valued Cylindrical Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF
37	Arthur E. Mynett, Qiuwen Chen	Cellular Automata in Ecological and Ecohydraulics Modelling.	ACRI	2004	DBLP DOI BibTeX RDF
37	Massimo D'Antonio, Giorgio Delzanno	SAT-Based Analysis of Cellular Automata.	ACRI	2004	DBLP DOI BibTeX RDF
37	Andrea Roli, Franco Zambonelli	Emergence of Macro Spatial Structures in Dissipative Cellular Automata.	ACRI	2002	DBLP DOI BibTeX RDF
36	Andrzej Hlawiczka, Michal Kopec	Design and testing of fast and cost effective serial seeding TPGs based on one-dimensional linear hybrid cellular automata.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	serial seeding, linear hybrid cellular automata, n-cell CA register, p CdSR registers, cellular automata quasi shift register, PCASR, n-bit input sequence, logic testing, cellular automata, integrated circuit testing, automatic test pattern generation, application specific integrated circuits, polynomials, polynomial, logic CAD, cost, TPG, flip-flops, flip-flops, shift registers, pattern generators, integrated circuit economics
36	Andris Ambainis	The Complexity of Probabilistic versus Deterministic Finite Automata.	ISAAC	1996	DBLP DOI BibTeX RDF	the complexity of finite automata, probabilistic finite automata, Automata theory
36	Felice Balarin	Approximate reachability analysis of timed automata.	RTSS	1996	DBLP DOI BibTeX RDF	approximate reachability analysis, unsafe states, incorrect system, discrete state components, real-time systems, formal verification, Boolean functions, computation, timed automata, finite automata, finite state automata, timing information
36	Santanu Chattopadhyay, S. Mitra 0001, Parimal Pal Chaudhuri	Cellular automata based architecture of a database query processor.	VLSI Design	1996	DBLP DOI BibTeX RDF	cellular automata based architecture, database query processor, programmable query processor chip, fast database access, multiple attractor cellular automata, class-relation storage, true/false classifier, classification, VLSI, query processing, relational databases, relational database, cellular automata, microprocessor chips, database machines
36	Palash Sarkar 0001	A brief history of cellular automata.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	homogeneous structures, tessellation automata, cellular automata, systolic arrays, cellular space
36	Doron Drusinsky, David Harel	On the Power of Bounded Concurrency I: Finite Automata.	J. ACM	1994	DBLP DOI BibTeX RDF	bounded cooperative concurrency, statecharts, finite automata, nondeterminism, alternation, succinctness, omega-automata
36	Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang	Tool support for learning Büchi automata and linear temporal logic.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Büchi automata, QPTL, Model checking, GOAL, Linear temporal logic
36	David A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç	Specifying and analyzing security automata using CSP-OZ.	AsiaCCS	2007	DBLP DOI BibTeX RDF	CSP-OZ, security automata
36	Marcella Anselmo, Dora Giammarresi, Maria Madonia	Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages.	CIAA	2007	DBLP DOI BibTeX RDF	automata, determinism, two-dimensional languages
36	Amaury Habrard, José Oncina	Learning Multiplicity Tree Automata.	ICGI	2006	DBLP DOI BibTeX RDF	multiplicity tree automata, recognizable tree series, learning from equivalence and membership queries
36	Martin Kutrib, Andreas Malcher	Fast Cellular Automata with Restricted Inter-Cell Communication: Computational Capacity.	IFIP TCS	2006	DBLP DOI BibTeX RDF	Restricted communication, Computational capacity, Parallel computing, Cellular automata, Formal languages, Iterative arrays
36	Bernard Berthomieu, Florent Peres, François Vernadat 0001	Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.	FORMATS	2006	DBLP DOI BibTeX RDF	weak timed bisimilarity, real-time systems modeling and verification, Timed Automata, priorities, Time Petri nets
36	Patricia Bouyer	Forward Analysis of Updatable Timed Automata.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	(updatable) timed automata, forward analysis algorithm, widening operator, data structure, correctness
36	Tim A. C. Willemse	Embeddings of Hybrid Automata in Process Algebra.	IFM	2004	DBLP DOI BibTeX RDF	CRLt, Real-Time Systems, Hybrid Systems, Process Algebra, Expressive Power, Hybrid Automata
36	Andris Ambainis, Ashwin Nayak 0001, Amnon Ta-Shma, Umesh V. Vazirani	Dense quantum coding and quantum finite automata.	J. ACM	2002	DBLP DOI BibTeX RDF	Automaton size, quantum computation, encoding, communication complexity, finite automata, quantum communication
36	Hitoshi Ohsaki	Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories.	CSL	2001	DBLP DOI BibTeX RDF	decidability, Tree automata, equational theory
36	Amos Beimel, Francesco Bergadano, Nader H. Bshouty, Eyal Kushilevitz, Stefano Varricchio	Learning functions represented as multiplicity automata.	J. ACM	2000	DBLP DOI BibTeX RDF	learning disjoint, learning polynomials, multiplicity automata, DNF, computational learning
36	Paulo Fernandes 0001, Brigitte Plateau, William J. Stewart 0001	Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks.	J. ACM	1998	DBLP DOI BibTeX RDF	generalized tensor algebra, vector-descriptor multiplication, Markov chains, stochastic automata networks
36	Friedrich Otto, Heiko Stamer	Single-Path Restarting Tree Automata.	CAI	2009	DBLP DOI BibTeX RDF	restarting tree automaton, single-path top-down tree automaton, classes of tree languages, linear context-free tree language
36	Yang Cai 0001, Ting Zhang, Haifeng Luo	An Improved Lower Bound for the Complementation of Rabin Automata.	LICS	2009	DBLP DOI BibTeX RDF
36	Giusi Castiglione, Antonio Restivo, Marinella Sciortino	On Extremal Cases of Hopcroft's Algorithm.	CIAA	2009	DBLP DOI BibTeX RDF
36	Linmin Yang, Yong Wang, Zhe Dang	Automata on Multisets of Communicating Objects.	UC	2008	DBLP DOI BibTeX RDF
36	Naoki Kobayashi 0001, Hitoshi Ohsaki	Tree Automata for Non-linear Arithmetic.	RTA	2008	DBLP DOI BibTeX RDF
36	Andrei Paun, Mihaela Paun, Alfonso Rodríguez-Patón	Hopcroft's Minimization Technique: Queues or Stacks?.	CIAA	2008	DBLP DOI BibTeX RDF
36	Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra	Composing Semi-algebraic O-Minimal Automata.	HSCC	2007	DBLP DOI BibTeX RDF
36	Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski	Modal I/O Automata for Interface and Product Line Theories.	ESOP	2007	DBLP DOI BibTeX RDF
36	QingE Wu 0001, Tuo Wang, YongXuan Huang, JiSheng Li	Application of Fuzzy Automata on Target Tracking.	FSKD (2)	2007	DBLP DOI BibTeX RDF
36	Cyril Allauzen, Mehryar Mohri	A Unified Construction of the Glushkov, Follow, and Antimirov Automata.	MFCS	2006	DBLP DOI BibTeX RDF
36	Jirí Srba	Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation.	CSL	2006	DBLP DOI BibTeX RDF
36	Dietmar Berwanger, David Janin	Automata on Directed Graphs: Edge Versus Vertex Marking.	ICGT	2006	DBLP DOI BibTeX RDF
36	Joël Ouaknine, James Worrell 0001	Universality and Language Inclusion for Open and Closed Timed Automata.	HSCC	2003	DBLP DOI BibTeX RDF
36	Feng Bao 0001	Cryptanalysis of a New Cellular Automata Cryptosystem.	ACISP	2003	DBLP DOI BibTeX RDF
36	Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni	Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing.	CMSB	2003	DBLP DOI BibTeX RDF
36	Giovanni Manzini, Luciano Margara	Attractors of D-dimensional Linear Cellular Automata.	STACS	1998	DBLP DOI BibTeX RDF
36	Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens	The Regular Real-Time Languages.	ICALP	1998	DBLP DOI BibTeX RDF
36	William K. C. Lam, Robert K. Brayton	Criteria for the Simple Path Property in Timed Automata.	CAV	1994	DBLP DOI BibTeX RDF
36	Dietrich Kuske	Nondeterministic Automata with Concurrency Relations and Domains.	CAAP	1994	DBLP DOI BibTeX RDF
36	Gjalt G. de Jong	An Automata Theoretic Approach to Temporal Logic.	CAV	1991	DBLP DOI BibTeX RDF
35	Luca Mariot, Federico Mazzone	On the Minimum Distance of Subspace Codes Generated by Linear Cellular Automata.	AUTOMATA	2023	DBLP DOI BibTeX RDF
35	Pyry Paturi	On the Surjunctivity and the Garden of Eden Theorem for Non-uniform Cellular Automata.	AUTOMATA	2023	DBLP DOI BibTeX RDF
35	Yuki Nishida 0002, Koki Yamasaki, Sennosuke Watanabe, Akiko Fukuda, Yoshihide Watanabe	Convergence of Vector-Valued Fuzzy Cellular Automata with Weighted-Averaging Rules.	AUTOMATA	2023	DBLP DOI BibTeX RDF
35	Hanan Abdul Jaleel, Saran Kaarthik, Sailesh Sathish, Kamalika Bhattacharjee	Multiple-Stream Parallel Pseudo-Random Number Generation with Cellular Automata.	AUTOMATA	2023	DBLP DOI BibTeX RDF
35	Viswonathan Manoranjan, Ganta Sneha Rao, Subramanian Vishnumangalam Vaidhianathan, Kamalika Bhattacharjee	Optimized Reversible Cellular Automata Based Clustering.	AUTOMATA	2023	DBLP DOI BibTeX RDF
35	Nazim Fatès, Régine Marchand, Irène Marcovici	A Decentralised Diagnosis Method with Probabilistic Cellular Automata.	AUTOMATA	2023	DBLP DOI BibTeX RDF
35	Subrata Paul, Souvik Roy, Sukanta Das	Pattern Classification with Temporally Stochastic Cellular Automata.	AUTOMATA	2022	DBLP DOI BibTeX RDF
35	Luca Mariot, Luca Manzoni	Building Correlation Immune Functions from Sets of Mutually Orthogonal Cellular Automata.	AUTOMATA	2022	DBLP DOI BibTeX RDF
35	Martin Delacourt	Rice's Theorem for Generic Limit Sets of Cellular Automata.	AUTOMATA	2021	DBLP DOI BibTeX RDF
35	Ville Salo	Von Neumann Regularity, Split Epicness and Elementary Cellular Automata.	AUTOMATA	2021	DBLP DOI BibTeX RDF
35	Laurent David, Colin Defant, Michael Joseph, Matthew Macauley, Alex McDonough	Dynamical Algebraic Combinatorics, Asynchronous Cellular Automata, and Toggling Independent Sets.	AUTOMATA	2021	DBLP DOI BibTeX RDF
35	Siamak Taati	Reversible Cellular Automata in Presence of Noise Rapidly Forget Everything (Invited Talk).	AUTOMATA	2021	DBLP DOI BibTeX RDF
35	Luca Prigioniero	Regular Languages: To Finite Automata and Beyond (Invited Talk).	AUTOMATA	2021	DBLP DOI BibTeX RDF
35	Ilkka Törmä	Fixed Point Constructions in Tilings and Cellular Automata (Invited Talk).	AUTOMATA	2021	DBLP DOI BibTeX RDF
35	Kuize Zhang	State-Based Opacity of Real-Time Automata.	AUTOMATA	2021	DBLP DOI BibTeX RDF
35	Alexandre Fernandez, Luidnel Maignan, Antoine Spicher	Cellular Automata and Kan Extensions.	AUTOMATA	2021	DBLP DOI BibTeX RDF
35	Théo Grente, Etienne Grandjean	Conjunctive Grammars, Cellular Automata and Logic.	AUTOMATA	2021	DBLP DOI BibTeX RDF
35	Toni Hotanen	Everywhere Zero Pointwise Lyapunov Exponents for Sensitive Cellular Automata.	Automata	2020	DBLP DOI BibTeX RDF
35	Maximilien Gadouleau, Luca Mariot	Latin Hypercubes and Cellular Automata.	Automata	2020	DBLP DOI BibTeX RDF
35	Ilkka Törmä	Complexity of Generic Limit Sets of Cellular Automata.	Automata	2020	DBLP DOI BibTeX RDF
35	Florian Bridoux, Maximilien Gadouleau, Guillaume Theyssier	Commutative Automata Networks.	Automata	2020	DBLP DOI BibTeX RDF
35	Taiga Hongu, Masami Hagiya	Self-stabilizing Distributed Algorithms by Gellular Automata.	Automata	2020	DBLP DOI BibTeX RDF
35	Pedro Paulo Balbi de Oliveira, Enrico Formenti, Kévin Perrot, Sara Riva, Eurico L. P. Ruivo	Non-maximal Sensitivity to Synchronism in Periodic Elementary Cellular Automata: Exact Asymptotic Measures.	Automata	2020	DBLP DOI BibTeX RDF
35	Sukanya Mukherjee, Kamalika Bhattacharjee, Sukanta Das	Cycle Based Clustering Using Reversible Cellular Automata.	Automata	2020	DBLP DOI BibTeX RDF
35	Szilárd Zsolt Fazekas, Kaito Hoshi, Akihiro Yamamura	Enhancement of Automata with Jumping Modes.	Automata	2019	DBLP DOI BibTeX RDF
35	Augusto Modanese	Complexity-Theoretic Aspects of Expanding Cellular Automata.	Automata	2019	DBLP DOI BibTeX RDF
35	Alonso Castillo-Ramirez, Miguel Sanchez-Alvarez	Bounding the Minimal Number of Generators of Groups and Monoids of Cellular Automata.	Automata	2019	DBLP DOI BibTeX RDF
35	Olivier Carton, Bruno Guillon, Fabian Reiter	Counter Machines and Distributed Automata - A Story About Exchanging Space and Time.	Automata	2018	DBLP DOI BibTeX RDF
35	Jarkko Kari, Ville Salo, Thomas Worsch	Sequentializing Cellular Automata.	Automata	2018	DBLP DOI BibTeX RDF
35	Irène Marcovici, Thomas Stoll, Pierre-Adrien Tahay	Construction of Some Nonautomatic Sequences by Cellular Automata.	Automata	2018	DBLP DOI BibTeX RDF