Lorenz S. Panny, MSc

Onderzoeksoutput

Onderzoeksoutput per jaar 2014 2018 2019 2020 2023

• 7 Conferentiebijdrage
• 5 Overige bijdrage
• 4 Rapport
• 3 Tijdschriftartikel
• 4 Meer
  • 2 Paper
  • 1 Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
  • 1 Werkdocument

Onderzoeksoutput per jaar

Onderzoeksoutput per jaar

Zoekresultaten

• 2016

  Autocorrelation-Based Detection of Infinite Loops at Runtime

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

  Onderzoeksoutput: Bijdrage aan congres › Paper › Academic
  1 Citaat (Scopus)
• 2014

  Truly Modular (Co)datatypes for Isabelle/HOL

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

  Onderzoeksoutput: Bijdrage aan congres › Paper › Academic
  69 Citaten (Scopus)