|
|
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 |
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 |
|
Displaying result #101 - #200 of 27276 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|