- The Logic of Automata---Part I Arthur W. Burks Hao Wang Sat 29 December 2012
- On Time Petri Nets Louchka Popova Sat 29 December 2012
- On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels Parosh Aziz Abdulla Ahmed Bouajjani Bengt Jonsson Sat 29 December 2012
- Gedanken Experiments on Sequential Machines Edward F. Moore Sat 29 December 2012
- Linear Automaton Transformations A. Nerode Sat 29 December 2012
- A note on the reduction of two-way automata to one-way automata Moshe Y. Vardi Sat 29 December 2012
- Two-Way Finite Automata: Old and Recent Results Giovanni Pighizzini Sat 29 December 2012
- The reduction of two-way automata to one-way automata J. C. Shepherdson Fri 28 December 2012
- More on the Size of Higman-Haines Sets: Effective Constructions Hermann Gruber Markus Holzer Martin Kutrib Tue 25 December 2012
- A proof of Higman's Lemma by structural induction Thierry Coquand Daniel Friedlender Tue 25 December 2012
- A Powerdomain Construction Gordon Plotkin Tue 25 December 2012
- Algebraic approach to single-pushout graph transformation Michael Løwe Fri 21 December 2012
- Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach H. Ehrig R. Heckel M. Korff M. Løwe L. Ribeiro A. Wagner A. Corradini Fri 21 December 2012
- Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach A. Corradini U. Montanari F. Rossi H. Ehrig R. Heckel M. Løwe Fri 21 December 2012
- Solving Stochastic Buchi Games on Infinite Decisive Arenas Nathalie Bertrand Philippe Schnoebelen Thu 20 December 2012
- Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems Salil Joshi Barbara Kønig Wed 19 December 2012
- Graph grammar modeling and verification of ad hoc routing protocols Mayank Saksena Oskar Wibling Bengt Jonsson Wed 19 December 2012
- Adding Time to Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman Wed 19 December 2012
- An operational semantics for a calculus for wireless systems Ivan Lanese Davide Sangiorgi Tue 18 December 2012
- The covering and boundedness problems for branching vector addition systems Stephane Demri Marcin Jurdziński Oded Lachish Ranko Lazic Tue 18 December 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
