Unified Domains and Abstract Computational Structures. - Jacques Calmet; Karsten Homann; Indra A. Tjandra (AISMC, 1992)

Combining Theorem Proving and Symbolic Mathematical Computing. - Karsten Homann; Jacques Calmet (AISMC, 1994)

Theorems and Algorithms: An Interface between Isabelle and Maple. - Clemens Ballarin; Karsten Homann; Jacques Calmet (ISSAC, 1995)

Structures for Symbolic Mathematical Reasoning and Computation. - Karsten Homann; Jacques Calmet (DISCO, 1996)

Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems. - Jacques Calmet; Karsten Homann (FroCoS, 1996)

Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme. - Karsten Homann (Infix Verlag, St. Augustin, Germany, 1997)

Towards the Mathematics Software Bus. - Jacques Calmet; Karsten Homann (Theor. Comput. Sci., 1997)

Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme - Karsten Homann (1997)

Specification and Integration of Theorem Provers and Computer Algebra Systems. - Piergiorgio Bertoli; Jacques Calmet; Fausto Giunchiglia; Karsten Homann (Fundam. Informaticae, 1999)