Roland Vogt

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Spatial Distribution of Sensible and Latent Heat Flux in the City of Basel (Switzerland).
IEEE J Sel. Topics in Appl. Earth Observ. and Remote Sensing, 2018

2017
Spatial distribution of sensible and latent heat flux in the URBANFLUXES case study city Basel (Switzerland).
Proceedings of the Joint Urban Remote Sensing Event, 2017

2009
ICT for Urban Metabolism: The case of BRIDGE.
Proceedings of the Environmental Informatics and Industrial Environmental Protection, 2009

2006
FUSE - ein Internetwahlsystem für zeitlich unbegrenzt geheime Betriebswahlen.
Proceedings of the Sicherheit 2006: Sicherheit, 2006

2000
VSE: formal methods meet industrial needs.
STTT, 2000

Formal software development in the Verification Support Environment (VSE).
J. Exp. Theor. Artif. Intell., 2000

The Use of Formal Methods for Trusted Digital Signature Devices.
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

Formal Software Development in the Verification Support Environment (VSE).
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1997
WALDMEISTER - High-Performance Equational Deduction.
J. Autom. Reasoning, 1997


  Loading...