Search results for "automata"

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