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 Sanghoon Hwang are published in Top countries impacted by papers by Stu Woolman Top fields papers by Janina Trauth are about Top journals papers by Si‐Jin Zeng are published in Top fields papers by Andrew M. Stauffer are about Top journals papers by Joseph R. Fragola are published in Top journals papers by A. Castellón are published in Top fields papers by J. Auffenberg are about