Fakultät für Informatik | KIT |  Deutsch  | English

Kontakt

Am Fasanengarten 5

Geb. 50.34

D-76131 Karlsruhe

Tel.: + 49 721 608-44205
Fax: + 49 721 608-55022

E-Mail: crypto-info(at)iti.kit.edu

Aktuelles

Jörn Müller-Quade wird acatech-Mitglied

Am 1. Dezember 2016 wurde Prof. Jörn Müller-Quade aufgrund seiner Verdienste und Leistungen auf dem Gebiet der theoretischen Informatik und der IT-Sicherheit in die deutsche Akademie der Technikwissenschaften(acatech) aufgenommen. Die acatech ist eine interdisziplinäre, gemeinnützige Organisation, die hauptsächlich in beratender Funktion agiert und das das Gebiet der deutschen Technikwissenschaft auf nationaler und internationaler Ebene vertritt.

Link zur acatech

ERC Consolidator Grant für Prof. Dennis Hofheinz

Prof. Dennis Hofheinz hat für das Projekt „PREP-CRYPTO: Preparing Cryptography for Modern Applications“ den Consolidator Grant des European Research Council (ERC) erhalten. Das Projekt beschäftigt sich neue kryptographische Bausteine für Bereiche wie Big Data und Cloud Computing zu entwickeln und wird in den nächsten fünf Jahren mit rund zwei Millionen Euro gefördert.

Link zur offiziellen Pressemitteilung

Prof. Jörn Müller-Quade und PD Oliver Raabe auf Smart Data Jahreskongress

Am 14. November fand in Berlin der vom Bundesministerium für Wirtschaft und Energie(BMWi) der Jahreskongress Smart Data 2016 statt. Der Kongress stand dieses Jahr unter dem Thema Datenschutz. So hielten Prof. Jörn Müller-Quade und PD Oliver Raabe einen Impulsvortrag zum Thema "Möglichkeiten des technischen Datenschutzes".

Link zur Veranstaltung 

Prof. Jörn Müller-Quade bei CyberRisk-Kongress

"Wie gefährlich sind Cyberattacken?" BadenTV berichtet über den CyberRisk-Kongress, der am 4. Oktober in den Räumen der Firma Vollack stattfand. Dabei ging es um die Gefahren von Cyberattacken sowohl für Privatpersonen als auch für Unternehmen. Unter anderem nahm auch Prof. Jörn Müller-Quade teil und hielt einen Vortrag zum Thema Beweisbare Sicherheit.

Link zum Beitrag von BadenTV.

Link zur Webseite des CyberRisk-Kongress.

Dokumentation zu ZKM-Ausstellung

Die Dokumentation zur ZKM-Ausstellung "Global Control and Censorship" ist nun online.

KASTEL-PI bei Baden-TV

Prof. Jörn Müller-Quade gab Baden-TV ein Interview zum Thema Keyless-Go.

KASTEL beim 8. Tag der IT-Sicherheit

Beim 8. Tag der IT-Sicherheit führten KASTEL-Mitarbeiter das Blurry-Box-Verfahren vor.

Prof. Müller-Quade beim Big Tech Day 9

Beim 9. Big Tech Day nahm Prof. Müller-Quade mit dem Vortrag "No Cat-and-Mouse Game - Models, Assumptions and Evidence in Cryptography and IT Security" teil.

3. Platz bei CTF

Am 26. Mai fand in Amsterdam der HITB CTF statt. Unter 20 teilnehmenden internationalen Teams gelang es dem KIT-Team, den 3. Platz zu belegen und 1000$ Preisgeld zu gewinnen.

Gründungsmitglied von Clusternetzwerk

Das KIT ist mit KASTEL Gründungsmitglied eines europäischen Netzwerks von Sicherheitsclustern. Sechs europäische Cluster aus den Bereichen zivile Sicherheit und IT-Sicherheit bereiten den Boden für eine engere Zusammenarbeit europäischer Unternehmen und Forschungseinrichtungen.

Ausstellung "Global Control and Censorship" im ZKM verlängert

Die Ausstellung "Global Control and Censorship", zu welcher das KIT mehrere Exponate beigesteuert hat, wird nun bis zum 7. August 2016 verlängert.

Uni-Chat mit der FAZ

Die Online-Sprechstunde der FAZ fand am 3.5. statt und gab Abiturienten die Gelegenheit, ihre Fragen zum Informatik- und Mathematikstudium an Prof. Müller-Quade und Prof. Beutelsbacher zu stellen.

Prof. Jörn Müller-Quade bei "Deutschlands größter Sprechstunde"

Am 3. Mai findet, organisiert von der FAZ, "Deutschlands größte Sprechstunde" zum Thema Mathematik und Informatik statt, an welcher Prof. Müller-Quade teilnimmt.

Ministerin Bauer weiht Profilregion Mobilität ein

Ministerin Theresia Bauer und Staatssekretär Peter Hofelich sprachen bei der Eröffnung der Profilregion Mobilitätssysteme. KASTEL ist an der zweijährigen Pilotphase beteiligt.

Bundeskanzlerin besucht KASTEL auf der CeBIT

