Roland Vogt

WALDMEISTER - High-Performance Equational Deduction

Thomas Hillenbrand, Arnim Buch, Roland Vogt, 1997, Journal of Automated Reasoning.

Methodological considerations for the application of Monin-Obukhov similarity framework in urban settings

Roland Vogt, Michael G. Roth, Jennifer Salmond, 2003 .

The Use of Formal Methods for Trusted Digital Signature Devices

Roland Vogt, Bruno Langenstein, Markus Ullmann, 2000, FLAIRS Conference.

FUSE - ein Internetwahlsystem für zeitlich unbegrenzt geheime Betriebswahlen

Melanie Volkamer, Roland Vogt, Walter Reinhard, 2006, Sicherheit.

ICT for Urban Metabolism: The case of BRIDGE

Roland Vogt, Nektarios Chrysoulakis, Serena Marras, 2009, EnviroInfo.

New Generation of Voting Machines in Germany The Hamburg Way to Verify Correctness

Melanie Volkamer, Roland Vogt, 2006 .

VSE: formal methods meet industrial needs

Dieter Hutter, Axel Schairer, Roland Vogt, 2000, International Journal on Software Tools for Technology Transfer.

Spatial distribution of sensible and latent heat flux in the URBANFLUXES case study city Basel (Switzerland)

Fabio Del Frate, Roland Vogt, Nektarios Chrysoulakis, 2017, 2017 Joint Urban Remote Sensing Event (JURSE).

Formal software development in the Verification Support Environment (VSE)

Jörg H. Siekmann, Dieter Hutter, Roland Vogt, 2000, J. Exp. Theor. Artif. Intell..