Mark Timmer
About
Mark Timmer has authored 15 papers that have received a total of 39 indexed citations.
This includes 11 papers in Computational Theory and Mathematics, 9 papers in Software and 5 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (11 papers), Software Reliability and Analysis Research (7 papers) and Software Testing and Debugging Techniques (6 papers). Mark Timmer is often cited by papers focused on Formal Methods in Verification (11 papers), Software Reliability and Analysis Research (7 papers) and Software Testing and Debugging Techniques (6 papers) and collaborates with scholars based in The Netherlands, Germany and Canada. Mark Timmer's co-authors include Joost-Pieter Katoen, Mariëlle Stoelinga, Jaco van de Pol, Aiko Pras and Jamie Kroft and has published in prestigious journals such as Theoretical Computer Science, Microscopy and Microanalysis and International Journal on Software Tools for Technology Transfer
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Mark Anderson are published in Top fields papers by Rodica Potolea are about Top journals papers by Sebastian Benz are published in Top journals papers by Abdul Rahim are published in Top countries impacted by papers by A. Cabrera Top journals papers by Albrecht Koschorke are published in Top fields papers by Richard Will are about Top fields papers by В. А. Токарев are about