Auf der CeBit 2016 besuchte Bundeskanzlerin Angela Merkel den Gemeinschaftsstand KIT und FZI, auf dem KASTEL das mit dem deutschen IT-Sicherheitspreis ausgezeichnete Blurry-Box-Verfahren vorstellte.

SecUnity-Kick-Off

Am 1.1.16 startete das Verbundprojekt secUnity (Supporting the security community).

In diesem BMBF Projekt wollen 7 Arbeitsgruppen von 5 Standorten die europäische IT-Sicherheitsforschung in Deutschland stärken. Am 29.1.16 fand am KIT das Kick-Off-Treffen des Projekts statt.

Prof. Jörn Müller-Quade als Gastredner bei 20-jährigem Helmholtz-Jubiläumsempfang

Prof. Jörn Müller-Quade hielt am 1.12.15 einen Gastvortrag zum Anlass des 20-jährigen Jubiläums der Helmholtz-Gemeinschaft.

Best-Paper-Award auf der ProvSec'15

Prof. Jörn-Müller Quade und Mitarbeiter erhielten für ihr Papier "From Stateful Hardware to Resettable Hardware Using Symmetric Assumptions" den begehrten Best-Paper-Award der diesjährigen

ProvSec-Konferenz, ein Forum für Arbeiten im Bereich "Beweisbare Sicherheit".

Prof. Jörn Müller-Quade bei Podiumsdiskussion

Am 10.12.15 nahm Prof. Jörn Müller-Quade bei einer öffentlichen Podiumsdiskussion zum Thema "IT-Sicherheit und Datenschutz" mit weiteren hochrangigen Gästen wie Bundesjustizministering a.D. Frau Leutheusser-Schnarrenberger teil.

Großer Erfolg für Prof. Dennis Hofheinz auf der TCC 2016

Prof. Dennis Hofheinz ist mit seinen Mitarbeitern auf der Theory of Cryptography Conference (TCC) 2016 gleich mit vier Papieren vertreten. Die TCC ist eine von der International Association for Cryptologic Research (IACR) ausgerichtete Konferenz im Bereich Kryptographie und eines der wichtigsten Foren für theoretische Resultate in diesem Bereich.

Prof. Jörn Müller-Quade beim ZDF-Morgenmagazin

Prof. Jörn Müller-Quade gab beim ZDF-Morgenmagazin vom 26.11.15 Auskunft

über die Kommunikationsmöglichkeiten des Islamischen Staates.

"Das Digitale Ich braucht Verschlüsselung"

Prof. Jörn Müller-Quade hielt am 15.10.15 einen eingeladenen Vortrag auf der Konferenz "Das digitale Ich",

die von der Bundesdruckerei und der Frankfurter Allgemeinen Zeitung in Berlin veranstaltet wurde. Heise berichtet in seinem Artikel

"Das Digitale Ich braucht Verschlüsselung" über die Highlights der Konferenz und "den kleinen Professor mit der Fliege, der die Konferenz rockte".

Prof. Jörn Müller-Quade im FAZ-Interview

Im FAZ-Uni-Ratgeber werben Deutschlands beste Professoren für ihr Fach. Hier beantwortet Prof. Jörn Müller-Quade

in einem Video-Interview fragen zur Informatik und IT-Sicherheit.

Interview mit Prof. Jörn Müller-Quade auf MDR-Online

Prof. Jörn Müller-Quade stand am 20. Juni 2015 Deborah Manavi vom MDR SACHSEN zum Thema "Welche Auswirkungen haben Kryptographie, Internetspionage und die Nutzung von Social Media für unseren Alltag?" Rede und Antwort. Das Interview kann auf den WDR-Webseiten nachgelesen werden.

20 Jahre Helmholtz-Gemeinschaft

Am 24. und 25. Juni 2015 fand der Festakt "20 Jahre Helmholtz-Gemeinschaft" im Beisein von Angela Merkel sowie ein Symposium mit 20 Vorträgen statt. Prof. Jörn Müller-Quade war dabei mit einem Vortrag zum Thema "Kryptographie jenseits der Verschlüsselung" vertreten.

2013

  • Jacques Calmet and Pierre Maret, <link fileadmin/User/Calmet/papers/WIMS2013.pdf - download "Initiates file download">Toward a Trust Model for Knowledge-Based Communities</link>. To appear in the proceedings of WIMS Conference’13, june 12–14, 2013, Madrid, Spain. ACM Pub.
  • Jacques Calmet, Pierre Maret and Marvin Schneider, <link fileadmin/User/Calmet/papers/Intersymp2013.pdf - download "Initiates file download">Are Heuristic Turing Machines a Myth or a Goal?</link> Abstract of a talk to be presented at the 1st International Symposium on Mathematical and Software Modeling and Applications in Computer Science, AI, Robotics and Decision Support Systems. InterSymp 2013, July 29 - August 3, 2013, Baden-Baden, Germany

2012

  • Jacques Calmet, Guest editor, Special issue on Applications of Computer Algebra Annals of Mathematics and Artificial Intelligence (AMAI), vol. 64 Issue 4, 2012.
  • Jacques Calmet, Foreword on the relationship of computer algebra with mathematics and physics, AMAI vol. 64, Issue 4, pp. 337-342, 2012.
  • Jacques Calmet, Preface of the special issue on applications of computer algebra, AMAI vol. 64, Issue 4, pp. 335-336, 2012.
  • Jacques Calmet and Xavier Calmet, On a Formulation of Qubits in Quantum Field Theory, Physics Letters A 376 (2012), pp. 824-826. arXiv:1201.4460.
  • Jacques Calmet and Marvin Schneider, An Attempt at a Formal Specification of Cognitive Trust, Jochen Pfalzgraf's Memorial Symposium on Multiagent Systems, Robotics and Cybernetics: Theory and Practice. Eds. G.E. Lasker and O. Bartheye. 23nd Int. Conference on Systems Research, Informatics and Cybernetics, Baden-Baden, August 2011. Pub. IIAS, Canada. 2012.
  • Jacques Calmet and Marvin Schneider, Logical Fibering and Knowledge Bases, International Journal of Computer Science and Applications, IJCSA, Vol. 9, No. 2, pp. 42 – 52, 2012
  • Jacques Calmet and Marvin Schneider, Decision Making Modeled as Theorem Proving Process, International Journal of Decision Support System Technology (IJDSST). Special issue on "Networking Decision Making and Negotiation", volume 4 n°2 and volume 4 n°3 of 2012, forthcoming.

2011

  • Jacques Calmet and Xavier Calmet, <link http://sites.google.com/site/jfcalmet/qftbits.pdf?attredirects=0>On a Formulation of Qubits in Quantum Field Theory</link>, Draft 2011.
  • Jacques Calmet, <link http://sites.google.com/site/jfcalmet/ewg-dss_JC.pdf?attredirects=0>Decision Making as a Theorem Proving Process</link>, Abstract, 2011.
  • Jacques Calmet and Marvin Schneider, <link http://sites.google.com/site/jfcalmet/Inter2010JCandMS.pdf?attredirects=0>"Logical Fibering as Abstract Data Structure"</link>, Proc. Symposium on Multiagent Systems, Robotics and Cybernetics: Theory and Practice. Eds. G.E. Lasker and J. Pfalzgraf. 22nd Int. Conference on Systems Research, Informatics and Cybernetics, Baden-Baden, August 2010, pp. 1-5, 2011. Pub. IIAS, Canada.
  • Jacques Calmet, <link http://sites.google.com/site/jfcalmet/Metaverse.docx?attredirects=0>"Topological paths to interdisciplinarity"</link>, Accepted abstract.
  • Jacques Calmet and Xavier Calmet, <link http://sites.google.com/site/jfcalmet/distTheories.pdf?attredirects=0>"Distance between physical theories based on information theory"</link>, Mod. Phys. Lett. A, Vol. 26, No. 5 (2011) pp. 319-323.
  • Jacques Calmet, <link http://sites.google.com/site/jfcalmet/InterSymp2011.pdf?attredirects=0>"An Attempt at Formal Specification of Cognitive Trust"</link>. Abstract of invited talk at InterSymp 2011. August 2011. Paper forthcoming.
  • Jacques Calmet, <link http://sites.google.com/site/jfcalmet/sociology.pdf?attredirects=0> "An Attempt to Mechanize Sociology by Artificial Intelligence Methodologies"</link>. Accepted abstract for a chapter of a book on Sociology.

2010

  • S. Autexier, J. Calmet, D. Delahaye, P.D.F. Ion, L. Rideau, R. Rioboo, A.P. Sexton Eds, <link http://www.iks.kit.edu/fileadmin/User/Calmet/AbstractACA2010.pdf _blank external-link-new-window "Opens external link in new window">"Intelligent Computer Mathematics"</link>, Proc. of CICM. Paris, July 2010, LNAI 6167, Springer 2010.
  • J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/AbstractACA2010.pdf _blank external-link-new-window "Opens external link in new window">"Why AI, Why Computation, Why Mathematics"</link>, Abstract of a talk at the ACA 2010 conference, June 2010, Vlora, Albania.
  • J.Calmet, P.Maret, M.Schneider: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/CMS_IJCSA_2010.pdf _blank external-link-new-window "Opens external link in new window">Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises</link>, IJCSA (International Journal in Computer Science and Applications), Vol.7, No 2, pp. 1-13, 2010.
  • J.Calmet, John A. Campbell: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/CalmetCampbell.pdf _blank external-link-new-window "Opens external link in new window">A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence</link>. Invited talk at AISC 2010, Paris, July 2010. In "Intelligent Computer Mathematics", S. Autexier, J. Calmet, D. Delahaye, P.D.F. Ion, L. Rideau, R. Rioboo, A.P. Sexton Eds., LNAI 6167, pp.14-18. Springer, Heidelberg 2010.
  • Jacques Calmet, <link http://sites.google.com/site/jfcalmet/ACA2010Inauguralsession.pdf?attredirects=0> Speech</link> at the inaugural session of ACA 2010. Posted on the ACA conferences website. Vlora, Albania, 25 June 2010.

2009

  • J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/InterSymp2009.pdf _blank external-link-new-window "Opens external link in new window">An Introduction to the Quantification of Culture</link>. To appear in Proc. Symposium on Multiagent Systems, Robotics and Cybernetics: Theory and Practice. Eds. G.E.Lasker and J.Pfalzgraf. 21st Int. Conference on Systems Research, Informatics and Cybernetics, Baden-Baden, August 3-7, 2009.
  • P.Maret, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/IJCSA.pdf _blank external-link-new-window "Opens external link in new window">Agent-based knowledge communities</link>, International Journal of Computer Science and Applications, Vol. 06, No. 2, pp. 1-18, 2009.
  • J.Calmet, P.Maret, guest editors. <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/prefaceIJCSA.pdf _blank external-link-new-window "Opens external link in new window">Preface</link>, Special issue of IJCSA, Vol. 6, No. 2, 2009.
  • J.Calmet, F.Ollivier, guest editors. <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/Jacobi.pdf _blank external-link-new-window "Opens external link in new window">Preface</link>, Special issue "Jacobi's Legacy", AAECC, Vol. 20, No. 1, pages 1-4, 2009.
  • J.Calmet, V.Sorge, guest editors. <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/amai-preface.pdf _blank external-link-new-window "Opens external link in new window">Preface</link>, Special issue "Artificial Intelligence and Symbolic Computation", AMAI. To appear 2009.
  • J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/Calculemus.pdf _blank external-link-new-window "Opens external link in new window">A Framework for Open Mechanized Reasoning</link>. Invited talk at Calculemus 2009. In Conference on Intelligent Computer Mathematics. Eds. J.Carette et al., Springer LNCS 5625.
  • J.Calmet, P.Maret, M.Schneider: Cultural Differences as a Tool to Assess Trust in Virtual Enterprises. Draft, 2009.

2008

  • Th.Mie: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/Mie08.pdf _blank external-link-new-window "Opens external link in new window">Polylogarithmic two-round argument systems</link>, Journal of Mathematical Cryptology, Volume 2, Issue 4, pp. 343-363, 2008.
  • P.Maret, J.Subercaze, J.Calmet, P.Pawar: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/PRO-VE.pdf _blank external-link-new-window "Opens external link in new window">A Service Oriented Framework for Mobile Business Virtual Communities</link>, 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: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/AIKED2008.pdf _blank external-link-new-window "Opens external link in new window">Peer to Peer Model for Virtual Knowledge Communities</link>. Proceedings of AIKED 2008, Cambridge, UK., pp: 365-370, 2008.
  • J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ACCAT08.pdf _blank external-link-new-window "Opens external link in new window">Abstraction Based Information Technology</link>. Abstract of invited talk at ACCAT 2008, Budapest, March 2008.
  • J.Calmet, Y.Yang: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/IIAS2007.pdf _blank external-link-new-window "Opens external link in new window">From Agent Oriented Abstraction to Decision Making Under Uncertain Knowledge</link>. 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.Calment, W.Geiselmann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ThomasBeth.pdf _blank external-link-new-window "Opens external link in new window">In Memoriam Thomas Beth</link>. AAECC, Vol. 19, pp. 175-176, 2008.
  • J.Calmet, W.Geiselmann, Guest editors, Special issue "In Memoriam Thomas Beth", AAECC, Vol. 19, No. 3, 2008.
  • J.Calmet, W.Geiselmann, J.Müller-Quade eds.: Mathematical Methods in Computer Science - Essays in Memory of Thomas Beth. LNCS 5393, Springer 2008.
  • J.Calmet, W.Geiselmann, J.Müller-Quade: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/mmicsPreface.pdf _blank external-link-new-window "Opens external link in new window">Preface</link>, Essays in Memory Thomas Beth, LNCS 5393, pp. vi-viii, 2008.
  • J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/Firenze.pdf _blank external-link-new-window "Opens external link in new window">A Framework for Open Mechanized Reasoning</link>, Accepted for presentation at the workshop on Game Theory, Agents and Law. Jurix Conference. Florence, Italy, December 2008.
  • J.Calmet, W.Geiselmann, J.Müller-Quade (Eds.): Mathematical Methods in Computer Science. LNCS 5393, Springer, 2008.

2007

  • R.Endsuleit: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ARES2007.pdf _blank external-link-new-window "Opens external link in new window">Agent Alliances: A Means for Practical Threshold Signatures</link>. Proceedings of IEEE ARES, April 2007, Vienna, Austria, 2007.
  • Y.Yang: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/gk2007.pdf _blank external-link-new-window "Opens external link in new window">Ein Rahmenwerk für Entscheidungsunterstützungssysteme bei unscharfem Wissen</link>. Proceedings of the Final Symposium of the DFG research training groups "natural disaster", pp. 155-167, July, Karlsruhe, 2007.

