Detlef Plump
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Patrícia Rivera are co-authored with Top journals papers by Victoria Coverstone are published in Top authors papers by Tran Thai Ha Nguyen are co-authored with Top authors papers by Jagdish Menon are co-authored with Top fields papers by Lihao Yang are about Top authors papers by Vladimir Tcheverda are co-authored with Top countries impacted by papers by Leticia Rubio Top journals papers by Monika Miklaszewska are published in