Roland Vogt

According to our database, Roland Vogt authored at least 9 papers between 1997 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

2017

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

Proceedings of the Joint Urban Remote Sensing Event, 2017

2009

ICT for Urban Metabolism: The case of BRIDGE.

Nektarios Chrysoulakis, Roland Vogt, Duick Young, S. C. B. Grimmond, Donatella Spano, Serena Marras

Proceedings of the Environmental Informatics and Industrial Environmental Protection, 2009

2006

FUSE - ein Internetwahlsystem für zeitlich unbegrenzt geheime Betriebswahlen.

Melanie Volkamer, Walter Reinhard, Roland Vogt

Proceedings of the Sicherheit 2006: Sicherheit, 2006

2000

VSE: formal methods meet industrial needs.

Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers

Int. J. Softw. Tools Technol. Transf., 2000

Formal software development in the Verification Support Environment (VSE).

Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt

J. Exp. Theor. Artif. Intell., 2000

The Use of Formal Methods for Trusted Digital Signature Devices.

Bruno Langenstein, Roland Vogt, Markus Ullmann

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

Formal Software Development in the Verification Support Environment (VSE).

Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1997

WALDMEISTER - High-Performance Equational Deduction.

Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner

J. Autom. Reason., 1997