WALDMEISTER - High-Performance Equational Deduction. - Thomas Hillenbrand; Arnim Buch; Roland Vogt; Bernd Löchner (J. Autom. Reason., 1997)

Formal Software Development in the Verification Support Environment (VSE). - Dieter Hutter; Georg Rock; Jörg H. Siekmann; Werner Stephan 001; Roland Vogt (FLAIRS, 2000)

The Use of Formal Methods for Trusted Digital Signature Devices. - Bruno Langenstein; Roland Vogt; Markus Ullmann (FLAIRS, 2000)

Formal software development in the Verification Support Environment (VSE). - Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg H. Siekmann; Werner Stephan 001; Roland Vogt (J. Exp. Theor. Artif. Intell., 2000)

VSE: formal methods meet industrial needs. - Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan 001; Roland Vogt; Andreas Wolpers (Int. J. Softw. Tools Technol. Transf., 2000)

FUSE - ein Internetwahlsystem für zeitlich unbegrenzt geheime Betriebswahlen. - Melanie Volkamer; Walter Reinhard; Roland Vogt (Sicherheit, 2006)

ICT for Urban Metabolism: The case of BRIDGE. - Nektarios Chrysoulakis; Roland Vogt; Duick Young; S. C. B. Grimmond; Donatella Spano; Serena Marras (EnviroInfo (2), 2009)

Spatial distribution of sensible and latent heat flux in the URBANFLUXES case study city Basel (Switzerland). - Christian Feigenwinter; Eberhard Parlow; Roland Vogt; Michael Schmutz; Nektarios Chrysoulakis; Fredrik Lindberg; Mattia Marconcini; Fabio Del Frate (JURSE, 2017)

Spatial Distribution of Sensible and Latent Heat Flux in the City of Basel (Switzerland). - Christian Feigenwinter; Roland Vogt; Eberhard Parlow; Fredrik Lindberg; Mattia Marconcini; Fabio Del Frate; Nektarios Chrysoulakis (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2018)