dblp.uni-trier.dewww.uni-trier.de

Roland Vogt Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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)
2EESerge 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)

Coauthor Index

1Serge Autexier [2]
2Arnim Buch [1]
3Thomas Hillenbrand [1]
4Dieter Hutter [2] [3] [4]
5Bruno Langenstein [2] [3] [5]
6Bernd Löchner [1]
7Heiko Mantel [2]
8Walter Reinhard [6]
9Georg Rock [2] [3] [4]
10Axel Schairer [2]
11Jörg H. Siekmann [3] [4]
12Werner Stephan [2] [3] [4]
13Markus Ullmann [5]
14Melanie Volkamer [6]
15Andreas Wolpers [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)