Ed Brinksma
About
Ed Brinksma has authored 30 papers that have received a total of 780 indexed citations.
This includes 22 papers in Computational Theory and Mathematics, 10 papers in Software and 9 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (22 papers), Petri Nets in System Modeling (12 papers) and Model-Driven Software Engineering Techniques (6 papers). Ed Brinksma is often cited by papers focused on Formal Methods in Verification (22 papers), Petri Nets in System Modeling (12 papers) and Model-Driven Software Engineering Techniques (6 papers) and collaborates with scholars based in The Netherlands, Germany and Denmark. Ed Brinksma's co-authors include Joost-Pieter Katoen, Angelika Mader, Rom Langerak, Kim G. Larsen and Diego Latella and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and The Computer Journal
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Judith M. Bradow are about Top journals papers by Claartje L. ter Hoeven are published in Top authors papers by Samantha A. Seaward are co-authored with Top journals papers by Rodnei Bertazzoli are published in Top journals papers by James R. Fricke are published in Top countries impacted by papers by Joseph E. Sarneski Top authors papers by Zongxu Liu are co-authored with Top journals papers by Hamzeh Khazaei are published in