- TikZ & PGF - Manual for Version 2.10 Till Tantau Mon 13 January 2014
- Energy Games in Multiweighted Automata Uli Fahrenberg Line Juhl Kim G. Larsen Jiří Srba Mon 13 January 2014
- Reachability Games on Extended Vector Addition Systems with States Tomáš Brázdil Petr Jančar Antonín Kučera Mon 13 January 2014
- Resource Interfaces Arindam Chakrabarti Luca Alfaro Thomas A. Henzinger Marielle Stoelinga Mon 13 January 2014
- Faster Algorithms for Mean-payoff Games L. Brim J. Chaloupka L. Doyen R. Gentilini J. F. Raskin Mon 13 January 2014
- Faster Algorithm for Mean-Payoff Games Jakub Chaloupka Luboš Brim Mon 13 January 2014
- The complexity of mean payoff games on graphs Uri Zwick Mike Paterson Mon 13 January 2014
- Positional strategies for mean payoff games A. Ehrenfeucht J. Mycielski Mon 13 January 2014
- The Complexity of Multi-Mean-Payoff and Multi-Energy Games Yaron Velner Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger Alexander Rabinovich Jean-Francois Raskin Mon 13 January 2014
- Algorithms and Tools for the Formal Verification of Concurrent Systems Lorenzo Clemente Mon 13 January 2014
- Decision Problems for Term Rewriting Systems and Recognizable Tree Languages Rémi Gilleron Fri 10 January 2014
- Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability Toshinori Takai Yuichi Kaji Hiroyuki Seki Fri 10 January 2014
- The finite power property in free groups Flavio d'Alessandro Jacques Sakarovitch Fri 10 January 2014
- The View from the Left Conor McBride James McKinna Thu 09 January 2014
- Training Tree Transducers Jonathan Graehl Kevin Knight Jonathan May Thu 09 January 2014
- The Power of Extended Top-Down Tree Transducers Andreas Maletti Jonathan Graehl Mark Hopkins Kevin Knight Thu 09 January 2014
- Composing Extended Top-down Tree Transducers Aurélie Lagoutte Fabienne Braune Daniel Quernheim Andreas Maletti Thu 09 January 2014
- Preservation of Recognizability for Synchronous Tree Substitution Grammars Zoltán Fuløp Andreas Maletti Heiko Vogler Thu 09 January 2014
- Composition Closure of Linear Extended Top-down Tree Transducers Zoltán Fuløp Andreas Maletti Thu 09 January 2014
- Top-down tree transducers with regular look-ahead Joost Engelfriet Thu 09 January 2014
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
