- SPASS Version 3.5 Christoph Weidenbach Dilyana Dimova Arnaud Fietzke Rohit Kumar Martin Suda Patrick Wischnewski Fri 02 March 2012
- FAdo and GUItar: Tools for Automata Manipulation and Visualization André Almeida Marco Almeida José Alves Nelma Moreira Rogério Reis Fri 02 March 2012
- Graph States and the Necessity of Euler Decomposition Ross Duncan Simon Perdrix Fri 02 March 2012
- A Hoare Logic for the State Monad Wouter Swierstra Fri 02 March 2012
- HOL Light: An Overview John Harrison Fri 02 March 2012
- A Bayesian Approach to Model Checking Biological Systems Sumit K. Jha Edmund M. Clarke Christopher J. Langmead Axel Legay André Platzer Paolo Zuliani Fri 02 March 2012
- Nested Hoare Triples and Frame Rules for Higher-Order Store Jan Schwinghammer Lars Birkedal Bernhard Reus Hongseok Yang Fri 02 March 2012
- Confluence of Pure Differential Nets with Promotion Paolo Tranquilli Fri 02 March 2012
- Nominal Domain Theory for Concurrency David Turner Glynn Winskel Fri 02 March 2012
- On Computing the Hermite Form of a Matrix of Differential Polynomials Mark Giesbrecht Myung Sub Kim Fri 02 March 2012
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity Aless Lasaruk Thomas Sturm Fri 02 March 2012
- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation Peter Bulychev Thomas Chatain Alexandre David Kim G. Larsen Fri 02 March 2012
- Iterative Refinement of Reverse-Engineered Models by Model-Based Testing Neil Walkinshaw John Derrick Qiang Guo Fri 02 March 2012
- The Sketching Approach to Program Synthesis Armando Solar-Lezama Fri 02 March 2012
- Proving the Equivalence of Higher-Order Terms by Means of Supercompilation Ilya Klyuchnikov Sergei Romanenko Fri 02 March 2012
- Rational Synthesis Dana Fisman Orna Kupferman Yoad Lustig Fri 02 March 2012
- Antichain Algorithms for Finite Automata Laurent Doyen Jean-François Raskin Fri 02 March 2012
- Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems Anthony Widjaja To Leonid Libkin Fri 02 March 2012
- Code Generation via Higher-Order Rewrite Systems Florian Haftmann Tobias Nipkow Fri 02 March 2012
- Variable Automata over Infinite Alphabets Orna Grumberg Orna Kupferman Sarai Sheinvald Fri 02 March 2012
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
