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 (25) 1962-1963 (15) 1964-1965 (30) 1966 (46) 1967 (64) 1968 (79) 1969 (62) 1970 (66) 1971 (56) 1972 (105) 1973 (74) 1974 (138) 1975 (128) 1976 (87) 1977 (83) 1978 (75) 1979 (95) 1980 (103) 1981 (94) 1982 (81) 1983 (110) 1984 (112) 1985 (103) 1986 (108) 1987 (144) 1988 (207) 1989 (167) 1990 (177) 1991 (203) 1992 (236) 1993 (200) 1994 (259) 1995 (300) 1996 (342) 1997 (351) 1998 (356) 1999 (407) 2000 (596) 2001 (537) 2002 (601) 2003 (679) 2004 (831) 2005 (905) 2006 (995) 2007 (982) 2008 (1264) 2009 (1082) 2010 (1004) 2011 (890) 2012 (1048) 2013 (916) 2014 (1039) 2015 (984) 2016 (964) 2017 (978) 2018 (985) 2019 (950) 2020 (915) 2021 (958) 2022 (926) 2023 (815) 2024 (144)
Publication types (Num. hits)
article(8897) book(86) data(5) incollection(325) inproceedings(17461) mastersthesis(1) phdthesis(297) proceedings(204)
Venues (Conferences, Journals, ...)
ICALP(3238) CoRR(1699) ACRI(733) CIAA(678) LATA(660) ICALP (1)(655) Theor. Comput. Sci.(617) ICALP (2)(489) SWAT(271) MFCS(265) GandALF(250) J. Cell. Autom.(236) AUTOMATA(214) Inf. Comput.(209) NCMA(200) Fundam. Informaticae(197) More (+10 of total 2936)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5890 occurrences of 2321 keywords

