- Continuous-time stochastic games with time-bounded reachability Tomáš Brázdil Vojtěch Forejt Jan Krčál Jan Křetínský Antonín Kučera Fri 02 March 2012
- Reactive Turing machines Jos C.M. Baeten Bas Luttik Paul van Tilburg Fri 02 March 2012
- Shrinking timed automata Ocan Sankur Patricia Bouyer Nicolas Markey Fri 02 March 2012
- An extension of context-free grammars with one-sided context specifications Mikhail Barash Alexander Okhotin Fri 02 March 2012
- Linear logical relations and observational equivalences for session-based concurrency Jorge A. Pérez Luís Caires Frank Pfenning Bernardo Toninho Fri 02 March 2012
- On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy Patrick Baillot Fri 02 March 2012
- A higher-order characterization of probabilistic polynomial time Ugo Dal Lago Paolo Parisen Toldin Fri 02 March 2012
- Augmenting ATL with strategy contexts François Laroussinie Nicolas Markey Fri 02 March 2012
- The complexity of multi-mean-payoff and multi-energy games Yaron Velner Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger Alexander Rabinovich Jean-François Raskin Fri 02 March 2012
- Entropy of regular timed languages Eugene Asarin Nicolas Basset Aldric Degorre Fri 02 March 2012
- Probabilistic computability and choice Vasco Brattka Guido Gherardi Rupert Hölzl Fri 02 March 2012
- Pattern matching with variables: A multivariate complexity analysis Henning Fernau Markus L. Schmid Fri 02 March 2012
- Taming past LTL and flat counter systems Stéphane Demri Amit Kumar Dhar Arnaud Sangnier Fri 02 March 2012
- Synthesizing structured reactive programs via deterministic tree automata Benedikt Brütsch Fri 02 March 2012
- Characterising REGEX languages by regular languages equipped with factor-referencing Markus L. Schmid Fri 02 March 2012
- Well-structured graph transformation systems Barbara König Jan Stückrath Fri 02 March 2012
- A finite axiomatization of conditional independence and inclusion dependencies Miika Hannula Juha Kontinen Fri 02 March 2012
- On parametric timed automata and one-counter machines Daniel Bundala Joel Ouaknine Fri 02 March 2012
- Finding all solutions of equations in free groups and monoids with involution Volker Diekert Artur Jeż Wojciech Plandowski Fri 02 March 2012
- First-cycle games Benjamin Aminof Sasha Rubin Fri 02 March 2012
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
