Computer recognition of divergences in Feynman diagrams. - Jacques Calmet (SIGSAM Bull., 1974)

An Improvement of Rabin's Probabilistic Algorithm for Generating Irreducible Polynomials over GF(p). - Jacques Calmet; Rüdiger Loos (Inf. Process. Lett., 1980)

Deterministic Versus Probabilistic Factorization of Integral Polynomials. - Jacques Calmet; Rüdiger Loos (EUROCAM, 1982)

Synthesizing recurrence relations I: analysis of the problems. - Jacques Calmet; Ian Cohen (SIGSAM Bull., 1983)

Pascal as host language of computer algebra systems. - Jacques Calmet; Robert-Michel di Scala (ACM SIGPLAN Notices, 1983)

Manipulation of recurrence relations in computer algebra. - Jacques Calmet (AAECC, 1984)

Some design principles for a mathematical knowledge representation system: a new approach to scientific calculation. - Jacques Calmet; Marc Bergman (AAECC, 1984)

Introducing computer algebra to users and to students. - Jacques Calmet (ACM Commun. Comput. Algebra, 1985)

Algebraic algorithms in GF(q). - Jacques Calmet (Discret. Math., 1985)

Type Inference Using Unification in Computer Algebra. - Jacques Calmet; Hubert Comon; Denis Lugiez (AAECC, 1986)

Towards an Expert System for Error-Correcting Codes: SECC. - Jacques Calmet (AAECC, 1987)

Intelligent Computer Algebra System: Myth, Fancy or Reality? - Jacques Calmet (Trends in Computer Algebra, 1987)

A knowledge-based system for computer algebra. - Jacques Calmet; Denis Lugiez (SIGSAM Bull., 1987)

On Liouvillian Solutions of Homogeneous Linear Differential Equations. - Felix Ulmer; Jacques Calmet (ISSAC, 1990)

MANTRA: a shell for hybrid knowledge representation. - Jacques Calmet; Indra A. Tjandra; Guilherme Bittencourt (ICTAI, 1991)

Representation of Mathematical Knowledge. - Jacques Calmet; Indra A. Tjandra (ISMIS, 1991)

Artificial Intelligence and Symbolic Mathematical Computation. - Jacques Calmet; John A. Campbell (AISMC, 1992)

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

A Unified-Algebra-Based Specification Language for Symbolic Computing. - Jacques Calmet; Indra A. Tjandra (DISCO, 1993)

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

Building Bridges Between Knowledge Representation and Algebraic Specification. - Jacques Calmet; Indra A. Tjandra (ISMIS, 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)

An Executable Graphical Representation of Mediatory Information Systems. - Jacques Calmet; Dirk Debertin; Sebastian Jekutsch; Joachim Schü (ICDE, 1996)

Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract). - Jacques Calmet; James J. Lu; Maria Rodriguez; Joachim Schü (ISMIS, 1996)

A Generic Query-Translation Framework for a Mediator Architecture. - Jacques Calmet; Sebastian Jekutsch; Joachim Schü (ICDE, 1997)

KOMET - A System for the Integration of Heterogeneous Information Sources. - Jacques Calmet; Sebastian Jekutsch; Peter Kullmann; Joachim Schü (ISMIS, 1997)

A Perspective on Symbolic Mathematical Computing and Artificial Intelligence. - Jacques Calmet; John A. Campbell (Ann. Math. Artif. Intell., 1997)

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

Meta Web Search with KOMET. - Jacques Calmet; Peter Kullmann (Intelligent Information Integration, 1999)

A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications. - Jacques Calmet; Peter Kullmann (ISMIS, 1999)

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

Testing Access to External Information Sources in a Mediator Environment. - Zoltán Ádám Mann; Jacques Calmet; Peter Kullmann (TestCom, 2002)

Composite Distributive Lattices as Annotation Domains for Mediators. - Jacques Calmet; Peter Kullmann; Morio Taneda (Ann. Math. Artif. Intell., 2002)

