| 2006 |
|---|
| 4 | EE | Bernhard Beckert,
Gerd Beuster:
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces.
ICFEM 2006: 55-73 |
| 3 | EE | Roman Neruda,
Gerd Beuster:
Description and Generation of Computational Agents.
KSEM 2006: 318-329 |
| 2004 |
|---|
| 2 | EE | Roman Neruda,
Pavel Krusina,
Petra Kudová,
Pavel Rydvan,
Gerd Beuster:
Bang 3: A Computational Multi-Agent System.
IAT 2004: 563-564 |
| 2003 |
|---|
| 1 | EE | Gerd Beuster,
Ulrich Furbach,
Margret Groß-Hardt,
Bernd Thomas:
Automatic Classification for the Identification of Relationships in a Meta-Data Repository.
Discovery Science 2003: 283-290 |
