| 2010 | AISC | A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence. | Jacques Calmet, John A. Campbell |
| 2006 | AISC | A New Definition for Passivity and Its Relation to Coherence. | Moritz Minzlaff, Jacques Calmet |
| 2006 | ISMIS | OntoBayes Approach to Corporate Knowledge. | Yi Yang, Jacques Calmet |
| 2004 | CW | Modeling Corporate Knowledge within the Agent Oriented Abstraction. | Pierre Maret, Jacques Calmet |
| 2004 | WETICE | Introducing Robust and Private Computation into Grid Technology. | Regine Endsuleit, Jacques Calmet |
| 2000 | AISC | Composite Distributive Lattices as Annotation Domains for Mediators. | Jacques Calmet, Peter Kullmann, Morio Taneda |
| 1999 | IJCAI | Meta Web Search with KOMET. | Jacques Calmet, Peter Kullmann |
| 1999 | ISMIS | A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications. | Jacques Calmet, Peter Kullmann |
| 1998 | AISC | Specification and Integration of Theorem Provers and Computer Algebra Systems. | Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann |
| 1997 | ICDE | A Generic Query-Translation Framework for a Mediator Architecture. | Jacques Calmet, Sebastian Jekutsch, Joachim Sch |
| 1997 | ISMIS | KOMET - A System for the Integration of Heterogeneous Information Sources. | Jacques Calmet, Sebastian Jekutsch, Peter Kullmann, Joachim Sch |
| 1996 | ICDE | An Executable Graphical Representation of Mediatory Information Systems. | Jacques Calmet, Dirk Debertin, Sebastian Jekutsch, Joachim Sch |
| 1996 | ISMIS | Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract). | Jacques Calmet, James J. Lu, Maria Rodriguez, Joachim Sch |
| 1995 | ISSAC | Theorems and Algorithms: An Interface between Isabelle and Maple. | Clemens Ballarin, Karsten Homann, Jacques Calmet |
| 1994 | AISC | Combining Theorem Proving and Symbolic Mathematical Computing. | Karsten Homann, Jacques Calmet |
| 1994 | ISMIS | Building Bridges Between Knowledge Representation and Algebraic Specification. | Jacques Calmet, Indra A. Tjandra |
| 1992 | AISC | Artificial Intelligence and Symbolic Mathematical Computation. | Jacques Calmet, John A. Campbell |
| 1992 | AISC | Unified Domains and Abstract Computational Structures. | Jacques Calmet, Karsten Homann, Indra A. Tjandra |
| 1991 | ICTAI | MANTRA: a shell for hybrid knowledge representation. | Jacques Calmet, Indra A. Tjandra, Guilherme Bittencourt |
| 1991 | ISMIS | Representation of Mathematical Knowledge. | Jacques Calmet, Indra A. Tjandra |
| 1990 | ISSAC | On Liouvillian Solutions of Homogeneous Linear Differential Equations. | Felix Ulmer, Jacques Calmet |