| 2008 |
|---|
| 55 | | Jacques Calmet,
Willi Geiselmann,
Jörn Müller-Quade:
Mathematical Methods in Computer Science, MMICS 2008, Karlsruhe, Germany, December 17-19, 2008 - Essays in Memory of Thomas Beth
Springer 2008 |
| 54 | EE | Julien Subercaze,
Pierre Maret,
Jacques Calmet,
Pravin Pawar:
A Service Oriented Framework for Mobile Business Virtual Communities.
Virtual Enterprises and Collaborative Networks 2008: 493-500 |
| 53 | EE | Jacques Calmet,
Willi Geiselmann:
In memoriam Thomas Beth.
Appl. Algebra Eng. Commun. Comput. 19(3): 175-176 (2008) |
| 2006 |
|---|
| 52 | | Jacques Calmet,
Tetsuo Ida,
Dongming Wang:
Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Springer 2006 |
| 51 | EE | Moritz Minzlaff,
Jacques Calmet:
A New Definition for Passivity and Its Relation to Coherence.
AISC 2006: 94-105 |
| 50 | EE | Yi Yang,
Jacques Calmet:
From the OntoBayes Model to a Service Oriented Decision Support System.
CIMCA/IAWTIC 2006: 127 |
| 49 | EE | Dong Huang,
Yi Yang,
Jacques Calmet:
A Knowledge-based Security Policy Framework for Business Process Management.
CIMCA/IAWTIC 2006: 154 |
| 48 | EE | Dong Huang,
Yi Yang,
Jacques Calmet:
ModelingWeb Services Policy with Corporate Knowledge.
ICEBE 2006: 216-223 |
| 47 | EE | Yi Yang,
Jacques Calmet:
OntoBayes Approach to Corporate Knowledge.
ISMIS 2006: 274-283 |
| 2005 |
|---|
| 46 | | Marvin Oliver Schneider,
Jacques Calmet:
Fibered Guard - A Hybrid Intelligent Approach to Denial of Service Prevention.
CIMCA/IAWTIC 2005: 121-127 |
| 45 | | Yi Yang,
Jacques Calmet:
OntoBayes: An Ontology-Driven Uncertainty Model.
CIMCA/IAWTIC 2005: 457-463 |
| 44 | EE | Pierre Maret,
Jacques Calmet:
Corporate Knowledge in Cyberworlds.
IEICE Transactions 88-D(5): 880-887 (2005) |
| 2004 |
|---|
| 43 | EE | Pierre Maret,
Jacques Calmet:
Modeling Corporate Knowledge within the Agent Oriented Abstraction.
CW 2004: 224-231 |
| 42 | EE | Pierre Maret,
Mark Hammond,
Jacques Calmet:
Virtual Knowledge Communities for Corporate Knowledge Issues.
ESAW 2004: 33-44 |
| 41 | EE | Regine Endsuleit,
Jacques Calmet:
Introducing Robust and Private Computation into Grid Technology.
WETICE 2004: 303-308 |
| 2003 |
|---|
| 40 | EE | Jacques Calmet,
Anusch Daemi,
Regine Endsuleit,
Thilo Mie:
A Liberal Approach to Openness in Societies of Agents..
ESAW 2003: 81-92 |
| 2002 |
|---|
| 39 | | Jacques Calmet,
Belaid Benhamou,
Olga Caprotti,
Laurent Henocque,
Volker Sorge:
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings
Springer 2002 |
| 38 | | Zoltán Ádám Mann,
Jacques Calmet,
Peter Kullmann:
Testing Access to External Information Sources in a Mediator Environment.
TestCom 2002: 111- |
| 37 | | Jacques Calmet,
Peter Kullmann,
Morio Taneda:
Composite Distributive Lattices as Annotation Domains for Mediators.
Ann. Math. Artif. Intell. 36(3): 263-277 (2002) |
| 2000 |
|---|
| 36 | EE | Jacques Calmet,
Peter Kullmann,
Morio Taneda:
Composite Distributive Lattices as Annotation Domains for Mediators.
AISC 2000: 65-77 |
| 1999 |
|---|
| 35 | | Jacques Calmet,
Peter Kullmann:
A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications.
ISMIS 1999: 475-483 |
| 34 | EE | Jacques Calmet,
Peter Kullmann:
Meta Web Search with KOMET.
Intelligent Information Integration 1999 |
| 33 | | Piergiorgio Bertoli,
Jacques Calmet,
Fausto Giunchiglia,
Karsten Homann:
Specification and Integration of Theorem Provers and Computer Algebra Systems.
Fundam. Inform. 39(1-2): 39-57 (1999) |
| 1998 |
|---|
| 32 | | Jacques Calmet,
Jan A. Plaza:
Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Springer 1998 |
| 31 | EE | Piergiorgio Bertoli,
Jacques Calmet,
Fausto Giunchiglia,
Karsten Homann:
Specification and Integration of Theorem Provers and Computer Algebra Systems.
AISC 1998: 94-106 |
| 1997 |
|---|
| 30 | EE | Jacques Calmet,
Sebastian Jekutsch,
Joachim Schü:
A Generic Query-Translation Framework for a Mediator Architecture.
ICDE 1997: 434-443 |
| 29 | | Jacques Calmet,
Sebastian Jekutsch,
Peter Kullmann,
Joachim Schü:
KOMET - A System for the Integration of Heterogeneous Information Sources.
ISMIS 1997: 318-327 |
| 28 | | Jacques Calmet,
John A. Campbell:
A Perspective on Symbolic Mathematical Computing and Artificial Intelligence.
Ann. Math. Artif. Intell. 19(3-4): 261-277 (1997) |
| 27 | EE | Jacques Calmet,
Karsten Homann:
Towards the Mathematics Software Bus.
Theor. Comput. Sci. 187(1-2): 221-230 (1997) |
| 1996 |
|---|
| 26 | | Jacques Calmet,
Carla Limongelli:
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings
Springer 1996 |
| 25 | | Jacques Calmet,
John A. Campbell,
Jochen Pfalzgraf:
Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings
Springer 1996 |
| 24 | | Karsten Homann,
Jacques Calmet:
Structures for Symbolic Mathematical Reasoning and Computation.
DISCO 1996: 216-227 |
| 23 | | Jacques Calmet,
Karsten Homann:
Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems.
Frontiers of Combining Systems (FroCos) 1996: 221-234 |
| 22 | EE | Jacques Calmet,
Dirk Debertin,
Sebastian Jekutsch,
Joachim Schü:
An Executable Graphical Representation of Mediatory Information Systems.
ICDE 1996: 124-131 |
| 21 | | Jacques Calmet,
James J. Lu,
Maria Rodriguez,
Joachim Schü:
Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract).
ISMIS 1996: 202-211 |
| 1995 |
|---|
| 20 | | Jacques Calmet,
John A. Campbell:
Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers
Springer 1995 |
| 19 | EE | Clemens Ballarin,
Karsten Homann,
Jacques Calmet:
Theorems and Algorithms: An Interface between Isabelle and Maple.
ISSAC 1995: 150-157 |
| 1994 |
|---|
| 18 | | Karsten Homann,
Jacques Calmet:
Combining Theorem Proving and Symbolic Mathematical Computing.
AISMC 1994: 18-29 |
| 17 | | Jacques Calmet,
Indra A. Tjandra:
Building Bridges Between Knowledge Representation and Algebraic Specification.
ISMIS 1994: 295-304 |
| 1993 |
|---|
| 16 | | Jacques Calmet,
John A. Campbell:
Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings
Springer 1993 |
| 15 | | Jacques Calmet,
Indra A. Tjandra:
A Unified-Algebra-Based Specification Language for Symbolic Computing.
DISCO 1993: 122-133 |
| 1992 |
|---|
| 14 | | Jacques Calmet,
John A. Campbell:
Artificial Intelligence and Symbolic Mathematical Computation.
AISMC 1992: 1-19 |
| 13 | | Jacques Calmet,
Karsten Homann,
Indra A. Tjandra:
Unified Domains and Abstract Computational Structures.
AISMC 1992: 166-177 |
| 1991 |
|---|
| 12 | | Jacques Calmet,
Indra A. Tjandra:
Representation of Mathematical Knowledge.
ISMIS 1991: 469-478 |
| 1990 |
|---|
| 11 | EE | Felix Ulmer,
Jacques Calmet:
On Liouvillian Solutions of Homogeneous Linear Differential Equations.
ISSAC 1990: 236-243 |
| 1987 |
|---|
| 10 | | Jacques Calmet:
Towards an Expert System for Error-Correcting Codes: SECC.
AAECC 1987: 75-87 |
| 9 | | Jacques Calmet:
Intelligent Computer Algebra System: Myth, Fancy or Reality?
Trends in Computer Algebra 1987: 2-11 |
| 1986 |
|---|
| 8 | | Jacques Calmet:
Algebraic Algorithms and Error-Correcting Codes, 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, Proceedings
Springer 1986 |
| 7 | | Jacques Calmet,
Hubert Comon,
Denis Lugiez:
Type Inference Using Unification in Computer Algebra.
AAECC 1986: 25-28 |
| 1985 |
|---|
| 6 | EE | Jacques Calmet:
Algebraic algorithms in GF(q).
Discrete Mathematics 56(2-3): 101-109 (1985) |
| 1984 |
|---|
| 5 | | Jacques Calmet:
Manipulation of recurrence relations in computer algebra.
AAECC 1984: 242-252 |
| 4 | | Jacques Calmet,
Marc Bergman:
Some design principles for a mathematical knowledge representation system: a new approach to scientific calculation.
AAECC 1984: 253-265 |
| 1982 |
|---|
| 3 | | Jacques Calmet:
Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings
Springer 1982 |
| 2 | | Jacques Calmet,
Rüdiger Loos:
Deterministic Versus Probabilistic Factorization of Integral Polynomials.
EUROCAM 1982: 117-125 |
| 1980 |
|---|
| 1 | | Jacques Calmet,
Rüdiger Loos:
An Improvement of Rabin's Probabilistic Algorithm for Generating Irreducible Polynomials over GF(p).
Inf. Process. Lett. 11(2): 94-95 (1980) |
