Scholar

Leopold Haller

Google Scholar ID: 7-HGC9YAAAAJ

NDEA

Formal verificationsatisfiabilityabstract interpretationsatisfiability modulo theories

Google Scholar↗

Citations & Impact

All-time

Citations

599

H-index

11

i10-index

11

Publications

17

Co-authors

0

Contact

No contact links provided.

Publications

1 items

Lattice Deduction Transformers

2026

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)