- Extending finite-memory determinacy to multi-player games Stéphane Le Roux Arno Pauly Fri 02 March 2012
- Characterizing polynomial and exponential complexity classes in elementary lambda-calculus Patrick Baillot Erika De Benedetti Simona Ronchi Della Rocca Fri 02 March 2012
- Robust worst cases for parity games algorithms Massimo Benerecetti Daniele DelltextquotesingleErba Fabio Mogavero Fri 02 March 2012
- The emptiness problem for valence automata over graph monoids Georg Zetzsche Fri 02 March 2012
- Regular ømega-languages with an informative right congruence Dana Angluin Dana Fisman Fri 02 March 2012
- Reversibility of computations in graph-walking automata Michal Kunc Alexander Okhotin Fri 02 March 2012
- Bisimulation metrics and norms for real-weighted automata Borja Balle Pascale Gourdeau Prakash Panangaden Fri 02 March 2012
- Whattextquotesingles decidable about weighted automata Shaull Almagor Udi Boker Orna Kupferman Fri 02 March 2012
- Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based Optimal Control in Generator Space Bastian Schürmann Matthias Althoff Fri 02 March 2012
- Kronecker's approximation theorem Steven M. Gonek Hugh L. Montgomery Fri 02 March 2012
- FSM-based conformance testing methods: A survey annotated with experimental evaluation Rita Dorofeeva Khaled El-Fakih Stephane Maag Ana R. Cavalli Nina Yevtushenko Fri 02 March 2012
- An empirical research agenda for understanding formal methods productivity Ross Jeffery Mark Staples June Andronick Gerwin Klein Toby Murray Fri 02 March 2012
- Nondeterministic automata: Equivalence, bisimulations, and uniform relations Miroslav Ćirić Jelena Ignjatović Milan Bašić Ivana Jančić Fri 02 March 2012
- Reduction of fuzzy automata by means of fuzzy quasi-orders Aleksandar Stamenković Miroslav Ćirić Jelena Ignjatović Fri 02 March 2012
- Macro forest transducers Thomas Perst Helmut Seidl Fri 02 March 2012
- A PTIME-complete matching problem for SLP-compressed words N. Markey Ph. Schnoebelen Fri 02 March 2012
- Efficient weakest preconditions K. Rustan M. Leino Fri 02 March 2012
- Deciding by resolution Jean Goubault-Larrecq Fri 02 March 2012
- A decidable class of problems for control under partial observation Sophie Pinchinat Stéphane Riedweg Fri 02 March 2012
- The state complexity of and Narad Rampersad Fri 02 March 2012
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
