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 authors papers by Romain Moury are co-authored with Top authors papers by S. Simpkin are co-authored with Top journals papers by Ricardo Carrau are published in Top authors papers by Azriel Osherov are co-authored with Top journals papers by Byoung‐Gyu Kim are published in Top journals papers by James R.Y. Rawson are published in Top fields papers by Sushanta Ghoshal are about Top journals papers by Annarita Meneguz are published in