Jacques Calmet

	2010
63		Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton: Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings Springer 2010
62		Jacques Calmet, John A. Campbell: A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence. AISC/MKM/Calculemus 2010: 14-18
61		Jacques Calmet, Pierre Maret, Marvin Schneider: Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises. IJCSA 7(2): 1-13 (2010)
	2009
60		Jacques Calmet: Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning. Calculemus/MKM 2009: 14-26
59		Jacques Calmet, Volker Sorge: Preface. Ann. Math. Artif. Intell. 56(1): 1-2 (2009)
58		Jacques Calmet, François Ollivier: Editors' foreword. Appl. Algebra Eng. Commun. Comput. 20(1): 1-4 (2009)
57		Jacques Calmet, Pierre Maret: Agent-Based Knowledge Communities. IJCSA 6(2): 01-18 (2009)
56		Jacques Calmet, Pierre Maret: Editorial IJCSA 6(2): iii-iv (2009)
	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		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		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		Moritz Minzlaff, Jacques Calmet: A New Definition for Passivity and Its Relation to Coherence. AISC 2006: 94-105
50		Yi Yang, Jacques Calmet: From the OntoBayes Model to a Service Oriented Decision Support System. CIMCA/IAWTIC 2006: 127
49		Dong Huang, Yi Yang, Jacques Calmet: A Knowledge-based Security Policy Framework for Business Process Management. CIMCA/IAWTIC 2006: 154
48		Dong Huang, Yi Yang, Jacques Calmet: ModelingWeb Services Policy with Corporate Knowledge. ICEBE 2006: 216-223
47		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		Pierre Maret, Jacques Calmet: Corporate Knowledge in Cyberworlds. IEICE Transactions 88-D(5): 880-887 (2005)
	2004
43		Pierre Maret, Jacques Calmet: Modeling Corporate Knowledge within the Agent Oriented Abstraction. CW 2004: 224-231
42		Pierre Maret, Mark Hammond, Jacques Calmet: Virtual Knowledge Communities for Corporate Knowledge Issues. ESAW 2004: 33-44
41		Regine Endsuleit, Jacques Calmet: Introducing Robust and Private Computation into Grid Technology. WETICE 2004: 303-308
	2003
40		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		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		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		Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann: Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC 1998: 94-106
	1997
30		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		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		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		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		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		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)

Coauthor Index

1	Serge Autexier	[63]
2	Clemens Ballarin	[19]
3	Belaid Benhamou	[39]
4	Marc Bergman	[4]
5	Piergiorgio Bertoli	[31] [33]
6	John A. Campbell	[14] [16] [20] [25] [28] [62]
7	Olga Caprotti	[39]
8	Hubert Comon-Lundh (Hubert Comon)	[7]
9	Anusch Daemi	[40]
10	Dirk Debertin	[22]
11	David Delahaye	[63]
12	Regine Endsuleit	[40] [41]
13	Willi Geiselmann	[53] [55]
14	Fausto Giunchiglia	[31] [33]
15	Mark Hammond	[42]
16	Laurent Henocque	[39]
17	Karsten Homann	[13] [18] [19] [23] [24] [27] [31] [33]
18	Dong Huang	[48] [49]
19	Tetsuo Ida	[52]
20	Patrick D. F. Ion	[63]
21	Sebastian Jekutsch	[22] [29] [30]
22	Peter Kullmann	[29] [34] [35] [36] [37] [38]
23	Carla Limongelli	[26]
24	Rüdiger Loos	[1] [2]
25	James J. Lu	[21]
26	Denis Lugiez	[7]
27	Zoltán Ádám Mann	[38]
28	Pierre Maret	[42] [43] [44] [54] [56] [57] [61]
29	Thilo Mie	[40]
30	Moritz Minzlaff	[51]
31	Jörn Müller-Quade	[55]
32	François Ollivier	[58]
33	Pravin Pawar	[54]
34	Jochen Pfalzgraf	[25]
35	Jan A. Plaza	[32]
36	Laurence Rideau	[63]
37	Renaud Rioboo	[63]
38	Maria Rodriguez	[21]
39	Marvin Schneider	[61]
40	Marvin Oliver Schneider	[46]
41	Joachim Schü	[21] [22] [29] [30]
42	Alan P. Sexton	[63]
43	Volker Sorge	[39] [59]
44	Julien Subercaze	[54]
45	Morio Taneda	[36] [37]
46	Indra A. Tjandra	[12] [13] [15] [17]
47	Felix Ulmer	[11]
48	Dongming Wang	[52]
49	Yi Yang	[45] [47] [48] [49] [50]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page