Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Markus Klinik
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.