Nils Lauermann

Orcid: 0009-0007-5438-2891

According to our database1, Nils Lauermann authored at least 3 papers between 2022 and 2026.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
ArchSem: Reusable Rigorous Semantics of Relaxed Architectures.
Proc. ACM Program. Lang., 2026

2022
Turán's Graph Theorem.
Arch. Formal Proofs, 2022

Synthetic Kolmogorov Complexity in Coq.
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022


  Loading...