Nico Lehmann

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 6

Top Topics

Web Application Development

Automatic Inspection

Statistical Significance

Web Applications

Top Venues

Proc. ACM Program. Lang.

Publications

Nico Lehmann, Adam T. Geller, Niki Vazou, Ranjit Jhala
Flux: Liquid Types for Rust. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Norman Aye, Nico Lehmann, Jörn Kaufmann, Hans-Jochen Heinze, Emrah Düzel, Marco Taubert, Gabriel Ziegler
Test-retest reliability of multi-parametric maps (MPM) of brain microstructure. NeuroImage 256 (2022)
Nico Lehmann, Adam Geller, Gilles Barthe, Niki Vazou, Ranjit Jhala
Flux: Liquid Types for Rust. CoRR (2022)
Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala
STORM: Refinement Types for Secure Web Applications. OSDI (2021)
Robert H. Schmitt, Philipp Nienheysen, Nico Lehmann, Hamid Jahangir, Martin Peterek, Thomas Neuenhahn
Digitalized Ultrasonic Inspection By Optical Tracking. SII (2019)
Nico Lehmann, Éric Tanter
Gradual refinement types. POPL (2017)
Michael Kruse, Michael Baumann, Tobias Knieper, Christoph Seipel, Lial Khaluf, Nico Lehmann, Alex Lermontow, Christian Messinger, Simon Richter, Thomas Schmidt, Daniel Swars
Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary Algorithm. KI (2009)