Scholar
Leopold Haller
Google Scholar ID: 7-HGC9YAAAAJ
NDEA
Formal verification
satisfiability
abstract interpretation
satisfiability modulo theories
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
599
H-index
11
i10-index
11
Publications
17
Co-authors
0
Publications
1 items
Lattice Deduction Transformers
2026
Cited
0
