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 Mario Calvo A are co-authored with Top countries impacted by papers by Lynn Chong Top countries impacted by papers by Harold W. Miller Top authors papers by Stephen Clucas are co-authored with Top authors papers by Ayhan Ateşoğlu are co-authored with Top authors papers by Ivy Schweitzer are co-authored with Top authors papers by Abdullah Almaqhawi are co-authored with