Automatic Classification for the Identification of Relationships in a Meta-Data Repository. - Gerd Beuster; Ulrich Furbach; Margret Groß-Hardt; Bernd Thomas (Discovery Science, 2003)

Towards building computational agent schemes. - Gerd Beuster; Pavel Krusina; Roman Neruda; Pavel Rydvan (ICANNGA, 2003)

Bang 3: A Computational Multi-Agent System. - Roman Neruda; Pavel Krusina; Petra Kudová; Pavel Rydvan; Gerd Beuster (IAT, 2004)

A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. - Bernhard Beckert; Gerd Beuster (ICFEM, 2006)

Description and Generation of Computational Agents. - Roman Neruda; Gerd Beuster (KSEM, 2006)

A methodology for secure interactive systems. - Gerd Beuster (2008)

Formal security policy models for smart card evaluations. - Gerd Beuster; Karin Greimel (SAC, 2012)

Protocol. - Gerd Beuster; Oliver Leistert; Theo Röhle (Internet Policy Rev., 2022)