| 2015 | Reasoning About Loops Using Vampire in KeY. | Wolfgang Ahrendt, Laura Kovcs, Simon Robillard |
| 2015 | Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. | Waqar Ahmad, Osman Hasan, Sofine Tahar |
| 2013 | Effectively Monadic Predicates. | Margus Veanes, Nikolaj S. Bjrner, Lev Nachmanson, Sergey Bereg |
| 2013 | On Minimality and Integrity Constraints in Probabilistic Abduction. | Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda |
| 2013 | Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light. | Syeda Hira Taqdees, Osman Hasan |
| 2013 | System Description: E 1.8. | Stephan Schulz |
| 2013 | Putting Newton into Practice: A Solver for Polynomial Equations over Semirings. | Maximilian Schlund, Michal Terepeta, Michael Luttenberger |
| 2013 | Tracking Data-Flow with Open Closure Types. | Gabriel Scherer, Jan Hoffmann |
| 2013 | Incremental Tabling for Query-Driven Propagation of Logic Program Updates. | Ari Saptawijaya, Lus Moniz Pereira |
| 2013 | PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. | Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvrinen, Natasha Sharygina |
| 2013 | Three SCC-Based Emptiness Checks for Generalized Bchi Automata. | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud |
| 2013 | Reachability Modules for the Description Logic $\mathcal{SRIQ}$. | Riku Nortje, Katarina Britz, Thomas Meyer |
| 2013 | An Incremental Algorithm to Optimally Maintain Aggregate Views. | Abhijeet Mohapatra, Michael R. Genesereth |
| 2013 | On Promptness in Parity Games. | Fabio Mogavero, Aniello Murano, Loredana Sorrentino |
| 2013 | Defining Privacy Is Supposed to Be Easy. | Sebastian Mdersheim, Thomas Gro, Luca Vigan |
| 2013 | An Event Structure Model for Probabilistic Concurrent Kleene Algebra. | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
| 2013 | An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future. | Jiefei Ma, Rob Miller, Leora Morgenstern, Theodore Patkos |
| 2013 | BDI: A New Decidable First-order Clause Class. | Manuel Lamotte-Schubert, Christoph Weidenbach |
| 2013 | Simulating Parity Reasoning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2013 | Complexity Analysis in Presence of Control Operators and Higher-Order Functions. | Ugo Dal Lago, Giulio Pellitta |
| 2013 | Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies. | Patrick Koopmann, Renate A. Schmidt |
| 2013 | Prediction and Explanation over DL-Lite Data Streams. | Szymon Klarman, Thomas Meyer |
| 2013 | Practical Querying of Temporal Data via OWL 2 QL and SQL: 2011. | Szymon Klarman |
| 2013 | On Module-Based Abstraction and Repair of Behavioral Programs. | Guy Katz |
| 2013 | Lemma Mining over HOL Light. | Cezary Kaliszyk, Josef Urban |