- BI-hyperdoctrines, higher-order separation logic, and abstraction Bodil Biering Lars Birkedal Noah Torp-Smith Fri 02 March 2012
- On exact and approximate interpolation of sparse rational functions Erich Kaltofen Zhengfeng Yang Fri 02 March 2012
- Tolerating corrupted communication Martin Biely Josef Widder Bernadette Charron-Bost Antoine Gaillard Martin Hutle André Schiper Fri 02 March 2012
- Exponential determinization for ømega-automata with strong-fairness acceptance condition (extended abstract) Shmuel Safra Fri 02 March 2012
- A subexponential randomized simplex algorithm (extended abstract) Gil Kalai Fri 02 March 2012
- Predicate abstraction with indexed predicates Shuvendu K. Lahiri Randal E. Bryant Fri 02 March 2012
- The intensional content of Ricetextquotesingles theorem Andrea Asperti Fri 02 March 2012
- An approach to call-by-name delimited continuations Hugo Herbelin Silvia Ghilezan Fri 02 March 2012
- Reverse-mode AD in a functional framework Barak A. Pearlmutter Jeffrey Mark Siskind Fri 02 March 2012
- Bounds on the automata size for Presburger arithmetic Felix Klaedtke Fri 02 March 2012
- Learning from mistakes Shan Lu Soyeon Park Eunsoo Seo Yuanyuan Zhou Fri 02 March 2012
- XPath satisfiability in the presence of DTDs Michael Benedikt Wenfei Fan Floris Geerts Fri 02 March 2012
- Randomized mutual exclusion algorithms revisited Eyal Kushilevitz Michael O. Rabin Fri 02 March 2012
- Discovering properties about arrays in simple programs Nicolas Halbwachs Mathias Péron Fri 02 March 2012
- Efficiently answering reachability queries on very large directed graphs Ruoming Jin Yang Xiang Ning Ruan Haixun Wang Fri 02 March 2012
- XPath, transitive closure logic, and nested tree walking automata Balder ten Cate Luc Segoufin Fri 02 March 2012
- Annotated XML J. Nathan Foster Todd J. Green Val Tannen Fri 02 March 2012
- Programming with proofs and explicit contexts Brigitte Pientka Jana Dunfield Fri 02 March 2012
- On lacunary polynomial perfect powers Mark Giesbrecht Daniel S. Roche Fri 02 March 2012
- Ynot Aleksandar Nanevski Greg Morrisett Avraham Shinnar Paul Govereau Lars Birkedal Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
