- Timed Temporal Logics Patricia Bouyer François Laroussinie Nicolas Markey Joël Ouaknine James Worrell Fri 02 March 2012
- A Nivat Theorem for Quantitative Automata on Unranked Trees Manfred Droste Doreen Götze Fri 02 March 2012
- MiniZinc with Strings Roberto Amadini Pierre Flener Justin Pearson Joseph D. Scott Peter J. Stuckey Guido Tack Fri 02 March 2012
- The Power of Symbolic Automata and Transducers Loris D'Antoni Margus Veanes Fri 02 March 2012
- BoSy: An Experimentation Framework for Bounded Synthesis Peter Faymonville Bernd Finkbeiner Leander Tentrup Fri 02 March 2012
- Automating Induction for Solving Horn Clauses Hiroshi Unno Sho Torii Hiroki Sakamoto Fri 02 March 2012
- On Multiphase-Linear Ranking Functions Amir M. Ben-Amram Samir Genaim Fri 02 March 2012
- Automated Resource Analysis with Coq Proof Objects Quentin Carbonneaux Jan Hoffmann Thomas Reps Zhong Shao Fri 02 March 2012
- SMTCoq: A Plug-In for Integrating SMT Solvers into Coq Burak Ekici Alain Mebsout Cesare Tinelli Chantal Keller Guy Katz Andrew Reynolds Clark Barrett Fri 02 March 2012
- Automated Theory Exploration for Interactive Theorem Proving: Moa Johansson Fri 02 March 2012
- A Formal Proof in Coq of LaSalle's Invariance Principle Cyril Cohen Damien Rouhling Fri 02 March 2012
- Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic Julian Biendarra Jasmin Christian Blanchette Aymeric Bouzy Martin Desharnais Mathias Fleury Johannes Hölzl Ondřej Kunčar Andreas Lochbihler Fabian Meier Lorenz Panny Andrei Popescu Christian Sternagel René Thiemann Dmitriy Traytel Fri 02 March 2012
- Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case) Silvio Ghilardi Alessandro Gianola Fri 02 March 2012
- Computing Conditional Probabilities: Implementation and Evaluation Steffen Märcker Christel Baier Joachim Klein Sascha Klüppelholz Fri 02 March 2012
- A Cut-Free Cyclic Proof System for Kleene Algebra Anupam Das Damien Pous Fri 02 March 2012
- Space-Efficient Fragments of Higher-Order Fixpoint Logic Florian Bruse Martin Lange Etienne Lozes Fri 02 March 2012
- Model Learning as a Satisfiability Modulo Theories Problem Rick Smetsers Paul Fiterău-Broştean Frits Vaandrager Fri 02 March 2012
- A Verified Compiler from Isabelle/HOL to CakeML Lars Hupel Tobias Nipkow Fri 02 March 2012
- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus Alejandro Aguirre Gilles Barthe Lars Birkedal Aleš Bizjak Marco Gaboardi Deepak Garg Fri 02 March 2012
- Failure is Not an Option Pierre-Marie Pédrot Nicolas Tabareau Fri 02 March 2012
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A
