Scholar
Sven Linker
Google Scholar ID: bcBzPn8AAAAJ
System Verification Engineer @ Kernkonzept GmbH
spatial logic
diagrammatic reasoning
visual reasoning
process algebra
temporal logic
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
377
H-index
9
i10-index
8
Publications
20
Co-authors
0
Publications
2 items
Corten - Foundational Verification of Rust Programs
2026
Cited
0
Engineering Reliable Autonomous Systems: Challenges and Solutions
2026
Cited
0
