Integrating Problem-Solving Methods into CYC. - James S. Aitken; Dimitrios Sklavakis (IJCAI, 1999)

An Individualized Web-Based Algebra Tutor Based on Dynamic Deep Model Tracing. - Dimitrios Sklavakis; Ioannis Refanidis (SETN, 2008)

The MATHESIS Algebra Tutor: Web-based Expert Tutoring via Deep Model Tracing. - Dimitrios Sklavakis; Ioannis Refanidis (AIED, 2009)

Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors. - Dimitrios Sklavakis; Ioannis Refanidis (AIMSA, 2010)

The MATHESIS Semantic Authoring Framework: Ontology-Driven Knowledge Engineering for ITS Authoring. - Dimitrios Sklavakis; Ioannis Refanidis (KES (2), 2011)

MATHESIS: An Intelligent Web-Based Algebra Tutoring School. - Dimitrios Sklavakis; Ioannis Refanidis (Int. J. Artif. Intell. Educ., 2013)

The MATHESIS meta-knowledge engineering framework: Ontology-driven development of intelligent tutoring systems. - Dimitrios Sklavakis; Ioannis Refanidis (Appl. Ontology, 2014)

The mathesis meta-authoring framework for intelligent tutoring systems in mathematics - Dimitrios Sklavakis (2015)

Transforming Maple into an Intelligent Model-Tracing Math Tutor. - Dimitrios Sklavakis (MC, 2019)