IAKS Calmet - Publications

Selected publications

2009

Jacques Calmet, On the Quantification of Culture , abstract of invited talk at "Mutiagent Systems, Robotics and Cybernetics: Theory and Practice", InterSymp 2009, Baden-Baden, August 2009.
P. Maret and J. Calmet Agent-based knowledge communities , International Journal of Computer Science and Applications, Vol. 6, No. 2, pp 1-18, 2009.
J. Calmet and P. Maret, guest editors Preface , Special issue of IJCSA, Vol. 6, No. 2, 2009
J. Calmet and F. Ollivier, guest editors. Preface Special issue "Jacobi's Legacy", AAECC Vol. 20 No. 1, pages 1-4, 2009.
J. Calmet and V. Sorge, guest editors Preface Special Issue "Artificial Intelligence and Symbolic Computation", AMAI. To appear,2009.
J. Calmet A Framework for Open Mechanized Reasoning. Invited talk at Calculemus 2009. In Conference on Intelligent Computer Mathematics . Eds. J. Carette et al., Springer LNCS 5625.
J. Calmet, P. Maret and M. Schneider, Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises. To be presented at the WIVE workshop (PRO-VE 2009 IFIP conference), Thessaloniki, October 2009.

2008

Th. Mie: Polylogarithmic two-round argument systems, Journal of Mathematical Cryptology, Volume 2, Issue 4, pp. 343-363, 2008.
P. Maret, J. Subercaze, J. Calmet, P. Pawar: A Service Oriented Framework for Mobile Business Virtual Communities, Proceedings of PRO-VE'08, 9th IFIP Working Conference on Virtual Enterprises and Collaborative Networks, L. M. Camarinha-Matos and W. Picard Eds. pp. 493-500, Springer, 2008.
P. Maret, J. Subercaze, J. Calmet: Peer to Peer Model for Virtual Knowledge Communities. Proceedings of AIKED 2008, Cambridge, UK. pp. 365-370, 2008.
J. Calmet: Abstraction Based Information Technology. Abstract of invited talk at ACCAT 2008, Budapest, March 2008.
J. Calmet, Y. Yang: From Agent Oriented Abstraction to Decision Making Under Uncertain Knowledge. In Lasker and Pfalzgraf eds., Proceedings of the Symposium on Multiagent Systems, Robotics and Cybernetics, InterSymp-2007, Baden-Baden, August 2007. Ed. , pp. 7-12, 2008
J. Calmet and W. Geiselmann, In Memoriam Thomas Beth . AAECC Vol. 19 pp. 175-176, 2008.
J. Calmet and W. Geiselmann, Guest editors, Special issue "In Memoriam Thomas Beth", AAECC, Vol. 19 No. 3, 2008.
J. Calmet, W. Geiselmann and J. Müller-Quade eds., Mathematical Methods in Computer Science- Essays in Memory of Thomas Beth. LNCS 5393, Springer 2008
J. Calmet, W. Geiselmann and J. Müller-Quade, "Preface", Essays in Memory Thomas Beth, LNCS 5393, pp. vi-viii, 2008
J. Calmet A Framework for Open Mechanized Reasoning , Accepted for presentation at the workshop on Game Theory, Agents and Law. Jurix Conference. December 2008. Florence, Italy.

2007

R. Endsuleit: Agent Alliances: A Means for Practical Treshold Signatures. Proceedings of IEEE ARES, April 2007, Vienna, Austria, 2007.
Y. Yang: Ein Rahmenwerk für Entscheidungsunterstützungssysteme bei unscharfem Wissen. Proceedings of the Final Symposium of the DFG research training groups "natural disaster", pp. 155-167, July, Karlsruhe, 2007.

2006

J. Calmet, X. Calmet: Distance between Hamiltonians based on Relative Entropy. Preprint Nov. 2006.
M. Schneider, J. Calmet: Generic Denial of Service Prevention through a Logical Fibering Algorithm . To appear in proc. of ISP, Venice, Italy, Nov. 2006.
M. Schneider, J. Calmet: A Logical Fibering Approach to Denial of Service Prevention. To appear in WSEAS Transactions on Systems, 2006.
Y. Yang, J. Calmet: From the OntoBayes Model to a Service Oriented Decision Support System To appear in Proceedings of International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA'06), 29 November-1 December 2006, Sydney, Australia.
D. Huang, Y. Yang, J. Calmet: A Knowledge-based Security Policy Framework for Business Process Management To appear in Proceedings of International Conference on Intelligent Agents, Web Technologies and Internet Commerce(IAWTIC06), 29 November-1 December 2006, Sydney, Australia.
D. Huang: Semantic Descriptions of Web Services Security Constraints. Proceedings of International Symposium on Service-Oriented System Engineering (SOSE2006), 25-27 October 2006, Shanghai, China
D. Huang, Y. Yang, J. Calmet: Modeling Web Services Policy with Corporate Knowledge To appear in proc. of ICEBE 2006, IEEE, Shanghai, China, October 2006.
M. Minzlaff, J. Calmet: A new Definition for Passivity and its Relation to Coherence. Proc. of AISC 2006, LNAI 4120, Springer Verlag.
Y. Yang, J.Calmet: Decision Making in Ontology-Based Uncertainty Model. Proc. of 21st European Conference on Operation Research, Reykjavik, Iceland, 2006.
Y. Yang, J. Calmet: OntoBayes Approach to Corporate Knowledge. Proceedings of ISMIS, Bari, Italy, 2006.
J. Calmet, J. Subercaze, P. Maret: Simulation in Virtual Knowledge Communities. Proc. of SOIC, Orlando, Florida, 2006.
R. Endsuleit, T. Mie: Anonymous and Censorship-resistant P2P Filesharing. Proceedings of IEEE ARES, April 2006, Vienna, Austria, 2006.

