- Certified assembly programming with embedded code pointers Zhaozhong Ni Zhong Shao Fri 02 March 2012
- The benefits of relaxing punctuality Rajeev Alur Tomás Feder Thomas A. Henzinger Fri 02 March 2012
- On preservation under homomorphisms and unions of conjunctive queries Albert Atserias Anuj Dawar Phokion G. Kolaitis Fri 02 March 2012
- Modular verification of assembly code with stack-based control abstractions Xinyu Feng Zhong Shao Alexander Vaynberg Sen Xiang Zhaozhong Ni Fri 02 March 2012
- Better extensibility through modular syntax Robert Grimm Fri 02 March 2012
- Optimal succinct representations of planar maps Luca Castelli Aleardi Olivier Devillers Gilles Schaeffer Fri 02 March 2012
- Two-variable logic on data trees and XML reasoning Mikolaj Bojańczyk Claire David Anca Muscholl Thomas Schwentick Luc Segoufin Fri 02 March 2012
- The expressivity of XPath with transitive closure Balder ten Cate Fri 02 March 2012
- Finding small degree factors of multivariate supersparse (lacunary) polynomials over algebraic number fields Erich Kaltofen Pascal Koiran Fri 02 March 2012
- Polymorphism and separation in hoare type theory Aleksandar Nanevski Greg Morrisett Lars Birkedal Fri 02 March 2012
- On the complexity of practical ATL model checking Wiebe van der Hoek Alessio Lomuscio Michael Wooldridge Fri 02 March 2012
- Complexity classes defined by counting quantifiers Jacobo Torán Fri 02 March 2012
- Combinatorial sketching for finite programs Armando Solar-Lezama Liviu Tancau Rastislav Bodik Sanjit Seshia Vijay Saraswat Fri 02 March 2012
- Real-time interfaces for composing real-time systems Lothar Thiele Ernesto Wandeler Nikolay Stoimenov Fri 02 March 2012
- EXE Cristian Cadar Vijay Ganesh Peter M. Pawlowski David L. Dill Dawson R. Engler Fri 02 March 2012
- A system of interaction and structure Alessio Guglielmi Fri 02 March 2012
- Defining functions on equivalence classes Lawrence C. Paulson Fri 02 March 2012
- Extensional equivalence and singleton types Christopher A. Stone Robert Harper Fri 02 March 2012
- A backtracking LR algorithm for parsing ambiguous context-dependent languages Adrian D. Thurston James R. Cordy Fri 02 March 2012
- Types, bytes, and separation logic Harvey Tuch Gerwin Klein Michael Norrish Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
