Sparse Non-blocking Collectives in Quantum Mechanical Calculations. - Torsten Hoefler; Florian Lorenzen; Andrew Lumsdaine (PVM/MPI, 2008)

Constraint Functional Multicore Programming. - Petra Hofstedt; Florian Lorenzen (GI Jahrestagung, 2009)

Notes on the Separate Compilation of Modelica. - Christoph Höger; Florian Lorenzen; Peter Pepper (EOOLT, 2010)

Call-by-Value Semantics for Mutually Recursive First-Class Modules. - Judith Rohloff; Florian Lorenzen (Trends in Functional Programming, 2012)

Modular and automated type-soundness verification for language extensions. - Florian Lorenzen; Sebastian Erdweg (ICFP, 2013)

Sound type-dependent syntactic language extension. - Florian Lorenzen; Sebastian Erdweg (POPL, 2016)