Maxi Wuttke

Affiliations:

Max Planck Institute for Security and Privacy (MPI-SP), Bochum, Germany
Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken, Germany (former)
Saarland University, Saarbrücken, Germany (former)

According to our database¹, Maxi Wuttke authored at least 2 papers between 2020 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Verified programming of Turing machines in Coq.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020