Roland Vogt

Publication Activity (10 Years)

Years Active: 1997-2018
Publications (10 Years): 2

Top Topics

Operational Risk

Category Labels

Spatial Distribution

Top Venues

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.

Publications

Christian Feigenwinter, Roland Vogt, Eberhard Parlow, Fredrik Lindberg, Mattia Marconcini, Fabio Del Frate, Nektarios Chrysoulakis
Spatial Distribution of Sensible and Latent Heat Flux in the City of Basel (Switzerland). IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 11 (8) (2018)
Christian Feigenwinter, Eberhard Parlow, Roland Vogt, Michael Schmutz, Nektarios Chrysoulakis, Fredrik Lindberg, Mattia Marconcini, Fabio Del Frate
Spatial distribution of sensible and latent heat flux in the URBANFLUXES case study city Basel (Switzerland). JURSE (2017)
Nektarios Chrysoulakis, Roland Vogt, Duick Young, S. C. B. Grimmond, Donatella Spano, Serena Marras
ICT for Urban Metabolism: The case of BRIDGE. EnviroInfo (2) (2009)
Melanie Volkamer, Walter Reinhard, Roland Vogt
FUSE - ein Internetwahlsystem für zeitlich unbegrenzt geheime Betriebswahlen. Sicherheit (2006)
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. 3 (1) (2000)
Bruno Langenstein, Roland Vogt, Markus Ullmann
The Use of Formal Methods for Trusted Digital Signature Devices. FLAIRS Conference (2000)
Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
Formal Software Development in the Verification Support Environment (VSE). FLAIRS Conference (2000)
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) (2000)
Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner
WALDMEISTER - High-Performance Equational Deduction. J. Autom. Reason. 18 (2) (1997)