- On the Total Variation Distance of Labelled Markov Chains Taolue Chen Stefan Kiefer Thu 26 June 2014
- Games with winning conditions of high Borel complexity Olivier Serre Thu 26 June 2014
- Parity Games Played on Transition Graphs of One-Counter Processes Olivier Serre Thu 26 June 2014
- Vectorial languages and linear temporal logic Olivier Serre Thu 26 June 2014
- Note on winning positions on pushdown games with ømega-regular conditions Olivier Serre Thu 26 June 2014
- Word-Mappings of Level 2 Julien Ferté Nathalie Marin Géraud Sénizergues Thu 26 June 2014
- Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems Jérôme Leroux M. Praveen Grégoire Sutre Thu 26 June 2014
- Decomposition Theorems and Model-Checking for the Modal mu-Calculus Mikolaj Bojanczyk Christoph Dittmann Stephan Kreutzer Thu 26 June 2014
- Buchi Types for Infinite Traces and Liveness Martin Hofmann Wei Chen Thu 26 June 2014
- Infinite-State Energy Games Parosh Aziz Abdulla Mohamed Faouzi Atig Piotr Hofman Richard Mayr K. Narayan Kumar Patrick Totzke Thu 26 June 2014
- Some Properties of Reactive Fiffo Automata Frédéric Herbreteau Tue 24 June 2014
- Effective Recognizability and Model Checking of Reactive Fiffo Automata Grégoire Sutre Alain Finkel Olivier Roux Franck Cassez Tue 24 June 2014
- On the Power of Randomization in Online Algorithms S. Ben-David A. Borodin R. Karp G. Tardos A. Wigderson Tue 24 June 2014
- An Optimal On-line Algorithm for Metrical Task System Allan Borodin Nathan Linial Michael E. Saks Tue 24 June 2014
- Modular Specification of Process Algebras Rob van Glabbeek Frits Vaandrager Tue 24 June 2014
- Verifying Identical Communicating Processes is Undecidable Alain Finkel Pierre Mckenzie Tue 24 June 2014
- Programs with Quasi-Stable Channels Are Effectively Recognizable (Extended Abstract) Gérard Cécé Alain Finkel Tue 24 June 2014
- The obstructions of a minor-closed set of graphs defined by a context-free grammar B Courcelle G Sénizergues Tue 24 June 2014
- Tag systems and lag systems Hao Wang Mon 23 June 2014
- A Users' Guide to Government Phonology (GP) Jonathan Kaye Mon 23 June 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
