- The Tractability Frontier for NFA Minimization Henrik Bjørklund Wim Martens Thu 22 January 2015
- Path-Checking for MTL and TPTL over Data Words Shiguang Feng Markus Lohrey Karin Quaas Fri 16 January 2015
- Hardness of untimed language universality Ocan Sankur Romain Brenguier Tue 13 January 2015
- Untimed Language Preservation in Timed Systems Ocan Sankur Tue 13 January 2015
- Theory of Hybrid Systems and Discrete Event Systems Anuj Puri Mon 12 January 2015
- Parikh Images of Grammars: Complexity and Applications Eryk Kopczyński Anthony Widjaja To Thu 08 January 2015
- Word Problems Requiring Exponential Time (Preliminary Report) L. J. Stockmeyer A. R. Meyer Thu 08 January 2015
- Reachability results for timed automata with unbounded data structures Ruggero Lanotte Andrea Maggiolo-Schettini Angelo Troina Thu 08 January 2015
- Analysing Neurobiological Models Using Communicating Automata Li Su Rodolfo Gomez Howard Bowman Thu 08 January 2015
- FREC 14: FRontiers of RECognizability Géraud Sénizergues Tue 06 January 2015
- To CNF or not to CNF An Efficient Yet Presentable Version of the CYK Algorithm Martin Lange Hans Leiß Tue 06 January 2015
- Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing Yasuhiko Minamide Shunsuke Mori Tue 06 January 2015
- Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman Tue 06 January 2015
- Mediating for reduction (on minimizing alternating Buchi automata) Parosh Aziz Abdulla Yu-Fang Chen Lukáš Holík Tomáš Vojnar Tue 06 January 2015
- Budget-bounded model-checking pushdown systems ParoshAziz Abdulla MohamedFaouzi Atig Othmane Rezine Jari Stenman Tue 06 January 2015
- Representing Hyper-arithmetical Sets by Equations over Sets of Integers Artur Jeż Alexander Okhotin Tue 30 December 2014
- Computational completeness of equations over sets of natural numbers Artur Jeż Alexander Okhotin Tue 30 December 2014
- Krivine machines and higher-order schemes Sylvain Salvati Igor Walukiewicz Mon 22 December 2014
- Distributed Synthesis for Acyclic Architectures Anca Muscholl Igor Walukiewicz Mon 22 December 2014
- Fast detection of cycles in timed automata Aakash Deshpande Frédéric Herbreteau B. Srivathsan Thanh-Tung Tran Igor Walukiewicz Mon 22 December 2014
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
