Gerd Beuster

According to our database, Gerd Beuster authored at least 8 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Protocol.

Gerd Beuster, Oliver Leistert, Theo Röhle

Internet Policy Rev., 2022

2012

Formal security policy models for smart card evaluations.

Gerd Beuster, Karin Greimel

Proceedings of the ACM Symposium on Applied Computing, 2012

2008

A methodology for secure interactive systems.

Gerd Beuster

PhD thesis, 2008

2006

Description and Generation of Computational Agents.

Roman Neruda, Gerd Beuster

Proceedings of the Knowledge Science, 2006

A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces.

Bernhard Beckert, Gerd Beuster

Proceedings of the Formal Methods and Software Engineering, 2006

2004

Bang 3: A Computational Multi-Agent System.

Roman Neruda, Pavel Krusina, Petra Kudová, Pavel Rydvan, Gerd Beuster

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

2003

Towards building computational agent schemes.

Gerd Beuster, Pavel Krusina, Roman Neruda, Pavel Rydvan

Proceedings of the Artificial Neural Nets and Genetic Algorithms, 2003

Automatic Classification for the Identification of Relationships in a Meta-Data Repository.

Gerd Beuster, Ulrich Furbach, Margret Groß-Hardt, Bernd Thomas

Proceedings of the Discovery Science, 6th International Conference, 2003