Marian Lingsch-Rosenfeld
Scholar

Marian Lingsch-Rosenfeld

Google Scholar ID: Fz51EAEAAAAJ
PhD Student, LMU Munich
Quantum ComputingSoftware VerificationMachine Learning
Google Scholar↗
Citations & Impact
All-time
Citations
106
 
H-index
6
 
i10-index
4
 
Publications
20
 
Co-authors
1
list available
Contact
No contact links provided.
Publications
3 items
SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
2025
Cited
0
A Modular Program-Transformation Framework for Reducing Specifications to Reachability
2025
Cited
0
Correctness Witnesses with Function Contracts
2025
Cited
0
Resume (English only)
Co-authors
1 total
Dirk Beyer
Dirk Beyer
Professor of Computer Science, LMU Munich, Germany