The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for automata with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1957-1961 (24) 1962-1963 (15) 1964-1965 (26) 1966 (46) 1967 (63) 1968 (78) 1969 (60) 1970 (65) 1971 (55) 1972 (58) 1973 (71) 1974 (135) 1975 (87) 1976 (50) 1977 (82) 1978 (75) 1979 (95) 1980 (100) 1981 (94) 1982 (80) 1983 (110) 1984 (112) 1985 (103) 1986 (108) 1987 (143) 1988 (204) 1989 (165) 1990 (173) 1991 (202) 1992 (228) 1993 (199) 1994 (255) 1995 (288) 1996 (360) 1997 (359) 1998 (359) 1999 (412) 2000 (610) 2001 (557) 2002 (618) 2003 (693) 2004 (829) 2005 (907) 2006 (1010) 2007 (1004) 2008 (1270) 2009 (1089) 2010 (1008) 2011 (892) 2012 (1057) 2013 (922) 2014 (1046) 2015 (978) 2016 (988) 2017 (967) 2018 (958) 2019 (156)
Publication types (Num. hits)
article(7394) book(66) incollection(211) inproceedings(14701) phdthesis(163) proceedings(163)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5890 occurrences of 2321 keywords

Results
Found 22698 publication records. Showing 22698 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
82Stefan Schwoon Determinization and Complementation of Streett Automata. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
77Cliff Joslyn On Possibilistic Automata. Search on Bibsonomy EUROCAST The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
74Hitoshi Ohsaki, Hiroyuki Seki Languages Modulo Normalization. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF tree automata modulo axioms, equational rewriting, Boolean closedness, hedge automata and XML schema, regularity, decidability
71Luca Alberucci Strictness of the Modal µ-Calculus Hierarchy. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
68Zhe Dang, Oscar H. Ibarra, Jianwen Su Composability of Infinite-State Activity Automata. Search on Bibsonomy ISAAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
67Orna Kupferman, Moshe Y. Vardi Weak alternating automata are not that weak. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF weak alternating automata, complementation
66Orna Kupferman, Nir Piterman, Moshe Y. Vardi Extended Temporal Logic Revisited. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
64Ville Laurikari NFAs with Tagged Transitions, Their Conversion to Deterministic Automata and Application to Regular Expressions. Search on Bibsonomy SPIRE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF tagged transitions, automata conversion, input string position tracking, last-use tracking, nondeterministic Mealy machines, string processing, substring addressing, lookahead operator, regular expressions, finite automata, formal semantics, deterministic automata, nondeterministic finite automata
64Juraj Hromkovic, Georg Schnitger Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser's Separation. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF descriptional complexity of regular languages, Finite automata, nondeterminism
63Wolfgang Golubski, Wolfram-Manfred Lippe Tree-Stack Automata. Search on Bibsonomy MFCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
61Bahman Pourvatan, Nima Rouhy An Alternative Algorithm for Constraint Automata Product. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Constraint Automata Product, Reo, Constraint Automata
60Sriram C. Krishnan, Anuj Puri, Robert K. Brayton Deterministic w Automata vis-a-vis Deterministic Buchi Automata. Search on Bibsonomy ISAAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
58Orna Kupferman, Nir Piterman Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
58Jarkko Kari Structure of Reversible Cellular Automata. Search on Bibsonomy UC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
58Salvatore La Torre, Aniello Murano, Margherita Napoli Weak Muller Acceptance Conditions for Tree Automata. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
58Chandra M. R. Kintala, Detlef Wotschke Concurrent Conciseness of Degree, Probabilistic, Nondeterministic and Deterministic Finite Automata (Extended Abstract). Search on Bibsonomy STACS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
58Mehryar Mohri, Pedro J. Moreno, Eugene Weinstein Factor Automata of Automata and Applications. Search on Bibsonomy CIAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF suffix automata, factor automata, music identification, information retrieval, finite automata, suffix trees, inverted files, text indexing
57Franciszek Seredynski, Albert Y. Zomaya Sequential and Parallel Cellular Automata-Based Scheduling Algorithms. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF two-processor systems, genetic algorithms, Cellular automata, coevolution, multiprocessor scheduling
56Daowen Qiu, Lvzhou Li An overview of quantum computation models: quantum automata. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2008 DBLP  DOI  BibTeX  RDF quantum computation, automata theory, quantum automata
56Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick Specification and Analysis of Automata-Based Designs. Search on Bibsonomy IFM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF model checking, Timed automata, stochastic automata
55Xavier Nicollin, Joseph Sifakis, Sergio Yovine Compiling Real-Time Specifications into Extended Automata. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
55Eric Schkufza, Nathaniel Love, Michael R. Genesereth Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Giusi Castiglione, Antonio Restivo, Marinella Sciortino Hopcroft's Algorithm and Cyclic Automata. Search on Bibsonomy LATA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Bernard Boigelot, Julien Brusten, Véronique Bruyère On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases. Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Deepak D'Souza, P. S. Thiagarajan Product Interval Automata: A Subclass of Timed Automata. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
54Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001 Timed Automata Patterns. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
54Orna Kupferman, Yoad Lustig Lattice Automata. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
54Orna Kupferman, Moshe Y. Vardi Weak Alternating Automata Are Not That Weak. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
52Franck Cassez, Kim Guldstrand Larsen The Impressive Power of Stopwatches. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
52Sylvain Lombardy On the Construction of Reversible Automata for Reversible Languages. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF reversible languages, reversible automata, universal automata, Finite automata
52Darcy Dunne, Angelo B. Mingarelli On the Dynamics of Some Exceptional Fuzzy Cellular Automata. Search on Bibsonomy ACRI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Helmut Jürgensen, Ludwig Staiger Finite Automata Encoding Geometric Figures. Search on Bibsonomy WIA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
52Béatrice Bérard, Serge Haddad Interrupt Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decidability of reachability, timed automata, interruptions, Hybrid automata, multi-task systems
52Liao Zekai, Shu Lan Minimization of Lattice Automata. Search on Bibsonomy ICFIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lattice Automata, Refining Equivalence, Refining Congruence, Quotient Lattice Automata, Minimization
51Amparo Fúster-Sabater, Dolores de la Guía-Martínez Cellular Automata Application to the Linearization of Stream Cipher Generators. Search on Bibsonomy ACRI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF cryptography, Cellular automata, linear modelling, clock-controlled generators
51Attila Kondacs, John Watrous On the Power of Quantum Finite State Automata. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF quantum finite state automata, non-regular language, finite automata, finite state automata, regular languages
51Mohammad Izadi, Marcello M. Bonsangue Recasting Constraint Automata into Büchi Automata. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
51Bernd Grobauer, Olaf Müller From I/O Automata to Timed I/O Automata. Search on Bibsonomy TPHOLs The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
50Rajeev Alur Marrying words and trees. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF nested words, XML, query languages, tree automata, pushdown automata
50Marie-Pierre Béal, Eugen Czeizler, Jarkko Kari, Dominique Perrin Unambiguous Automata. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF local automata, synchronized automata, unambiguous automata, unambiguous monoids of relations, Automata
49Juraj Hromkovic, Georg Schnitger On the Power of Randomized Pushdown Automata. Search on Bibsonomy Developments in Language Theory The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
49Pavol Duris, Tomasz Jurdzinski, Miroslaw Kutylowski, Krzysztof Lorys Power of Cooperation and Multihead Finite Systems. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
49Thierry Cachat Two-Way Tree Automata Solving Pushdown Games. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
48S. Murtaza, Alfons G. Hoekstra, Peter M. A. Sloot Compute Bound and I/O Bound Cellular Automata Simulations on FPGA Logic. Search on Bibsonomy TRETS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF FPGA-based hardware accelerator, lattice Boltzman simulations, High-performance computing, cellular automata
48Felix Klaedtke Bounds on the automata size for Presburger arithmetic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Automata-based decision procedures, complexity, quantifier elimination, Presburger arithmetic
48Randy Smith, Cristian Estan, Somesh Jha XFA: Faster Signature Matching with Extended Automata. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2008 DBLP  DOI  BibTeX  RDF intrusion detection, regular expressions, finite automata, signature matching
48Guillaume Theyssier How Common Can Be Universality for Cellular Automata?. Search on Bibsonomy STACS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF zero-one law, cellular automata, universality
48Feng Bao 0001 Cryptanalysis of a Partially Known Cellular Automata Cryptosystem. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF cryptanalysis, Cellular automata, encryption, chosen-plaintext attack
48Richard Mayr On the Complexity of Bisimulation Problems for Pushdown Automata. Search on Bibsonomy IFIP TCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF verification, complexity, bisimulation, Pushdown automata
47Detlef Kähler, Thomas Wilke Complementation, Disambiguation, and Determinization of Büchi Automata Unified. Search on Bibsonomy ICALP (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Qiqi Yan Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Emmanuel Jeandel Topological Automata. Search on Bibsonomy STACS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ProbabilisticAutomata, Formal Languages, Finite Automata, Quantum Automata
46Alfons G. Hoekstra, Jean-Luc Falcone, Alfonso Caiazzo, Bastien Chopard Multi-scale Modeling with Cellular Automata: The Complex Automata Approach. Search on Bibsonomy ACRI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Complex Automata, Multi-Scale Modeling
46Chenguang Luo From Word Automata to Tree Automata. Search on Bibsonomy ICYCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
46Joseph S. Miller Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata. Search on Bibsonomy HSCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
45Rajeev Alur, P. Madhusudan Adding nesting structure to words. Search on Bibsonomy J. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software model checking, tree automata, Pushdown automata, XML processing
45Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi Execution monitoring enforcement for limited-memory systems. Search on Bibsonomy PST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF bounded history automata, enforcement mechanisms, locally-testable properties, security policies, execution monitoring, edit automata
45Sandro Pedrazzini The Finite State Automata's Design Patterns. Search on Bibsonomy Workshop on Implementing Automata The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
45Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova Component-interaction automata as a verification-oriented component-based system specification. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Component-based specification languages, component-interaction automata, team automata, verification, ADLs, I/O automata, interface automata, component interaction
45Rodolfo Gómez 0001 A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Urgent actions, Timed Automata with Deadlines, Uppaal
45Frédérique Bassino, Julien David, Cyril Nicaud : A Library to Randomly and Exhaustively Generate Automata. Search on Bibsonomy CIAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF C++ library, finite automata, random generation
45Jim Morey, Kamran Sedig, Robert E. Mercer, M. Wayne Wilson Crystal Lattice Automata. Search on Bibsonomy CIAA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF lattice, automata, tiling, microworlds, crystallography
44Gopal Gupta, Enrico Pontelli A constraint-based approach for specification and verification of real-time systems. Search on Bibsonomy RTSS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF constraint based approach, real time systems specification, real time systems verification, general constraint logic programming, real time event ordering, grammar productions, Definite Clause Grammar, CLP program, DCG, timed push down automata, real-time systems, timed automata, constraint logic program, constraint automata
44Sven Schewe Tighter Bounds for the Determinisation of Büchi Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001 Concavely-Priced Probabilistic Timed Automata. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Rusins Freivalds Super-Exponential Size Advantage of Quantum Finite Automata with Mixed States. Search on Bibsonomy ISAAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Manfred Droste, Karin Quaas A Kleene-Schützenberger Theorem for Weighted Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Andreas Morgenstern, Klaus Schneider 0001 From LTL to Symbolically Represented Deterministic Automata. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Rusins Freivalds Hamming, Permutations and Automata. Search on Bibsonomy SAGA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Christian Dax, Jochen Eisinger, Felix Klaedtke Mechanizing the Powerset Construction for Restricted Classes of omega -Automata. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Orna Kupferman, Gila Morgenstern, Aniello Murano Typeness for omega-Regular Automata. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Kumar Neeraj Verma On Closure under Complementation of Equational Tree Automata for Theories Extending AC. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Ralf Treinen Predicate Logic and Tree Automata with Tests. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Andris Ambainis, Richard F. Bonner, Rusins Freivalds, Marats Golovkins, Marek Karpinski Quantum Finite Multitape Automata. Search on Bibsonomy SOFSEM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
44Frank Nießner Nondeterministic Tree Automata. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
44Daniel Kirsten Alternating Tree Automata and Parity Games. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
44Berndt Farwer omega-Automata. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
43Jay Ligatti, Lujo Bauer, David Walker Edit automata: enforcement mechanisms for run-time security policies. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Run-time checking and monitoring, Classification of security policies, Language-based security, Security automata
43Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos Monotone AC-Tree Automata. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF equational tree automata, complexity, decidability, closure properties
43Christian Dax, Felix Klaedtke Alternation Elimination by Complementation (Extended Abstract). Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Benjamin Aminof, Orna Kupferman On the Succinctness of Nondeterminism. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Yo-Sub Han, Derick Wood The Generalization of Generalized Automata: Expression Automata. Search on Bibsonomy CIAA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Carsten Fritz Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata. Search on Bibsonomy CIAA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Ruma Dutta, Anirban Kundu, Debajyoti Mukhopadhyay Offering Memory Efficiency Utilizing Cellular Automata for Markov Tree Based Web-Page Prediction Model. Search on Bibsonomy ICIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Cellular Automata (CA), Single Cycle Multiple Attractor Cellular Automata (SMACA), Rule Vec- tor (RV), Self Cycle Loop Attractor (SLA), Prediction by Partial Match (PPM), LRS (Longest Repeating Sequence)
42Maxime Crochemore, Chiara Epifanio, Roberto Grossi, Filippo Mignosi A Trie-Based Approach for Compacting Automata. Search on Bibsonomy CPM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF factor and suffix automata, suffix tree, index, text compression, Automata and formal languages
42Miha Mraz, Nikolaj Zimic, Iztok Lapanja, Iztok Lebar Bajec Fuzzy cellular automata: from theory to applications. Search on Bibsonomy ICTAI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF fuzzy cellular automata, fuzzified entity, fire spread, homogeneous nature environment, fuzzy logic, cellular automata, simulation results
42Ronald L. Rivest, Robert E. Schapire Diversity-Based Inference of Finite Automata. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF diversity-based representation, permutation automata, finite automata, learning theory, inductive inference
42Amparo Fúster-Sabater, Pino Caballero-Gil Concatenated Automata in Cryptanalysis of Stream Ciphers. Search on Bibsonomy ACRI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cryptography, Stream cipher, cellular automata, linear model
42Debojyoti Bhattacharya, Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury A Cellular Automata Based Approach for Generation of Large Primitive Polynomial and Its Application to RS-Coded MPSK Modulation. Search on Bibsonomy ACRI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MPSK Modulation, RS-encoding, Cellular Automata, Galois field, Primitive polynomial
42Shahram Golzari, Mohammad Reza Meybodi A Maze Routing Algorithm Based on Two Dimensional Cellular Automata. Search on Bibsonomy ACRI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF maze routing algorithm, routing, parallel algorithm, cellular automata, physical design
41Christoph Koch 0001 Applications of Automata in XML Processing. Search on Bibsonomy CIAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41Thomas Colcombet, Christof Löding The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata. Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Hartmut Messerschmidt, Frantisek Mráz, Friedrich Otto, Martin Plátek Correctness Preservation and Complexity of Simple RL-Automata. Search on Bibsonomy CIAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Radek Pelánek, Jan Strejcek Deeper Connections Between LTL and Alternating Automata. Search on Bibsonomy CIAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Moshe Y. Vardi Logic and Automata: A Match Made in Heaven. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Marats Golovkins, Maksim Kravtsev Probabilistic Reversible Automata and Quantum Automata. Search on Bibsonomy COCOON The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
41Dietrich Kuske Asynchronous Cellular Automata and Asynchronous Automata for Pomsets. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Bernard Boigelot, Stéphane Rassart, Pierre Wolper On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Marie-Chantal Beaulieu, Anne Bergeron Automata and Computational Probabilities. Search on Bibsonomy Workshop on Implementing Automata The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 22698 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license