Scholar

Michael Leuschel

Google Scholar ID: gNF8SogAAAAJ

Heinrich-Heine Universität Düsseldorf

Formal methodslogic programmingconstraint solvingpartial evaluation

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,837

H-index

19

i10-index

51

Publications

20

Co-authors

22

list available

Contact

No contact links provided.

Publications

1 items

Failure divergence refinement for Event-B

2025

Cited

0

Resume (English only)

Co-authors

22 total