2005

J. Calmet, P. Maret:Abstraction de systemes cognitifs, to appear in Magazine du Departement Informatique de l'INSA 2006.
P. Maret, J. Calmet: Un modele multi-agents pour la gestion des connaissances, to appear in Magazine du Departement Informatique de l'INSA 2006.
J. Calmet, T. Mie: Knowledge Management in the Context of Human Centered Computing, proc. of ISMICK 2005.
Y. Yang, J. Calmet: Onto Bayes: An Ontology-Driven Uncertainty Model; To be presented at IAWTIC, Vienna, November 2005.
M. Schneider, J. Calmet: Fibered Guard - A Hybrid Intelligent Approach to Denial of Service Prevention; Proc. of IAWTIC, Vienna, November 2005.
D. Huang: Semantic Policy-based Security Framework for Business Processes; To appear in proc. of The Semantic Web and Policy Workshop, Galway, Ireland, November 2005.
D. Huang, S. Bracher: Towards Evidence-based Trust Brokering; Proc. of SECOVAL, 2005.
R. Endsuleit, J. Calmet: A Security Analysis on JADE(-S) V. 3.2; Proc. of NORDSEC, Estonia, October 2005.
J. Calmet, R. Endsuleit, P. Maret: A Multi-Agent Model for Secure and Scalable E-Business Transactions; To appear in Proc. of IIAS 2005, Baden-Baden, August 2005.
M. Schneider, J. Calmet: Denial of Service Prevention through Logical Fibering; To appear in Proc. of IIAS 2005, Baden-Baden, August 2005.
J. Calmet, X. Calmet: Differential Entropy on Statistical Spaces; To appear in Proc. of CITSA 2005, Orlando, July 2005.
P. Maret , J. Calmet: Corporate Knowledge in Cyberworlds, IEICE Trans.Inf. & Syst., Vol E88-D, No. 5, pp. 880-887, 2005.
X. Calmet, J. Calmet: Dynamics of the Fisher Information Metric, Physical Review E. 71, 056109, 2005.

2004

J. Calmet, R. Endsuleit: An Agent Framework for Legal Validation of E-Transactions, The Law of Electronic Agents (LEA), pp. 181-184, 2004.
J. Calmet, A. Daemi: Identification of Ontologies, submitted
P. Maret, M. Hammond, J. Calmet: Knowledge Sharing for Ambient Intelligence, submitted
P. Maret, J. Calmet: Agent-Based Approach for Virtual Knowledge Communities, submitted
P. Maret, M. Hammond, J. Calmet: Multi Agent Based Virtual Knowledge Communities for Distributed Knowledge Management, submitted
J. Calmet, V. Lefevre: Toward the Integration of Numerical Computations into the OMCS Framework, to be presented at Computer Algebra and Scientific Computing (CASC), 2004.
R. Endsuleit, J. Calmet: Introducing Robust and Private Computation into Grid Technology, IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE), 2004.
R. Endsuleit, A. Wagner: Attacks on and Countermeasures for Secure Multi-Agent Computation, SAM 2004, pp. 181-184, 2004.
J. Calmet, X. Calmet: Metric on a Statistical Space-Time, submitted, 2004.
J. Calmet, P. Maret, R. Endsuleit: Agent-Oriented Abstraction, submitted to RACSAM, draft version, 2004.
J. Calmet, A. Daemi: From entropy to ontology, AT2AI-4 - Fourth International Symposium "From Agent Theory to Agent Implementation" at the 17th European Meeting on Cybernetics and Systems Research (EMCSR), Vienna, April 2004.

2003

J. Calmet, A. Daemi, R. Endsuleit, T. Mie: A Liberal Approach to Openness in Societies of Agents, Fourth International Workshop on Engineering Societies in the Agents World (ESAW), London, 2003
C. Kaempf, J. Ihringer, A. Daemi, J. Calmet: Agent-based information retrieval for flood management research, Proceedings of EnviroInfo 17th, Cottbus, 2003
J. Calmet: Some grand mathematical challenges in mechanized mathematics, Proceedings of Calculemus II, Rom, 2003
R. Endsuleit, T. Mie:Secure Multi-Agents Computations, Proceedings of International Conference on Security and Management (CSREA) , Las Vegas, 2003