|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997, Revised Papers, pp. 104-108, 1997, Springer, 3-540-64694-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Bruce W. Watson |
Practical Optimizations for Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997, Revised Papers, pp. 232-240, 1997, Springer, 3-540-64694-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Dominique Revuz |
Operations on Extended Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997, Revised Papers, pp. 171-175, 1997, Springer, 3-540-64694-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Djelloul Ziadi |
Sorting and Doubling Techniques for Set Partitioning and Automata Minimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997, Revised Papers, pp. 241-251, 1997, Springer, 3-540-64694-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
35 | François Bertault, Gregory Kucherov |
Visualization of Dynamic Automata Using Padnon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997, Revised Papers, pp. 25-28, 1997, Springer, 3-540-64694-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
35 | James Glenn, William I. Gasarch |
Implementing WS1S via Finite Automata: Performance Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997, Revised Papers, pp. 75-86, 1997, Springer, 3-540-64694-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
35 | James Glenn, William I. Gasarch |
Implementing WS1S via Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996, Revised Papers, pp. 50-63, 1996, Springer, 3-540-63174-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Denis Maurel |
Building Automata on Schemata and Acceptability Tables: Application to French Data Adverbials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996, Revised Papers, pp. 72-86, 1996, Springer, 3-540-63174-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Gertjan van Noord |
FSA Utilities: A Toolbox to Manipulate Finite-State Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996, Revised Papers, pp. 87-108, 1996, Springer, 3-540-63174-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Romuald Boné, Christophe Daguin, Antoine Georgevail, Denis Maurel |
Time Series Forecasting by Finite-State Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996, Revised Papers, pp. 26-34, 1996, Springer, 3-540-63174-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Max H. Garzon, Eugene Eberbach |
Dynamical Implementation of Nondeterministic Automata and Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996, Revised Papers, pp. 35-49, 1996, Springer, 3-540-63174-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Morten Biehl, Nils Klarlund, Theis Rauhe |
Algorithms for Guided Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996, Revised Papers, pp. 6-25, 1996, Springer, 3-540-63174-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Rafael C. Carrasco, Jan Daciuk, Mikel L. Forcada |
An Implementation of Deterministic Tree Automata Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers, pp. 122-129, 2007, Springer, 978-3-540-76335-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005, pp. 325-329, 2005, ACM, 1-59593-024-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings, pp. 291-298, 2008, Springer, 978-3-540-79991-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Greenberg-Hastings cellular automata, complex networks |
34 | Moshe Y. Vardi |
Linear-Time Model Checking: Automata Theory in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers, pp. 5-10, 2007, Springer, 978-3-540-76335-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 66-80, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 225-239, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Christel Baier, Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye |
When Are Timed Automata Determinizable? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, pp. 43-54, 2009, Springer, 978-3-642-02929-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Suna Bensch, Henning Bordihn, Markus Holzer 0001, Martin Kutrib |
Deterministic Input-Reversal and Input-Revolving Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers, pp. 113-124, 2008, Springer, 978-3-540-88281-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Markus Holzer 0001, Martin Kutrib |
Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings, pp. 1-16, 2008, Springer, 978-3-540-70843-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Giovanni Pighizzini |
Deterministic Pushdown Automata and Unary Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings, pp. 232-241, 2008, Springer, 978-3-540-70843-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Marcelo Arenas, Pablo Barceló, Leonid Libkin |
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, pp. 888-900, 2007, Springer, 978-3-540-73419-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Marius Bozga, Radu Iosif, Yassine Lakhnech |
Flat Parametric Counter Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, pp. 577-588, 2006, Springer, 3-540-35907-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 1089-1101, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 259-273, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Michiel Frishert, Loek G. Cleophas, Bruce W. Watson |
The Effect of Rewriting Regular Expressions on Their Accepting Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings, pp. 304-305, 2003, Springer, 3-540-40561-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Mehryar Mohri |
Edit-Distance of Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers, pp. 1-23, 2002, Springer, 3-540-40391-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Borivoj Melichar, Jan Skryja |
On the Size of Deterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers, pp. 202-213, 2001, Springer, 3-540-00400-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Lynette van Zijl |
Supernondeterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers, pp. 274-288, 2001, Springer, 3-540-00400-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Thomas A. Henzinger, Peter W. Kopke |
Discrete-Time Control for Rectangular Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings, pp. 582-593, 1997, Springer, 3-540-63165-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Christophe Lohr, Jean-Pierre Courtiat |
From the Specification to the Scheduling of Time-Dependent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 129-146, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 350-365, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(4), pp. 421-431, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(2), pp. 155-163, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(3), pp. 210-237, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping |
34 | Orna Kupferman |
Avoiding Determinization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 243-254, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Orna Kupferman, Moshe Y. Vardi |
Safraless Decision Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), 23-25 October 2005, Pittsburgh, PA, USA, Proceedings, pp. 531-542, 2005, IEEE Computer Society, 0-7695-2468-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Are Uppman, Jean-Marc Champarnaud |
Autographe: A Graphical Version of Automate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers, pp. 226-229, 1998, Springer, 3-540-66652-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Yuri Velinov |
On the Syntax, Semantics, and Implementation of a Graph-Based Computational Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers, pp. 199-212, 1998, Springer, 3-540-66652-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Françoise Fogelman-Soulié |
Representation of Knowledge and Learning on Automata Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automata Networks ![In: Automata Networks, LITP Spring School on Theoretical Computer Science, Angelès-Village, France, May 12-16, 1986, Proceedings, pp. 95-116, 1986, Springer, 3-540-19444-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
32 | Jun-Cheol Jeon, Kee-Young Yoo |
Authentication Based on Singular Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 7th International Conference on Cellular Automata, for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings, pp. 605-610, 2006, Springer, 3-540-40929-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 7th International Conference on Cellular Automata, for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings, pp. 502-511, 2006, Springer, 3-540-40929-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Cellular Automata, Traffic Modeling, Nonlinear Optimization, Emergent Behavior |
32 | Marco Tomassini |
Generalized Automata Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 7th International Conference on Cellular Automata, for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings, pp. 14-28, 2006, Springer, 3-540-40929-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Pawel Topa |
Towards a Two-Scale Cellular Automata Model of Tumour-Induced Angiogenesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 7th International Conference on Cellular Automata, for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings, pp. 337-346, 2006, Springer, 3-540-40929-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Lev Naumov |
CAME &L-Cellular Automata Modeling Environment & Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004, Proceedings, pp. 735-744, 2004, Springer, 3-540-23596-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Danuta Makowiec |
Cellular Automata with Majority Rule on Evolving Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004, Proceedings, pp. 141-150, 2004, Springer, 3-540-23596-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Marco Tomassini, Mattias Venzi |
Artificially Evolved Asynchronous Cellular Automata for the Density Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002, Proceedings, pp. 44-55, 2002, Springer, 3-540-44304-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings, pp. 281-290, 1999, Springer, 3-540-66224-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Bruce W. Watson |
A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIA ![In: Automata Implementation, 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers, pp. 174-182, 1999, Springer, 3-540-42812-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Danial J. Neebel, Charles R. Kime |
Cellular Automata for Weighted Random Pattern Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 46(11), pp. 1219-1229, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 90-99, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(12), pp. 1346-1357, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(10), pp. 1087-1093, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(10), pp. 1273-1283, 1990. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 29th Annual Symposium on Foundations of Computer Science, White Plains, New York, USA, 24-26 October 1988, pp. 319-327, 1988, IEEE Computer Society, 0-8186-0877-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOBIWAC ![In: Proceedings of the Seventh ACM International Workshop on Mobility Management & Wireless Access, MOBIWAC 2009, Tenerife, Canary Islands, Spain, October 26-27, 2009, pp. 1-6, 2009, ACM, 978-1-60558-617-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 739-743, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I, pp. 922-930, 2007, Springer, 978-3-540-72583-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2006, Houston, Texas, USA, March 3-5, 2006, pp. 379-383, 2006, ACM, 1-59593-259-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2004), 21-23 October 2004, Budapest, Hungary, pp. 188-195, 2004, IEEE Computer Society, 0-7695-2232-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, pp. 220-230, 1999, Springer, 3-540-66408-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1999 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '99), 23-25 June 1999, Fremantle, Australia, pp. 158-167, 1999, IEEE Computer Society, 0-7695-0231-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 160-171, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 12-19, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010, pp. 1-10, 2010, ACM, 978-1-60558-955-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 87-96, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
modal specifications, compatibility, interface automata |
32 | Slawomir Lasota 0001, Igor Walukiewicz |
Alternating timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(2), pp. 10:1-10:27, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 33(1-3), pp. 85-115, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 452-461, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008, pp. 1-9, 2008, ACM, 978-1-59593-936-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 346-353, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
web services, orchestration, choreography, Reo, constraint automata |
32 | Lutz Priese |
Finite Automata on Unranked and Unordered DAGs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings, pp. 346-360, 2007, Springer, 978-3-540-73207-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III, pp. 544-554, 2007, Springer, 978-3-540-74482-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 29(2), pp. 197-214, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 29(1), pp. 33-78, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 478-493, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), IFIP 19th World Computer Congress, TC-1 Foundations of Computer Science, August 23-24, 2006, Santiago, Chile, pp. 197-212, 2006, Springer, 0-387-34633-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
symbolic automata, determinisation |
32 | Manuel Baclet, Claire Pagetti |
Around Hopcroft's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings, pp. 114-125, 2006, Springer, 3-540-37213-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings, pp. 211-225, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 381-400, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings, pp. 1-20, 2003, Springer, 3-540-40434-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings, pp. 86-96, 2003, Springer, 3-540-20216-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I, pp. 1199-1206, 2003, Springer, 3-540-40803-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings, pp. 147-161, 2001, Springer, 3-540-41866-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, pp. 86-91, 2001, Springer, 3-540-42541-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 720-731, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADL ![In: Proceedings of IEEE Advances in Digital Libraries 2000 (ADL 2000), Washington, DC, USA, May 22-24, 2000, pp. 89-98, 2000, IEEE Computer Society, 0-7695-0659-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
XML schema, tree automata, DTD, query algebra |
32 | Reid B. Porter, Neil W. Bergmann |
Evolving FPGA Based Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAL ![In: Simulated Evolution and Learning, Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'98, Canberra, Australia, November 24-27 1998, Selected Papers, pp. 114-121, 1998, Springer, 3-540-65907-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 46(5), pp. 331-360, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Gabriel Ciobanu, Sergiu Rudeanu |
Final and sequential behaviours of M-automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 46(5), pp. 361-374, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger |
Alternating Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings, pp. 3-13, 2009, Springer, 978-3-642-03408-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Christian Kissig, Yde Venema |
Complementation of Coalgebra Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 81-96, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |
Polynomial Distinguishability of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 9th International Colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008, Proceedings, pp. 238-251, 2008, Springer, 978-3-540-88008-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Damien Regnault |
Directed Percolation Arising in Stochastic Cellular Automata Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, pp. 563-574, 2008, Springer, 978-3-540-85237-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 211-218, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Jens Glöckler |
A Taxonomy of Deterministic Forgetting Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings, pp. 371-382, 2008, Springer, 978-3-540-85779-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 93-108, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Lei Bu, You Li, Linzhang Wang, Xuandong Li |
BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008, pp. 1-4, 2008, IEEE, 978-1-4244-2735-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin |
On Stateless Multihead Automata: Hierarchies and the Emptiness Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2008: Theoretical Informatics, 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings, pp. 94-105, 2008, Springer, 978-3-540-78772-3. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|