Agent-Based Expert Information Retrieval for Flood-Risk Management. - Charlotte Kämpf; Jürgen Ihringer; Anusch Daemi-Ahwazi; Jacques Calmet (EnviroInfo, 2003)

A Liberal Approach to Openness in Societies of Agents.. - Jacques Calmet; Anusch Daemi-Ahwazi; Regine Endsuleit; Thilo Mie (ESAW, 2003)

Modeling Corporate Knowledge within the Agent Oriented Abstraction. - Pierre Maret; Jacques Calmet (CW, 2004)

Virtual Knowledge Communities for Corporate Knowledge Issues. - Pierre Maret; Mark Hammond; Jacques Calmet (ESAW, 2004)

Introducing Robust and Private Computation into Grid Technology. - Regine Endsuleit; Jacques Calmet (WETICE, 2004)

Fibered Guard - A Hybrid Intelligent Approach to Denial of Service Prevention. - Marvin Oliver Schneider; Jacques Calmet (CIMCA/IAWTIC, 2005)

OntoBayes: An Ontology-Driven Uncertainty Model. - Yi Yang 013; Jacques Calmet (CIMCA/IAWTIC, 2005)

Corporate Knowledge in Cyberworlds. - Pierre Maret; Jacques Calmet (IEICE Trans. Inf. Syst., 2005)

A New Definition for Passivity and Its Relation to Coherence. - Moritz Minzlaff; Jacques Calmet (AISC, 2006)

A Knowledge-based Security Policy Framework for Business Process Management. - Dong Huang; Yi Yang 013; Jacques Calmet (CIMCA/IAWTIC, 2006)

From the OntoBayes Model to a Service Oriented Decision Support System. - Yi Yang 013; Jacques Calmet (CIMCA/IAWTIC, 2006)

ModelingWeb Services Policy with Corporate Knowledge. - Dong Huang; Yi Yang 013; Jacques Calmet (ICEBE, 2006)

OntoBayes Approach to Corporate Knowledge. - Yi Yang 013; Jacques Calmet (ISMIS, 2006)

A Service Oriented Framework for Mobile Business Virtual Communities. - Julien Subercaze; Pierre Maret; Jacques Calmet; Pravin Pawar (Virtual Enterprises and Collaborative Networks, 2008)

In memoriam Thomas Beth. - Jacques Calmet; Willi Geiselmann (Appl. Algebra Eng. Commun. Comput., 2008)

Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning. - Jacques Calmet (Calculemus/MKM, 2009)

Editors' foreword. - Jacques Calmet; François Ollivier (Appl. Algebra Eng. Commun. Comput., 2009)

Preface. - Jacques Calmet; Volker Sorge (Ann. Math. Artif. Intell., 2009)

Editorial - Jacques Calmet; Pierre Maret (Int. J. Comput. Sci. Appl., 2009)

Agent-Based Knowledge Communities. - Jacques Calmet; Pierre Maret (Int. J. Comput. Sci. Appl., 2009)

A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence. - Jacques Calmet; John A. Campbell (AISC/MKM/Calculemus, 2010)

Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises. - Jacques Calmet; Pierre Maret; Marvin Schneider (Int. J. Comput. Sci. Appl., 2010)

Preface - Special issue on applications of computer algebra. - Jacques Calmet (Ann. Math. Artif. Intell., 2012)

Foreword on the relationship of computer algebra with mathematics and physics - Special issue on applications of computer algebra. - Jacques Calmet (Ann. Math. Artif. Intell., 2012)

Logical Fibering and Knowledge Bases. - Jacques Calmet; Marvin Oliver Schneider (Int. J. Comput. Sci. Appl., 2012)

Decision Making Modeled as a Theorem Proving Process. - Jacques Calmet; Marvin Oliver Schneider (Int. J. Decis. Support Syst. Technol., 2012)

Toward a trust model for knowledge-based communities. - Jacques Calmet; Pierre Maret (WIMS, 2013)

Preface for the special issue devoted to AISC 2014. - Jacques Calmet (Ann. Math. Artif. Intell., 2017)