Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary Algorithm. - Michael Kruse; Michael Baumann 002; Tobias Knieper; Christoph Seipel; Lial Khaluf; Nico Lehmann; Alex Lermontow; Christian Messinger; Simon Richter; Thomas Schmidt 004; Daniel Swars (KI, 2009)

Gradual refinement types. - Nico Lehmann; Éric Tanter (POPL, 2017)

Digitalized Ultrasonic Inspection By Optical Tracking. - Robert H. Schmitt; Philipp Nienheysen; Nico Lehmann; Hamid Jahangir; Martin Peterek; Thomas Neuenhahn (SII, 2019)

STORM: Refinement Types for Secure Web Applications. - Nico Lehmann; Rose Kunkel; Jordan Brown; Jean Yang 001; Niki Vazou; Nadia Polikarpova; Deian Stefan; Ranjit Jhala (OSDI, 2021)

Flux: Liquid Types for Rust. - Nico Lehmann; Adam T. Geller; Gilles Barthe; Niki Vazou; Ranjit Jhala (CoRR, 2022)

Test-retest reliability of multi-parametric maps (MPM) of brain microstructure. - Norman Aye; Nico Lehmann; Jörn Kaufmann; Hans-Jochen Heinze; Emrah Düzel; Marco Taubert; Gabriel Ziegler (NeuroImage, 2022)

Flux: Liquid Types for Rust. - Nico Lehmann; Adam T. Geller; Niki Vazou; Ranjit Jhala (Proc. ACM Program. Lang., 2023)

Generic Refinement Types. - Nico Lehmann; Cole Kurashige; Nikhil Akiti; Niroop Krishnakumar; Ranjit Jhala (Proc. ACM Program. Lang., 2025)