Locally Nameless Sigma Calculus. - Ludovic Henrio; Florian Kammüller; Bianca Lutz; Henry Sudhof (Arch. Formal Proofs, 2010)

Non-intrusive Coscheduling for General Purpose Operating Systems. - Jan Hendrik Schönherr; Bianca Lutz; Jan Richling (MSEPT, 2012)

ASPfun : A typed functional active object calculus. - Ludovic Henrio; Florian Kammüller; Bianca Lutz (Sci. Comput. Program., 2012)

Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework. - Florian Kammüller; Bianca Lutz (DPM/CBT@ESORICS, 2020)