Scholar
Tjark Weber
Google Scholar ID: bu5VOKAAAAAJ
Uppsala University
Interactive Theorem Proving
Automated Theorem Proving
Formal Verification
Concurrency
Computational Logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
604
H-index
10
i10-index
10
Publications
20
Co-authors
10
list available
Publications
1 items
Sound and Complete Invariant-Based Heap Encodings (Technical Report)
2025
Cited
0
Co-authors
6 total
Georg Struth
University of Sheffield
Susmit Sarkar
Professor of Computer Science, University of St Andrews
Marcus Völp
CritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg
Matthias Heizmann
University of Stuttgart, Germany
Giles Reger
Amazon (formerly University of Manchester, UK)
Johannes Borgström
Associate professor in computing science, Uppsala University
