|
|
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 |
26 | Stephan Diehl 0001, Andreas Kerren, Torsten Weller |
Visual Exploration of Generation Algorithms for Finite Automata on the Web. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Jan Daciuk |
Experiments with Automata Compression. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Anne Brüggemann-Klein, Derick Wood |
Regularly Extended Two-Way Nondeterministic Tree Automata. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
26 | João José Neto |
Solving Complex Problems Efficiently with Adaptive Automata. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Patricia Bouyer, Antoine Petit 0001 |
Decomposition and Composition of Timed Automata. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Roope Kaivola |
Fixpoints for Rabin Tree Automata Make Complementation Easy. |
ICALP |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Feng Bao 0004, Yoshihide Igarashi |
Break Finite Automata Public Key Cryptosystem. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Jennifer McManis, Pravin Varaiya |
Suspension Automata: A Decidable Class of Hybrid Automata. |
CAV |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Anca Muscholl |
On the Complementation of Büchi Asynchronous Cellular Automata. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Oscar H. Ibarra, Nicholas Q. Trân |
New Results Concerning Synchronized Finite Automata. |
ICALP |
1992 |
DBLP DOI BibTeX RDF |
|
26 | John G. Thistle, Walter Murray Wonham |
Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Marcella Anselmo |
Two-Way Automata with Multiplicity. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Manfred Droste |
Concurrency, Automata and Domains. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Pavol Duris, Juraj Hromkovic |
Multihead Finite State Automata and Concatenation. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
25 | Lukasz Korus |
Alternative Methods of Wave Motion Modelling. |
KES (1) |
2007 |
DBLP DOI BibTeX RDF |
lattice gas automata, cellular automata, finite difference method, Wave equation |
25 | Roderick Bloem, Harold N. Gabow, Fabio Somenzi |
An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. |
Formal Methods Syst. Des. |
2006 |
DBLP DOI BibTeX RDF |
language emptiness, Büchi automata, Streett automata, model checking, binary decision diagrams, depth-first search, breadth-first search, strongly connected components, symbolic algorithms |
25 | Michal Armoni, Judith Gal-Ezer |
On the achievements of high school students studying computational models. |
ITiCSE |
2004 |
DBLP DOI BibTeX RDF |
computer-related background, mathematics level, computational model, finite automata, turing machines, pushdown automata |
25 | Fabio Balduzzi, Angela Di Febbraro, Alessandro Giua, Carla Seatzu |
Decidability results in First-Order Hybrid Petri Nets. |
Discret. Event Dyn. Syst. |
2001 |
DBLP DOI BibTeX RDF |
hybrid Petri nets, decidability properties, timed automata, hybrid automata |
25 | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
Testing embedded real-time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product |
25 | Manoj Franklin |
Fast computation of C-MISR signatures. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
C-MISR signatures, built-in self-test applications, good circuit signature, faulty circuit signatures, cellular automata-based multi-input signature registers, equivalent single input circuit, VLSI, logic testing, built-in self test, cellular automata, integrated circuit testing, sequential circuits, shift registers, test responses, signature analyzers, equivalent circuits |
25 | Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel |
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
model checking, probability, behaviour models, interface automata |
25 | Christian Wartena |
Storage Products and Linear Control of Derivations. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Pushdown storage, Linguistics, Automata theory, Formal language theory |
25 | Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre |
Winning Regions of Higher-Order Pushdown Games. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
higher-order pushdown automata, mu-calculus model-checking, parity games, higher-order recursion schemes |
25 | Tina Nolte, Nancy A. Lynch |
Self-stabilization and Virtual Node Layer Emulations. |
SSS |
2007 |
DBLP DOI BibTeX RDF |
virtual stationary automata, virtual node layer, abstraction layer emulation, TIOA, mobile ad-hoc networking, self-stabilization, geocast |
25 | Dora Giammarresi |
Tiling Recognizable Two-Dimensional Languages. |
CAI |
2007 |
DBLP DOI BibTeX RDF |
Tiling systems, Unambiguity, Determinism, Automata and Formal Languages, Two-dimensional languages |
25 | Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang |
Modelling and Analysis of Power Consumption for Component-Based Embedded Software. |
EUC Workshops |
2006 |
DBLP DOI BibTeX RDF |
embedded software design, real-time system, model checking, power-aware computing, component-based design, interface automata |
25 | Mun-Kyu Lee, Dowon Hong, Dong Kyue Kim |
Chosen Message Attack Against Mukherjee-Ganguly-Chaudhuri's Message Authentication Scheme. |
CIS |
2006 |
DBLP DOI BibTeX RDF |
message authentication scheme, cryptography, cryptanalysis, cellular automata, chosen message attack |
25 | Lucian Ilie, Roberto Solis-Oba, Sheng Yu 0001 |
Reducing the Size of NFAs by Using Equivalences and Preorders. |
CPM |
2005 |
DBLP DOI BibTeX RDF |
state complexity, finite automata, equivalences, regular expression matching, preorders |
25 | Henrik C. Bohnenkamp, Axel Belinfante |
Timed Testing with TorX. |
FM |
2005 |
DBLP DOI BibTeX RDF |
Model-based on-the-fly Testing, Real-Time Testing, TorX, Tools, Timed Automata |
25 | Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001 |
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. |
Real Time Syst. |
2003 |
DBLP DOI BibTeX RDF |
real-time systems, model checking, timed automata, design tool, formal specification and verification |
25 | Lucian Ilie, Sheng Yu 0001 |
Algorithms for Computing Small NFAs. |
MFCS |
2002 |
DBLP DOI BibTeX RDF |
follow relations, invariant equivalences, algorithms, regular expressions, positions, partial derivatives, quotients, nondeterministic finite automata |
25 | Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001 |
Efficient verification of real-time systems: compact data structure and state-space reduction. |
RTSS |
1997 |
DBLP DOI BibTeX RDF |
real-time systems verification, clock values, clock constraints, real-valued variables, static analysis, timed automata, termination, reachability analysis, reachability analysis, state-space reduction, compact data structure |
25 | Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger |
Quantitative Languages. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
An Infinite Automaton Characterization of Double Exponential Time. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Roussanka Loukanova |
Linear Context Free Languages. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Brett D. Estrade, A. Louise Perkins, John M. Harris |
Explicitly Parallel Regular Expressions. |
IMSCCS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Orna Kupferman, Moshe Y. Vardi |
From Complementation to Certification. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Roberto Segala |
Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Eugene W. Stark |
Connections between a Concrete and an Abstract Model of Concurrent Systems. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Wolfgang Händler |
Zur Theorie endlicher Automaten. |
Computing |
1966 |
DBLP DOI BibTeX RDF |
|
24 | Sébastien Vérel, Philippe Collard, Marco Tomassini, Leonardo Vanneschi |
Neutral Fitness Landscape in the Cellular Automata Majority Problem. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Pierre Pommois, Pietro Brunetti, Vincenzo Bruno, Antonio Mazzei, Valerio Baldacchini, Salvatore Di Gregorio |
FlySim: A Cellular Automata Model of BactroceraOleae (Olive Fruit Fly) Infestation and First Simulations. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Mehrdad Ghaemi, Amene Shahrokhi |
Combination of the Cellular Potts Model and Lattice Gas Cellular Automata for Simulating the Avascular Cancer Growth. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Sung Jin Cho 0001, Un-Sook Choi, Yoon-Hee Hwang, Han-Doo Kim, Hyang-Hee Choi |
Behaviors of Single Attractor Cellular Automata over Galois Field GF(2p). |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Georgios Ch. Sirakoulis |
A Cellular Automata Simulation Tool for Modelling and Automatic VLSI Implementation of the Oxidation Process in Integrated Circuit Fabrication. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Luca Sguanci, Franco Bagnoli, Duccio Fanelli |
A Cellular Automata Model for Ripple Dynamics. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Ángel Martín del Rey, S. Hoya White, Gerardo Rodríguez Sánchez |
A Model Based on Cellular Automata to Simulate Epidemic Diseases. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Luís Correia 0001, Thomas Wehrle |
Beyond Cellular Automata, Towards More Realistic Traffic Simulators. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Bastien Chopard, Daniel Lagrava |
A Cellular Automata Model for Species Competition and Evolution. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Nazim Fatès |
Directed Percolation Phenomena in Asynchronous Elementary Cellular Automata. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Philippe Narbel |
Qualitative and Quantitative Cellular Automata from Differential Equations. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Toshihiko Komatsuzaki, Yoshio Iwata |
Modeling of Sound Absorption by Porous Materials Using Cellular Automata. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Boris Goldengorin, Alexander Makarenko, Natalia Smelyanec |
Some Applications and Prospects of Cellular Automata in Traffic Problems. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Redouane Slimi, Samira El Yacoubi |
Spreadable Probabilistic Cellular Automata Models: An Application in Epidemiology. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Sung Jin Cho 0001, Un-Sook Choi, Yoon-Hee Hwang, Han-Doo Kim |
Analysis of Hybrid Group Cellular Automata. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Nirmalya Sundar Maiti, Shiladitya Munshi, Parimal Pal Chaudhuri |
An Analytical Formulation for Cellular Automata (CA) Based Solution of Density Classification Task (DCT). |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
Rule Vector (RV), Rule Vector Graph (RVG), Best Rule Vector (BRV), Rule Min Term (RMT) |
24 | Qiuwen Chen, Jingqiao Mao, Weifeng Li 0006 |
Stability Analysis of Harvesting Strategies in a Cellular Automata Based Predator-Prey Model. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Olga L. Bandman |
Parallel Simulation of Asynchronous Cellular Automata Evolution. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Pawel Topa |
A Cellular Automata Approach for Modelling Complex River Systems. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Donato D'Ambrosio, Rocco Rongo, William Spataro, Maria Vittoria Avolio, Valeria Lupiano |
Lava Invasion Susceptibility Hazard Mapping Through Cellular Automata. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Samira El Yacoubi, Sébastien Gourbière |
A Cellular Automata Model for Adaptive Sympatric Speciation. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Christian Darabos, Mario Giacobini, Marco Tomassini |
Scale-Free Automata Networks Are Not Robust in a Collective Computational Task. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Stephane Marconi, Bastien Chopard |
Discrete Physics, Cellular Automata and Cryptography. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Ioakeim G. Georgoudas |
Cellular Automata Modelling of Large Scale Systems and VLSI Implementation Perspectives. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Chandrama Shaw, Sukanta Das, Biplab K. Sikdar |
Cellular Automata Based Encoding Technique for Wavelet Transformed Data Targeting Still Image Compression. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Ron Breukelaar, Thomas Bäck |
Evolving Transition Rules for Multi Dimensional Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Ivan Blecic, Arnaldo Cecchini, Giuseppe A. Trunfio |
A Generalized Rapid Development Environment for Cellular Automata Based Simulations. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Giuseppe A. Trunfio |
Predicting Wildfire Spreading Through a Hexagonal Cellular Automata Model. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Marcin Seredynski, Pascal Bouvry |
Block Encryption Using Reversible Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Belgacem Ben Youssef |
Simulation of Cell Population Dynamics Using 3-D Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Susumu Adachi, Ferdinand Peper, Jia Lee |
Universality of Hexagonal Asynchronous Totalistic Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Bastien Chopard, Marco Tomassini |
Randomized Computation with Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Yazdan Asgari, Mehrdad Ghaemi, Mohammad Ghasem Mahjani |
Calculation of the Critical Point for Two-Layer Ising and Potts Models Using Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Sung Jin Cho 0001, Un-Sook Choi, Yoon-Hee Hwang, Han-Doo Kim, Yong-Soo Pyo, Kwang-Seok Kim, Seong-Hun Heo |
Computing Phase Shifts of Maximum-Length 90/150 Cellular Automata Sequences. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Enrico G. Campari, Giuseppe Levi, Vittorio Maniezzo |
Cellular Automata and Roundabout Traffic Simulation. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Torbjørn Helvik, Kristian Lindgren, Mats G. Nordahl |
Local Information in One-Dimensional Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Witold Dzwinel |
A Cellular Automata Model of Population Infected by Periodic Plague. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Katsutoshi Narimatsu, Toshihiko Shiraishi, Shin Morishita |
Acquisition of Local Neighbor Rules in the Simulation of Pedestrian Flow by Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Sukanta Das, Biplab K. Sikdar, Parimal Pal Chaudhuri |
Characterization of Reachable/Nonreachable Cellular Automata States. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Olga L. Bandman |
Algebraic Properties of Cellular Automata: The Basis for Composition Technique. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | G. V. Lasko, Ye. Ye. Deryugin, Siegfried Schmauder |
Plastic Deformation Development in Polycrystals Based on the Cellular Automata and Relaxation Element Method. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Charles Dietzel, Keith C. Clarke |
Replication of Spatio-temporal Land Use Patterns at Three Levels of Aggregation by an Urban Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Jose Luis Guisado, Francisco Jiménez-Morales, J. M. Guerra |
Simulation of the Dynamics of Pulsed Pumped Lasers Based on Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | William Spataro, Donato D'Ambrosio, Rocco Rongo, Giuseppe A. Trunfio |
An Evolutionary Approach for Modelling Lava Flows Through Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Ramón Alonso-Sanz, Margarita Martín |
Elementary Probabilistic Cellular Automata with Memory in Cells. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Chandrama Shaw, Pradipta Maji, Sourav Saha 0001, Biplab K. Sikdar, Samir Roy, Parimal Pal Chaudhuri |
Cellular Automata Based Encompression Technology for Voice Data. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Peter Kokol, Petra Povalej, Mitja Lenic, Gregor Stiglic |
Building Classifier Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Ferdinand Peper, Kazuhiro Oiwa, Susumu Adachi, Chikako Shingyoji, Jia Lee |
Synchronization of Protein Motors Modeled by Asynchronous Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Boaz Leskes, Peter M. A. Sloot |
Unlearning Phenomena in Co-evolution of Non-uniform Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Alexander Campbell, Binh Pham 0001, Yu-Chu Tian |
Mining Ecological Data with Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Pradipta Maji, Biplab K. Sikdar, Parimal Pal Chaudhuri |
Cellular Automata Evolution for Pattern Classification. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Michael Kirkpatrick, Frances L. Van Scoy |
Using Cellular Automata to Determine Bounds for Measuring the Efficiency of Broadcast Algorithms in Highly Mobile Ad Hoc Networks. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Pradipta Maji, Biplab K. Sikdar, Parimal Pal Chaudhuri |
Cellular Automata Evolution for Distributed Data Mining. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Arancha Casal, Cenk Sumen, Tim Reddy, Mark S. Alber, Peter P. Lee |
A Cellular Automata Model of Early T Cell Recognition. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Klaus Sutner |
automata, a Hybrid System for Computational Automata Theory. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Stefania Bandini, Giulio Pavesi |
Simulation of Vegetable Populations Dynamics Based on Cellular Automata. |
ACRI |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Francisco Jiménez-Morales |
An Evolutionary Approach to the Study of Non-trivial Collective Behavior in Cellular Automata. |
ACRI |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Monalisa Mukherjee, Niloy Ganguly, Parimal Pal Chaudhuri |
Cellular Automata Based Authentication (CAA). |
ACRI |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Roberto Serra, Marco Villani 0001 |
Perturbing the Regular Topology of Cellular Automata: Implications for the Dynamics. |
ACRI |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Fabio M. Marchese |
A Path-Planner for Mobile Robots of Generic Shape with Multilayered Cellular Automata. |
ACRI |
2002 |
DBLP DOI BibTeX RDF |
|
|
|