Detlef Plump

38 papers and 328 indexed citations i.

Detlef Plump has authored 38 papers that have received a total of 328 indexed citations. This includes 29 papers in Software, 28 papers in Artificial Intelligence and 21 papers in Computational Theory and Mathematics. The topics of these papers are Model-Driven Software Engineering Techniques (28 papers), Formal Methods in Verification (20 papers) and Logic, programming, and type systems (18 papers). Detlef Plump is often cited by papers focused on Model-Driven Software Engineering Techniques (28 papers), Formal Methods in Verification (20 papers) and Logic, programming, and type systems (18 papers) and collaborates with scholars based in United Kingdom, Germany and France. Detlef Plump's co-authors include Annegret Habel, Susan Stepney, Christopher M. Poskitt, Berthold Hoffmann and Timothy Atkinson and has published in prestigious journals such as Journal of Computer and System Sciences, Lecture notes in computer science and Information and Computation