- Over-approximating Descendants by Synchronized Tree Languages Yohan Boichut Jacques Chabin Pierre Rety Mon 29 June 2015
- What Percentage of Programs Halt Laurent Bienvenu Damien Desfontaines Alexander Shen Mon 29 June 2015
- Distributed Graph Automata Fabian Reiter Mon 29 June 2015
- Characterization theorems for PDL and FO(TC) Facundo Carreiro Mon 29 June 2015
- Over-approximating Descendants by Synchronized Tree Languages Yohan Boichut Jacques Chabin Pierre Réty Mon 22 June 2015
- Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars Jonathan Kochems C.H. Luke Ong Mon 22 June 2015
- Recognisable languages over monads Mikołaj Bojańczyk Tue 16 June 2015
- Proving Looping and Non-Looping Non-Termination by Finite Automata Jørg Endrullis Hans Zantema Sat 13 June 2015
- A model for behavioural properties of higher-order programs Sylvain Salvati Igor Walukiewicz Thu 04 June 2015
- Finitary semantics of linear logic and higher-order model-checking Charles Grellois Paul-André Melliès Thu 04 June 2015
- Random Deterministic Automata Cyril Nicaud Thu 04 June 2015
- Fast Synchronization of Random Automata Cyril Nicaud Thu 04 June 2015
- Membership problems for regular and context-free trace languages A. Bertoni G. Mauri N. Sabadini Mon 25 May 2015
- From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis Pavol Černý Edmund M. Clarke Thomas A. Henzinger Arjun Radhakrishna Leonid Ryzhyk Roopsha Samanta Thorsten Tarrach Mon 25 May 2015
- Typing Weak MSOL Properties Sylvain Salvati Igor Walukiewicz Fri 22 May 2015
- The mu-calculus and model-checking Julian Bradfield Igor Walukiewicz Fri 22 May 2015
- Simply typed fixpoint calculus and collapsible pushdown automata Sylvain Salvati Igor Walukiewicz Fri 22 May 2015
- Equivalence of Deterministic One-Counter Automata is NL-complete Stanislav Bøhm Stefan Gøller Petr Jančar Thu 21 May 2015
- Deterministic one-counter automata Leslie G. Valiant Michael S. Paterson Thu 21 May 2015
- Decision Problems for Petri Nets with Names Fernando Rosa-Velardo David de Frutos-Escrig Wed 20 May 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
