- A Logical Characterization of Timed Pushdown Languages Manfred Droste Vitaly Perevoshchikov Sat 26 December 2015
- Logics for Weighted Timed Pushdown Automata Manfred Droste Vitaly Perevoshchikov Sat 26 December 2015
- Non-Zero Sum Games for Reactive Synthesis Romain Brenguier Lorenzo Clemente Paul Hunter Guillermo A. Pérez Mickael Randour Jean-François Raskin Ocan Sankur Mathieu Sassolas Tue 22 December 2015
- On Infinite Words Determined by Indexed Languages Tim Smith Sun 20 December 2015
- On the Problem of Computing the Probability of Regular Sets of Trees Henryk Michalewski Matteo Mio Thu 17 December 2015
- Decidability in the Logic of Subsequences and Supersequences Prateek Karandikar Philippe Schnoebelen Thu 17 December 2015
- Fragments of Fixpoint Logic on Data Words Thomas Colcombet Amaldev Manuel Thu 17 December 2015
- Efficient Algorithms for Morphisms over Omega-Regular Languages Lukas Fleischer Manfred Kufleitner Thu 17 December 2015
- One-way Definability of Sweeping Transducer Félix Baschenis Olivier Gauwin Anca Muscholl Gabriele Puppis Thu 17 December 2015
- What's Decidable about Availability Languages Parosh Aziz Abdulla Mohamed Faouzi Atig Roland Meyer Mehdi Seyed Salehi Thu 17 December 2015
- Simple Priced Timed Games are not That Simple Thomas Brihaye Gilles Geeraerts Axel Haddad Engel Lefaucheux Benjamin Monmege Thu 17 December 2015
- Revisiting Robustness in Priced Timed Games Shibashis Guha Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi Thu 17 December 2015
- Quantitative Games under Failures Thomas Brihaye Gilles Geeraerts Axel Haddad Benjamin Monmege Guillermo A. Pérez Gabriel Renault Thu 17 December 2015
- An omega-Algebra for Real-Time Energy Problems David Cachera Uli Fahrenberg Axel Legay Thu 17 December 2015
- Probabilistic Regular Expressions and MSO Logic on Finite Trees Thomas Weidner Thu 17 December 2015
- On the Expressiveness of Multiparty Sessions Romain Demangeon Nobuko Yoshida Thu 17 December 2015
- Secure Refinements of Communication Channels Vincent Cheval Véronique Cortier Eric le Morvan Thu 17 December 2015
- Reachability Problems for Continuous Linear Dynamical Systems (Invited Talk) James Worrell Thu 17 December 2015
- From monoids to near-semirings: the essence of MonadPlus and Alternative Exequiel Rivas Mauro Jaskelioff Tom Schrijvers Tue 15 December 2015
- ømega Petri Nets: Algorithms and Complexity Gilles Geeraerts Alexander Heußner M. Praveen Jean-François Raskin Mon 14 December 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
