 | 2008 |
|---|
| 5 |       | Gerd Beuster:
A methodology for secure interactive systems.
University of Koblenz-Landau 2008 |
| 2006 |
|---|
| 4 | | Bernhard Beckert,
Gerd Beuster:
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces.
ICFEM 2006: 55-73 |
| 3 | | Roman Neruda,
Gerd Beuster:
Description and Generation of Computational Agents.
KSEM 2006: 318-329 |
| 2004 |
|---|
| 2 | | Roman Neruda,
Pavel Krusina,
Petra Kudová,
Pavel Rydvan,
Gerd Beuster:
Bang 3: A Computational Multi-Agent System.
IAT 2004: 563-564 |
| 2003 |
|---|
| 1 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page