- The asymptotic k-SAT threshold Amin Coja-Oghlan Fri 02 March 2012
- Formulas vs. circuits for small distance connectivity Benjamin Rossman Fri 02 March 2012
- Constant rank bimatrix games are PPAD-hard Ruta Mehta Fri 02 March 2012
- Communication lower bounds via critical block sensitivity Mika Göös Toniann Pitassi Fri 02 March 2012
- Probabilistic programming Andrew D. Gordon Thomas A. Henzinger Aditya V. Nori Sriram K. Rajamani Fri 02 March 2012
- Automating formal proofs for reactive systems Daniel Ricketts Valentin Robert Dongseok Jang Zachary Tatlock Sorin Lerner Fri 02 March 2012
- Senescent ground tree rewrite systems M. Hague Fri 02 March 2012
- Memoryful geometry of interaction Naohiko Hoshino Koko Muroya Ichiro Hasuo Fri 02 March 2012
- A new correctness criterion for MLL proof nets Thomas Ehrhard Fri 02 March 2012
- Decomposition theorems and model-checking for the modal mu-calculus Mikolaj Bojanczyk Christoph Dittmann Stephan Kreutzer Fri 02 March 2012
- Coinduction up-to in a fibrational setting Filippo Bonchi Daniela Petrişan Damien Pous Jurriaan Rot Fri 02 March 2012
- Regular combinators for string transformations Rajeev Alur Adam Freilich Mukund Raghothaman Fri 02 March 2012
- Powers of tensors and fast matrix multiplication François Le Gall Fri 02 March 2012
- Dependent Types for Safe and Secure Web Programming Simon Fowler Edwin Brady Fri 02 March 2012
- Pattern matching without K Jesper Cockx Dominique Devriese Frank Piessens Fri 02 March 2012
- Lem Dominic P. Mulligan Scott Owens Kathryn E. Gray Tom Ridge Peter Sewell Fri 02 March 2012
- Refinement types for Haskell Niki Vazou Eric L. Seidel Ranjit Jhala Dimitrios Vytiniotis Simon Peyton-Jones Fri 02 March 2012
- Randomization in Automata on Infinite Trees Arnaud Carayol Axel Haddad Olivier Serre Fri 02 March 2012
- Ranking Functions for Linear-Constraint Loops Amir M. Ben-Amram Samir Genaim Fri 02 March 2012
- Directed Incremental Symbolic Execution Guowei Yang Suzette Person Neha Rungta Sarfraz Khurshid Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
