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},
  url       = {https://doi.org/10.1109/JSTARS.2018.2807815},
  doi       = {10.1109/JSTARS.2018.2807815},
  timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/staeors/FeigenwinterVPL18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Joint Urban Remote Sensing Event, {JURSE} 2017, Dubai, United Arab
               Emirates, March 6-8, 2017},
  pages     = {1--4},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {https://doi.org/10.1109/JURSE.2017.7924594},
  doi       = {10.1109/JURSE.2017.7924594},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/jurse/FeigenwinterPVS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  editor    = {Volker Wohlgemuth and
               Bernd Page and
               Kristina Voigt},
  title     = {{ICT} for Urban Metabolism: The case of {BRIDGE}},
  booktitle = {Environmental Informatics and Industrial Environmental Protection
               - Concepts, Methods and Tools: Proceedings of the 23rd International
               Conference for Environmental Protection, EnviroInfo 2009, Berlin,
               Germany, September 9-11, 2009, Part 2},
  pages     = {175--185},
  publisher = {Shaker Verlag, Aachen},
  year      = {2009},
  url       = {http://iai-uiserv1.iai.fzk.de/ictensure/site?mod=litdb\&\#38;subject=art\&\#38;pid=L5FEA08A3\&\#38;action=detail},
  timestamp = {Tue, 24 Nov 2020 15:40:26 +0100},
  biburl    = {https://dblp.org/rec/conf/enviroinfo/ChrysoulakisVYG09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sicherheit/VolkamerRV06,
  author    = {Melanie Volkamer and
               Walter Reinhard and
               Roland Vogt},
  editor    = {Jana Dittmann},
  title     = {{FUSE} - ein Internetwahlsystem f{\"{u}}r zeitlich unbegrenzt
               geheime Betriebswahlen},
  booktitle = {Sicherheit 2006: Sicherheit - Schutz und Zuverl{\"{a}}ssigkeit,
               Beitr{\"{a}}ge der 3. Jahrestagung des Fachbereichs Sicherheit
               der Gesellschaft f{\"{u}}r Informatik e.v. (GI), 20.-22. Februar
               2006 in Magdeburg},
  series    = {{LNI}},
  volume    = {{P-77}},
  pages     = {159--170},
  publisher = {{GI}},
  year      = {2006},
  url       = {https://dl.gi.de/20.500.12116/24769},
  timestamp = {Tue, 12 Jan 2021 19:26:04 +0100},
  biburl    = {https://dblp.org/rec/conf/sicherheit/VolkamerRV06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1080/095281300454784},
  doi       = {10.1080/095281300454784},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jetai/HutterLRSSV00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1007/s100099900022},
  doi       = {10.1007/s100099900022},
  timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/AutexierHLMRSSVW00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/LangensteinVU00,
  author    = {Bruno Langenstein and
               Roland Vogt and
               Markus Ullmann},
  editor    = {James N. Etheredge and
               Bill Z. Manaris},
  title     = {The Use of Formal Methods for Trusted Digital Signature Devices},
  booktitle = {Proceedings of the Thirteenth International Florida Artificial Intelligence
               Research Society Conference, May 22-24, 2000, Orlando, Florida, {USA}},
  pages     = {336--340},
  publisher = {{AAAI} Press},
  year      = {2000},
  url       = {http://www.aaai.org/Library/FLAIRS/2000/flairs00-063.php},
  timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/flairs/LangensteinVU00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/HutterRSSV00,
  author    = {Dieter Hutter and
               Georg Rock and
               J{\"{o}}rg H. Siekmann and
               Werner Stephan and
               Roland Vogt},
  editor    = {James N. Etheredge and
               Bill Z. Manaris},
  title     = {Formal Software Development in the Verification Support Environment
               {(VSE)}},
  booktitle = {Proceedings of the Thirteenth International Florida Artificial Intelligence
               Research Society Conference, May 22-24, 2000, Orlando, Florida, {USA}},
  pages     = {367--376},
  publisher = {{AAAI} Press},
  year      = {2000},
  url       = {http://www.aaai.org/Library/FLAIRS/2000/flairs00-069.php},
  timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/flairs/HutterRSSV00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1023/A:1005872405899},
  doi       = {10.1023/A:1005872405899},
  timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jar/HillenbrandBVL97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics