- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c5 |      | Gerd Beuster, Karin Greimel: Formal security policy models for smart card evaluations. SAC 2012: 1640-1642 |
| 2008 | ||
| b1 | | |
| 2006 | ||
| c4 | | Bernhard Beckert, Gerd Beuster: A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. ICFEM 2006: 55-73 |
| c3 | | |
| 2004 | ||
| c2 | | Roman Neruda, Pavel Krusina, Petra Kudová, Pavel Rydvan, Gerd Beuster: Bang 3: A Computational Multi-Agent System. IAT 2004: 563-564 |
| 2003 | ||
| c1 | | 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 |
| 1 | Bernhard Beckert | |
| 2 | Ulrich Furbach | |
| 3 | Karin Greimel | |
| 4 | Margret Groß-Hardt | |
| 5 | Pavel Krusina | |
| 6 | Petra Kudová | |
| 7 | Roman Neruda | |
| 8 | Pavel Rydvan | |
| 9 | Bernd Thomas |
Colors in the list of coauthors
Last update Sat May 25 17:49:01 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page