2006

  • M.Schneider, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ISP2006.pdf _blank external-link-new-window "Opens external link in new window">Generic Denial of Service Prevention through a Logical Fibering Algorithm</link>. To appear in proc. of ISP, Venice, Italy, Nov. 2006.
  • M.Schneider, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/WSEAS2006.pdf _blank external-link-new-window "Opens external link in new window">A Logical Fibering Approach to Denial of Service Prevention</link>. To appear in WSEAS Transactions on Systems, 2006.
  • Y.Yang, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/yang06-2.pdf _blank external-link-new-window "Opens external link in new window">From the OntoBayes Model to a Service Oriented Decision Support System</link>. To appear in Proceedings of International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA'06), 20 November - 1 December 2006, Sydney, Australia.
  • D.Huang, Y.Yang, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/huang06-34.pdf _blank external-link-new-window "Opens external link in new window">A Knowledge-based Security Policy Framework for Business Process Management</link>. 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: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/huang06-2.pdf _blank external-link-new-window "Opens external link in new window">Semantic Descriptions of Web Services Security Constraints</link>. Proceedings of International Symposium on Service-Oriented System Engineering (SOSE2006), 25-27 October 2006, Shanghai, China.
  • D.Huang, Y.Yang, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/huang06-1.pdf _blank external-link-new-window "Opens external link in new window">Modeling Web Services Policy with Corporate Knowledge</link>. To appear in proc. of ICEBE 2006, IEEE, Shanghai, China, October 2006.
  • M.Minzlaff, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/aisc06.pdf _blank external-link-new-window "Opens external link in new window">A new Definition for Passivity and its Relation to Coherence</link>. Proc. of AISC 2006, LNAI 4120, Springer Verlag.
  • Y.Yang, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/abstractForEuroXXI.pdf _blank external-link-new-window "Opens external link in new window">Decision Making in Ontology-Based Uncertainty Model</link>. Proc. of 21st European Conference on Operation Research, Reykjavik, Iceland, 2006.
  • Y.Yang, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ISMIS2006.pdf _blank external-link-new-window "Opens external link in new window">OntoBayes Approach to Corporate Knowledge</link>. Proceedings of ISMIS, Bari, Italy, 2006.
  • J.Calmet, J.Subercaze, P.Maret: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/SOIC2006.pdf _blank external-link-new-window "Opens external link in new window">Simulation in Virtual Knowledge Communities</link>. Proc. of SOIC, Orlando, Florida, 2006.
  • R.Endsuleit, T.Mie: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ARES2006.pdf - external-link-new-window "Opens external link in new window">Anonymous and Censorship-resistant P2P Filesharing</link>. Proceedings of IEEE ARES, April 2006, Vienna, Austria, 2006.

2005

  • J.Calmet, P.Maret: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/INFCa-Ma.pdf _blank external-link-new-window "Opens external link in new window">Abstraction de systemes cognitifs</link>, to appear in Magazine du Departement Informatique de l'INSA 2006.
  • P.Maret, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/INFMa-Ca.pdf _blank external-link-new-window "Opens external link in new window">Un modele multi-agents pour la gestion des connaissances</link>, to appear in Magazine du Departement Informatique de l'INSA 2006.
  • J.Calmet, T.Mie: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ISMICK2005.pdf _blank external-link-new-window "Opens external link in new window">Knowledge Management in the Context of Human Centered Computing</link>, proc. of ISMICK 2005.
  • Y.Yang, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/IAWTIC05_yang.pdf _blank external-link-new-window "Opens external link in new window">Onto Bayes: An Ontology-Driven Uncertainty Model</link>. To be presented at IAWTIC, Vienna, November 2005.
  • M.Schneider, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/IAWTIC05_schneider.pdf _blank external-link-new-window "Opens external link in new window">Fibered Guard - A Hybrid Intelligent Approach to Denial of Service Prevention</link>. Proc. of IAWTIC, Vienna, November 2005.
  • D.Huang: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/SWPW05.pdf _blank external-link-new-window "Opens external link in new window">Semantic Policy-based Security Framework for Business Processes</link>. Proc. of The Semantic Web and Policy Workshop, Galway, Ireland, November 2005.
  • D.Huang, S.Bracher: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/SECOVAL2005.pdf _blank external-link-new-window "Opens external link in new window">Towards Evidence-based Trust Brokering</link>. Proc. of SECOVAL, 2005.
  • R.Endsuleit, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/nordsec05.ps _blank external-link-new-window "Opens external link in new window">A Security Analysis on JADE(-S) V.3.2</link>. Proc. of NORDSEC, Estonia, October 2005.
  • J.Calmet, R.Endsuleit, P.Maret: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/IIAS05.pdf _blank external-link-new-window "Opens external link in new window">A Multi-Agent Model for Secure and Scalable E-Business Transactions</link>. To appear in Proc. of IIAS 2005, Baden-Baden, August 2005.
  • M.Schneider, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/schneider_calmet_IIAS05.pdf _blank external-link-new-window "Opens external link in new window">Denial of Service Prevention through Logical Fibering</link>. To appear in Proc. of IIAS 2005, Baden-Baden, August 2005.
  • J.Calmet, X.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/paperOrlando.pdf _blank external-link-new-window "Opens external link in new window">Differential Entropy on Statistical Spaces</link>. To appear in Proc. of CITSA 2005, Orlando, July 2005.
  • P.Maret, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/IEICE_Maret_Calmet.pdf _blank external-link-new-window "Opens external link in new window">Corporate Knowledge in Cyberworlds</link>. IEICE Trans.Inf. & Syst., Vol E88-D, No. 5, pp. 880-887, 2005.
  • X.Calmet, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/FisherMetric.pdf _blank external-link-new-window "Opens external link in new window">Dynamics of the Fisher Information Metric</link>. Physical Review E. 71, 056109, 2005.

2004

  • J.Calmet, X.Calmet: Metric on a Statistical Space-Time, Transactions on Circuits and Systems, 10(3), pp. 2267-2271, 2004.
  • A.Daemi, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/AISTA_2004.pdf _blank external-link-new-window "Opens external link in new window">From Ontologies to Trust through Entropy</link>, Proceedings of the International Conference on Advances in Intelligent Systems - Theory and Applications, Luxembourg, November, 2004.
  • A.Daemi, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/WSEAS_2004.pdf _blank external-link-new-window "Opens external link in new window">Assessing Conflicts in Ontologies</link>, WSEAS Transactions on Information Science and Applications, vol. 5(1), pp. 1289-1294, 2004.
  • P.Maret, M.Hammond, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ESAW_2004.pdf _blank external-link-new-window "Opens external link in new window">Agent Societies for Corporate Knowledge Issues</link>, Proceedings of ESAW 2004, November 2004.
  • J.Calmet, R.Endsuleit: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/LEA04.pdf _blank external-link-new-window "Opens external link in new window">An Agent Framework for Legal Validation of E-Transactions</link>, The Law of Electronic Agents (LEA), pp. 181-184, 2004.
  • P.Maret, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/CW2004.pdf _blank external-link-new-window "Opens external link in new window">Modeling Corporate Knowledge within the Agent Oriented Abstraction</link>, Proceedings of CyberWorld 2004, pp. 224-231, IEEE Computer Society, 2004.
  • J.Calmet, V.Lefevre: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/numproofs.pdf _blank external-link-new-window "Opens external link in new window">Toward the Integration of Numerical Computations into the OMCS Framework</link>, Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing (CASC), Saint Petersburg, Russia, July 2004.
  • R.Endsuleit, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/WETICE04.ps _blank external-link-new-window "Opens external link in new window">Introduction Robust and Private Computation into Grid Technology</link>, IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE), 2004.
  • R.Endsuleit, A.Wagner: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/SAM04.ps _blank external-link-new-window "Opens external link in new window">Attacks on and Countermeasures for Secure Multi-Agent Computation</link>, Conference on Security and Management (SAM), 2004.
  • J.Calmet, P.Maret, R.Endsuleit: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/Racsam04.ps _blank external-link-new-window "Opens external link in new window">Agent-Oriented Abstraction</link>, RACSAM (Revista Real Academia de Ciencias, Serie "A" de Matematicas) Vol. 98(1), 2004.
  • J.Calmet, A.Daemi: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/AT2AI4.pdf _blank external-link-new-window "Opens external link in new window">From entropy to ontology</link>, 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: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ESAW.pdf _blank external-link-new-window "Opens external link in new window">A Liberal Approach to Openness in Societies of Agents</link>, Fourth International Workshop on Engineering Societies in the Agents World (ESAW), London, 2003
  • C.Kaempf, J.Ihringer, A.Daemi, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/cottbus_2003.doc _blank external-link-new-window "Opens external link in new window">Agent-based information retrieval for flood management research</link>, Proceedings of EnviroInfo 17th, Cottbus, 2003.
  • J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/Roma.ps _blank external-link-new-window "Opens external link in new window">Some grand mathematical challenges in mechanized mathematics</link>, Proceedings of Calculemus II, Rome, 2003.
  • R.Endsuleit, T.Mie: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/SAM03.ps _blank external-link-new-window "Opens external link in new window">Secure Multi-Agent Computations</link>, Proceedings of International Conference on Security and Management (CSREA), Las Vegas, 2003.

2002

  • M.E. Valdecasas Vilanova, R.Endsuleit, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/e-ticketing.ps.gz _blank external-link-new-window "Opens external link in new window">State of the Art in Electronic Ticketing</link>, 2002.

2001

  • P.Kullmann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/DISS.ps _blank external-link-new-window "Opens external link in new window">Wissensrepräsentation und Anfragebearbeitung in einer logikbasierten Mediatorumgebung</link>, 2001.
  • J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/EACA01.ps _blank external-link-new-window "Opens external link in new window">Involution Analysis of Field Theories</link>, 2001.
  • F.Freitas, G.Bittencourt, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/Fr-Bi-Ca-01.doc _blank external-link-new-window "Opens external link in new window">MASTER-Web: An Ontology-based Internet Data Mining Multi-Agent System</link>, 2001.
  • Z.A. Mann, J.Calmet, P.Kullmann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/Ma-Ca-Ku-01.ps _blank external-link-new-window "Opens external link in new window">Testing Access to External Information Sources in a Mediator Environment</link>, 2001.
  • Z.A.Mann, J.Calmet, P.Kullmann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/mediator_access_validation.ps _blank external-link-new-window "Opens external link in new window">Validating Access to External Information Sources in a Mediator Environment (techn. report)</link>, 2001.
  • P.Kullmann, S.A.Sandri: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/Ku-Sa-01.ps _blank external-link-new-window "Opens external link in new window">Possibilistic Logic as an Annotated Logic</link>, 2001.
  • P.Kullmann, S.A.Sandri: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/IFSA-NAFIPS-01.ps _blank external-link-new-window "Opens external link in new window">Implementation of an Extended Possibilistic Logic in an Annotated Logic Theorem Prover</link>, 2001.

2000

  • J.Calmet, C.Ballarin, P.Kullmann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/isaca1.ps _blank external-link-new-window "Opens external link in new window">Integration of Deduction and Computation</link>, 2000.
  • J.Calmet, M.Hausdorf, W.Seiler: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/isaca2.ps _blank external-link-new-window "Opens external link in new window">A Constructive Introduction to Involution</link>, 2000.
  • J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/isaca3.ps _blank external-link-new-window "Opens external link in new window">Restoring the Link to Computer Science</link>, 2000.
  • J.Calmet, P.Kullmann, M.Taneda: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/AMAI.ps _blank external-link-new-window "Opens external link in new window">Composite Distributive Lattices as Annotation Domains for Mediators</link>, 2000.
  • J.Calmet, P.Kullmann, M.Taneda: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/AISC2000.ps _blank external-link-new-window "Opens external link in new window">Composite Distributive Lattices as Annotation Domains for Mediator (ext. version)</link>, 2000.

1999-1997

  • J.Calmet, P.Kullmann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ismis-99.ps.gz _blank external-link-new-window "Opens external link in new window">A Data Structure for Subsumption-Based Tabling in Top-Down Resolution Engines for Data-Intensive Logic Applications</link>, 1999.
  • J.Calmet, P.Kullmann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ijcai-99-i3ws.ps.gz _blank external-link-new-window "Opens external link in new window">Meta Web Search with KOMET</link>, 1999.
  • P.G.Bertoli, J.Calmet, F.Giunchiglia, K.Homann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/aisc-98.ps.gz _blank external-link-new-window "Opens external link in new window">Specification and integration of theorem provers and computer algebra systems</link>, 1998.
  • J.Calmet, S.Jekutsch, J.Schü: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/icde-97.ps.gz _blank external-link-new-window "Opens external link in new window">A generic query-translation framework for a mediator architecture</link>, 1997.
  • J.Calmet, S.Jekutsch, P.Kullmann, J.Schü: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ismis-97.ps.gz _blank external-link-new-window "Opens external link in new window">KOMET - A System for the Integration of Heterogeneous Information Sources</link>, 1997.
  • J.Calmet, P.Kullmann, S.Jekutsch, J.Schü: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/komet-nice.pdf _blank external-link-new-window "Opens external link in new window">Un logiciel multi-agents base sur le concept de mediateur</link>, 1997.

1996

  • K.Homann, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/disco-96.ps.gz _blank external-link-new-window "Opens external link in new window">Structures for Symbolic Mathematical Reasoning and Computation</link>, 1996.
  • J.Calmet, D.Debertin, S.Jekutsch, J.Schü: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/icde-96.ps.gz _blank external-link-new-window "Opens external link in new window">An executable Graphical Representation of Mediatory Information systems</link>, 1996.
  • J.Calmet, K.Homann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/frocos-96.ps.gz _blank external-link-new-window "Opens external link in new window">Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems</link>, 1996.
  • J.Calmet, K.Homann, I.A.Tjandra: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ecai-96.ps.gz _blank external-link-new-window "Opens external link in new window">Hybrid Representation for Specification and Communication of Mathematical Knowledge</link>, 1996.
  • J.Calmet, K.Homann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/magma-96.ps.gz _blank external-link-new-window "Opens external link in new window">Proofs in Computational Algebra: An Interface between DTP and MAGMA</link>, 1996.
  • K.Homann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/rwca-96.ps.gz _blank external-link-new-window "Opens external link in new window">Languages for Cooperative Problem Solving in Mathematics</link>, 1996.
  • K.Homann, A.Lulay: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/inters-96.ps.gz _blank external-link-new-window "Opens external link in new window">Understanding and Solving Algebra Story Problems by Neural Networks and Computer Algebra Systems</link>, 1996.
  • J.Calmet, J.Lu, M.Rodriguez, J.Schü: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ismis-96.ps.gz _blank external-link-new-window "Opens external link in new window">Signed formula logic programming: operational semantics and applications</link>, 1996.

