2012
[13]	A Labelled Tableau Approach for Temporal Logic with Constraints (C. Dixon;B. Konev; R. A. Schmidt;D. Tishkovsky;), 2012. [bib] [pdf]
[12]	MetTeL2: Towards a prover generation platform (D. Tishkovsky; R. A. Schmidt; M. Khodadadi.), 2012. [bib] [pdf]
[11]	Terminating tableau calculi for modal logic K with global counting operators (M. Khodadadi; R. A. Schmidt; D. Tishkovsky; M. Zawidzki.), 2012. [bib] [pdf]
[10]	Using Tableau to Decide Description Logics with Full Role Negation and Identity (R. A. Schmidt;D. Tishkovsky;), 2012. [bib] [pdf]
2011
[9]	MetTeL: A Tableau Prover with Logic-Independent Inference Engine (D. Tishkovsky, R. A. Schmidt, M. Khodadadi), In Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2011) (K. Brünnler, G. Metcalfe, eds.), Springer, volume 6793, 2011. [bib] [pdf]
[8]	Automated Synthesis of Tableau Calculi (R. A. Schmidt, D. Tishkovsky), In Logical Methods in Computer Science, volume 7, 2011. [bib] [pdf] [doi]
[7]	Synthesising Terminating Tableau Calculi for Relational Logics: Invited paper (R. A. Schmidt), In Relational and Algebraic Methods in Computer Science (RAMiCS 12) (H. de Swart, ed.), Springer, volume 6663, 2011. [bib] [pdf] [doi]
[6]	MetTeL: A Generic Tableau Prover. (D. Tishkovsky; R. A. Schmidt; M. Khodadadi.), In Proceedings of the 18th Workshop on Automated Reasoning (ARW2011) (A.;Kirwan R. Miller, ed.), Dept of Computing Science, University of Glasgow, 2011. [bib] [pdf]
2009
[5]	Automated Synthesis of Tableau Calculi (R. A. Schmidt, D. Tishkovsky), In Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) (M. Giese, A. Waaler, eds.), Springer, volume 5607, 2009. [bib] [pdf] [doi]
2008
[4]	A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (R. A. Schmidt, D. Tishkovsky), In Automated Reasoning (IJCAR 2008) (A. Armando, P. Baumgartner, G. Dowek, eds.), Springer, volume 5195, 2008. [bib] [pdf] [doi]
2007
[3]	Deciding ALBO with Tableau (R. A. Schmidt, D. Tishkovsky), In Proceedings of the 20th International Workshop on Description Logics (DL-2007) (D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, S. Tessaris, A. Y. Turhan, eds.), Bozen-Bolzano University Press, 2007. [bib] [pdf]
[2]	Using Tableau to Decide Expressive Description Logics with Role Negation (R. A. Schmidt, D. Tishkovsky), In The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11--15, 2007 (K. Aberer, K.-S. Choi, N. Fridman Noy, D. Allemang, K.-I. Lee, L. J. B. Nixon, J. Golbeck, P. Mika, D. Maynard, R. Mizoguchi, G. Schreiber, P. Cudré-Mauroux, eds.), Springer, volume 4825, 2007. [bib] [pdf] [doi]
2006
[1]	Automated Reasoning About Metric and Topology (Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev), Chapter in Logics in Artificial Intelligence (Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa, eds.), Springer Berlin / Heidelberg, volume 4160, 2006. (10.1007/11853886_44) [bib] [pdf] [doi]