| 2010 | User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier. | Andrei Lapets |
| 2010 | Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. | Matthias Kuntz, Stefan Leue, Christoph Scheben |
| 2010 | Loopfrog - loop summarization for static analysis. | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
| 2010 | iProver-Eq: An Instantiation-Based Theorem Prover with Equality. | Konstantin Korovin, Christoph Sticksel |
| 2010 | CheAPS: a Checker of Asynchronous Parameterized Systems. | Igor Konnov |
| 2010 | Relationships Between Probabilistic Description and First-Order Logics. | Pavel Klinov, Bijan Parsia |
| 2010 | Pronto: A Practical Probabilistic Description Logic Reasoner. | Pavel Klinov |
| 2010 | An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ. | Yevgeny Kazakov |
| 2010 | Induction, Invariants, and Abstraction. | Deepak Kapur |
| 2010 | Terminating Tableaux for Hybrid Logic with Eventualities. | Mark Kaminski, Gert Smolka |
| 2010 | Abstractions Before Proofs. | Cliff B. Jones |
| 2010 | On Hierarchical Reasoning in Combinations of Theories. | Carsten Ihlemann, Viorica Sofronie-Stokkermans |
| 2010 | A Comparison of Solvers for Propositional Dynamic Logic. | Ullrich Hustadt, Renate A. Schmidt |
| 2010 | Evaluation Opportunities in Mechanized Theories. | Joe Hurd |
| 2010 | Composable Packages for Higher Order Logic Theories. | Joe Hurd |
| 2010 | Interpolation and Symbol Elimination in Vampire. | Krystof Hoder, Laura Kovcs, Andrei Voronkov |
| 2010 | Decreasing Diagrams and Relative Termination. | Nao Hirokawa, Aart Middeldorp |
| 2010 | Towards Automated Property Discovery within Hume. | Gudmund Grov, Andrew Ireland |
| 2010 | A Probabilistic Abduction Engine for Media Interpretation based on Ontologies. | Oliver Gries, Ralf Mller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, Michael Wessel |
| 2010 | Gibbs Sampling in Probabilistic Description Logics with Deterministic Dependencies. | Oliver Gries, Ralf Mller |
| 2010 | Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. | Rajeev Gor, Florian Widmann |
| 2010 | Global Caching for Coalgebraic Description Logics. | Rajeev Gor, Clemens Kupke, Dirk Pattinson, Lutz Schrder |
| 2010 | Optimized Description Logic Reasoning via Core Blocking. | Birte Glimm, Ian Horrocks, Boris Motik |
| 2010 | MCMT: A Model Checker Modulo Theories. | Silvio Ghilardi, Silvio Ranise |
| 2010 | Abstract Interpretation over Zones without Widening. | Thomas Martin Gawlitza, Helmut Seidl |