| 2006 |
|---|
| 6 | | Melanie Volkamer,
Walter Reinhard,
Roland Vogt:
FUSE - ein Internetwahlsystem für zeitlich unbegrenzt geheime Betriebswahlen.
Sicherheit 2006: 159-170 |
| 2000 |
|---|
| 5 | | Bruno Langenstein,
Roland Vogt,
Markus Ullmann:
The Use of Formal Methods for Trusted Digital Signature Devices.
FLAIRS Conference 2000: 336-340 |
| 4 | | Dieter Hutter,
Georg Rock,
Jörg H. Siekmann,
Werner Stephan,
Roland Vogt:
Formal Software Development in the Verification Support Environment (VSE).
FLAIRS Conference 2000: 367-376 |
| 3 | | Dieter Hutter,
Bruno Langenstein,
Georg Rock,
Jörg H. Siekmann,
Werner Stephan,
Roland Vogt:
Formal software development in the Verification Support Environment (VSE).
J. Exp. Theor. Artif. Intell. 12(4): 383-406 (2000) |
| 2 | EE | Serge Autexier,
Dieter Hutter,
Bruno Langenstein,
Heiko Mantel,
Georg Rock,
Axel Schairer,
Werner Stephan,
Roland Vogt,
Andreas Wolpers:
VSE: formal methods meet industrial needs.
STTT 3(1): 66-77 (2000) |
| 1997 |
|---|
| 1 | | Thomas Hillenbrand,
Arnim Buch,
Roland Vogt,
Bernd Löchner:
WALDMEISTER - High-Performance Equational Deduction.
J. Autom. Reasoning 18(2): 265-270 (1997) |
