- Full Abstraction for Signal Flow Graphs Filippo Bonchi Pawel Sobocinski Fabio Zanasi Fri 02 March 2012
- Fiat Benjamin Delaware Clément Pit-Claudel Jason Gross Adam Chlipala Fri 02 March 2012
- Proof Spaces for Unbounded Parallelism Azadeh Farzan Zachary Kincaid Andreas Podelski Fri 02 March 2012
- Automatic Verification of Database-Centric Systems Alin Deutsch Richard Hull Victor Vianu Fri 02 March 2012
- Guarded Negation Vince Bárány Balder Ten Cate Luc Segoufin Fri 02 March 2012
- Verification of a Cryptographic Primitive Andrew W. Appel Fri 02 March 2012
- Polymorphic Blocks Sorin Lerner Stephen R. Foster William G. Griswold Fri 02 March 2012
- Fraction-free algorithms for linear and polynomial equations George C. Nakos Peter R. Turner Robert M. Williams Fri 02 March 2012
- Reactive synthesis from signal temporal logic specifications Vasumathi Raman Alexandre Donzé Dorsa Sadigh Richard M. Murray Sanjit A. Seshia Fri 02 March 2012
- The Design of Mapletextquotesingles Sum-of-Products and POLY Data Structures for Representing Mathematical Objects Michael Monagan Roman Pearce Fri 02 March 2012
- Sparse Polynomial Interpolation in Practice Joris van der Hoeven Grégoire Lecerf Fri 02 March 2012
- Dynamic partial order reduction for relaxed memory models Naling Zhang Markus Kusano Chao Wang Fri 02 March 2012
- Synthesizing data structure transformations from input-output examples John K. Feser Swarat Chaudhuri Isil Dillig Fri 02 March 2012
- Probabilistic checking of proofs Sanjeev Arora Shmuel Safra Fri 02 March 2012
- Type-Directed Elaboration of Quasiquotations David Raymond Christiansen Fri 02 March 2012
- Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture Monika Henzinger Sebastian Krinninger Danupon Nanongkai Thatchaphol Saranurak Fri 02 March 2012
- Faster Canonical Forms for Primitive Coherent Configurations Xiaorui Sun John Wilmes Fri 02 March 2012
- Query containment for conjunctive queries with regular expressions Daniela Florescu Alon Levy Dan Suciu Fri 02 March 2012
- Building Bridges between Symbolic Computation and Satisfiability Checking Erika Abraham Fri 02 March 2012
- Removing Apparent Singularities of Systems of Linear Differential Equations with Rational Function Coefficients Moulay A. Barkatou Suzy S. Maddah Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
