Lorenz S. Panny, MSc

Research output

Content available in repository 2014 2018 2019 2020 2023

• 7 Conference contribution
• 5 Other contribution
• 4 Report
• 3 Article
• 4 More
  • 2 Paper
  • 1 Phd Thesis 1 (Research TU/e / Graduation TU/e)
  • 1 Working paper

Content available in repository

Content available in repository

Search results

• 2016

  Autocorrelation-Based Detection of Infinite Loops at Runtime

  Ibing, A., Kirsch, J. & Panny, L., 2016, p. 368-375.

  Research output: Contribution to conference › Paper › Academic
  1 Citation (Scopus)
• 2014

  Truly Modular (Co)datatypes for Isabelle/HOL

  Blanchette, J. C., Hölzl, J., Lochbihler, A., Panny, L., Popescu, A. & Traytel, D., 2014, p. 93-110.

  Research output: Contribution to conference › Paper › Academic
  69 Citations (Scopus)