|
|
Venues (Conferences, Journals, ...)
|
|
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 |
32 | Damien Regnault |
Quick Energy Drop in Stochastic 2D Minority. |
ACRI |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin 0001 |
Tree Automata with Memory, Visibility and Structural Constraints. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Hellis Tamm |
On Transition Minimality of Bideterministic Automata. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Marcin Jurdzinski, François Laroussinie, Jeremy Sproston |
Model Checking Probabilistic Timed Automata with One or Two Clocks. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Jaco Geldenhuys, Henri Hansen |
Larger Automata and Less Work for LTL Model Checking. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan 0001 |
Propositional Tree Automata. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Corinna Cortes, Mehryar Mohri, Ashish Rastogi, Michael Riley 0001 |
Efficient Computation of the Relative Entropy of Probabilistic Automata. |
LATIN |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
The Complexity of Enriched µ-Calculi. |
ICALP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Wim Martens, Joachim Niehren |
Minimizing Tree Automata for Unranked Trees. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Biniam Gebremichael, Frits W. Vaandrager |
Specifying Urgency in Timed I/O Automata. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Salvatore La Torre, Aniello Murano |
Reasoning About Co-Büchi Tree Automata. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Henning Bordihn, Markus Holzer 0001, Martin Kutrib |
Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie |
Real-Counter Automata and Their Decision Problems. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Jean-Michel Couvreur, Nasser Saheb, Grégoire Sutre |
An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Bing Sun, Jianhua Lv, Guoren Wang, Ge Yu 0001, Bo Zhou |
Efficient Evaluation of XML Path Queries with Automata. |
WAIM |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Markus Holzer 0001, Martin Kutrib |
Flip-Pushdown Automata: Nondeterminism Is Better than Determinism. |
Developments in Language Theory |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Kumar Neeraj Verma |
Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Franco Zambonelli, Marco Mamei, Andrea Roli |
What Can Cellular Automata Tell Us about the Behavior of Large Multi-agent Systems? |
SELMAS |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Elena Fersman, Paul Pettersson, Wang Yi 0001 |
Timed Automata with Asynchronous Processes: Schedulability and Decidability. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Kousha Etessami |
A Hierarchy of Polynomial-Time Computable Simulations for Automata. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Dimitra Giannakopoulou, Flavio Lerda |
From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Chrystopher L. Nehaniv |
Self-Reproduction in Asynchronous Cellular Automata. |
Evolvable Hardware |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Valerie King, Orna Kupferman, Moshe Y. Vardi |
On the Complexity of Parity Word Automata. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Janis Buls, Vaira Buza, Roberts Glaudins |
Representation of Autonomous Automata. |
FCT |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Claudia Roberta Calidonna, Claudia Di Napoli, Maurizio Giordano, Mario Mango Furnari, Salvatore Di Gregorio |
A network of cellular automata for a landslide simulation. |
ICS |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer |
On Presburger Liveness of Discrete Timed Automata. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Kenya Jin'no |
Analysis of hysteresis cellular automata. |
ISCAS (3) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Orna Kupferman, Moshe Y. Vardi, Pierre Wolper |
An automata-theoretic approach to branching-time model checking. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Ruggero Lanotte, Andrea Maggiolo-Schettini |
Timed Automata with Monotonic Activities. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Kousha Etessami, Gerard J. Holzmann |
Optimizing Büchi Automata. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Marats Golovkins |
Quantum Pushdown Automata. |
SOFSEM |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Christof Löding |
Optimal Bounds for Transformations of omega-Automata. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Holger Petersen 0001 |
The Head Hierarchy for Oblivious Finite Automata with Polynomial Advice Collapses. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Michaela Huhn, Peter Niebert |
Towards Automata for Branching Time and Partial Order. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
32 | Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya |
The Rabin Index and Chain Automata, with Applications to Automatas and Games. |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
32 | Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper |
An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). |
CAV |
1994 |
DBLP DOI BibTeX RDF |
|
32 | William K. C. Lam, Robert K. Brayton |
Alternating RQ Timed Automata. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Danièle Beauquier, Damian Niwinski |
Automata on Infinite Trees with Counting Constraints. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Karel Culík II, Juhani Karhumäki |
On the Equivalence Problem for Deterministic Multitape Automata and Transducers. |
STACS |
1989 |
DBLP DOI BibTeX RDF |
|
32 | Gilberto Filé |
Tree Automata and Logic Programs. |
STACS |
1985 |
DBLP DOI BibTeX RDF |
|
32 | Jerzy W. Grzymala-Busse |
Automorphisms of Polyadic Automata. |
J. ACM |
1969 |
DBLP DOI BibTeX RDF |
|
31 | Irène Guessarian |
A characterization of fair computations of finite state SCCS processes. |
Formal Properties of Finite Automata and Applications |
1988 |
DBLP DOI BibTeX RDF |
|
30 | Shenglin Gui, Lei Luo 0004, Miao Yu, Jianhua Xu, Yun Li |
Schedulability Analysis for Distributed Systems Using Network of Action Automata and Environment Automata. |
ISPA |
2011 |
DBLP DOI BibTeX RDF |
action automata, environment automata, distributed systems, schedulability analysis |
30 | Hanlin Lu, Sheng Yu 0001 |
Are Statecharts Finite Automata? |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
interaction machines, statecharts, finite automata |
30 | Amparo Fúster-Sabater, Pino Caballero-Gil, Oscar Delgado-Mohatar |
Cellular Automata-Based Structures to Compute the Solutions of Linear Difference Equations. |
ACRI |
2008 |
DBLP DOI BibTeX RDF |
cryptography, cellular automata, natural computing, difference equation |
30 | Alfonso Caiazzo, Jean-Luc Falcone, Bastien Chopard, Alfons G. Hoekstra |
Error Investigations in Complex Automata Models for Reaction-Diffusion Systems. |
ACRI |
2008 |
DBLP DOI BibTeX RDF |
Complex Automata modeling, lattice Boltzmann method, asymptotic expansion, reaction-diffusion |
30 | Johanna Högberg, Andreas Maletti, Jonathan May |
Backward and Forward Bisimulation Minimisation of Tree Automata. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
natural language processing, bisimulation, minimisation, tree automata |
30 | Martin Kutrib, Andreas Malcher, Larissa Werlein |
Regulated Nondeterminism in Pushdown Automata. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
regulated nondeterminism, limited nondeterminism, pushdown automata, closure properties |
30 | Yilin Wu, Nan Chen, Matthew Rissler, Yi Jiang, Dale Kaiser, Mark S. Alber |
CA Models of Myxobacteria Swarming. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
probabilistic cellular automata, lattice and off-lattice models, bacteria swarming, slime guidance, pattern formation |
30 | Puspita Deo, Heather J. Ruskin |
Simulation of Heterogeneous Motorised Traffic at a Signalised Intersection. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
motorised traffic, two-component cellular automata, Heterogeneous |
30 | Juan C. Burguillo-Rial, Francisco J. González-Castaño, Enrique Costa-Montenegro, Javier Vales-Alonso |
Agent-Driven Resource Optimization in User Networks: A Game Theoretical Approach. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
Stochastic cellular automata, user networks, game theory, complex systems |
30 | João José Neto, César Bravo |
Adaptive Automata - A Revisited Proposal. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
adaptive devices, rule-driven formalisms, self-modifying machines, adaptive automata, adaptive paradigm |
30 | Viliam Geffert, Carlo Mereghetti, Giovanni Pighizzini |
Converting Two-Way Nondeterministic Unary Automata into Simpler Automata. |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
unary languages, formal languages, finite state automata |
30 | Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz |
Random Generation of Deterministic Tree (Walking) Automata. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Pablo Arrighi, Vincent Nesme, Reinhard F. Werner |
One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Bernard Boigelot, Julien Brusten |
A Generalization of Cobham's Theorem to Automata over Real Numbers. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Laura Bozzelli, Salvatore La Torre |
Decision Problems for Lower/Upper Bound Parametric Timed Automata. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Henning Bordihn, Markus Holzer 0001, Martin Kutrib |
Hybrid Extended Finite Automata. |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Corinna Cortes, Mehryar Mohri, Ashish Rastogi |
On the Computation of Some Standard Distances Between Probabilistic Automata. |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Yo-Sub Han, Derick Wood |
Shorter Regular Expressions from Finite-State Automata. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Hellis Tamm, Matti Nykänen, Esko Ukkonen |
Size Reduction of Multitape Automata. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
30 | German Tischler |
Parametric Weighted Finite Automata for Figure Drawing. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Oscar H. Ibarra |
Automata-Theoretic Techniques for Analyzing Infinite-State Systems. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Hellis Tamm, Esko Ukkonen |
Bideterministic Automata and Minimal Representations of Regular Languages. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Christophe Papazian, Eric Rémila |
Hyperbolic Recognition by Graph Automata. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Boris A. Trakhtenbrot |
Automata, Circuits, and Hybrids: Facets of Continuous Time. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Mehryar Mohri |
Generic epsilon -Removal Algorithm for Weighted Automata. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Michele d'Amico, Giovanni Manzini, Luciano Margara |
On Computing the Entropy of Cellular Automata. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Rajeev Alur, David L. Dill |
Automata For Modeling Real-Time Systems. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Ben C. Moszkowski |
A Complete Axiomatization of Interval Temporal Logic with Infinite Time. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
complete axiom systems, Buechi-automata, temporal logic, regular expressions, finite-state automata, omega-automata |
30 | E. Allen Emerson, Jai Srinivasan |
Branching time temporal logic. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis |
30 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 |
On the expressiveness and complexity of randomization in finite state monitors. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
topology, randomization, runtime verification, probabilistic automata, Omega automata |
30 | Ahmed Khoumsi |
A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems. |
Discret. Event Dyn. Syst. |
2005 |
DBLP DOI BibTeX RDF |
real-time discrete event systems (RTDES), conformance relation tioco, Set-Exp-Automata, timed automata, supervisory control |
30 | Hacène Fouchal, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet |
Integrated Tool for Testing Timed Systems. |
ISSADS |
2005 |
DBLP DOI BibTeX RDF |
Validation, Timed Automata, Conformance Testing, Automata Theory, Protocol Engineering |
30 | Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch |
ACID-Unification Is NEXPTIME-Decidable. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
E-Unification, Dag automata, Complexity, Tree automata, Set constraints |
30 | Ahmed Khoumsi, Thierry Jéron, Hervé Marchand |
Test Cases Generation for Nondeterministic Real-Time Systems. |
FATES |
2003 |
DBLP DOI BibTeX RDF |
Conformance test cases generation, Determinizable Timed Automata (DTA), Set-Exp-Automata (SEA), Real-time systems, Test architecture |
30 | Trevor Jim, Yitzhak Mandelbaum, David Walker 0001 |
Semantics and algorithms for data-dependent grammars. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
ambiguous grammars, context-sensitive grammars, data-dependent grammars, earley parsing, l-attributed grammars, regular right-sides, scannerless parsing, semantic predicates, automata, regular expressions, transducers, ebnf |
30 | Frank Neven, Thomas Schwentick, Victor Vianu |
Finite state machines for strings over infinite alphabets. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
infinite alphabets, XML, Automata, first-order logic, expressiveness, pebbles, monadic second-order logic, registers |
30 | Padmanabhan Krishnan |
Decomposing Controllers into Non-conflicting Distributed Controllers. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
Asynchronous Automata, Controllers, Decompositions |
30 | Felix Klaedtke |
Decision Procedure for an Extension of WS1S. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
word languages, weak monadic second-order logic of one successor, WS1S, tree automata |
29 | Randy Smith, Cristian Estan, Somesh Jha, Ida Sri Rejeki Siahaan |
Fast Signature Matching Using Extended Finite Automaton (XFA). |
ICISS |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi |
Büchi Complementation Made Tighter. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Antonín Kucera 0001 |
On Simulation-Checking with Sequential Systems. |
ASIAN |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Luca Manzoni, Luca Mariot, Dipanwita Roy Chowdhury (eds.) |
Cellular Automata and Discrete Complex Systems - 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings |
AUTOMATA |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Ville Salo, Ilkka Törmä |
Diddy: A Python Toolbox for Infinite Discrete Dynamical Systems. |
AUTOMATA |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Giuseppa Castiglione, Manuela Flores, Dora Giammarresi |
Isometric Words and Edit Distance: Main Notions and New Variations. |
AUTOMATA |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Lidia Stocker, Hans J. Herrmann |
Periods in the Q2R, X2R and Kawasaki-Q2R Cellular Automata. |
Automata and Complexity |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Rance Cleaveland |
Better Automata Through Process Algebra. |
A Journey from Process Algebra via Timed Automata to Model Learning |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Jacques Demongeot, Tarek Melliti, Mathilde Noual, Damien Regnault, Sylvain Sené |
On Boolean Automata Isolated Cycles and Tangential Double-Cycles Dynamics. |
Automata and Complexity |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Falk Howar, Bernhard Steffen |
Active Automata Learning as Black-Box Search and Lazy Partition Refinement. |
A Journey from Process Algebra via Timed Automata to Model Learning |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Hans Zantema |
Passive Automata Learning: DFAs and NFAs. |
A Journey from Process Algebra via Timed Automata to Model Learning |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Rob van Glabbeek |
Fair Must Testing for I/O Automata. |
A Journey from Process Algebra via Timed Automata to Model Learning |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Hector Zenil, Yanbo Zhang, Narsis Aftab Kiani |
Model Discovery and Discrete Inverse Problems with Cellular Automata and Boolean Networks. |
Automata and Complexity |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Enrico Formenti, Christophe Papazian, Adrien Richard, Pierre-Alain Scribot |
From Additive Flowers to Additive Automata Networks. |
Automata and Complexity |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Amaury Saint-Jore, Nazim Fatès, Emmanuel Jeandel |
Amoebae for Clustering: A Bio-Inspired Cellular Automata Method for Data Classification. |
Automata and Complexity |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Andrew Adamatzky, Eric Goles Ch., Michail-Antisthenis I. Tsompanas, Genaro J. Martínez, Han A. B. Wosten, Martin Tegelaar |
On Fungal Automata. |
Automata and Complexity |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Kenichi Morita |
Reversible Elementary Triangular Partitioned Cellular Automata and Their Complex Behavior. |
Automata and Complexity |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Pedro Paulo Balbi de Oliveira, G. S. Etchebehere, Eurico L. P. Ruivo |
A Spectral Outlook on the Elementary Cellular Automata with Cyclic Configurations and Block-Sequential Asynchronous Updates. |
Automata and Complexity |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Guillaume Theyssier |
The Mirage of Universality in Cellular Automata. |
Automata and Complexity |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Ville Salo, Juliette Schabanel |
Triangle Solitaire. |
AUTOMATA |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 27276 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|