Anton Wijs
About
Anton Wijs has authored 25 papers that have received a total of 88 indexed citations.
This includes 19 papers in Computational Theory and Mathematics, 15 papers in Software and 11 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (19 papers), Software Testing and Debugging Techniques (8 papers) and Model-Driven Software Engineering Techniques (7 papers). Anton Wijs is often cited by papers focused on Formal Methods in Verification (19 papers), Software Testing and Debugging Techniques (8 papers) and Model-Driven Software Engineering Techniques (7 papers) and collaborates with scholars based in The Netherlands, France and Germany. Anton Wijs's co-authors include Dragan Bošnački, Jaco van de Pol, Wan Fokkink, Jan Friso Groote and Radu Mateescu and has published in prestigious journals such as BMC Bioinformatics, Lecture notes in computer science and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Yariv Brauner are co-authored with Top authors papers by Tom Jenkins are co-authored with Top countries impacted by papers by Martín Hopenhayn Top fields papers by J. Pasternak are about Top fields papers by Tseng‐Yi Chen are about Top journals papers by Oleg Krestyaninov are published in Top fields papers by S. Afanasiev are about Top authors papers by Thomas Kurtz are co-authored with