- Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic Viktor Kuncak Martin Rinard Fri 02 March 2012
- A Marriage of Rely/Guarantee and Separation Logic Viktor Vafeiadis Matthew Parkinson Fri 02 March 2012
- Transition Graphs of Rewriting Systems over Unranked Trees Christof Löding Alex Spelten Fri 02 March 2012
- Efficient Computation in Groups Via Compression Markus Lohrey Saul Schleimer Fri 02 March 2012
- Using XCAP to Certify Realistic Systems Code: Machine Context Management Zhaozhong Ni Dachuan Yu Zhong Shao Fri 02 March 2012
- MSO on the Infinite Binary Tree: Choice and Order Arnaud Carayol Christof Löding Fri 02 March 2012
- The Theory of Calculi with Explicit Substitutions Revisited Delia Kesner Fri 02 March 2012
- A Soft Type Assignment System for łambda-Calculus Marco Gaboardi Simona Ronchi Della Rocca Fri 02 March 2012
- Continuous Previsions Jean Goubault-Larrecq Fri 02 March 2012
- Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors Michael Monagan Roman Pearce Fri 02 March 2012
- XPath Query Satisfiability is in PTIME for Real-World DTDs Manizheh Montazerian Peter T. Wood Seyed R. Mousavi Fri 02 March 2012
- Automatic Abstraction Refinement for Timed Automata Henning Dierks Sebastian Kupferschmid Kim G. Larsen Fri 02 March 2012
- Shorter Implicit Representation for Planar Graphs and Bounded Treewidth Graphs Cyril Gavoille Arnaud Labourel Fri 02 March 2012
- An Extension of the Knuth-Bendix Ordering with LPO-Like Properties Michel Ludwig Uwe Waldmann Fri 02 March 2012
- Analyzing Ambiguity of Context-Free Grammars Claus Brabrand Robert Giegerich Anders Møller Fri 02 March 2012
- Linking Data to Ontologies Antonella Poggi Domenico Lembo Diego Calvanese Giuseppe De Giacomo Maurizio Lenzerini Riccardo Rosati Fri 02 March 2012
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors Oded Maler Dejan Nickovic Amir Pnueli Fri 02 March 2012
- Oracle Semantics for Concurrent Separation Logic Aquinas Hobor Andrew W. Appel Francesco Zappa Nardelli Fri 02 March 2012
- RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel Cristian Cadar Dawson Engler Fri 02 March 2012
- Automatically Refining Abstract Interpretations Bhargav S. Gulavani Supratik Chakraborty Aditya V. Nori Sriram K. Rajamani Fri 02 March 2012
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
