- Distributed Timed Automata with Independently Evolving Clocks S. Akshay Benedikt Bollig Paul Gastin Madhavan Mukund K. Narayan Kumar Mon 19 March 2012
- Folk theorems on the determinization and minimization of timed automata Stavros Tripakis Wed 14 March 2012
- Folk Theorems on the Determinization and Minimization of Timed Automata Stavros Tripakis Wed 14 March 2012
- The complexity of two-player games of incomplete information John H. Reif Tue 13 March 2012
- Universal games of incomplete information John H. Reif Tue 13 March 2012
- A Game Approach to Determinize Timed Automata Nathalie Bertrand Amélie Stainer Thierry Jéron Moez Krichen Tue 13 March 2012
- Off-line test selection with test purposes for non-deterministic timed automata Nathalie Bertrand Thierry Jéron Amélie Stainer Moez Krichen Tue 13 March 2012
- Emptiness and universality problems in timed automata with positive frequency Nathalie Bertrand Patricia Bouyer Thomas Brihaye Amélie Stainer Tue 13 March 2012
- Energy and Mean-Payoff Games with Imperfect Information Aldric Degorre Laurent Doyen Raffaella Gentilini Jean-François Raskin Szymon Toruńczyk Tue 13 March 2012
- Languages of profinite words and the limitedness problem Szymon Toruńczyk Tue 13 March 2012
- Languages of profinite words and the limitedness problem Szymon Toruńczyk Tue 13 March 2012
- On the Topological Complexity of MSO+U and Related Automata Models Szczepan Hummel Michał Skrzypczak Szymon Toruńczyk Tue 13 March 2012
- Buchi automata can have smaller quotients Lorenzo Clemente Mon 12 March 2012
- Buchi Automata can have Smaller Quotients Lorenzo Clemente Mon 12 March 2012
- Borel Hierarchy and Omega Context Free Languages Olivier Finkel Mon 12 March 2012
- Topological properties of omega context-free languages Olivier Finkel Mon 12 March 2012
- Decidability of second-order theories and automata on infinite trees Michael O. Rabin Mon 12 March 2012
- Finite automata and their decision problems Michael O. Rabin Dana Scott Mon 12 March 2012
- The Posture Myth: Have we got it horribly wrong Roy Palmer Sat 10 March 2012
- A Proof System for the Linear Time mu-Calculus Christian Dax Martin Hofmann Martin Lange Fri 09 March 2012
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
