- Loop Summarization with Rational Vector Addition Systems Jake Silverman Zachary Kincaid Fri 02 March 2012
- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems Sicun Gao James Kapinski Jyotirmoy Deshmukh Nima Roohi Armando Solar-Lezama Nikos Arechiga Soonho Kong Fri 02 March 2012
- Certifying Inexpressibility Orna Kupferman Salomon Sickert Fri 02 March 2012
- Directed Reachability for Infinite-State Systems Michael Blondin Christoph Haase Philip Offtermatt Fri 02 March 2012
- Bounded Languages Described by GF(2)-grammars Vladislav Makarov Fri 02 March 2012
- Latticed k-Induction with an Application to Probabilistic Programs Kevin Batz Mingshuai Chen Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja Philipp Schröer Fri 02 March 2012
- A Billion SMT Queries a~Day (Invited Paper) Neha Rungta Fri 02 March 2012
- On the Pisot Substitution Conjecture S. Akiyama M. Barge V. Berthé J.-Y. Lee A. Siegel Fri 02 March 2012
- Straight-Line Grid Drawings of 3-Connected 1-Planar Graphs Md. Jawaherul Alam Franz J. Brandenburg Stephen G. Kobourov Fri 02 March 2012
- The Scribble Protocol Language Nobuko Yoshida Raymond Hu Rumyana Neykova Nicholas Ng Fri 02 March 2012
- On Simplex Pivoting Rules and Complexity Theory Ilan Adler Christos Papadimitriou Aviad Rubinstein Fri 02 March 2012
- Symbolic Visibly Pushdown Automata Loris D'Antoni Rajeev Alur Fri 02 March 2012
- ICE:~A~Robust~Framework~for~Learning~Invariants Pranav Garg Christof Löding P. Madhusudan Daniel Neider Fri 02 March 2012
- A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis Moritz Sinn Florian Zuleger Helmut Veith Fri 02 March 2012
- Towards a Formally Verified Proof Assistant Abhishek Anand Vincent Rahli Fri 02 March 2012
- Universe Polymorphism in Coq Matthieu Sozeau Nicolas Tabareau Fri 02 March 2012
- DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs Nathan Wetzler Marijn J. H. Heule Warren A. Hunt Fri 02 March 2012
- Automata with Reversal-Bounded Counters: A Survey Oscar H. Ibarra Fri 02 March 2012
- EasyCrypt: A Tutorial Gilles Barthe François Dupressoir Benjamin Grégoire César Kunz Benedikt Schmidt Pierre-Yves Strub Fri 02 March 2012
- Timed Pattern Matching Dogan Ulus Thomas Ferrère Eugene Asarin Oded Maler Fri 02 March 2012
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A
