Concepedia

Michaël Leuschel

ML

Statistics

Publications

48

Citations

1.7K

H-Index

25

Active since

1995

Affiliations

Heinrich Heine University Düsseldorf(Current)

University of Southampton

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

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisSoftware AnalysisVerificationSoftware EngineeringSoftware Testing

Publications per year

1995–2024

48

Publications

48

ProB: an automated analysis toolset for the B method

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

Engineering, Computer Analysis, Program Analysis +7

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 · 100 citations · Full text

Engineering, Automated Reasoning, Propositional Logic +6

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

Engineering, Well-founded Semantics, Computational Complexity +23

Logic program specialisation through partial deduction: Control issues

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

Applied Logic, Engineering, Verification +22

A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration

Michaël Leuschel, Danny De Schreye, D. Andre de Waal · Lirias (KU Leuven) · 1996 · 60 citations · Full text

1–5 of 48