Search results for "automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Marie-Pierre Béal, Eugen Czeizler, Jarkko Kari, Dominique Perrin	Unambiguous Automata.	Mathematics in Computer Science	2008	DBLP DOI BibTeX RDF	local automata, synchronized automata, unambiguous automata, unambiguous monoids of relations, Automata
6	Mehryar Mohri, Pedro Moreno, Eugene Weinstein	Factor Automata of Automata and Applications.	CIAA	2007	DBLP DOI BibTeX RDF	suffix automata, factor automata, music identification, information retrieval, finite automata, suffix trees, inverted files, text indexing
6	Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova	Component-interaction automata as a verification-oriented component-based system specification.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	Component-based specification languages, component-interaction automata, team automata, verification, ADLs, I/O automata, interface automata, component interaction
6	Sylvain Lombardy	On the Construction of Reversible Automata for Reversible Languages.	ICALP	2002	DBLP DOI BibTeX RDF	reversible languages, reversible automata, universal automata, Finite automata
6	Ville Laurikari	NFAs with Tagged Transitions, Their Conversion to Deterministic Automata and Application to Regular Expressions. (PDF / PS)	SPIRE	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
5	Rafael C. Carrasco, Jan Daciuk, Mikel L. Forcada	An Implementation of Deterministic Tree Automata Minimization.	CIAA	2007	DBLP DOI BibTeX RDF	sminimal deterministic tree automata, minimization of automata
5	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
5	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
5	Attila Kondacs, John Watrous	On the Power of Quantum Finite State Automata.	FOCS	1997	DBLP DOI BibTeX RDF	quantum finite state automata, non-regular language, finite automata, finite state automata, regular languages
5	Santanu Chattopadhyay, S. Mitra, 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
5	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
5	Amos Beimel, Francesco Bergadano, Nader H. Bshouty, Eyal Kushilevitz, Stefano Varricchio	On the Applications of Multiplicity Automata in Learning.	FOCS	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
5	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
5	John Watrous	On One-Dimensional Quantum Cellular Automata.	FOCS	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
5	Xavier Nicollin, Joseph Sifakis, Sergio Yovine	Compiling Real-Time Specifications into Extended Automata.	IEEE Trans. Software Eng.	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
5	Nils Klarlund	Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic	FOCS	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
4	Lin Liu 0001, Jonathan Billington	Recursive Parametric Automata and epsilon-Removal.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF	Parametric Automata, Automata Reduction, Language Equivalence, Protocol Verification
4	Wei Li, Albert Y. Zomaya, Adel Al-Jumaily	Cellular automata based models of wireless sensor networks.	MOBIWAC	2009	DBLP DOI BibTeX RDF	asynchronous cellular automata, synchronous cellular automata, wireless sensor network, connectivity, self-organization, coverage, network lifetime
4	Jan Procházka	Compiler Generator Based on Restarting Automata.	CIAA	2009	DBLP DOI BibTeX RDF	restarting automata, semantics, compiler-compiler
4	Hanlin Lu, Sheng Yu	Are Statecharts Finite Automata?.	CIAA	2009	DBLP DOI BibTeX RDF	interaction machines, statecharts, finite automata
4	Béatrice Bérard, Serge Haddad	Interrupt Timed Automata.	FOSSACS	2009	DBLP DOI BibTeX RDF	decidability of reachability, timed automata, interruptions, Hybrid automata, multi-task systems
4	Daowen Qiu, Lvzhou Li	An overview of quantum computation models: quantum automata.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	quantum computation, automata theory, quantum automata
4	Jaydeb Bhaumik, Dipanwita Roy Chowdhury, Indrajit Chakrabarti	An Improved Double Byte Error Correcting Code Using Cellular Automata.	ACRI	2008	DBLP DOI BibTeX RDF	Byte Error Correcting Code, RS Code and VLSI, Cellular Automata
4	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
4	Miroslaw Szaban, Franciszek Seredynski	Cryptographically Strong S-Boxes Based on Cellular Automata.	ACRI	2008	DBLP DOI BibTeX RDF	Cryptography, Boolean Functions, Cellular Automata, Block Cipher, S-Boxes
4	Sukanta Das, Chandrama Shaw, Biplab K. Sikdar	Exploring CAState Space to Synthesize Cellular Automata with Specified Attractor Set.	ACRI	2008	DBLP DOI BibTeX RDF	Nonlinear cellular automata, MACA, PE bit, classifier, attractor
4	Sourav Das, Dipanwita Roy Chowdhury	An Efficient n×nBoolean Mapping Using Additive Cellular Automata.	ACRI	2008	DBLP DOI BibTeX RDF	Additive Cellular Automata, Pseudo-Random Number Generator
4	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
4	Danuta Makowiec	The Heart Pacemaker by Cellular Automata on Complex Networks.	ACRI	2008	DBLP DOI BibTeX RDF	Greenberg-Hastings cellular automata, complex networks
4	Alfons G. Hoekstra, Jean-Luc Falcone, Alfonso Caiazzo, Bastien Chopard	Multi-scale Modeling with Cellular Automata: The Complex Automata Approach.	ACRI	2008	DBLP DOI BibTeX RDF	Complex Automata, Multi-Scale Modeling
4	Rupsa Chakraborty, Dipanwita Roy Chowdhury	coreBIST: A Cellular Automata Based Core for Self Testing System-on-Chips.	ACRI	2008	DBLP DOI BibTeX RDF	Response-Analyzer, Built-in self-test, System-on-Chip, Cellular Automata, Test-Pattern-Generator
4	Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan	Testing Systems Specified as Partial Order Input/Output Automata.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Testing distributed systems, conformance relations, partial order automata, HMSC, partial order, finite state automata
4	Ruma Dutta, Anirban Kundu, Debajyoti Mukhopadhyay	Offering Memory Efficiency Utilizing Cellular Automata for Markov Tree Based Web-Page Prediction Model.	ICIT	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)
4	Bahman Pourvatan, Nima Rouhy	An Alternative Algorithm for Constraint Automata Product.	FSEN	2007	DBLP DOI BibTeX RDF	Constraint Automata Product, Reo, Constraint Automata
4	Alfons G. Hoekstra, Eric Lorenz, Jean-Luc Falcone, Bastien Chopard	Towards a Complex Automata Framework for Multi-scale Modeling: Formalism and the Scale Separation Map.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Complex Automata, Scale Separation Map, Cellular Automata, Multi-Scale Modeling
4	Liao Zekai, Shu Lan	Minimization of Lattice Automata.	ICFIE	2007	DBLP DOI BibTeX RDF	Lattice Automata, Refining Equivalence, Refining Congruence, Quotient Lattice Automata, Minimization
4	Zhiwen Mo, Xiaolei Hong	Minimization of Mizumoto Automata.	ICFIE	2007	DBLP DOI BibTeX RDF	Mizumoto automata, canonical fuzzy finite automata, minimization, equivalence
4	Frédérique Bassino, Julien David, Cyril Nicaud	: A Library to Randomly and Exhaustively Generate Automata.	CIAA	2007	DBLP DOI BibTeX RDF	C++ library, finite automata, random generation
4	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
4	Moshe Y. Vardi	Linear-Time Model Checking: Automata Theory in Practice.	CIAA	2007	DBLP DOI BibTeX RDF	Büchi automata, model checking, linear-temporal logic
4	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
4	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
4	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
4	Jun-Cheol Jeon, Kee-Young Yoo	Authentication Based on Singular Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF	Singular Operation, Authentication, Cellular Automata, Hash function, One-Time Password
4	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
4	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
4	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
4	Shahram Golzari, Mohammad Reza Meybodi	A Maze Routing Algorithm Based on Two Dimensional Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF	maze routing algorithm, routing, parallel algorithm, cellular automata, physical design
4	Amparo Fúster-Sabater, Pino Caballero-Gil	Concatenated Automata in Cryptanalysis of Stream Ciphers.	ACRI	2006	DBLP DOI BibTeX RDF	cryptography, Stream cipher, cellular automata, linear model
4	Angel Aponte, José Alí Moreno	Cellular Automata and Its Application to the Modeling of Vehicular Traffic in the City of Caracas.	ACRI	2006	DBLP DOI BibTeX RDF	Cellular Automata, Traffic Modeling, Nonlinear Optimization, Emergent Behavior
4	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
4	A. 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
4	Debojyoti 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.	ACRI	2006	DBLP DOI BibTeX RDF	MPSK Modulation, RS-encoding, Cellular Automata, Galois field, Primitive polynomial
4	Susan H. Rodger, Bart Bressler, Thomas Finley, Stephen Reading	Turning automata theory into a hands-on course.	SIGCSE	2006	DBLP DOI BibTeX RDF	SLR parsing, automata, grammar, L-system, turing machine, pushdown automata, JFLAP, LL parsing
4	Rakesh M. Verma	A visual and interactive automata theory course emphasizing breadth of automata.	ITiCSE	2005	DBLP DOI BibTeX RDF	string automata, formal languages, tree automata, rule-based programming
4	Emmanuel Jeandel	Topological Automata.	STACS	2005	DBLP DOI BibTeX RDF	ProbabilisticAutomata, Formal Languages, Finite Automata, Quantum Automata
4	Amparo Fúster-Sabater, Dolores de la Guía-Martínez	Cellular Automata Application to the Linearization of Stream Cipher Generators.	ACRI	2004	DBLP DOI BibTeX RDF	cryptography, Cellular automata, linear modelling, clock-controlled generators
4	Adam Dunn, George Milne	Modelling Wildfire Dynamics via Interacting Automata.	ACRI	2004	DBLP DOI BibTeX RDF	Modelling wildfire spread, Circal, cellular automata
4	Maxime Crochemore, Chiara Epifanio, Roberto Grossi, Filippo Mignosi	A Trie-Based Approach for Compacting Automata.	CPM	2004	DBLP DOI BibTeX RDF	factor and suffix automata, suffix tree, index, text compression, Automata and formal languages
4	Ryan Cavalcante, Thomas Finley, Susan H. Rodger	A visual and interactive automata theory course with JFLAP 4.0.	SIGCSE	2004	DBLP DOI BibTeX RDF	SLR parsing, automata, grammar, L-system, turing machine, pushdown automata, JFLAP, LL parsing
4	Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz	Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.	DS-RT	2004	DBLP DOI BibTeX RDF	Exhaustive Simulation, Temporal Verification, Observer Automata, Communicating, Timed Automata, RTOS
4	Juraj Hromkovic, Georg Schnitger	Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser's Separation.	ICALP	2003	DBLP DOI BibTeX RDF	descriptional complexity of regular languages, Finite automata, nondeterminism
4	Juraj Hromkovic, Georg Schnitger	Pushdown Automata and Multicounter Machines, a Comparison of Computation Modes.	ICALP	2003	DBLP DOI BibTeX RDF	multicounter machines, randomization, nondeterminism, complexity theory, pushdown automata
4	Aryeh Teitelbaum, H. G. Medelbaum	Arts'Codes : Generation of Parallel-Automata Real-Time Systems, using a Unifying Diagrammatic Component Oriented Design Methodology.	SwSTE	2003	DBLP DOI BibTeX RDF	Components design, VPL, Parallel Automata, Real-Time Systems, Timed-automata
4	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
4	Klaus Reinhardt	The Complexity of Translating Logic to Finite Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
4	Felix Klaedtke	Complementation of Büchi Automata Using Alternation.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
4	Thierry Cachat	Two-Way Tree Automata Solving Pushdown Games.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
4	Berndt Farwer	omega-Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
4	Stefan Schwoon	Determinization and Complementation of Streett Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
4	Daniel Kirsten	Alternating Tree Automata and Parity Games.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
4	Frank Nießner	Nondeterministic Tree Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
4	Markus Roggenbach	Determinization of Büchi-Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
4	Jim Morey, Kamran Sedig, Robert E. Mercer, M. Wayne Wilson	Crystal Lattice Automata.	CIAA	2001	DBLP DOI BibTeX RDF	lattice, automata, tiling, microworlds, crystallography
4	Palash Sarkar	A brief history of cellular automata.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	homogeneous structures, tessellation automata, cellular automata, systolic arrays, cellular space
4	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
4	Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick	Specification and Analysis of Automata-Based Designs.	IFM	2000	DBLP DOI BibTeX RDF	model checking, Timed automata, stochastic automata
4	Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi 0001	Verifying temporal constraints on data in multi-rate transactions using timed automata.	RTCSA	2000	DBLP DOI BibTeX RDF	temporal constraint verification, multi-rate transactions, nonpreemptive execution order, scheduling, real-time systems, real-time systems, program verification, transaction processing, computational models, timed automata, data dependencies, schedulability analysis, reachability analysis, reachability analysis, automata theory, end-to-end latency
4	Georgios I. Papadimitriou, Athena Vakali, Andreas S. Pomportsis	Designing a learning-automata-based controller for client/server systems: a methodology.	ICTAI	2000	DBLP DOI BibTeX RDF	learning-automata-based controller, polling policy, throughput-delay performance, selective polling, feedback information, round-robin polling, bursty traffic conditions, learning (artificial intelligence), simulation results, client-server systems, automata theory, client/server systems
4	Miha Mraz, Nikolaj Zimic, Iztok Lapanja, Iztok Lebar Bajec	Fuzzy cellular automata: from theory to applications.	ICTAI	2000	DBLP DOI BibTeX RDF	fuzzy cellular automata, fuzzified entity, fire spread, homogeneous nature environment, fuzzy logic, cellular automata, simulation results
4	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
4	Katsuhiko Nakamura	Real-Time Language Recognition by One-Way and Two-Way Cellular Automata.	MFCS	1999	DBLP DOI BibTeX RDF	one-way cellular automata, parallel language recognition, closure under reversal, Cellular automata
4	S. Nandi, Ch. Rambabu, Parimal Pal Chaudhuri	A VLSI Architecture for Cellular Automata Based Reed-Solomon Decoder.	ISPAN	1999	DBLP DOI BibTeX RDF	Cellular Automata(CA), S b EC-D b ED, Extended Reed-Soloman code, t b EC - t b ED, Cellular Automata Array(CAA), VLSI, pipeline
4	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
4	Dominique L'Her, Philippe Le Parc, Lionel Marcé	Proving Sequential Function Chart Programs Using Automata.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
4	Jean-Francis Michon, Jean-Marc Champarnaud	Automata and Binary Decision Diagrams.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
4	Marie-Chantal Beaulieu, Anne Bergeron	Automata and Computational Probabilities.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
4	Cezar Câmpeanu, Nicolae Santean, Sheng Yu	Minimal Cover-Automata for Finite Languages.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
4	Gérard Duchamp, Marianne Flouret, Éric Laugerotte	Operations over Automata with Multiplicities.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
4	Jean-Marc Champarnaud, Djelloul Ziadi, Jean-Luc Ponty	Determinization of Glushkov Automata.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
4	Jan Holub, Borivoj Melichar	Implementation of Nondeterministic Finite Automata for Approximate Pattern Matching.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
4	Thierry Poibeau	Bi-directional Automata to Extract Complex Phrases from Texts.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
4	Danial J. Neebel, Charles R. Kime	Cellular Automata for Weighted Random Pattern Generation.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	multiple weight sets, hybrid cellular automata, weighted cellular automata, test-per-clock pattern generation, Built-in self-test, cellular automata, weighted random patterns
4	Adam Kellett, Michael Fisher	Automata Representations for Concurrent METATEM.	TIME	1997	DBLP DOI BibTeX RDF	Concurrent METATEM language, temporal logic formulae, direct interpretation, large applications, closely coupled automata, performance, parallel languages, parallel language, finite-state automata, logic programming language
4	Géraud Sénizergues	The Equivalence Problem for Deterministic Pushdown Automata is Decidable.	ICALP	1997	DBLP DOI BibTeX RDF	deterministic pushdown automata, finite dimensional vector spaces, matrix semigroups, complete formal systems, rational series
4	Eugene Asarin, Paul Caspi, Oded Maler	A Kleene Theorem for Timed Automata.	LICS	1997	DBLP DOI BibTeX RDF	Kleene theorem, timed regular expressions, dense-time discrete-valued signals, /spl omega/-regular expressions, timed automata, expressive power, automata theory
4	Adel Bouhoula, Jean-Pierre Jouannaud	Automata-Driven Automated Induction.	LICS	1997	DBLP DOI BibTeX RDF	automata-driven automated induction, inductive theorem proving, first-order functions, finitely many unary membership predicates, rational subsets, ground reducibility, inductive prover, theorem proving, tree automata, Horn Clauses, proof obligations
4	Péter Gács	Reliable Cellular Automata with Self-Organization.	FOCS	1997	DBLP DOI BibTeX RDF	noisy cellular automaton, fault-tolerant cellular automaton, probabilistic cellular automata, interacting particle system, Gibbs states, fault tolerance, reliability, cellular automata, cellular automata, self-organization, self organization, error-correction, ergodicity, renormalization
4	Gopal Gupta, Enrico Pontelli	A constraint-based approach for specification and verification of real-time systems.	RTSS	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
4	S. Bhattacharjee, J. Bhattacharya, U. Raghavendra, Debashis Saha, Parimal Pal Chaudhuri	A VLSI architecture for cellular automata based parallel data compression.	VLSI Design	1996	DBLP DOI BibTeX RDF	parallel data compression, nongroup CA, VLSI, parallel architectures, data compression, cellular automata, cellular automata, VLSI architecture, state transition