Concepedia

Michaël Leuschel

ML

Statistics

Publications

50

Citations

1.8K

H-Index

25

Active since

1995

Affiliations

Heinrich Heine University Düsseldorf(Current)

University of Southampton

KU Leuven

Michaël Leuschel is an author at Heinrich Heine University Düsseldorf specializing in computer science, computing, and formal methods.

ORCID

Publications per year

1995–2024

50

Publications

50

ProB: an automated analysis toolset for the B method

Michaël Leuschel, Michael Butler · International Journal on Software Tools for Technology Transfer · 2008 · 383 citations

, , +5

Conjunctive partial deduction: foundations, control, algorithms, and experiments

Danny De Schreye, Robert Glück, Jesper Jørgensen et al. · The Journal of Logic Programming · 1999 · 101 citations · Full text

, , +7

Controlling generalization and polyvariance in partial deduction of normal logic programs

Michaël Leuschel, Bern Martens, Danny De Schreye · ACM Transactions on Programming Languages and Systems · 1998 · 92 citations · Full text

, , +11

Logic program specialisation through partial deduction: Control issues

Michaël Leuschel, Maurice Bruynooghe · Theory and Practice of Logic Programming · 2002 · 80 citations · Full text

, , +9

Formal Methods in Industry

Maurice H. ter Beek, Roderick Chapman, Rance Cleaveland et al. · Formal Aspects of Computing · 2024 · 66 citations · Full text

, , +6

1–5 of 50