- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder Jasmin Christian Blanchette Tobias Nipkow Fri 02 March 2012
- A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture Anthony Fox Magnus O. Myreen Fri 02 March 2012
- Proviola: A Tool for Proof Re-animation Carst Tankink Herman Geuvers James McKinna Freek Wiedijk Fri 02 March 2012
- A Topological Approach to Recognition Mai Gehrke Serge Grigorieff Jean-Éric Pin Fri 02 March 2012
- Noetherian Spaces in Verification Jean Goubault-Larrecq Fri 02 March 2012
- Towards a Theory of Time-Bounded Verification Joël Ouaknine James Worrell Fri 02 March 2012
- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems Hugo Gimbert Youssouf Oualhadj Fri 02 March 2012
- Exponential Lower Bounds for Policy Iteration John Fearnley Fri 02 March 2012
- Model Checking Succinct and Parametric One-Counter Automata Stefan Göller Christoph Haase Joël Ouaknine James Worrell Fri 02 March 2012
- Dynamic Cutoff Detection in Parameterized Concurrent Programs Alexander Kaiser Daniel Kroening Thomas Wahl Fri 02 March 2012
- Tracking Down the Origins of Ambiguity in Context-Free Grammars H. J. S. Basten Fri 02 March 2012
- Coordination Logic Bernd Finkbeiner Sven Schewe Fri 02 March 2012
- Inductive-Inductive Definitions Fredrik Nordvall Forsberg Anton Setzer Fri 02 March 2012
- Session Types as Intuitionistic Linear Propositions Luís Caires Frank Pfenning Fri 02 March 2012
- Multipebble Simulations for Alternating Automata Lorenzo Clemente Richard Mayr Fri 02 March 2012
- Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification Parosh Aziz Abdulla Yu-Fang Chen Giorgio Delzanno Frédéric Haziza Chih-Duo Hong Ahmed Rezine Fri 02 March 2012
- Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs Christophe Alias Alain Darte Paul Feautrier Laure Gonnord Fri 02 March 2012
- The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements Kristoffer Arnsfelt Hansen Peter Bro Miltersen Troels Bjerre Sørensen Fri 02 March 2012
- Focused Natural Deduction Taus Brock-Nannestad Carsten Schürmann Fri 02 March 2012
- Schedulability Analysis Using Uppaal: Herschel-Planck Case Study Marius Mikučionis Kim Guldstrand Larsen Jacob Illum Rasmussen Brian Nielsen Arne Skou Steen Ulrik Palm Jan Storbank Pedersen Poul Hougaard Fri 02 March 2012
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
