|
|
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 |
35 | Vincent Le Maout |
Tools to Implement Automata, a First Step: ASTL. |
Workshop on Implementing Automata |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Bruce W. Watson |
Practical Optimizations for Automata. |
Workshop on Implementing Automata |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Dominique Revuz |
Operations on Extended Automata. |
Workshop on Implementing Automata |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Djelloul Ziadi |
Sorting and Doubling Techniques for Set Partitioning and Automata Minimization Problems. |
Workshop on Implementing Automata |
1997 |
DBLP DOI BibTeX RDF |
|
35 | François Bertault, Gregory Kucherov |
Visualization of Dynamic Automata Using Padnon. |
Workshop on Implementing Automata |
1997 |
DBLP DOI BibTeX RDF |
|
35 | James Glenn, William I. Gasarch |
Implementing WS1S via Finite Automata: Performance Issues. |
Workshop on Implementing Automata |
1997 |
DBLP DOI BibTeX RDF |
|
35 | James Glenn, William I. Gasarch |
Implementing WS1S via Finite Automata. |
Workshop on Implementing Automata |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Denis Maurel |
Building Automata on Schemata and Acceptability Tables: Application to French Data Adverbials. |
Workshop on Implementing Automata |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Gertjan van Noord |
FSA Utilities: A Toolbox to Manipulate Finite-State Automata. |
Workshop on Implementing Automata |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Romuald Boné, Christophe Daguin, Antoine Georgevail, Denis Maurel |
Time Series Forecasting by Finite-State Automata. |
Workshop on Implementing Automata |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Max H. Garzon, Eugene Eberbach |
Dynamical Implementation of Nondeterministic Automata and Concurrent Systems. |
Workshop on Implementing Automata |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Morten Biehl, Nils Klarlund, Theis Rauhe |
Algorithms for Guided Tree Automata. |
Workshop on Implementing Automata |
1996 |
DBLP DOI BibTeX RDF |
|
34 | 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 |
34 | 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 |
34 | Danuta Makowiec |
The Heart Pacemaker by Cellular Automata on Complex Networks. |
ACRI |
2008 |
DBLP DOI BibTeX RDF |
Greenberg-Hastings cellular automata, complex networks |
34 | 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 |
34 | 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 |
34 | Jacques Duparc, Alessandro Facchini, Filip Murlak |
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Christel Baier, Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye |
When Are Timed Automata Determinizable? |
ICALP (2) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Suna Bensch, Henning Bordihn, Markus Holzer 0001, Martin Kutrib |
Deterministic Input-Reversal and Input-Revolving Finite Automata. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Markus Holzer 0001, Martin Kutrib |
Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Giovanni Pighizzini |
Deterministic Pushdown Automata and Unary Languages. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Marcelo Arenas, Pablo Barceló, Leonid Libkin |
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Marius Bozga, Radu Iosif, Yassine Lakhnech |
Flat Parametric Counter Automata. |
ICALP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell 0001 |
Decidability and Complexity Results for Timed Automata via Channel Machines. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Yanjun Wen, Ji Wang 0001, Zhi-Chang Qi |
Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Michiel Frishert, Loek G. Cleophas, Bruce W. Watson |
The Effect of Rewriting Regular Expressions on Their Accepting Automata. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Mehryar Mohri |
Edit-Distance of Weighted Automata. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Borivoj Melichar, Jan Skryja |
On the Size of Deterministic Finite Automata. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Lynette van Zijl |
Supernondeterministic Finite Automata. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Thomas A. Henzinger, Peter W. Kopke |
Discrete-Time Control for Rectangular Hybrid Automata. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Christophe Lohr, Jean-Pierre Courtiat |
From the Specification to the Scheduling of Time-Dependent Systems. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
Minimal Reachability Graph, Time Labeled Scheduling Automata, Process Algebra, Timed Automata, Temporal Consistency, RT-Lotos |
34 | Willem Visser, Howard Barringer |
Practical CTL* Model Checking: Should SPIN be Extended? |
Int. J. Softw. Tools Technol. Transf. |
2000 |
DBLP DOI BibTeX RDF |
Büchi automata, Hesitant alternating automata, Model checking, Games, Spin |
34 | K. Subramani 0001, C. Tauras |
An approximation algorithm for state minimization in 2-MDFAs. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
2-MDFA, Finite state automata, State minimization |
34 | Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng |
Duration-constrained regular expressions. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Regular expressions, Hybrid automata, Duration Calculus |
34 | Edward A. Lee, Yuhong Xiong |
A behavioral type system and its application in Ptolemy II. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping |
34 | Orna Kupferman |
Avoiding Determinization. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Orna Kupferman, Moshe Y. Vardi |
Safraless Decision Procedures. |
FOCS |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Are Uppman, Jean-Marc Champarnaud |
Autographe: A Graphical Version of Automate. |
Workshop on Implementing Automata |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Yuri Velinov |
On the Syntax, Semantics, and Implementation of a Graph-Based Computational Environment. |
Workshop on Implementing Automata |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Françoise Fogelman-Soulié |
Representation of Knowledge and Learning on Automata Networks. |
Automata Networks |
1986 |
DBLP DOI BibTeX RDF |
|
32 | 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 |
32 | 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 |
32 | Marco Tomassini |
Generalized Automata Networks. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Pawel Topa |
Towards a Two-Scale Cellular Automata Model of Tumour-Induced Angiogenesis. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Lev Naumov |
CAME &L-Cellular Automata Modeling Environment & Library. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Danuta Makowiec |
Cellular Automata with Majority Rule on Evolving Network. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Marco Tomassini, Mattias Venzi |
Artificially Evolved Asynchronous Cellular Automata for the Density Task. |
ACRI |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Martin Dickhöfer, Thomas Wilke |
Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Bruce W. Watson |
A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic Finite Automata. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
32 | 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 |
32 | 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 |
32 | Sukumar Nandi, B. K. Kar, Parimal Pal Chaudhuri |
Theory and Applications of Cellular Automata in Cryptography. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
CA state transitions, fundamental transformations, programmable cellular automata, pseudorandom pattern generators, VLSI, cryptography, cryptography, stream ciphers, cellular automata, cellular automata, block ciphers, random number generation, VLSI implementation |
32 | Sam M. Kim, Robert McNaughton, Robert McCloskey |
A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite Automata. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
local testability, locally testable language, nonnegative integer, prefix, suffix, computational complexity, polynomial time algorithm, formal languages, finite automata, word, deterministic finite automata, deterministic automata, substrings |
32 | Peter D. Hortensius, Robert D. McLeod, Howard C. Card |
Cellular Automata-Based Signature analysis for Built-in Self-Test. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
signature analysis properties, one-dimensional cellular automata, cyclic-group rules, CALBO, cellular automata-based logic block observation, BILBO, built-in block observation, logic testing, built-in self-test, built-in self test, LFSR, linear feedback shift register, finite automata, test pattern generation |
32 | Shmuel Safra |
On the Complexity of omega-Automata |
FOCS |
1988 |
DBLP DOI BibTeX RDF |
Buchi automata, complexity, decision procedures, deterministic automata, omega -automata |
32 | Wei Li 0058, 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 |
32 | Zhiwen Mo, Xiaolei Hong |
Minimization of Mizumoto Automata. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
Mizumoto automata, canonical fuzzy finite automata, minimization, equivalence |
32 | 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 (1) |
2007 |
DBLP DOI BibTeX RDF |
Complex Automata, Scale Separation Map, Cellular Automata, Multi-Scale Modeling |
32 | 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 |
32 | 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 |
32 | 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 |
32 | Sukumar 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 |
32 | 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 |
32 | Adam Kellett, Michael Fisher 0001 |
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 |
32 | P. S. Thiagarajan, Shaofa Yang |
Succinct discrete time approximations of distributed hybrid automata. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
discrete time approximation, distributed hybrid automata |
32 | Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
Modal interfaces: unifying interface automata and modal specifications. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
modal specifications, compatibility, interface automata |
32 | Slawomir Lasota 0001, Igor Walukiewicz |
Alternating timed automata. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
emptyness problem, timed automata, Alternation |
32 | Jochen Eisinger, Felix Klaedtke |
Don't care words with an application to the automata-based approach for real addition. |
Formal Methods Syst. Des. |
2008 |
DBLP DOI BibTeX RDF |
Mixed linear arithmetic over the integers and reals, Verification of infinite-state systems, Decision procedure, Automata theory |
32 | Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre |
Collapsible Pushdown Automata and Recursion Schemes. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Higher-order pushdown automata, game semantics, higher-order recursion schemes |
32 | Fabio Massacci, Ida Sri Rejeki Siahaan |
Simulating midlet's security claims with automata modulo theory. |
PLAS |
2008 |
DBLP DOI BibTeX RDF |
security policy, automata, mobile code |
32 | Sun Meng, Farhad Arbab |
Web services choreography and orchestration in Reo and constraint automata. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
web services, orchestration, choreography, Reo, constraint automata |
32 | Lutz Priese |
Finite Automata on Unranked and Unordered DAGs. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
regular dag languages, directed acyclic graphs, finite state automata |
32 | Amparo Fúster-Sabater, Pino Caballero-Gil |
Linearization of Stream Ciphers by Means of Concatenated Automata. |
ICCSA (3) |
2007 |
DBLP DOI BibTeX RDF |
Stream cipher, cellular automata, symmetric cryptography, concatenation |
32 | Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik |
Dealing with practical limitations of distributed timed model checking for timed automata. |
Formal Methods Syst. Des. |
2006 |
DBLP DOI BibTeX RDF |
Distributed timed model checking, Kronos, Load-balance, Reconfiguration, Timed automata, Reachability, Redistribution, Zeus, DBM |
32 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston |
Performance analysis of probabilistic timed automata using digital clocks. |
Formal Methods Syst. Des. |
2006 |
DBLP DOI BibTeX RDF |
Timed automata, Probabilistic model checking, Digital clocks |
32 | Samira Tasharofi, Sepand Ansari, Marjan Sirjani |
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
finite-state machine testing, symbiotic evolutionary algorithms, genetic algorithms, automatic test data generation, Constraint automata |
32 | Thierry Jéron, Hervé Marchand, Vlad Rusu |
Symbolic Determinisation of Extended Automata. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
symbolic automata, determinisation |
32 | Manuel Baclet, Claire Pagetti |
Around Hopcroft's Algorithm. |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
Hopcroft’s algorithm, Finite automata, minimization |
32 | Abdeslam En-Nouaary, Rachida Dssouli |
A Guided Method for Testing Timed Input Output Automata. |
TestCom |
2003 |
DBLP DOI BibTeX RDF |
Timed Input Output Automata, Real-Time Systems, Testing, Test Purposes |
32 | Maurice H. ter Beek, Jetty Kleijn |
Team Automata Satisfying Compositionality. |
FME |
2003 |
DBLP DOI BibTeX RDF |
team automata, synchronizations, computations, compositionality, behaviour, shuffles |
32 | Alberto Bertoni, Carlo Mereghetti, Beatrice Palano |
Quantum Computing: 1-Way Quantum Automata. |
Developments in Language Theory |
2003 |
DBLP DOI BibTeX RDF |
quantum finite automata, formal power series |
32 | Alberto Bertoni, Carlo Mereghetti, Beatrice Palano |
Lower Bounds on the Size of Quantum Automata Accepting Unary Languages. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
quantum information theory, quantum automata |
32 | Amparo Fúster-Sabater, Dolores de la Guía-Martínez |
Keystream Generator Analysis in Terms of Cellular Automata. |
KES |
2003 |
DBLP DOI BibTeX RDF |
cryptography, cellular automata, shrinking generator |
32 | Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager |
Minimum-Cost Reachability for Priced Timed Automata. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
Optimization, Algorithms, Verification, Data Structures, Timed Automata |
32 | Dirk Beyer 0001 |
Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
Real-time systems, Formal verification, Timed Automata |
32 | Anca Muscholl, Doron A. Peled |
From Finite State Communication Protocols to High-Level Message Sequence Charts. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
HMSC, bounded automata, partial order specification, specification, Message sequence charts |
32 | Boris Chidlovskii |
Using Regular Tree Automata as XML Schemas. |
ADL |
2000 |
DBLP DOI BibTeX RDF |
XML schema, tree automata, DTD, query algebra |
32 | Reid B. Porter, Neil W. Bergmann |
Evolving FPGA Based Cellular Automata. |
SEAL |
1998 |
DBLP DOI BibTeX RDF |
Genetic Algorithm, FPGA, Cellular Automata |
32 | Davide Bresolin, Angelo Montanari, Gabriele Puppis |
A theory of ultimately periodic languages and automata with an application to time granularity. |
Acta Informatica |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Gabriel Ciobanu, Sergiu Rudeanu |
Final and sequential behaviours of M-automata. |
Acta Informatica |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger |
Alternating Weighted Automata. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Christian Kissig, Yde Venema |
Complementation of Coalgebra Automata. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |
Polynomial Distinguishability of Timed Automata. |
ICGI |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Damien Regnault |
Directed Percolation Arising in Stochastic Cellular Automata Analysis. |
MFCS |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Sara NavidPour, Mohammad Izadi, Ali Movaghar 0001 |
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Jens Glöckler |
A Taxonomy of Deterministic Forgetting Automata. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar |
Computing Simulations over Tree Automata. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Lei Bu, You Li, Linzhang Wang, Xuandong Li |
BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin |
On Stateless Multihead Automata: Hierarchies and the Emptiness Problem. |
LATIN |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 27276 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|