- Ultimate Automizer and the Search for Perfect Interpolants Matthias Heizmann Yu-Fang Chen Daniel Dietsch Marius Greitschus Jochen Hoenicke Yong Li Alexander Nutz Betim Musa Christian Schilling Tanja Schindler Andreas Podelski Fri 02 March 2012
- Abstraction Refinement for Emptiness Checking of Alternating Data Automata Radu Iosif Xiao Xu Fri 02 March 2012
- PySAT: A Python Toolkit for Prototyping with SAT Oracles Alexey Ignatiev Antonio Morgado Joao Marques-Silva Fri 02 March 2012
- A Why3 Framework for Reflection Proofs and Its Application to GMP's Algorithms Guillaume Melquiond Raphaël Rieu-Helft Fri 02 March 2012
- Towards Certified Meta-Programming with Typed Template-Coq Abhishek Anand Simon Boulier Cyril Cohen Matthieu Sozeau Nicolas Tabareau Fri 02 March 2012
- Formalizing Ring Theory in PVS Andréia B. Avelar da Silva Thaynara Arielly de Lima André Luiz Galdino Fri 02 March 2012
- Backwards and Forwards with Separation Logic Callum Bannister Peter Höfner Gerwin Klein Fri 02 March 2012
- Formal Reasoning About the Security of Amazon Web Services Byron Cook Fri 02 March 2012
- Syntax-Guided Termination Analysis Grigory Fedyukovich Yueling Zhang Aarti Gupta Fri 02 March 2012
- Model Learning and Model-Based Testing Bernhard K. Aichernig Wojciech Mostowski Mohammad Reza Mousavi Martin Tappler Masoumeh Taromirad Fri 02 March 2012
- System Description: XSL-Based Translator of Mizar to LaTeX Grzegorz Bancerek Adam Naumowicz Josef Urban Fri 02 March 2012
- A Brief Excursion to Parity Games Bakhadyr Khoussainov Fri 02 March 2012
- Reachability Problems in Nondeterministic Polynomial Maps on the Integers Sang-Ki Ko Reino Niskanen Igor Potapov Fri 02 March 2012
- A Tale of Conjunctive Grammars Alexander Okhotin Fri 02 March 2012
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties Erika Ábrahám Borzoo Bonakdarpour Fri 02 March 2012
- ZX-Rules for 2-Qubit Clifford T Quantum Circuits Bob Coecke Quanlong Wang Fri 02 March 2012
- Time-Optimal Real-Time Test Case Generation Using Uppaal Anders Hessel Kim G. Larsen Brian Nielsen Paul Pettersson Arne Skou Fri 02 March 2012
- A Complete Method for the Synthesis of Linear Ranking Functions Andreas Podelski Andrey Rybalchenko Fri 02 March 2012
- Analyzing Memory Accesses in x86 Executables Gogul Balakrishnan Thomas Reps Fri 02 March 2012
- System~E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types Sébastien Carlier Jeff Polakow J. B. Wells A. J. Kfoury Fri 02 March 2012
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A
