- The Proof Theory and Semantics of Intuitionistic Modal Logic Alex Simpson Mon 19 October 2015
- Prefix Rewriting for Nested-words and Collapsible Pushdown Automata Christopher Broadbent Mon 19 October 2015
- A System of Axioms of Set Theory for the Rationalists Jan Mycielski Sun 18 October 2015
- The Instructor's Guide to Real Induction Pete L. Clark Thu 15 October 2015
- Nested Timed Automata with Frozen Clocks Guoqiang Li Mizuhito Ogawa Shoji Yuen Thu 15 October 2015
- Deciding branching time properties for asynchronous programs Rohit Chadha Mahesh Viswanathan Wed 14 October 2015
- Well Structured Transition Systems with History Parosh Abdulla Giorgio Delzanno Marco Montali Wed 14 October 2015
- Verification of Dynamic Register Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Ahmet Kara Othmane Rezine Wed 14 October 2015
- Ordered Tree-Pushdown Systems Lorenzo Clemente Paweł Parys Sylvain Salvati Igor Walukiewicz Tue 13 October 2015
- The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets Georg Zetzsche Mon 12 October 2015
- Distributed Timed Automata with Independently Evolving Clocks S. Akshay Benedikt Bollig Paul Gastin Madhavan Mukund K. Narayan Kumar Mon 12 October 2015
- Minimierung symbolischer nichtdeterministischer Buchi-Automaten - Minimization of symbolic nondeterministic Buchi automata Johannes Friedrich Thorn Sat 10 October 2015
- Experimental Evaluation of Classical Automata Constructions Deian Tabakov Moshe Y. Vardi Wed 07 October 2015
- Model Checking Buechi Specifications Deian Tabakov Moshe Y. Vardi Wed 07 October 2015
- Fair Simulation Minimization Sankar Gurumurthy Roderick Bloem Fabio Somenzi Wed 07 October 2015
- Strictness of the Collapsible Pushdown Hierarchy Alexander Kartzow Paweł Parys Tue 06 October 2015
- A Recognition and Parsing Algorithm for Arbitrary Conjunctive Grammars Alexander Okhotin Mon 05 October 2015
- Complexity Bounds for the Verification of Real-Time Software Rohit Chadha Axel Legay Pavithra Prabhakar Mahesh Viswanathan Fri 02 October 2015
- An Extension of Muchnik's Theorem Achim Bluemnsath Stephan Kreutzer Fri 02 October 2015
- Uniformization in automata theory Arnaud Carayol Christof Løding Thu 01 October 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
