| 2017 | TABLEAUX | Rule Refinement for Semantic Tableau Calculi. | Dmitry Tishkovsky, Renate A. Schmidt |
| 2015 | CADE | Cooperating Proof Attempts. | Giles Reger, Dmitry Tishkovsky, Andrei Voronkov |
| 2013 | TABLEAUX | A Refined Tableau Calculus with Controlled Blocking for the Description Logic. | Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky |
| 2012 | CADE | Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. | Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky |
| 2012 | CADE | MetTeL | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
| 2012 | JELIA | The Tableau Prover Generator MetTeL2. | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
| 2012 | SYNASC | Labelled Tableaux for Temporal Logic with Cardinality Constraints. | Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky |
| 2011 | TABLEAUX | METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
| 2010 | CSL | Tableau Calculi for | Rgis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky |
| 2009 | TABLEAUX | Automated Synthesis of Tableau Calculi. | Renate A. Schmidt, Dmitry Tishkovsky |
| 2008 | CADE | A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. | Renate A. Schmidt, Dmitry Tishkovsky |
| 2006 | AiML | From topology to metric: modal logic and quantification in metric spaces. | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
| 2006 | JELIA | Automated Reasoning About Metric and Topology. | Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
| 2005 | LPAR | Comparative Similarity, Tree Automata, and Diophantine Equations. | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
| 2002 | AiML | Combining Dynamic Logic with Doxastic Modal Logics. | Renate A. Schmidt, Dmitry Tishkovsky |
| 2002 | JELIA | Multi-agent Logics of Dynamic Belief and Knowledge. | Renate A. Schmidt, Dmitry Tishkovsky |