- Generalized Post Embedding Problems Prateek Karandikar Philippe Schnoebelen Wed 19 August 2015
- Model Checking Dynamic Distributed Systems Aiswarya Cyriac Mon 17 August 2015
- Unreliable Data Communication Parosh Aziz Abdulla Aiswarya Cyriac Mohamed Faouzi Atig Mon 17 August 2015
- Presburger Vector Addition Systems Jérôme Leroux Fri 24 July 2015
- The Ideal View on Rackoff's Coverability Technique Ranko Lazić Sylvain Schmitz Fri 24 July 2015
- Ideal Abstractions for Well-structured Transition Systems Damien Zufferey Thomas Wies Thomas A. Henzinger Fri 24 July 2015
- The Downward-Closure of Petri Net Languages Peter Habermehl Roland Meyer Harro Wimmel Fri 24 July 2015
- An approach to computing downward closures Georg Zetzsche Fri 24 July 2015
- Computing Downward Closures for Stacked Counter Automata Georg Zetzsche Fri 24 July 2015
- What are Strategies in Delay Games Borel Determinacy for Games with Lookahead Felix Klein Martin Zimmermann Wed 22 July 2015
- Layer Systems for Proving Confluence Bertram Felgenhauer Aart Middeldorp Harald Zankl Vincent van Oostrom Wed 22 July 2015
- Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time Marcin Jurdziński Ranko Lazić Sylvain Schmitz Tue 07 July 2015
- Rumour Spreading and Graph Conductance Flavio Chierichetti Silvio Lattanzi Alessandro Panconesi Thu 02 July 2015
- Lower and Upper Bounds in Zone-based Abstractions of Timed Automata Gerd Behrmann Patricia Bouyer Kim G. Larsen Radek Pelánek Thu 02 July 2015
- Game Semantics and Normalization by Evaluation Pierre Clairambault Peter Dybjer Wed 01 July 2015
- The Safe Lambda Calculus William Blum C.-H. Luke Ong Tue 30 June 2015
- A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version) Jørg Endrullis Helle Hvid Hansen Dimitri Hendriks Andrew Polonsky Alexandra Silva Mon 29 June 2015
- Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems Yoshiharu Kojima Masahiko Sakai Mon 29 June 2015
- Proving Properties of Term Rewrite Systems via Logic Programs Sébastien Limet Gernot Salzer Mon 29 June 2015
- Tree Tuple Languages from the Logic Programming Point of View Sébastien Limet Gernot Salzer Mon 29 June 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
