Nico Lehmann

According to our database, Nico Lehmann authored at least 7 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Flux: Liquid Types for Rust.

Nico Lehmann, Adam T. Geller, Niki Vazou, Ranjit Jhala

Proc. ACM Program. Lang., 2023

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, Gilles Barthe, Niki Vazou, Ranjit Jhala

CoRR, 2022

2021

STORM: Refinement Types for Secure Web Applications.

Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

2019

Digitalized Ultrasonic Inspection By Optical Tracking.

Robert H. Schmitt, Philipp Nienheysen, Nico Lehmann, Hamid Jahangir, Martin Peterek, Thomas Neuenhahn

Proceedings of the IEEE/SICE International Symposium on System Integration, 2019

2017

Gradual refinement types.

Nico Lehmann, Éric Tanter

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2009

Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary Algorithm.

Michael Kruse, Michael Baumann, Tobias Knieper, Christoph Seipel, Lial Khaluf, Nico Lehmann, Alex Lermontow, Christian Messinger, Simon Richter, Thomas Schmidt, Daniel Swars

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009