Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jacques Calmet
@proceedings{DBLP:conf/aisc/2018,
editor = {Jacques D. Fleuriot and
Dongming Wang and
Jacques Calmet},
title = {Artificial Intelligence and Symbolic Computation - 13th International
Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11110},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99957-9},
doi = {10.1007/978-3-319-99957-9},
isbn = {978-3-319-99956-2},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Calmet17,
author = {Jacques Calmet},
title = {Preface for the special issue devoted to {AISC} 2014},
journal = {Ann. Math. Artif. Intell.},
volume = {80},
number = {1},
pages = {1--2},
year = {2017},
url = {https://doi.org/10.1007/s10472-017-9548-8},
doi = {10.1007/S10472-017-9548-8},
timestamp = {Thu, 04 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Calmet17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2014,
editor = {Gonzalo A. Aranda{-}Corral and
Jacques Calmet and
Francisco J. Mart{\'{\i}}n{-}Mateos},
title = {Artificial Intelligence and Symbolic Computation - 12th International
Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8884},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13770-4},
doi = {10.1007/978-3-319-13770-4},
isbn = {978-3-319-13769-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wims/CalmetM13,
author = {Jacques Calmet and
Pierre Maret},
editor = {David Camacho and
Rajendra Akerkar and
Mar{\'{\i}}a Dolores Rodr{\'{\i}}guez{-}Moreno},
title = {Toward a trust model for knowledge-based communities},
booktitle = {3rd International Conference on Web Intelligence, Mining and Semantics,
{WIMS} '13, Madrid, Spain, June 12-14, 2013},
pages = {47},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2479787.2479814},
doi = {10.1145/2479787.2479814},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wims/CalmetM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Calmet12,
author = {Jacques Calmet},
title = {Preface - Special issue on applications of computer algebra},
journal = {Ann. Math. Artif. Intell.},
volume = {64},
number = {4},
pages = {335--336},
year = {2012},
url = {https://doi.org/10.1007/s10472-012-9298-6},
doi = {10.1007/S10472-012-9298-6},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Calmet12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Calmet12a,
author = {Jacques Calmet},
title = {Foreword on the relationship of computer algebra with mathematics
and physics - Special issue on applications of computer algebra},
journal = {Ann. Math. Artif. Intell.},
volume = {64},
number = {4},
pages = {337--342},
year = {2012},
url = {https://doi.org/10.1007/s10472-012-9300-3},
doi = {10.1007/S10472-012-9300-3},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Calmet12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcsa/CalmetS12,
author = {Jacques Calmet and
Marvin Oliver Schneider},
title = {Logical Fibering and Knowledge Bases},
journal = {Int. J. Comput. Sci. Appl.},
volume = {9},
number = {2},
pages = {42--52},
year = {2012},
url = {http://www.tmrfindia.org/ijcsa/v9i24.pdf},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcsa/CalmetS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdsst/CalmetS12,
author = {Jacques Calmet and
Marvin Oliver Schneider},
title = {Decision Making Modeled as a Theorem Proving Process},
journal = {Int. J. Decis. Support Syst. Technol.},
volume = {4},
number = {3},
pages = {1--11},
year = {2012},
url = {https://doi.org/10.4018/jdsst.2012070101},
doi = {10.4018/JDSST.2012070101},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijdsst/CalmetS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcsa/CalmetMS10,
author = {Jacques Calmet and
Pierre Maret and
Marvin Schneider},
title = {Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual
Enterprises},
journal = {Int. J. Comput. Sci. Appl.},
volume = {7},
number = {2},
pages = {1--13},
year = {2010},
url = {http://www.tmrfindia.org/ijcsa/v7i21.pdf},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcsa/CalmetMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/CalmetC10,
author = {Jacques Calmet and
John A. Campbell},
editor = {Serge Autexier and
Jacques Calmet and
David Delahaye and
Patrick D. F. Ion and
Laurence Rideau and
Renaud Rioboo and
Alan P. Sexton},
title = {A Revisited Perspective on Symbolic Mathematical Computing and Artificial
Intelligence},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {6167},
pages = {14--18},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14128-7\_3},
doi = {10.1007/978-3-642-14128-7\_3},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/CalmetC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2010,
editor = {Serge Autexier and
Jacques Calmet and
David Delahaye and
Patrick D. F. Ion and
Laurence Rideau and
Renaud Rioboo and
Alan P. Sexton},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {6167},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14128-7},
doi = {10.1007/978-3-642-14128-7},
isbn = {978-3-642-14127-0},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/CalmetO09,
author = {Jacques Calmet and
Fran{\c{c}}ois Ollivier},
title = {Editors' foreword},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {20},
number = {1},
pages = {1--4},
year = {2009},
url = {https://doi.org/10.1007/s00200-009-0090-8},
doi = {10.1007/S00200-009-0090-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/CalmetO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CalmetS09,
author = {Jacques Calmet and
Volker Sorge},
title = {Preface},
journal = {Ann. Math. Artif. Intell.},
volume = {56},
number = {1},
pages = {1--2},
year = {2009},
url = {https://doi.org/10.1007/s10472-009-9139-4},
doi = {10.1007/S10472-009-9139-4},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/CalmetS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcsa/CalmetM09a,
author = {Jacques Calmet and
Pierre Maret},
title = {Agent-Based Knowledge Communities},
journal = {Int. J. Comput. Sci. Appl.},
volume = {6},
number = {2},
pages = {01--18},
year = {2009},
url = {http://www.tmrfindia.org/ijcsa/v6i21.pdf},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcsa/CalmetM09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcsa/CalmetM09,
author = {Jacques Calmet and
Pierre Maret},
title = {Editorial},
journal = {Int. J. Comput. Sci. Appl.},
volume = {6},
number = {2},
pages = {iii--iv},
year = {2009},
url = {http://www.tmrfindia.org/ijcsa/v6i20.pdf},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcsa/CalmetM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Calmet09,
author = {Jacques Calmet},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Abstraction-Based Information Technology: {A} Framework for Open Mechanized
Reasoning},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {14--26},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_3},
doi = {10.1007/978-3-642-02614-0\_3},
timestamp = {Sun, 02 Jun 2019 21:17:34 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Calmet09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/CalmetG08,
author = {Jacques Calmet and
Willi Geiselmann},
title = {In memoriam Thomas Beth},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {19},
number = {3},
pages = {175--176},
year = {2008},
url = {https://doi.org/10.1007/s00200-008-0073-1},
doi = {10.1007/S00200-008-0073-1},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/CalmetG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/SubercazeMCP08,
author = {Julien Subercaze and
Pierre Maret and
Jacques Calmet and
Pravin Pawar},
editor = {Luis M. Camarinha{-}Matos and
Willy Picard},
title = {A Service Oriented Framework for Mobile Business Virtual Communities},
booktitle = {Pervasive Collaborative Networks, {IFIP} {TC} 5 {WG} 5.5 Ninth Working
Conference on Virtual Enterprises, September 8-10, 2008, Poznan, Poland},
series = {{IFIP}},
volume = {283},
pages = {493--500},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-84837-2\_51},
doi = {10.1007/978-0-387-84837-2\_51},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/SubercazeMCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mmics/2008,
editor = {Jacques Calmet and
Willi Geiselmann and
J{\"{o}}rn M{\"{u}}ller{-}Quade},
title = {Mathematical Methods in Computer Science, {MMICS} 2008, Karlsruhe,
Germany, December 17-19, 2008 - Essays in Memory of Thomas Beth},
series = {Lecture Notes in Computer Science},
volume = {5393},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89994-5},
doi = {10.1007/978-3-540-89994-5},
isbn = {978-3-540-89993-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mmics/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/MinzlaffC06,
author = {Moritz Minzlaff and
Jacques Calmet},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {A New Definition for Passivity and Its Relation to Coherence},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
pages = {94--105},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_10},
doi = {10.1007/11856290\_10},
timestamp = {Wed, 20 Nov 2019 09:49:02 +0100},
biburl = {https://dblp.org/rec/conf/aisc/MinzlaffC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/YangC06,
author = {Yi Yang and
Jacques Calmet},
title = {From the OntoBayes Model to a Service Oriented Decision Support System},
booktitle = {2006 International Conference on Computational Intelligence for Modelling
Control and Automation {(CIMCA} 2006), International Conference on
Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
2006), 29 November - 1 December 2006, Sydney, Australia},
pages = {127},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CIMCA.2006.102},
doi = {10.1109/CIMCA.2006.102},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cimca/YangC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/HuangYC06,
author = {Dong Huang and
Yi Yang and
Jacques Calmet},
title = {A Knowledge-based Security Policy Framework for Business Process Management},
booktitle = {2006 International Conference on Computational Intelligence for Modelling
Control and Automation {(CIMCA} 2006), International Conference on
Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
2006), 29 November - 1 December 2006, Sydney, Australia},
pages = {154},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CIMCA.2006.12},
doi = {10.1109/CIMCA.2006.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cimca/HuangYC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icebe/HuangYC06,
author = {Dong Huang and
Yi Yang and
Jacques Calmet},
title = {ModelingWeb Services Policy with Corporate Knowledge},
booktitle = {2006 {IEEE} International Conference on e-Business Engineering {(ICEBE}
2006), 24-26 October 2006, Shanghai, China},
pages = {216--223},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICEBE.2006.72},
doi = {10.1109/ICEBE.2006.72},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icebe/HuangYC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/YangC06,
author = {Yi Yang and
Jacques Calmet},
editor = {Floriana Esposito and
Zbigniew W. Ras and
Donato Malerba and
Giovanni Semeraro},
title = {OntoBayes Approach to Corporate Knowledge},
booktitle = {Foundations of Intelligent Systems, 16th International Symposium,
{ISMIS} 2006, Bari, Italy, September 27-29, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4203},
pages = {274--283},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11875604\_31},
doi = {10.1007/11875604\_31},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/YangC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2006,
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4120},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290},
doi = {10.1007/11856290},
isbn = {3-540-39728-0},
timestamp = {Wed, 20 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/MaretC05,
author = {Pierre Maret and
Jacques Calmet},
title = {Corporate Knowledge in Cyberworlds},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {88-D},
number = {5},
pages = {880--887},
year = {2005},
url = {https://doi.org/10.1093/ietisy/e88-d.5.880},
doi = {10.1093/IETISY/E88-D.5.880},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/MaretC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/SchneiderC05,
author = {Marvin Oliver Schneider and
Jacques Calmet},
title = {Fibered Guard - {A} Hybrid Intelligent Approach to Denial of Service
Prevention},
booktitle = {2005 International Conference on Computational Intelligence for Modelling
Control and Automation {(CIMCA} 2005), International Conference on
Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
2005), 28-30 November 2005, Vienna, Austria},
pages = {121--127},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CIMCA.2005.1631252},
doi = {10.1109/CIMCA.2005.1631252},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cimca/SchneiderC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/YangC05,
author = {Yi Yang and
Jacques Calmet},
title = {OntoBayes: An Ontology-Driven Uncertainty Model},
booktitle = {2005 International Conference on Computational Intelligence for Modelling
Control and Automation {(CIMCA} 2005), International Conference on
Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
2005), 28-30 November 2005, Vienna, Austria},
pages = {457--463},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CIMCA.2005.1631307},
doi = {10.1109/CIMCA.2005.1631307},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cimca/YangC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cw/MaretC04,
author = {Pierre Maret and
Jacques Calmet},
title = {Modeling Corporate Knowledge within the Agent Oriented Abstraction},
booktitle = {3rd International Conference on Cyberworlds {(CW} 2004), 18-20 November
2004, Tokyo, Japan},
pages = {224--231},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CW.2004.46},
doi = {10.1109/CW.2004.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cw/MaretC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/MaretHC04,
author = {Pierre Maret and
Mark Hammond and
Jacques Calmet},
editor = {Marie{-}Pierre Gleizes and
Andrea Omicini and
Franco Zambonelli},
title = {Virtual Knowledge Communities for Corporate Knowledge Issues},
booktitle = {Engineering Societies in the Agents World V, 5th InternationalWorkshop,
{ESAW} 2004, Toulouse, France, October 20-22, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3451},
pages = {33--44},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11423355\_3},
doi = {10.1007/11423355\_3},
timestamp = {Mon, 07 Oct 2019 16:15:28 +0200},
biburl = {https://dblp.org/rec/conf/esaw/MaretHC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/EndsuleitC04,
author = {Regine Endsuleit and
Jacques Calmet},
title = {Introducing Robust and Private Computation into Grid Technology},
booktitle = {13th {IEEE} International Workshops on Enabling Technologies {(WETICE}
2004), Infrastructure for Collaborative Enterprises, 14-16 June 2004,
Modena, Italy},
pages = {303--308},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ENABL.2004.40},
doi = {10.1109/ENABL.2004.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/EndsuleitC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enviroinfo/KampfIDC03,
author = {Charlotte K{\"{a}}mpf and
J{\"{u}}rgen Ihringer and
Anusch Daemi{-}Ahwazi and
Jacques Calmet},
editor = {Albrecht Gnauck and
Ralph Heinrich},
title = {Agent-Based Expert Information Retrieval for Flood-Risk Management},
booktitle = {17th International Conference Informatics for Environmental Protection,
EnviroInfo 2003, Cottbus, Germany, September 24-26, 2003},
pages = {274--281},
publisher = {Metropolis, Marburg},
year = {2003},
url = {http://iai-uiserv1.iai.fzk.de/ictensure/site?mod=litdb\&\#38;subject=art\&\#38;pid=L9ED87373\&\#38;action=detail},
timestamp = {Fri, 08 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enviroinfo/KampfIDC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/CalmetDEM03,
author = {Jacques Calmet and
Anusch Daemi{-}Ahwazi and
Regine Endsuleit and
Thilo Mie},
editor = {Andrea Omicini and
Paolo Petta and
Jeremy Pitt},
title = {A Liberal Approach to Openness in Societies of Agents.},
booktitle = {Engineering Societies in the Agents World IV, 4th International Workshop,
{ESAW} 2003, London, UK, October 29-31, 2003, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3071},
pages = {81--92},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25946-6\_5},
doi = {10.1007/978-3-540-25946-6\_5},
timestamp = {Fri, 08 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esaw/CalmetDEM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CalmetKT02,
author = {Jacques Calmet and
Peter Kullmann and
Morio Taneda},
title = {Composite Distributive Lattices as Annotation Domains for Mediators},
journal = {Ann. Math. Artif. Intell.},
volume = {36},
number = {3},
pages = {263--277},
year = {2002},
url = {https://doi.org/10.1023/A:1016099113173},
doi = {10.1023/A:1016099113173},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/CalmetKT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/MannCK02,
author = {Zolt{\'{a}}n {\'{A}}d{\'{a}}m Mann and
Jacques Calmet and
Peter Kullmann},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Testing Access to External Information Sources in a Mediator Environment},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {111},
publisher = {Kluwer},
year = {2002},
timestamp = {Mon, 22 Jul 2002 15:00:50 +0200},
biburl = {https://dblp.org/rec/conf/pts/MannCK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2002,
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5},
doi = {10.1007/3-540-45470-5},
isbn = {3-540-43865-3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/CalmetKT00,
author = {Jacques Calmet and
Peter Kullmann and
Morio Taneda},
editor = {John A. Campbell and
Eugenio Roanes{-}Lozano},
title = {Composite Distributive Lattices as Annotation Domains for Mediators},
booktitle = {Artificial Intelligence and Symbolic Computation, International Conference
{AISC} 2000 Madrid, Spain, July 17-19, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1930},
pages = {65--77},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44990-6\_5},
doi = {10.1007/3-540-44990-6\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/CalmetKT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BertoliCGH99,
author = {Piergiorgio Bertoli and
Jacques Calmet and
Fausto Giunchiglia and
Karsten Homann},
title = {Specification and Integration of Theorem Provers and Computer Algebra
Systems},
journal = {Fundam. Informaticae},
volume = {39},
number = {1-2},
pages = {39--57},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-391203},
doi = {10.3233/FI-1999-391203},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BertoliCGH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalmetK99,
author = {Jacques Calmet and
Peter Kullmann},
title = {Meta Web Search with {KOMET}},
booktitle = {Proceedings of the {IJCAI-99} Workshop on Intelligent Information
Integration, Held on July 31, 1999 in conjunction with the Sixteenth
International Joint Conference on Artificial Intelligence City Conference
Center, Stockholm, Sweden},
series = {{CEUR} Workshop Proceedings},
volume = {23},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-23/calmet-ijcai99-iii.ps},
timestamp = {Fri, 10 Mar 2023 16:23:31 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CalmetK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/CalmetK99,
author = {Jacques Calmet and
Peter Kullmann},
editor = {Zbigniew W. Ras and
Andrzej Skowron},
title = {A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution
Engines for Data-Intensive Logic Applications},
booktitle = {Foundations of Intelligent Systems, 11th International Symposium,
{ISMIS} '99, Warsaw, Poland, June 8-11, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1609},
pages = {475--483},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/BFb0095135},
doi = {10.1007/BFB0095135},
timestamp = {Sat, 19 Oct 2019 20:13:57 +0200},
biburl = {https://dblp.org/rec/conf/ismis/CalmetK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/BertoliCGH98,
author = {Piergiorgio Bertoli and
Jacques Calmet and
Fausto Giunchiglia and
Karsten Homann},
editor = {Jacques Calmet and
Jan A. Plaza},
title = {Specification and Integration of Theorem Provers and Computer Algebra
Systems},
booktitle = {Artificial Intelligence and Symbolic Computation, International Conference
AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1476},
pages = {94--106},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055905},
doi = {10.1007/BFB0055905},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/BertoliCGH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/1998,
editor = {Jacques Calmet and
Jan A. Plaza},
title = {Artificial Intelligence and Symbolic Computation, International Conference
AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1476},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055897},
doi = {10.1007/BFB0055897},
isbn = {3-540-64960-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CalmetC97,
author = {Jacques Calmet and
John A. Campbell},
title = {A Perspective on Symbolic Mathematical Computing and Artificial Intelligence},
journal = {Ann. Math. Artif. Intell.},
volume = {19},
number = {3-4},
pages = {261--277},
year = {1997},
url = {https://doi.org/10.1023/A:1018920108903},
doi = {10.1023/A:1018920108903},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/CalmetC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CalmetH97,
author = {Jacques Calmet and
Karsten Homann},
title = {Towards the Mathematics Software Bus},
journal = {Theor. Comput. Sci.},
volume = {187},
number = {1-2},
pages = {221--230},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(97)00066-2},
doi = {10.1016/S0304-3975(97)00066-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CalmetH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/CalmetJS97,
author = {Jacques Calmet and
Sebastian Jekutsch and
Joachim Sch{\"{u}}},
editor = {W. A. Gray and
Per{-}{\AA}ke Larson},
title = {A Generic Query-Translation Framework for a Mediator Architecture},
booktitle = {Proceedings of the Thirteenth International Conference on Data Engineering,
April 7-11, 1997, Birmingham, {UK}},
pages = {434--443},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICDE.1997.581980},
doi = {10.1109/ICDE.1997.581980},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/CalmetJS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/CalmetJKS97,
author = {Jacques Calmet and
Sebastian Jekutsch and
Peter Kullmann and
Joachim Sch{\"{u}}},
editor = {Zbigniew W. Ras and
Andrzej Skowron},
title = {{KOMET} - {A} System for the Integration of Heterogeneous Information
Sources},
booktitle = {Foundations of Intelligent Systems, 10th International Symposium,
{ISMIS} '97, Charlotte, North Carolina, USA, October 15-18, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1325},
pages = {318--327},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63614-5\_31},
doi = {10.1007/3-540-63614-5\_31},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/CalmetJKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/disco/HomannC96,
author = {Karsten Homann and
Jacques Calmet},
editor = {Jacques Calmet and
Carla Limongelli},
title = {Structures for Symbolic Mathematical Reasoning and Computation},
booktitle = {Design and Implementation of Symbolic Computation Systems, International
Symposium, {DISCO} '96, Karlsruhe, Germany, September 18-20, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1128},
pages = {216--227},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61697-7\_23},
doi = {10.1007/3-540-61697-7\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/disco/HomannC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CalmetH96,
author = {Jacques Calmet and
Karsten Homann},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Classification of Communication and Cooperation Mechanisms for Logical
and Symbolic Computation Systems},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {221--234},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 13:54:49 +0100},
biburl = {https://dblp.org/rec/conf/frocos/CalmetH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/CalmetDJS96,
author = {Jacques Calmet and
Dirk Debertin and
Sebastian Jekutsch and
Joachim Sch{\"{u}}},
editor = {Stanley Y. W. Su},
title = {An Executable Graphical Representation of Mediatory Information Systems},
booktitle = {Proceedings of the Twelfth International Conference on Data Engineering,
February 26 - March 1, 1996, New Orleans, Louisiana, {USA}},
pages = {124--131},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICDE.1996.492096},
doi = {10.1109/ICDE.1996.492096},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/CalmetDJS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/CalmetLRS96,
author = {Jacques Calmet and
James J. Lu and
Maria Rodriguez and
Joachim Sch{\"{u}}},
editor = {Zbigniew W. Ras and
Maciej Michalewicz},
title = {Signed Formula Logic Programming: Operational Semantics and Applications
(Extended Abstract)},
booktitle = {Foundations of Intelligent Systems, 9th International Symposium, {ISMIS}
'96, Zakopane, Poland, June 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1079},
pages = {202--211},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61286-6\_145},
doi = {10.1007/3-540-61286-6\_145},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/CalmetLRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/1996,
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9},
doi = {10.1007/3-540-61732-9},
isbn = {3-540-61732-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/disco/1996,
editor = {Jacques Calmet and
Carla Limongelli},
title = {Design and Implementation of Symbolic Computation Systems, International
Symposium, {DISCO} '96, Karlsruhe, Germany, September 18-20, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1128},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61697-7},
doi = {10.1007/3-540-61697-7},
isbn = {3-540-61697-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/disco/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BallarinHC95,
author = {Clemens Ballarin and
Karsten Homann and
Jacques Calmet},
editor = {A. H. M. Levelt},
title = {Theorems and Algorithms: An Interface between Isabelle and Maple},
booktitle = {Proceedings of the 1995 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '95, Montreal, Canada, July 10-12, 1995},
pages = {150--157},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/220346.220366},
doi = {10.1145/220346.220366},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BallarinHC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/1994,
editor = {Jacques Calmet and
John A. Campbell},
title = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {958},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60156-2},
doi = {10.1007/3-540-60156-2},
isbn = {3-540-60156-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HomannC94,
author = {Karsten Homann and
Jacques Calmet},
editor = {Jacques Calmet and
John A. Campbell},
title = {Combining Theorem Proving and Symbolic Mathematical Computing},
booktitle = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {958},
pages = {18--29},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60156-2\_3},
doi = {10.1007/3-540-60156-2\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/HomannC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/CalmetT94,
author = {Jacques Calmet and
Indra A. Tjandra},
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {Building Bridges Between Knowledge Representation and Algebraic Specification},
booktitle = {Methodologies for Intelligent Systems, 8th International Symposium,
{ISMIS} '94, Charlotte, North Carolina, USA, October 16-19, 1994,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {869},
pages = {295--304},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58495-1\_30},
doi = {10.1007/3-540-58495-1\_30},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/CalmetT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/disco/CalmetT93,
author = {Jacques Calmet and
Indra A. Tjandra},
editor = {Alfonso Miola},
title = {A Unified-Algebra-Based Specification Language for Symbolic Computing},
booktitle = {Design and Implementation of Symbolic Computation Systems, International
Symposium, {DISCO} '93, Gmunden, Austria, September 15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {722},
pages = {122--133},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0013173},
doi = {10.1007/BFB0013173},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/disco/CalmetT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/1992,
editor = {Jacques Calmet and
John A. Campbell},
title = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {737},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57322-4},
doi = {10.1007/3-540-57322-4},
isbn = {3-540-57322-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/CalmetC92,
author = {Jacques Calmet and
John A. Campbell},
editor = {Jacques Calmet and
John A. Campbell},
title = {Artificial Intelligence and Symbolic Mathematical Computation},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {737},
pages = {1--19},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57322-4\_1},
doi = {10.1007/3-540-57322-4\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/CalmetC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/CalmetHT92,
author = {Jacques Calmet and
Karsten Homann and
Indra A. Tjandra},
editor = {Jacques Calmet and
John A. Campbell},
title = {Unified Domains and Abstract Computational Structures},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {737},
pages = {166--177},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57322-4\_11},
doi = {10.1007/3-540-57322-4\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/CalmetHT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/CalmetTB91,
author = {Jacques Calmet and
Indra A. Tjandra and
Guilherme Bittencourt},
title = {{MANTRA:} a shell for hybrid knowledge representation},
booktitle = {Third International Conference on Tools for Artificial Intelligence,
{TAI} '91, San Jose, CA, USA, November 10-13, 1991},
pages = {164--171},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/TAI.1991.167091},
doi = {10.1109/TAI.1991.167091},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/CalmetTB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/CalmetT91,
author = {Jacques Calmet and
Indra A. Tjandra},
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {Representation of Mathematical Knowledge},
booktitle = {Methodologies for Intelligent Systems, 6th International Symposium,
{ISMIS} '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {542},
pages = {469--478},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54563-8\_110},
doi = {10.1007/3-540-54563-8\_110},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/CalmetT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/UlmerC90,
author = {Felix Ulmer and
Jacques Calmet},
editor = {Shunro Watanabe and
Morio Nagata},
title = {On Liouvillian Solutions of Homogeneous Linear Differential Equations},
booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '90, Tokyo, Japan, August 20-24, 1990},
pages = {236--243},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/96877.96936},
doi = {10.1145/96877.96936},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/UlmerC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CalmetL87,
author = {Jacques Calmet and
Denis Lugiez},
title = {A knowledge-based system for computer algebra},
journal = {{SIGSAM} Bull.},
volume = {21},
number = {1},
pages = {7--13},
year = {1987},
url = {https://doi.org/10.1145/24559.24560},
doi = {10.1145/24559.24560},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/CalmetL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaecc/Calmet87,
author = {Jacques Calmet},
editor = {Lloren{\c{c}} Huguet i Rotger and
Alain Poli},
title = {Towards an Expert System for Error-Correcting Codes: {SECC}},
booktitle = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes,
5th International Conference, AAECC-5, Menorca, Spain, June 15-19,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {356},
pages = {75--87},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51082-6\_71},
doi = {10.1007/3-540-51082-6\_71},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/aaecc/Calmet87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ibm/Calmet87,
author = {Jacques Calmet},
editor = {Rainer Jan{\ss}en},
title = {Intelligent Computer Algebra System: Myth, Fancy or Reality?},
booktitle = {Trends in Computer Algebra, International Symposium, Bad Neuenahr,
Germany, May 19-21, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {296},
pages = {2--11},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18928-9\_2},
doi = {10.1007/3-540-18928-9\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ibm/Calmet87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaecc/CalmetCL86,
author = {Jacques Calmet and
Hubert Comon and
Denis Lugiez},
editor = {Thomas Beth and
Michael Clausen},
title = {Type Inference Using Unification in Computer Algebra},
booktitle = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes,
4th International Conference, AAECC-4, Karlsruhe, FRG, September 23-26,
1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {307},
pages = {25--28},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0039176},
doi = {10.1007/BFB0039176},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/aaecc/CalmetCL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaecc/1985,
editor = {Jacques Calmet},
title = {Algebraic Algorithms and Error-Correcting Codes, 3rd International
Conference, AAECC-3, Grenoble, France, July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {229},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16776-5},
doi = {10.1007/3-540-16776-5},
isbn = {3-540-16776-5},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaecc/1985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Calmet85,
author = {Jacques Calmet},
title = {Introducing computer algebra to users and to students},
journal = {{ACM} Commun. Comput. Algebra},
volume = {18-19},
number = {4-1},
pages = {10--14},
year = {1985},
url = {https://doi.org/10.1145/1089355.1089358},
doi = {10.1145/1089355.1089358},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/Calmet85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Calmet85,
author = {Jacques Calmet},
title = {Algebraic algorithms in GF(q)},
journal = {Discret. Math.},
volume = {56},
number = {2-3},
pages = {101--109},
year = {1985},
url = {https://doi.org/10.1016/0012-365X(85)90017-2},
doi = {10.1016/0012-365X(85)90017-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/Calmet85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaecc/Calmet84,
author = {Jacques Calmet},
editor = {Alain Poli},
title = {Manipulation of recurrence relations in computer algebra},
booktitle = {Applied Algebra, Algorithms and Error-Correcting Codes, 2nd International
Conference, AAECC-2, Toulouse, France, October 1-5, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {228},
pages = {242--252},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16767-6\_68},
doi = {10.1007/3-540-16767-6\_68},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/aaecc/Calmet84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaecc/CalmetB84,
author = {Jacques Calmet and
Marc Bergman},
editor = {Alain Poli},
title = {Some design principles for a mathematical knowledge representation
system: a new approach to scientific calculation},
booktitle = {Applied Algebra, Algorithms and Error-Correcting Codes, 2nd International
Conference, AAECC-2, Toulouse, France, October 1-5, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {228},
pages = {253--265},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16767-6\_69},
doi = {10.1007/3-540-16767-6\_69},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaecc/CalmetB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CalmetC83,
author = {Jacques Calmet and
Ian Cohen},
title = {Synthesizing recurrence relations {I:} analysis of the problems},
journal = {{SIGSAM} Bull.},
volume = {17},
number = {2},
pages = {18--25},
year = {1983},
url = {https://doi.org/10.1145/1089330.1089334},
doi = {10.1145/1089330.1089334},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/CalmetC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/CalmetS83,
author = {Jacques Calmet and
Robert{-}Michel di Scala},
title = {Pascal as host language of computer algebra systems},
journal = {{ACM} {SIGPLAN} Notices},
volume = {18},
number = {7},
pages = {15--24},
year = {1983},
url = {https://doi.org/10.1145/988216.988218},
doi = {10.1145/988216.988218},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/CalmetS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/CalmetL82,
author = {Jacques Calmet and
R{\"{u}}diger Loos},
editor = {Jacques Calmet},
title = {Deterministic Versus Probabilistic Factorization of Integral Polynomials},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {117--125},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_14},
doi = {10.1007/3-540-11607-9\_14},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/CalmetL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocal/1982,
editor = {Jacques Calmet},
title = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9},
doi = {10.1007/3-540-11607-9},
isbn = {3-540-11607-9},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/1982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CalmetL80,
author = {Jacques Calmet and
R{\"{u}}diger Loos},
title = {An Improvement of Rabin's Probabilistic Algorithm for Generating Irreducible
Polynomials over GF(p)},
journal = {Inf. Process. Lett.},
volume = {11},
number = {2},
pages = {94--95},
year = {1980},
url = {https://doi.org/10.1016/0020-0190(80)90011-3},
doi = {10.1016/0020-0190(80)90011-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/CalmetL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Calmet74,
author = {Jacques Calmet},
title = {Computer recognition of divergences in Feynman diagrams},
journal = {{SIGSAM} Bull.},
volume = {8},
number = {3},
pages = {74--75},
year = {1974},
url = {https://doi.org/10.1145/1086837.1086849},
doi = {10.1145/1086837.1086849},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/Calmet74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
