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 K. S. Sim are published in Top fields papers by Zhiqiang Wei are about Top journals papers by Naoufel Kraïem are published in Top fields papers by J. Song are about Top journals papers by Sotiris Diplaris are published in Top journals papers by Karinne Ludlow are published in Top fields papers by V. P. Meena are about Top fields papers by Anna Bryson are about