Daniel Luckhardt

School of Computer Science

Research Associate in Quantitative Verification

D.Luckhardt@sheffield.ac.uk
+44 114 225 7539
Regent Court (DCS)

Full contact details

Daniel Luckhardt
School of Computer Science
Regent Court (DCS)
211 Portobello
ºù«Ӱҵ
S1 4DP
Publications

Journal articles

  • Luckhardt D (2021) . Annals of Global Analysis and Geometry, 60(3), 687-708. RIS download Bibtex download
  • Luckhardt D, Beohar H & Küpper S () . Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of.... RIS download Bibtex download

Chapters

  • Insall M & Luckhardt D (2021) , Proceedings of the conference Contemporary Mathematics in Kielce 2020, February 24-27 2021 (pp. 157-178). Sciendo RIS download Bibtex download

Preprints

  • Luckhardt D, Beohar H & Küpper S (2024) On Kleisli liftings and decorated trace semantics, arXiv. RIS download Bibtex download
Research group

Foundations of Computation research group