Personal information
Germany
Activities
Employment (1)
2022
to
present
|
PhD Student
(Department of Computer Science)
Employment
Source:
Kevin Lotz
Works (5)
2025
|
Book chapter
Contributors:
Mitja Kulczynski;
Kevin Lotz;
Florin Manea;
Danny Bøgsted Poulsen;
Paul Sarnighausen-Cahn
Source:
check_circle
Crossref
Formal Methods in Computer-Aided Design
2024-10
|
Conference paper
Contributors:
Kevin Lotz;
Amit Goel;
Bruno Dutertre;
Benjamin Kiesl-Reiter;
Soonho Kong;
Dirk Nowotka
Source:
Kevin Lotz
2023
|
Book chapter
Contributors:
Kevin Lotz;
Amit Goel;
Bruno Dutertre;
Benjamin Kiesl-Reiter;
Soonho Kong;
Rupak Majumdar;
Dirk Nowotka
Source:
check_circle
Crossref
2023
|
Book chapter
Contributors:
Kevin Lotz;
Mitja Kulczynski;
Dirk Nowotka;
Danny Bøgsted Poulsen;
Anders Schlichtkrull
Source:
check_circle
Crossref
2022
|
Book chapter
Contributors:
Mitja Kulczynski;
Kevin Lotz;
Dirk Nowotka;
Danny Bøgsted Poulsen
Source:
check_circle
Crossref