- Synchronized Rational Relations of Finite and Infinite Words Christiane Frougny Jacques Sakarovitch Wed 13 November 2013
- Finite n-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al. Christian Choffrut Serge Grigorieff Wed 13 November 2013
- Sets recognized by n-tape automata S. Eilenberg C. C. Elgot J. C. Shepherdson Wed 13 November 2013
- A Survey of Multi-Tape Automata Carlo A. Furia Wed 13 November 2013
- On the equivalence problem for deterministic multitape automata and transducers Karel Culik II Juhani Karhumaki Wed 13 November 2013
- The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape Alexander A. Letichevsky Arsen S. Shoukourian Samvel K. Shoukourian Wed 13 November 2013
- Revisiting the Equivalence Problem for Finite Multitape Automata James Worrell Wed 13 November 2013
- The equivalence problem of multitape finite automata Tero Harju Juhani Karhumaki Wed 13 November 2013
- Algorithmic verification of asynchronous programs Pierre Ganty Rupak Majumdar Tue 12 November 2013
- Saturation of Concurrent Collapsible Pushdown Systems Matthew Hague Tue 12 November 2013
- Variants of Collapsible Pushdown Systems Pawel Parys Tue 12 November 2013
- Provable isomorphisms of types Kim B. Bruce Roberto Di Cosmo Giuseppe Longo Tue 12 November 2013
- Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks Jonathan Kochems C.-H.Luke Ong Tue 12 November 2013
- Synchronizability for verification of asynchronously communicating systems Samik Basu Tevfik Bultan Meriem Ouederni Tue 12 November 2013
- Bounded phase analysis of message-passing programs Ahmed Bouajjani Michael Emmi Tue 12 November 2013
- Analysis of Message Passing Programs Using SMT-Solvers Parosh Aziz Abdulla Mohamed Faouzi Atig Jonathan Cederberg Tue 12 November 2013
- Adjacent Ordered Multi-Pushdown Systems Mohamed Faouzi Atig K. Narayan Kumar Prakash Saivasan Tue 12 November 2013
- Verification of Directed Acyclic Ad Hoc Networks Parosh Aziz Abdulla Mohamed Faouzi Atig Othmane Rezine Tue 12 November 2013
- Push-Down Automata with Gap-Order Constraints Parosh Aziz Abdulla Mohamed Faouzi Atig Giorgio Delzanno Andreas Podelski Tue 12 November 2013
- The complexity of the word problems for commutative semigroups and polynomial ideals Ernst W Mayr Albert R Meyer Mon 11 November 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
