| 2008 |
|---|
| 5 | EE | Lassaad Cheikhrouhou,
Andreas Nonnengart,
Werner Stephan,
Frank Koob,
Georg Rock:
Automating Interactive Protocol Verification.
KI 2008: 30-37 |
| 2001 |
|---|
| 4 | | Markus Ullmann,
Frank Koob,
Harald Kelter:
Anonyme Online-Wahlen - Lösungsansätze für die Realisierung von Online-Wahlen.
Datenschutz und Datensicherheit 25(11): (2001) |
| 2000 |
|---|
| 3 | EE | Robin E. Bloomfield,
Dan Craigen,
Frank Koob,
Markus Ullmann,
Stefan Wittmann:
Formal Methods Diffusion: Past Lessons and Future Prospects.
SAFECOMP 2000: 211-226 |
| 1998 |
|---|
| 2 | | Frank Koob,
Markus Ullmann,
Stefan Wittmann:
The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process.
FM-Trends 1998: 302-310 |
| 1991 |
|---|
| 1 | | Ralf Denzer,
Frank Koob,
Gomal Kira:
Object-Oriented Dialogue Modeling for Environmental Software Systems.
Visualisierung von Umweltdaten 1991: 101-106 |
