- Cartesian closed categories and typed łambda-calculi J. Lambek Fri 02 March 2012
- Existential fixed-point logic Andreas Blass Yuri Gurevich Fri 02 March 2012
- Games, Probability, and the Quantitative mu-Calculus qMmu A. K. McIver C. C. Morgan Fri 02 March 2012
- Bounded Model Checking for Timed Systems G. Audemard A. Cimatti A. Kornilowicz R. Sebastiani Fri 02 March 2012
- From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata Dimitra Giannakopoulou Flavio Lerda Fri 02 March 2012
- Lambda Calculi and Linear Speedups David Sands Jörgen Gustavsson Andrew Moran Fri 02 March 2012
- Untameable Timed Automata Patricia Bouyer Fri 02 March 2012
- Static Guard Analysis in Timed Automata Verification Gerd Behrmann Patricia Bouyer Emmanuel Fleury Kim G. Larsen Fri 02 March 2012
- Learning Assumptions for Compositional Verification Jamieson M. Cobleigh Dimitra Giannakopoulou Corina S. PuAsuAreanu Fri 02 March 2012
- On Systematic Simulation of Open Continuous Systems Jim Kapinski Bruce H. Krogh Oded Maler Olaf Stursberg Fri 02 March 2012
- Universality and Language Inclusion for Open and Closed Timed Automata Joël Ouaknine James Worrell Fri 02 March 2012
- Reachability Analysis of Nonlinear Systems Using Conservative Approximation Eugene Asarin Thao Dang Antoine Girard Fri 02 March 2012
- A New Extraction for Coq Pierre Letouzey Fri 02 March 2012
- Checking Safety Properties Using Induction and a SAT-Solver Mary Sheeran Satnam Singh Gunnar Stålmarck Fri 02 March 2012
- Certifying Model Checkers Kedar S. Namjoshi Fri 02 March 2012
- The SLAM Toolkit Thomas Ball Sriram K. Rajamani Fri 02 March 2012
- Fast LTL to Büchi Automata Translation Paul Gastin Denis Oddoux Fri 02 March 2012
- The Impressive Power of Stopwatches Franck Cassez Kim Larsen Fri 02 March 2012
- Nondeterminism and Probabilistic Choice: Obeying the Laws Michael Mislove Fri 02 March 2012
- Syntactic Semiring of a Language Libor Polák Fri 02 March 2012
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
