Arend Rensink
About
Arend Rensink has authored 73 papers that have received a total of 474 indexed citations.
This includes 47 papers in Software, 41 papers in Artificial Intelligence and 32 papers in Computational Theory and Mathematics. The topics of these papers are Model-Driven Software Engineering Techniques (39 papers), Formal Methods in Verification (27 papers) and Advanced Software Engineering Methodologies (17 papers). Arend Rensink is often cited by papers focused on Model-Driven Software Engineering Techniques (39 papers), Formal Methods in Verification (27 papers) and Advanced Software Engineering Methodologies (17 papers) and collaborates with scholars based in The Netherlands, Germany and Italy. Arend Rensink's co-authors include Joost-Pieter Katoen, Amir Hossein Ghamarian, Dino Distefano, Heike Wehrheim and Andy Schürr and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Miao Hu are about Top authors papers by Mahdy Ranjbar are co-authored with Top journals papers by Jie Jiang are published in Top journals papers by Edoardo Nicolò Aiello are published in Top fields papers by P. A. Alekseev are about Top fields papers by Jennifer Croke are about Top authors papers by Toto Subroto are co-authored with Top journals papers by A. Yu. Kuznetsov are published in