- A Cookbook for Temporal Conceptual Data Modelling with Description Logics Alessandro Artale Roman Kontchakov Vladislav Ryzhikov Michael Zakharyaschev Fri 02 March 2012
- A Widening Approach to Multithreaded Program Verification Alexander Kaiser Daniel Kroening Thomas Wahl Fri 02 March 2012
- Reasoning About Strategies Fabio Mogavero Aniello Murano Giuseppe Perelli Moshe Y. Vardi Fri 02 March 2012
- TravMC2: higher-order model checking for alternating parity tree automata Robin P. Neatherway C.-H. Luke Ong Fri 02 March 2012
- Solving complex path conditions through heuristic search on induced polytopes Peter Dinges Gul Agha Fri 02 March 2012
- A large scale study of programming languages and code quality in github Baishakhi Ray Daryl Posnett Vladimir Filkov Premkumar Devanbu Fri 02 March 2012
- Model checking for programming languages using VeriSoft Patrice Godefroid Fri 02 March 2012
- Typing algorithm in type theory with inheritance Amokrane Saïbi Fri 02 March 2012
- PolyP---a polytypic programming language extension Patrik Jansson Johan Jeuring Fri 02 March 2012
- Closure properties of constraints Peter Jeavons David Cohen Marc Gyssens Fri 02 March 2012
- Automating regression verification Dennis Felsing Sarah Grebing Vladimir Klebanov Philipp Rümmer Mattias Ulbrich Fri 02 March 2012
- Similarity-based prioritization in software product-line testing Mustafa Al-Hajjaji Thomas Thüm Jens Meinicke Malte Lochau Gunter Saake Fri 02 March 2012
- Size Bounds for Factorised Representations of Query Results Dan Olteanu Jakub Závodný Fri 02 March 2012
- Natural proofs for asynchronous programs using almost-synchronous reductions Ankush Desai Pranav Garg P. Madhusudan Fri 02 March 2012
- The rust language Nicholas D. Matsakis Felix S. Klock Fri 02 March 2012
- A Decision Procedure for Univariate Real Polynomials in Isabelle/HOL Manuel Eberl Fri 02 March 2012
- Deep Specifications and Certified Abstraction Layers Ronghui Gu Jérémie Koenig Tahina Ramananandro Zhong Shao Xiongnan (Newman) Wu Shu-Chun Weng Haozhong Zhang Yu Guo Fri 02 March 2012
- Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth Krishnendu Chatterjee Rasmus Ibsen-Jensen Andreas Pavlogiannis Prateesh Goyal Fri 02 March 2012
- DReX Rajeev Alur Loris DtextquotesingleAntoni Mukund Raghothaman Fri 02 March 2012
- Higher Inductive Types as Homotopy-Initial Algebras Kristina Sojakova Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
