- Partial vs. Complete Domination: t-Dominating Set Joachim Kneis Daniel Mölle Peter Rossmanith Fri 02 March 2012
- Invariant Synthesis for Combined Theories Dirk Beyer Thomas A. Henzinger Rupak Majumdar Andrey Rybalchenko Fri 02 March 2012
- On the Merits of Temporal Testers A. Pnueli A. Zaks Fri 02 March 2012
- Probabilistic CEGAR Holger Hermanns Björn Wachter Lijun Zhang Fri 02 March 2012
- Duality and Equational Theory of Regular Languages Mai Gehrke Serge Grigorieff Jean-Éric Pin Fri 02 March 2012
- The BöhmtextendashJacopini Theorem Is False, Propositionally Dexter Kozen Wei-Lung Dustin Tseng Fri 02 March 2012
- Verifying a Semantic betaeta-Conversion Test for Martin-Lf Type Theory Andreas Abel Thierry Coquand Peter Dybjer Fri 02 March 2012
- Verifying Generalized Soundness of Workflow Nets Kees van Hee Olivia Oanea Natalia Sidorova Marc Voorhoeve Fri 02 March 2012
- Admissibility in Infinite Games Dietmar Berwanger Fri 02 March 2012
- Planar Graphs: Logical Complexity and Parallel Isomorphism Tests Oleg Verbitsky Fri 02 March 2012
- First-Class Type Classes Matthieu Sozeau Nicolas Oury Fri 02 March 2012
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) André Platzer Jan-David Quesel Fri 02 March 2012
- Modal I/O Automata for Interface and Product Line Theories Kim G. Larsen Ulrik Nyman Andrzej Wąsowski Fri 02 March 2012
- Complexity Results on Balanced Context-Free Languages Akihiko Tozawa Yasuhiko Minamide Fri 02 March 2012
- Systematic Simulation Using Sensitivity Analysis Alexandre Donzé Oded Maler Fri 02 March 2012
- A Classification of Viruses Through Recursion Theorems Guillaume Bonfante Matthieu Kaczmarek Jean-Yves Marion Fri 02 March 2012
- What Do We Know About Language Equations Michal Kunc Fri 02 March 2012
- Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks Ansgar Fehnker Lodewijk van Hoesel Angelika Mader Fri 02 March 2012
- Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo Denis Cousineau Gilles Dowek Fri 02 March 2012
- Conservative Ambiguity Detection in Context-Free Grammars Sylvain Schmitz Fri 02 March 2012
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A
