- On the Inference of Finite State Automata from Positive and Negative Data Damián López Pedro García Fri 02 March 2012
- Stable Leader Election in Population Protocols Requires Linear Time David Doty David Soloveichik Fri 02 March 2012
- Viper: A Verification Infrastructure for Permission-Based Reasoning Peter Müller Malte Schwerhoff Alexander J. Summers Fri 02 March 2012
- Refactoring Proofs with Tactician Mark Adams Fri 02 March 2012
- Guarded Dependent Type Theory with Coinductive Types Aleš Bizjak Hans Bugge Grathwohl Ranald Clouston Rasmus E. Møgelberg Lars Birkedal Fri 02 March 2012
- Hybrid Session Verification Through Endpoint API Generation Raymond Hu Nobuko Yoshida Fri 02 March 2012
- T2: Temporal Property Verification Marc Brockschmidt Byron Cook Samin Ishtiaq Heidy Khlaaf Nir Piterman Fri 02 March 2012
- Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets) Cédric Favre Hagen Völzer Peter Müller Fri 02 March 2012
- Synthesizing Ranking Functions from Bits and Pieces Caterina Urban Arie Gurfinkel Temesghen Kahsai Fri 02 March 2012
- Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants Pierre Roux Yuen-Lam Voronin Sriram Sankaranarayanan Fri 02 March 2012
- Inapproximability Results for Approximate Nash Equilibria Argyrios Deligkas John Fearnley Rahul Savani Fri 02 March 2012
- Probabilistic Termination by Monadic Affine Sized Typing Ugo Dal Lago Charles Grellois Fri 02 March 2012
- The Essence of Higher-Order Concurrent Separation Logic Robbert Krebbers Ralf Jung Aleš Bizjak Jacques-Henri Jourdan Derek Dreyer Lars Birkedal Fri 02 March 2012
- Commutative Semantics for Probabilistic Programming Sam Staton Fri 02 March 2012
- Logics of Repeating Values on Data Trees and Branching Counter Systems Sergio Abriola Diego Figueira Santiago Figueira Fri 02 March 2012
- Classical System of Martin-Löf's Inductive Definitions Is Not Equivalent to Cyclic Proof System Stefano Berardi Makoto Tatsuta Fri 02 March 2012
- From Qualitative to Quantitative Semantics James Laird Fri 02 March 2012
- Explicit Connection Actions in Multiparty Session Types Raymond Hu Nobuko Yoshida Fri 02 March 2012
- Index Appearance Record for Transforming Rabin Automata into Parity Automata Jan Křetínský Tobias Meggendorfer Clara Waldmann Maximilian Weininger Fri 02 March 2012
- Software Verification with Validation of Results Dirk Beyer Fri 02 March 2012
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
