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 journals papers by Garreth W. Tigwell are published in Top countries impacted by papers by Anaïs Corma‐Gómez Top authors papers by Тамара Радівілова are co-authored with Top countries impacted by papers by Daniel L. Dreisbach Top authors papers by Steven Wheatley are co-authored with Top authors papers by Jorge Buele are co-authored with Top countries impacted by papers by Michael Gervers Top authors papers by Élcio Shiyoiti Hirano are co-authored with