BibTeX records: Kai Driessen

download as .bib file

@inproceedings{DBLP:conf/sisap/UysalDB017,
  author    = {Merih Seran Uysal and
               Kai Driessen and
               Tobias Brockhoff and
               Thomas Seidl},
  title     = {Fast Similarity Search with the Earth Mover's Distance via Feasible
               Initialization and Pruning},
  booktitle = {Similarity Search and Applications - 10th International Conference,
               {SISAP} 2017, Munich, Germany, October 4-6, 2017, Proceedings},
  pages     = {141--155},
  year      = {2017},
  crossref  = {DBLP:conf/sisap/2017},
  url       = {https://doi.org/10.1007/978-3-319-68474-1\_10},
  doi       = {10.1007/978-3-319-68474-1\_10},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sisap/UysalDB017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/NellenDNAW16,
  author    = {Johanna Nellen and
               Kai Driessen and
               Martin R. Neuh{\"{a}}u{\ss}er and
               Erika {\'{A}}brah{\'{a}}m and
               Benedikt Wolters},
  title     = {Two CEGAR-based approaches for the safety verification of PLC-controlled
               plants},
  journal   = {Inf. Syst. Frontiers},
  volume    = {18},
  number    = {5},
  pages     = {927--952},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10796-016-9671-9},
  doi       = {10.1007/s10796-016-9671-9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/isf/NellenDNAW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sisap/2017,
  editor    = {Christian Beecks and
               Felix Borutta and
               Peer Kr{\"{o}}ger and
               Thomas Seidl},
  title     = {Similarity Search and Applications - 10th International Conference,
               {SISAP} 2017, Munich, Germany, October 4-6, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10609},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68474-1},
  doi       = {10.1007/978-3-319-68474-1},
  isbn      = {978-3-319-68473-4},
  timestamp = {Thu, 02 Dec 2021 07:57:52 +0100},
  biburl    = {https://dblp.org/rec/conf/sisap/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics