• 2016
    • Gerd Beuster
      Threat Modelling and Risk Mitigation - An IT Security Perspective In: Dana Dülcke, Julia Kleinschmidt, Olaf Tietje, Juliane Wenke (Eds.): Grenzen von Ordnung - Eigensinnige Akteur_innen zwischen (Un)Sicherheit und Freiheit, Verlag Westfälisches Dampfboot, Münster, Germany, 2016 [PDF].
  • 2012
    • Gerd Beuster, Karin Greimel
      Formal Security Policy Models for Smart Card Evaluations Short paper and poster presentation at 27th ACM Symposium on Applied Computing, Trento, Italy, March 2012[PDF].
  • 2011
    • Gerd Beuster, Karin Greimel
      Developing a Formal Security Policy Model for a Smart Card EAL6 Evaluation Presentation given by Karin Greimel at 12th International Common Criteria Confereince (12ICCC), Kuala Lumpur, Malaysia, September 2011[PDF].
  • 2008
    • Gerd Beuster
      A Methodology for Secure Interactive Systems Dissertation: Koblenz, Universität Koblenz-Landau, 2008, URN (NBN): urn:nbn:de:hbz:kob7-2875[PDF], BibTeX.
  • 2006
    • Gerd Beuster, Roman Neruda
      Description and Generation of Computational Agents In: Jérôme Lang, Fangzhen Lin, Ju Wang (Eds.): Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5--8, 2006, Proceedings. Lecture Notes in Computer Science 4092 Springer 2006, ISBN 3-540-37033-1 [PDF], BibTeX.
    • Gerd Beuster, Niklas Henrich, Markus Wagner
      Real World Verification - Experiences from the Verisoft Email Client In: Geoff Sutcliffe, Renate Schmidt, Stephan Schulz (Eds.): Proceedings of the FLoC'06 Workshop on Empirically Successful Computerized Reasoning, Seattle, USA, August 22, 2006, ISSN 1613-0073[PDF], BibTeX.
    • Bernhard Beckert, Gerd Beuster
      A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces Proceedings, International Conference on Formal Engineering Methods [PDF], BibTeX.
    • Bernhard Beckert, Gerd Beuster
      Guaranteeing Consistency in Text-Based Human-Computer Interaction Proceedings, International Workshop on Formal Methods for Interactive Systems[PDF], BibTeX.
  • 2005
    • Gerd Beuster
      Formalizing Security Properties of User Interfaces Talk given at Jahrestagung der GI-Fachgruppe Formale Methoden und Software Engineering für Sichere Systeme / Formal Methods and Software Engineering for Safety and Security (FoMSESS), June 6th/7th, Kiel, Germany, 2005[PDF].
    • Gerd Beuster, Roman Neruda, Bjoern Pelzer
      Reasoning about Bang3 multi-agent systems in KR-Hyper Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, V-955. 2005
  • 2004
    • Bernhard Beckert, Gerd Beuster
      Formal Specification of Security-relevant Properties of User Interfaces Proceedings of The 3rd International Workshop on Critical Systems Development with UML, TU Munich Technical Report TUM-I0415, Munich, Germany, 2004[PDF], BibTeX, Extended version.
    • Gerd Beuster, Roman Neruda
      Configuring Computational Agents Proceedings of The Second International Workshop on Knowledge Grid and Grid Intelligence (KGGI 2004) Beijing, China, 2004 [PDF], BibTeX
    • Gerd Beuster, Pavel Krusina, Petra Kudova, Roman Neruda
      Bang 3: A Computational Multi-Agent System Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04), IEEE Computer Society Press, 2004 [PDF], BibTeX
  • 2003
    • Gerd Beuster
      Formal Reasoning in the Bang3 Multi-Agent System Technical Report No. V-889, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic[PDF]
    • Gerd Beuster, Pavel Krusina, Roman Neruda, Pavel Rydvan
      Towards building computational agent schemes Proceedings of the International Conference on Genetic Algorithms and Artificial Neural Networks 2003 (ICANNGA 2003),Roanne, France[PDF]
    • Gerd Beuster, Thomas Kleemann, Bernd Thomas
      MIA - A Multi-Agent Location Based Information Systems for Mobile Users in 3G Networks Research Report 11-2003 University Koblenz-Landau, Koblenz [PDF]
    • Gerd Beuster, Ulrich Furbach, Margret Groß-Hardt, Bernd Thomas
      Automatic Classification for the Identification of Relationships in a Metadata Repository Research Report 10-2003 University Koblenz-Landau, Koblenz [PDF]
  • 2002
    • Gerd Beuster
      Ontologies Talk given at Czech Academy of Sciences, Prague, Czech Republic [PDF]
  • 2001
    • Gerd Beuster
      Multi Agent Information Gathering from Public Sources Talk given at themeeting of the Special Interest Group on Intelligent Information Agents (Agent Link Network of Excellence), Amsterdam, Netherlands, December 5, 2001. [pdf] (Slides only)
    • Gerd Beuster
      Using Neural Networks and Genetic Algorithms as Building Blocks for Artificial Life Simulations Workshop on Hybrid Systems, International Conference on Genetic Algorithms and Artificial Neural Networks 2001 (ICANNGA 2001), Prague, Czech Republic [pdf]
    • Gerd Beuster
      MIC - A System for Classification of Structured and Unstructured Texts. Diploma Thesis, University Koblenz, 2001[pdf]
    • Gerd Beuster
      Linux Palm Programmierung Linux Enterprise, Ausgabe Februar 2001[html]
  • 2000
    • Gerd Beuster, Bernd Thomas and Christian Wolff
      MIA - An Ubiquitous Multi-Agent Web Information System.
      In Proceedings of International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce, MAMA'2000, December 11-13 2000.Wollongong, Australia [pdf]
    • Gerd Beuster, Bernd Thomas and Christian Wolff
      Ubiquitous Web Information Agents
      Workshop on Artificial Intelligence In Mobile Systems, ECAI'2000, European Conference on Aritifical Intelligence August 22nd 2000, Berlin, Germany [pdf]
    • Artificial Life Environment - A Framework For Artificial Life Simulations
      Proceedings of The Fourth German Workshop on Artificial Life
      HTML - Postscript (gziped) - PDF