- SASyLF Jonathan Aldrich Robert J. Simmons Key Shin Fri 02 March 2012
- A fixed-parameter algorithm for the directed feedback vertex set problem Jianer Chen Yang Liu Songjian Lu Barry Otextquotesinglesullivan Igor Razgon Fri 02 March 2012
- Market equilibrium via a primal--dual algorithm for a convex program Nikhil R. Devanur Christos H. Papadimitriou Amin Saberi Vijay V. Vazirani Fri 02 March 2012
- The geometry of optimal lambda reduction Georges Gonthier Martín Abadi Jean-Jacques Lévy Fri 02 March 2012
- Local rely-guarantee reasoning Xinyu Feng Fri 02 March 2012
- Automatic verification of database-driven systems Victor Vianu Fri 02 March 2012
- Structural characterizations of schema-mapping languages Balder ten Cate Phokion G. Kolaitis Fri 02 March 2012
- Two-variable logic on data trees and XML reasoning Mikoaj Bojańczyk Anca Muscholl Thomas Schwentick Luc Segoufin Fri 02 March 2012
- A decision procedure for subset constraints over regular languages Pieter Hooimeijer Westley Weimer Fri 02 March 2012
- Groundness analysis for Prolog Baudouin Le Charlier Pascal van Hentenryck Fri 02 March 2012
- Local policies for resource usage analysis Massimo Bartoletti Pierpaolo Degano Gian-Luigi Ferrari Roberto Zunino Fri 02 March 2012
- Grammatical inference as a principal component analysis problem Raphaël Bailly François Denis Liva Ralaivola Fri 02 March 2012
- Satisfiability of downward XPath with data equality tests Diego Figueira Fri 02 March 2012
- Precise pointer reasoning for dynamic test generation Bassem Elkarablieh Patrice Godefroid Michael Y. Levin Fri 02 March 2012
- Loop-extended symbolic execution on binary programs Prateek Saxena Pongsin Poosankam Stephen McCamant Dawn Song Fri 02 March 2012
- Variant real quantifier elimination Hoon Hong Mohab Safey El Din Fri 02 March 2012
- Parallel sparse polynomial multiplication using heaps Michael Monagan Roman Pearce Fri 02 March 2012
- Types and higher-order recursion schemes for verification of higher-order programs Naoki Kobayashi Fri 02 March 2012
- Type-safe observable sharing in Haskell Andy Gill Fri 02 March 2012
- Dependent type inference with interpolants Hiroshi Unno Naoki Kobayashi Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