Results
Found 27276 publication records. Showing 27276 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
79Stefan Schwoon Determinization and Complementation of Streett Automata. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
70Cliff A. Joslyn On Possibilistic Automata. Search on Bibsonomy EUROCAST The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
69Luca Alberucci Strictness of the Modal µ-Calculus Hierarchy. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
67Hitoshi 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
61Ville 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
61Orna 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
61Zhe 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
60Juraj 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
59Orna Kupferman, Nir Piterman, Moshe Y. Vardi Extended Temporal Logic Revisited. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
58Mehryar Mohri, Pedro J. Moreno 0001, 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
57Bahman 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
57Wolfgang Golubski, Wolfram-Manfred Lippe Tree-Stack Automata. Search on Bibsonomy MFCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
55Sriram 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
53Xavier 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
53Daowen 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
53Jeremy 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
53Franciszek Seredynski, Albert Y. Zomaya Sequential and Parallel Cellular Automata-Based Scheduling Algorithms. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF two-processor systems, genetic algorithms, Cellular automata, coevolution, multiprocessor scheduling
53Orna 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
53Jarkko Kari Structure of Reversible Cellular Automata. Search on Bibsonomy UC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
53Salvatore 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
53Chandra 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
51Sylvain 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
51Eric 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
51Bernard 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
51Giusi Castiglione, Antonio Restivo, Marinella Sciortino Hopcroft's Algorithm and Cyclic Automata. Search on Bibsonomy LATA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
51Deepak 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
50Thierry 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
49Amparo 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
49Darcy 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
49Helmut Jürgensen, Ludwig Staiger Finite Automata Encoding Geometric Figures. Search on Bibsonomy WIA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Marie-Pierre Béal, Eugen Czeizler, Jarkko Kari, Dominique Perrin Unambiguous Automata. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF local automata, synchronized automata, unambiguous automata, unambiguous monoids of relations, Automata
49Attila 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
49Bé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
49Liao 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
49Jin 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
49Orna Kupferman, Yoad Lustig Lattice Automata. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Orna Kupferman, Moshe Y. Vardi Weak Alternating Automata Are Not That Weak. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
48Sandro Pedrazzini The Finite State Automata's Design Patterns. Search on Bibsonomy Workshop on Implementing Automata The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
47Mohammad Izadi, Marcello M. Bonsangue Recasting Constraint Automata into Büchi Automata. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Bernd 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
46Rajeev 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
46Franck Cassez, Kim Guldstrand Larsen The Impressive Power of Stopwatches. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
46Daniel Kirsten Alternating Tree Automata and Parity Games. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
46Berndt Farwer omega-Automata. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
46Frank Nießner Nondeterministic Tree Automata. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
45Alfons 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
45Detlef 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
45Qiqi 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
45Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová Component-interaction automata as a verification-oriented component-based system specification. Search on Bibsonomy ACM SIGSOFT Softw. Eng. 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
45Emmanuel Jeandel Topological Automata. Search on Bibsonomy STACS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ProbabilisticAutomata, Formal Languages, Finite Automata, Quantum Automata
45S. Murtaza, Alfons G. Hoekstra, Peter M. A. Sloot Compute Bound and I/O Bound Cellular Automata Simulations on FPGA Logic. Search on Bibsonomy ACM Trans. Reconfigurable Technol. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF FPGA-based hardware accelerator, lattice Boltzman simulations, High-performance computing, cellular automata
45Felix 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
45Randy Smith, Cristian Estan, Somesh Jha XFA: Faster Signature Matching with Extended Automata. Search on Bibsonomy SP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF intrusion detection, regular expressions, finite automata, signature matching
45Guillaume 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
45Feng 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
45Richard 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
45Juraj 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
45Pavol 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
44Cezar Câmpeanu, Nicolae Santean, Sheng Yu 0001 Minimal Cover-Automata for Finite Languages. Search on Bibsonomy Workshop on Implementing Automata The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44Marie-Chantal Beaulieu, Anne Bergeron Automata and Computational Probabilities. Search on Bibsonomy Workshop on Implementing Automata The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
43Rodolfo 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
43Fré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
43Jim 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
43Chenguang Luo From Word Automata to Tree Automata. Search on Bibsonomy ICYCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Joseph 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
42Gopal Gupta 0001, 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
42Rajeev 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
42Chamseddine 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
41Markus Roggenbach Determinization of Büchi-Automata. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
41Klaus Reinhardt The Complexity of Translating Logic to Finite Automata. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
41Bruce W. Watson A Fast New Semi-incremental Algorithm for the Construction of Minimal Acyclic DFAs. Search on Bibsonomy Workshop on Implementing Automata The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Howard Straubing, Denis Thérien Finite automata and computational complexity. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
41Debojyoti 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
41Shahram 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
41Amparo 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
41Yo-Sub Han, Derick Wood The Generalization of Generalized Automata: Expression Automata. Search on Bibsonomy CIAA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Carsten 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
40Amos Beimel, Francesco Bergadano, Nader H. Bshouty, Eyal Kushilevitz, Stefano Varricchio On the Applications of Multiplicity Automata in Learning. Search on Bibsonomy FOCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF multiplicity automata, DNF formulae learnability, minimal multiplicity automaton, multiplicity automata learning, finite field polynomials, infinite field bounded-degree polynomials, decision trees, states, matrix, automata theory, automata theory, query complexity
40John Watrous On One-Dimensional Quantum Cellular Automata. Search on Bibsonomy FOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF one-dimensional quantum cellular automata, quantum computational model, one dimensional quantum cellular automata, quantum Turing machine, constant slowdown, one dimensional partitioned quantum cellular automata, linear slowdown, 1D partitioned quantum cellular automaton simulation, simulation, cellular automata, quantum computation, quantum computers, physics, physics computing, Turing machines, quantum theory
40Nils Klarlund Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic Search on Bibsonomy FOCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF complementation omega -automata, languages of infinite words, Buchi automata, Streett automata, optimal complementation, temporal logic, finite-state automata, ETLs, graph-theoretic approach
40Ruma 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)
40Maxime 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
40Miha 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
40Ronald 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
40Jay Ligatti, Lujo Bauer, David Walker 0001 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
40Hitoshi 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
40Sven Schewe Tighter Bounds for the Determinisation of Büchi Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Marcin 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
40Rusins 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
40Manfred 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
40Andreas Morgenstern, Klaus Schneider 0001 From LTL to Symbolically Represented Deterministic Automata. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Christian 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
40Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, 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
40Rusins Freivalds Hamming, Permutations and Automata. Search on Bibsonomy SAGA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Orna Kupferman, Gila Morgenstern, Aniello Murano Typeness for omega-Regular Automata. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Kumar 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
40Ralf Treinen Predicate Logic and Tree Automata with Tests. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
40Andris 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
40Gérard Duchamp, Marianne Flouret, Éric Laugerotte Operations over Automata with Multiplicities. Search on Bibsonomy Workshop on Implementing Automata The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
40Jean-Francis Michon, Jean-Marc Champarnaud Automata and Binary Decision Diagrams. Search on Bibsonomy Workshop on Implementing Automata The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 27276 (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 L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license