Jürgen Dingel
About
Jürgen Dingel has authored 7 papers that have received a total of 79 indexed citations.
This includes 4 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 4 papers in Software. The topics of these papers are Formal Methods in Verification (4 papers), Logic, programming, and type systems (3 papers) and Model-Driven Software Engineering Techniques (3 papers). Jürgen Dingel is often cited by papers focused on Formal Methods in Verification (4 papers), Logic, programming, and type systems (3 papers) and Model-Driven Software Engineering Techniques (3 papers) and collaborates with scholars based in Canada, United States and Germany. Jürgen Dingel's co-authors include David Garlan, David Notkin, Somesh Jha, James R. Cordy and Hongyu Zhang and has published in prestigious journals such as Software & Systems Modeling, Formal Aspects of Computing and The Journal of Object Technology
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by D. Beck are about Top authors papers by Delaram Khamari are co-authored with Top countries impacted by papers by Kevin Qin Top fields papers by Moez Zeiton are about Top fields papers by Daniel P. Ritter are about Top authors papers by Caterina Consarino are co-authored with Top authors papers by Katherine Kao Cushing are co-authored with Top fields papers by L. Pinzelli are about