Gerd Beuster

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 1

Top Topics

Formal Analysis

Network Protocols

Coloured Petri Nets

Top Venues

Internet Policy Rev.

University of Koblenz-Landau (PHD)

Education History

University of Koblenz-Landau

PHD

Publications

Gerd Beuster, Oliver Leistert, Theo Röhle
Protocol. Internet Policy Rev. 11 (1) (2022)
Gerd Beuster, Karin Greimel
Formal security policy models for smart card evaluations. SAC (2012)
Roman Neruda, Gerd Beuster
Description and Generation of Computational Agents. KSEM (2006)
Bernhard Beckert, Gerd Beuster
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. ICFEM (2006)
Roman Neruda, Pavel Krusina, Petra Kudová, Pavel Rydvan, Gerd Beuster
Bang 3: A Computational Multi-Agent System. IAT (2004)
Gerd Beuster, Ulrich Furbach, Margret Groß-Hardt, Bernd Thomas
Automatic Classification for the Identification of Relationships in a Meta-Data Repository. Discovery Science (2003)
Gerd Beuster, Pavel Krusina, Roman Neruda, Pavel Rydvan
Towards building computational agent schemes. ICANNGA (2003)