The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roland Vogt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002