Publications

NB: Prior to my marriage in 2014, my surname was (Uhd) Tønnesen.

H-index: 3 (calculated by Scopus and Google Scholar)

Peer-reviewed Journal Articles (ordered by publication date)

[1] Kirkeby, M. H. & Christiansen, H. (2018). Confluence and Convergence Modulo Equivalence in Probabilistically Terminating Reduction Systems. Accepted for publication in the International Journal of Approximate Reasoning.

[2] Christiansen, H. & Kirkeby, M. H. (2017). On proving Confluence Modulo Equivalence in Constraint Handling Rules. In Formal Aspects of Computing, Vol. 29(1), pp. 57–95, DOI: 10.1007/s00165-016-0396-9.

[3] Eder, K, Gallagher, JP, López-García, P, Muller, H, Banković, Z, Georgiou, K, Haemmerlé, R, Hermenegildo, MV, Kafle, B, Kerrison, S, Kirkeby, M. H., Klemen, M, Li, X, Liqat, U, Morse, J, Rhiger, M & Rosendahl, M 2016, 'ENTRA: Whole-systems energy transparency' Microprocessors and Microsystems, 47(Part B), 278-286. DOI: 10.1016/j.micpro.2016.07.003

[4] H. Lund, H. Tønnesen, M. H. Tønnesen, O. Olsen (2006) Long-term recurrence and death rates after acute pancreatitis. In Scandinavian Journal of Gastroenterology, Vol. 41 (2): pages 234 – 238, 2006

Peer-reviewed Conference and Workshop articles (ordered by publication date)

[5] Kirkeby, M. H. & Glück, R. (2020), “Semi-inversion of Conditional Constructor Term Rewriting Systems,” in Logic-Based Program Synthesis and Transformation, vol. 12042, M. Gabbrielli, Ed. Springer International Publishing, 2020, pp. 243–259. LOPSTR 2019

[6] Kirkeby, M. H. (2020). Probabilistic output analyses for deterministic programs -reusing existing non-probabilistic analyses. In 16th Workshop on Quantitative Aspects of Programming Languages and Systems . QAPL 2019.

[7] Christiansen, H. & Kirkeby, M. H. (2018). Confluence in Constraint Handling Rules: A retrospective overview. In International Workshop of Confluence. IWC 2018.

URL: http://bit.ly/IWC2018proceedings

[8] Christiansen, H. & Kirkeby, M. H. (2018). Confluence of CHR revisited: invariants and modulo equivalence. In Logic-Based Program Synthesis and Transformation. LOPSTR 2018. URL: http://arxiv.org/pdf/1805.10438.pdf

[9] Christiansen, H. & Kirkeby, M. H. (2018). Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs. In international Workshop on Functional and (constraint) Logic Programming. WFLP 2018. (Accepted for publication). URL: http://arxiv.org/abs/1805.10438

[10] Kirkeby, M. H. (2018). Probabilistic Program Analysis. PhD Thesis. Computer Science, Research Report, vol. 151, Roskilde University, 2018. URL: http://bit.ly/Kirkeby2018

[11] Kirkeby, M. H. & Christiansen, H. (2017). Confluence and Convergence in Probabilistically Terminating Reduction Systems. In Logic-Based Program Synthesis and Transformation. LOPSTR 2017. Lecture Notes in Computer Science, Vol. 10855, pp. 164–179. DOI: 10.1007/978-3-319-94460-9_10

[12] Kirkeby, M. H. (2016) Approximating Probabilities in static analysis. In the 26th Nordic Workshop on Programming Theory. NWPT 2016. URL: http://nwpt2016.cs.aau.dk/nwpt2016-proceedings.pdf

[13] Kirkeby, M. H. & Rosendahl, M. (2015). Probabilistic Resource Analysis by Program Transformation. In Foundational and Practical Aspects of Resource Analysis, FOPARA 2015. Lecture Notes in Computer Science, Vol 9964, pp. 60–80. DOI: 10.1007/978-3-319-46559-3_4

[14] Rosendahl, M. & Kirkeby, M. H. (2015). Probabilistic Output Analysis by Program Manipulation. In proceedings of 13th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014. Electronic Proceedings in Theoretical Computer Science, Vol. 194, pp. 110–124. DOI: 10.4204/EPTCS.194.8

[15] Christiansen, H., & Kirkeby, M. H. (2015). Confluence Modulo Equivalence in Constraint Handling Rules. In Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014. Revised Selected Papers. Lecture Notes in Computer Science, Vol. 8981, pp. 41–58. DOI: 10.1007/978-3-319-17822-6_3

[16] Kirkeby, M. H. & Glück, Robert (2012) Semi Inversion of Conditional Constructor Term Rewriting Systems. In 24th Nordic Workshop on Programming Theory. NWPT 2012. URL: http://bit.ly/NWPT2012

[17] Tønnesen, M. H. U. (2009) Semi Inversion of Conditional Constructor Term Rewriting Systems. Master's Thesis, DIKU, Dept. of Computer Science, Univ. of Copenhagen, 2009. URL: http://bit.ly/TonnesenMScThesis

Non peer-reviewed publications (ordered by publication date)

1. Christiansen, H., & Kirkeby, M. H. (2018, scientific report). Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]. In (Computer Science Research Report, vol. 153, Roskilde University, 2018). URL: http://bit.ly/ChrKir_LOPSTR2018_ExtReport
2. Kirkeby, M. H. & Axelsen, Holger B. (2017, poster) Beliefs and Plausibilities in Abstract Interpretation. In the Tenth International Symposium on Imprecise Probability: Theories and Applications. ISIPTA 2017. URL: http://bit.ly/ISIPTA2017_Kirkeby_poster
3. Kirkeby, M. H. (2015, extended abstract) 2nd ICT-Energy Doctoral Symposium: Probabilistic Resource Analysis
4. Tønnesen, M. H., Serrano, A., Rosendahl, M, López-García, P (2013, delivery report chapter) Chapter 8: Probabilistic Resource Usage Analysis, ENTRA Deliverable D3.1: A General Framework for Resource Consumption Analysis and Verification.