- Temporal Logic as Filtering Alena Rodionova Ezio Bartocci Dejan Nickovic Radu Grosu Fri 02 March 2012
- A Decision Tree Approach to Data Classification using Signal Temporal Logic Giuseppe Bombara Cristian-Ioan Vasile Francisco Penedo Hirotoshi Yasuoka Calin Belta Fri 02 March 2012
- Featured model-based mutation analysis Xavier Devroey Gilles Perrouin Mike Papadakis Axel Legay Pierre-Yves Schobbens Patrick Heymans Fri 02 March 2012
- Inductive learning algorithms and representations for text categorization Susan Dumais John Platt David Heckerman Mehran Sahami Fri 02 March 2012
- YALE Ian Mackie Fri 02 March 2012
- A complexity tale Gilles Perrouin Mathieu Acher Jean-Marc Davril Axel Legay Patrick Heymans Fri 02 March 2012
- Efficient solving of string constraints for security analysis Clark Barrett Cesare Tinelli Morgan Deters Tianyi Liang Andrew Reynolds Nestan Tsiskaridze Fri 02 March 2012
- Program synthesis from polymorphic refinement types Nadia Polikarpova Ivan Kuraj Armando Solar-Lezama Fri 02 March 2012
- Ivy: safety verification by interactive generalization Oded Padon Kenneth L. McMillan Aurojit Panda Mooly Sagiv Sharon Shoham Fri 02 March 2012
- Cardinalities and universal quantifiers for verifying parameterized systems Klaus v. Gleissenthall Nikolaj Bjørner Andrey Rybalchenko Fri 02 March 2012
- Fast and Compact Hamming Distance Index Simon Gog Rossano Venturini Fri 02 March 2012
- Example-directed synthesis: a type-theoretic interpretation Jonathan Frankle Peter-Michael Osera David Walker Steve Zdancewic Fri 02 March 2012
- Dependent types and multi-monadic effects in F Nikhil Swamy Cătălin Hriţcu Chantal Keller Aseem Rastogi Antoine Delignat-Lavaud Simon Forest Karthikeyan Bhargavan Cédric Fournet Pierre-Yves Strub Markulf Kohlweiss Jean-Karim Zinzindohoue Santiago Zanella-Béguelin Fri 02 March 2012
- Dependent types in practical programming Hongwei Xi Frank Pfenning Fri 02 March 2012
- Continuous grammars Martin Ruckert Fri 02 March 2012
- Computing with Quasiseparable Matrices Clément Pernet Fri 02 March 2012
- Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete Matthias Englert Ranko Lazić Patrick Totzke Fri 02 March 2012
- Order-Invariance of Two-Variable Logic is Decidable Thomas Zeume Frederik Harwath Fri 02 March 2012
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic Sandra Kiefer Pascal Schweitzer Fri 02 March 2012
- Towards Completeness via Proof Search in the Linear Time mu-calculus Amina Doumane David Baelde Lucca Hirschi Alexis Saurin Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
