- Model Checking Existential Logic on Partially Ordered Sets Simone Bova Robert Ganian Stefan Szeider Fri 02 March 2012
- SibylFS Tom Ridge David Sheets Thomas Tuerk Andrea Giugliano Anil Madhavapeddy Peter Sewell Fri 02 March 2012
- Gradual certified programming in coq Éric Tanter Nicolas Tabareau Fri 02 March 2012
- String solving with word equations and transducers: towards a logic for analysing mutation XSS Anthony W. Lin Pablo Barceló Fri 02 March 2012
- A theory of effects and resources: adjunction models and polarised calculi Pierre-Louis Curien Marcelo Fiore Guillaume Munch-Maccagnoni Fri 02 March 2012
- Newtonian program analysis via tensor product Thomas Reps Emma Turetsky Prathmesh Prabhu Fri 02 March 2012
- Transforming spreadsheet data types using examples Rishabh Singh Sumit Gulwani Fri 02 March 2012
- Lattice-theoretic progress measures and coalgebraic model checking Ichiro Hasuo Shunsuke Shimizu Corina Cîrstea Fri 02 March 2012
- Single-factor Hensel lifting and its application to the straight-line complexity of certain polynomials E. Kaltofen Fri 02 March 2012
- Parameterized Verification of Asynchronous Shared-Memory Systems Javier Esparza Pierre Ganty Rupak Majumdar Fri 02 March 2012
- Generating Plans from Proofs Michael Benedikt Balder Ten Cate Efthymia Tsamoura Fri 02 March 2012
- An efficient procedure deciding positivity for a class of holonomic functions Veronika Pillwein Miriam Schussler Fri 02 March 2012
- Complexity Theory Column 88 Michael A. Forbes Amir Shpilka Fri 02 March 2012
- Planning for change in a formal verification of the raft consensus protocol Doug Woos James R. Wilcox Steve Anton Zachary Tatlock Michael D. Ernst Thomas Anderson Fri 02 March 2012
- On the Complexity of the Orbit Problem Ventsislav Chonev Joël Ouaknine James Worrell Fri 02 March 2012
- Foundations of Session Types and Behavioural Contracts Hans Hüttel Ivan Lanese Vasco T. Vasconcelos Luís Caires Marco Carbone Pierre-Malo Deniélou Dimitris Mostrous Luca Padovani António Ravara Emilio Tuosto Hugo Torres Vieira Gianluigi Zavattaro Fri 02 March 2012
- Approximation Resistance from Pairwise-Independent Subgroups Siu On Chan Fri 02 March 2012
- Formally Reasoning About Quality Shaull Almagor Udi Boker Orna Kupferman Fri 02 March 2012
- Modelling with Generalized Stochastic Petri Nets M. Ajmone Marsan G. Balbo G. Conte S. Donatelli G. Franceschinis Fri 02 March 2012
- Learning Linear Regression Models over Factorized Joins Maximilian Schleich Dan Olteanu Radu Ciucanu Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
