Jacques Calmet - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

2009

EditorialJacques Calmet, Pierre Maret. ijcsa, 6(2), 2009. [doi]

Editors forewordJacques Calmet, FranÃ§ois Ollivier. aaecc, 20(1):1-4, 2009. [doi]

PrefaceJacques Calmet, Volker Sorge. AMAI, 56(1):1-2, 2009. [doi]

Agent-Based Knowledge CommunitiesJacques Calmet, Pierre Maret. ijcsa, 6(2):1-18, 2009. [doi]

Abstraction-Based Information Technology: A Framework for Open Mechanized ReasoningJacques Calmet. mkm 2009: 14-26 [doi]

2008

In memoriam Thomas BethJacques Calmet, Willi Geiselmann. aaecc, 19(3):175-176, 2008. [doi]

Mathematical Methods in Computer Science, MMICS 2008, Karlsruhe, Germany, December 17-19, 2008 - Essays in Memory of Thomas BethJacques Calmet, Willi Geiselmann, Jörn Müller-Quade, editors, Volume 5393 of Lecture Notes in Computer Science, Springer, 2008.

A Service Oriented Framework for Mobile Business Virtual CommunitiesJulien Subercaze, Pierre Maret, Jacques Calmet, Pravin Pawar. ifip5-5 2008: 493-500 [doi]

2006

2005

Corporate Knowledge in CyberworldsPierre Maret, Jacques Calmet. ieicet, 88-D(5):880-887, 2005. [doi]

Fibered Guard - A Hybrid Intelligent Approach to Denial of Service PreventionMarvin Oliver Schneider, Jacques Calmet. cimca 2005: 121-127

OntoBayes: An Ontology-Driven Uncertainty ModelYi Yang, Jacques Calmet. cimca 2005: 457-463

2004

Introducing Robust and Private Computation into Grid TechnologyRegine Endsuleit, Jacques Calmet. wetice 2004: 303-308 [doi]

Virtual Knowledge Communities for Corporate Knowledge IssuesPierre Maret, Mark Hammond, Jacques Calmet. esaw 2005: 33-44 [doi]

Modeling Corporate Knowledge within the Agent Oriented AbstractionPierre Maret, Jacques Calmet. cw 2004: 224-231 [doi]

2003

A Liberal Approach to Openness in Societies of Agents.Jacques Calmet, Anusch Daemi, Regine Endsuleit, Thilo Mie. esaw 2004: 81-92 [doi]

2002

Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, ProceedingsJacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge, editors, Volume 2385 of Lecture Notes in Computer Science, Springer, 2002.

Composite Distributive Lattices as Annotation Domains for MediatorsJacques Calmet, Peter Kullmann, Morio Taneda. AMAI, 36(3):263-277, 2002.

Testing Access to External Information Sources in a Mediator EnvironmentZoltán Ádám Mann, Jacques Calmet, Peter Kullmann. pts 2002: 111

2000

Composite Distributive Lattices as Annotation Domains for MediatorsJacques Calmet, Peter Kullmann, Morio Taneda. AISC 2001: 65-77 [doi]

1999

Specification and Integration of Theorem Provers and Computer Algebra SystemsPiergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann. FUIN, 39(1-2):39-57, 1999.

A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic ApplicationsJacques Calmet, Peter Kullmann. ismis 1999: 475-483

Meta Web Search with KOMETJacques Calmet, Peter Kullmann. IJCAI 1999: [doi]

1998

Specification and Integration of Theorem Provers and Computer Algebra SystemsPiergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann. AISC 1998: 94-106 [doi]

Artificial Intelligence and Symbolic Computation, International Conference AISC 98, Plattsburgh, New York, USA, September 16-18, 1998, ProceedingsJacques Calmet, Jan A. Plaza, editors, Volume 1476 of Lecture Notes in Computer Science, Springer, 1998.

1997

1996

Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, ProceedingsJacques Calmet, John A. Campbell, Jochen Pfalzgraf, editors, Volume 1138 of Lecture Notes in Computer Science, Springer, 1996.

An Executable Graphical Representation of Mediatory Information SystemsJacques Calmet, Dirk Debertin, Sebastian Jekutsch, Joachim Schü. icde 1996: 124-131 [doi]

Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation SystemsJacques Calmet, Karsten Homann. frocos 1996: 221-234

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

Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20, 1996, ProceedingsJacques Calmet, Carla Limongelli, editors, Volume 1128 of Lecture Notes in Computer Science, Springer, 1996.

Structures for Symbolic Mathematical Reasoning and ComputationKarsten Homann, Jacques Calmet. disco 1996: 216-227

1995

Theorems and Algorithms: An Interface between Isabelle and MapleClemens Ballarin, Karsten Homann, Jacques Calmet. issac 1995: 150-157 [doi]

Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected PapersJacques Calmet, John A. Campbell, editors, Volume 958 of Lecture Notes in Computer Science, Springer, 1995.

1994

Building Bridges Between Knowledge Representation and Algebraic SpecificationJacques Calmet, Indra A. Tjandra. ismis 1994: 295-304

Combining Theorem Proving and Symbolic Mathematical ComputingKarsten Homann, Jacques Calmet. AISC 1995: 18-29

1993

Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, ProceedingsJacques Calmet, John A. Campbell, editors, Volume 737 of Lecture Notes in Computer Science, Springer, 1993.

A Unified-Algebra-Based Specification Language for Symbolic ComputingJacques Calmet, Indra A. Tjandra. disco 1993: 122-133

1992

Unified Domains and Abstract Computational StructuresJacques Calmet, Karsten Homann, Indra A. Tjandra. AISC 1993: 166-177

Artificial Intelligence and Symbolic Mathematical ComputationJacques Calmet, John A. Campbell. AISC 1993: 1-19

1991

Representation of Mathematical KnowledgeJacques Calmet, Indra A. Tjandra. ismis 1991: 469-478

1990

On Liouvillian Solutions of Homogeneous Linear Differential EquationsFelix Ulmer, Jacques Calmet. issac 1990: 236-243 [doi]

1987

Towards an Expert System for Error-Correcting Codes: SECCJacques Calmet. AAECC 1989: 75-87

Intelligent Computer Algebra System: Myth, Fancy or Reality?Jacques Calmet. ibm 1988: 2-11

1986

Algebraic Algorithms and Error-Correcting Codes, 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, ProceedingsJacques Calmet, editor, Volume 229 of Lecture Notes in Computer Science, Springer, 1986.

Type Inference Using Unification in Computer AlgebraJacques Calmet, Hubert Comon, Denis Lugiez. AAECC 1988: 25-28

1985

Algebraic algorithms in GF(q)Jacques Calmet. DM, 56(2-3):101-109, 1985. [doi]

1984

Manipulation of recurrence relations in computer algebraJacques Calmet. AAECC 1986: 242-252

Some design principles for a mathematical knowledge representation system: a new approach to scientific calculationJacques Calmet, Marc Bergman. AAECC 1986: 253-265

1982

Deterministic Versus Probabilistic Factorization of Integral PolynomialsJacques Calmet, Rüdiger Loos. eurocal 1982: 117-125

Computer Algebra, EUROCAM 82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, ProceedingsJacques Calmet, editor, Volume 144 of Lecture Notes in Computer Science, Springer, 1982.

1980

An Improvement of Rabin s Probabilistic Algorithm for Generating Irreducible Polynomials over GF(p)Jacques Calmet, Rüdiger Loos. ipl, 11(2):94-95, 1980.