1995

  • J.Calmet, K. Homann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/bisfai-95.ps.gz _blank external-link-new-window "Opens external link in new window">Distributed Mathematical Problem Solving</link>, 1995.
  • C.Ballarin, K.Homann, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/issac-95.ps.gz _blank external-link-new-window "Opens external link in new window">Theorems and Algorithms: An Interface between Isabelle and Maple</link>, 1995.
  • J.Calmet, K.Homann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/imacs-95.ps.gz _blank external-link-new-window "Opens external link in new window">An Open Environment for Doing Mathematics</link>, 1995.
  • K.Homann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/dmv-95.ps.gz _blank external-link-new-window "Opens external link in new window">Lösen mathematischer Probleme durch Integration und Kooperation mathematischer Software</link>, 1995.
  • K.Homann: Theorembeweisen mit algorithmischen Schritten, 1995.
  • J.Calmet, J.Schü: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/idimt-95.ps.gz _blank external-link-new-window "Opens external link in new window">Design principles for secure integration of information</link>, 1995.
  • J.Lu, G.Moerkotte, J.Schü, V.S.Subrahmanian: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/sigmod95-29-10.ps.gz _blank external-link-new-window "Opens external link in new window">Efficient Maintenance of Materialized Mediated Views</link>, 1995.

1994

  • J.Calmet, J.Schü, M.Taneda: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ckbs23-9.ps.gz _blank external-link-new-window "Opens external link in new window">A general framework for distributed reason maintenance</link>, 1994.
  • G.Bittencourt, J.Calmet, K.Homann, A.Lulay: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/sbia-94.ps.gz _blank external-link-new-window "Opens external link in new window">MANTRA: A Multi-Level Hybrid Knowledge Representation System</link>, 1994.
  • K.Homann, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ecai-94.ps.gz _blank external-link-new-window "Opens external link in new window">Towards an Intelligent Mathematical Environment - Bridging the Gap between Theorem Proving and Symbolic Mathematical Computing</link>, 1994.
  • K.Homann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/rwca-94.ps.gz _blank external-link-new-window "Opens external link in new window">Explanation-Based Learning in Computer Algebra Systems</link>, 1994.
  • H.-P.Weih, J.Schü, J.Calmet: CommonKADS and Cooperating Knowledge Based Systems, 1994.
  • I.A.Tjandra, K.Homann, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/rwca-94b.ps.gz _blank external-link-new-window "Opens external link in new window">A Knowledge-Based Type System for Computer Algebra</link>, 1994.
  • J.Calmet, K.Homann, I.A.Tjandra: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/aim-94.ps.gz _blank external-link-new-window "Opens external link in new window">Reasoning on Knowledge in Symbolic Computing</link>, 1994.
  • T.Beth, K.Homann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/gi-94.ps.gz _blank external-link-new-window "Opens external link in new window">Computeralgebra in der Informatik</link>, 1994.
  • K.Homann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/icsric-94.ps.gz _blank external-link-new-window "Opens external link in new window">Integrating Explanation-Based Learning in Symbolic Computing</link>, 1994.
  • K.Homann, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/aismc2-94.ps.gz _blank external-link-new-window "Opens external link in new window">Combining Theorem Proving and Symbolic Mathematical Computing</link>, 1994.

1993

  • K.Homann: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ijcai-93.ps.gz _blank external-link-new-window "Opens external link in new window">LEMMA or Applying AI Techniques to Computer Algebra</link>, 1993.
  • J.Schü, W.Seiler, J.Calmet: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/Acireale-93.ps.gz _blank external-link-new-window "Opens external link in new window">Algorithmic Methods for Lie Pseudogroups</link>, 1993.
  • B.Messing, J.Calmet, J.Schü: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ismick-93.ps.gz _blank external-link-new-window "Opens external link in new window">A novel approach towards in integration of multiple knowledge sources</link>, 1993.
  • J.Calmet, I.A.Tjandra: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/disco93_2.ps _blank external-link-new-window "Opens external link in new window">A Unified-Algebra-based Specification Language for Symbolic Computing</link>, 1993.

1992-1990

  • J.Calmet, K.Homann, I.A.Tjandra: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/aismc-92.ps.gz _blank external-link-new-window "Opens external link in new window">Unified Domains and Abstract Computational Structures</link>, 1992.
  • J.Calmet, J.A.Campbell: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/smc.ps.gz _blank external-link-new-window "Opens external link in new window">A Perspective on Symbolic Mathematical Computing and Artificial Intelligence</link>
  • J.Calmet, I.A.Tjandra: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ismis91.ps _blank external-link-new-window "Opens external link in new window">Representation of Mathematical Knowledge</link>, 1991.
  • J.Calmet, I.A.Tjandra: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/aim91.ps _blank external-link-new-window "Opens external link in new window">An Artificial Intelligence Environment for Computer Algebra</link>, 1991.
  • J.Calmet, G.Bittencourt, I.A.Tjandra: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/tai91.ps _blank external-link-new-window "Opens external link in new window">MANTRA: A Shell for Knowledge Representation Systems</link>, 1991.
  • J.Calmet, I.A.Tjandra: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/wces91.ps _blank external-link-new-window "Opens external link in new window">An Expert System for Correctness of Symbolic Computation</link>, 1991.
  • J.Calmet, I.A.Tjandra: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ismis90.ps _blank external-link-new-window "Opens external link in new window">Learning Complete Computational Structures</link>, 1990.
  • I.A.Tjandra, J.Calmet, G.Bittencourt: <link http://www.iks.kit.edu/fileadmin/User/calmet/papers/ke90.ps _blank external-link-new-window "Opens external link in new window">A Framework for Representing Algebraic Knowledge Using a Hybrid Knowledge Representation System</link>, 1990.