BibTeX records: Roland Vogt

download as .bib file

@article{DBLP:journals/staeors/FeigenwinterVPL18,
  author    = {Christian Feigenwinter and
               Roland Vogt and
               Eberhard Parlow and
               Fredrik Lindberg and
               Mattia Marconcini and
               Fabio Del Frate and
               Nektarios Chrysoulakis},
  title     = {Spatial Distribution of Sensible and Latent Heat Flux in the City
               of Basel (Switzerland)},
  journal   = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
  volume    = {11},
  number    = {8},
  pages     = {2717--2723},
  year      = {2018}
}
@inproceedings{DBLP:conf/jurse/FeigenwinterPVS17,
  author    = {Christian Feigenwinter and
               Eberhard Parlow and
               Roland Vogt and
               Michael Schmutz and
               Nektarios Chrysoulakis and
               Fredrik Lindberg and
               Mattia Marconcini and
               Fabio Del Frate},
  title     = {Spatial distribution of sensible and latent heat flux in the {URBANFLUXES}
               case study city Basel (Switzerland)},
  booktitle = {{JURSE}},
  pages     = {1--4},
  publisher = {{IEEE}},
  year      = {2017}
}
@inproceedings{DBLP:conf/enviroinfo/ChrysoulakisVYG09,
  author    = {Nektarios Chrysoulakis and
               Roland Vogt and
               Duick Young and
               S. C. B. Grimmond and
               Donatella Spano and
               Serena Marras},
  title     = {{ICT} for Urban Metabolism: The case of {BRIDGE}},
  booktitle = {EnviroInfo {(2)}},
  pages     = {175--185},
  publisher = {Shaker Verlag, Aachen},
  year      = {2009}
}
@inproceedings{DBLP:conf/sicherheit/VolkamerRV06,
  author    = {Melanie Volkamer and
               Walter Reinhard and
               Roland Vogt},
  title     = {{FUSE} - ein Internetwahlsystem f{\"{u}}r zeitlich unbegrenzt
               geheime Betriebswahlen},
  booktitle = {Sicherheit},
  series    = {{LNI}},
  volume    = {{P-77}},
  pages     = {159--170},
  publisher = {{GI}},
  year      = {2006}
}
@article{DBLP:journals/jetai/HutterLRSSV00,
  author    = {Dieter Hutter and
               Bruno Langenstein and
               Georg Rock and
               J{\"{o}}rg H. Siekmann and
               Werner Stephan and
               Roland Vogt},
  title     = {Formal software development in the Verification Support Environment
               {(VSE)}},
  journal   = {J. Exp. Theor. Artif. Intell.},
  volume    = {12},
  number    = {4},
  pages     = {383--406},
  year      = {2000}
}
@article{DBLP:journals/sttt/AutexierHLMRSSVW00,
  author    = {Serge Autexier and
               Dieter Hutter and
               Bruno Langenstein and
               Heiko Mantel and
               Georg Rock and
               Axel Schairer and
               Werner Stephan and
               Roland Vogt and
               Andreas Wolpers},
  title     = {{VSE:} formal methods meet industrial needs},
  journal   = {Int. J. Softw. Tools Technol. Transf.},
  volume    = {3},
  number    = {1},
  pages     = {66--77},
  year      = {2000}
}
@inproceedings{DBLP:conf/flairs/LangensteinVU00,
  author    = {Bruno Langenstein and
               Roland Vogt and
               Markus Ullmann},
  title     = {The Use of Formal Methods for Trusted Digital Signature Devices},
  booktitle = {{FLAIRS} Conference},
  pages     = {336--340},
  publisher = {{AAAI} Press},
  year      = {2000}
}
@inproceedings{DBLP:conf/flairs/HutterRSSV00,
  author    = {Dieter Hutter and
               Georg Rock and
               J{\"{o}}rg H. Siekmann and
               Werner Stephan and
               Roland Vogt},
  title     = {Formal Software Development in the Verification Support Environment
               {(VSE)}},
  booktitle = {{FLAIRS} Conference},
  pages     = {367--376},
  publisher = {{AAAI} Press},
  year      = {2000}
}
@article{DBLP:journals/jar/HillenbrandBVL97,
  author    = {Thomas Hillenbrand and
               Arnim Buch and
               Roland Vogt and
               Bernd L{\"{o}}chner},
  title     = {{WALDMEISTER} - High-Performance Equational Deduction},
  journal   = {J. Autom. Reason.},
  volume    = {18},
  number    = {2},
  pages     = {265--270},
  year      = {1997}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics