BibTeX records: Markus Klinik

download as .bib file

@inproceedings{DBLP:conf/cserc/KlinikKW21,
  author       = {Markus Klinik and
                  Pieter W. M. Koopman and
                  Rick van der Wal},
  title        = {Personal Prof: Automatic Code Review for Java Assignments},
  booktitle    = {{CSERC} '21: The 10th Computer Science Education Research Conference,
                  Virtual Event, The Netherlands, November 22 - 23, 2021},
  pages        = {31--38},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3507923.3507930},
  doi          = {10.1145/3507923.3507930},
  timestamp    = {Sun, 16 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cserc/KlinikKW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/KlinikGKE20,
  author       = {Markus Klinik and
                  Bernard van Gastel and
                  Cynthia Kop and
                  Marko C. J. D. van Eekelen},
  editor       = {Maurice H. ter Beek and
                  Dejan Nickovic},
  title        = {Skylines for Symbolic Energy Consumption Analysis},
  booktitle    = {Formal Methods for Industrial Critical Systems - 25th International
                  Conference, {FMICS} 2020, Vienna, Austria, September 2-3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12327},
  pages        = {93--112},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58298-2\_3},
  doi          = {10.1007/978-3-030-58298-2\_3},
  timestamp    = {Mon, 31 Aug 2020 16:55:58 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/KlinikGKE20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/NausSK19,
  author       = {Nico Naus and
                  Tim Steenvoorden and
                  Markus Klinik},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {A symbolic execution semantics for TopHat},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {1:1--1:11},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412933},
  doi          = {10.1145/3412932.3412933},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifl/NausSK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SteenvoordenNK19,
  author       = {Tim Steenvoorden and
                  Nico Naus and
                  Markus Klinik},
  editor       = {Ekaterina Komendantskaya},
  title        = {TopHat: {A} formal foundation for task-oriented programming},
  booktitle    = {Proceedings of the 21st International Symposium on Principles and
                  Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
                  7-9, 2019},
  pages        = {17:1--17:13},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3354166.3354182},
  doi          = {10.1145/3354166.3354182},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/SteenvoordenNK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/KlinikJP17,
  author       = {Markus Klinik and
                  Jan Martin Jansen and
                  Rinus Plasmeijer},
  editor       = {Nicolas Wu},
  title        = {The Sky is the Limit: Analysing Resource Consumption Over Time Using
                  Skylines},
  booktitle    = {Proceedings of the 29th Symposium on Implementation and Application
                  of Functional Programming Languages, {IFL} 2017, Bristol, UK, August
                  30 - September 01, 2017},
  pages        = {8:1--8:12},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3205368.3205376},
  doi          = {10.1145/3205368.3205376},
  timestamp    = {Wed, 21 Nov 2018 12:43:56 +0100},
  biburl       = {https://dblp.org/rec/conf/ifl/KlinikJP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/KlinikHJP17,
  author       = {Markus Klinik and
                  Jurriaan Hage and
                  Jan Martin Jansen and
                  Rinus Plasmeijer},
  editor       = {Ulrik Pagh Schultz and
                  Jeremy Yallop},
  title        = {Predicting resource consumption of higher-order workflows},
  booktitle    = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
                  2017},
  pages        = {99--110},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3018882.3018885},
  doi          = {10.1145/3018882.3018885},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/KlinikHJP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics