Nico Lehmann

Orcid: 0009-0003-6838-3714

According to our database1, Nico Lehmann authored at least 8 papers between 2009 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
1
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Generic Refinement Types.
Proc. ACM Program. Lang., 2025

2023
Flux: Liquid Types for Rust.
Proc. ACM Program. Lang., 2023

2022
Test-retest reliability of multi-parametric maps (MPM) of brain microstructure.
NeuroImage, 2022

Flux: Liquid Types for Rust.
CoRR, 2022

2021
STORM: Refinement Types for Secure Web Applications.
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

2019
Digitalized Ultrasonic Inspection By Optical Tracking.
Proceedings of the IEEE/SICE International Symposium on System Integration, 2019

2017
Gradual refinement types.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2009
Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary Algorithm.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009


  Loading...