Sjaak Smetsers
About
Sjaak Smetsers has authored 15 papers that have received a total of 82 indexed citations.
This includes 7 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 6 papers in Software. The topics of these papers are Formal Methods in Verification (6 papers), Logic, programming, and type systems (6 papers) and Teaching and Learning Programming (5 papers). Sjaak Smetsers is often cited by papers focused on Formal Methods in Verification (6 papers), Logic, programming, and type systems (6 papers) and Teaching and Learning Programming (5 papers) and collaborates with scholars based in The Netherlands. Sjaak Smetsers's co-authors include Erik Barendsen, Rinus Plasmeijer, Ruurd Kuiper, M.C.J.D. van Eekelen and Ronny Wichers Schreur and has published in prestigious journals such as Lecture notes in computer science, Science of Computer Programming and Journal of Functional Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Kenneth Mills are co-authored with Top authors papers by Αντώνιος Αλεξίου are co-authored with Top countries impacted by papers by Suha Abushamma Top countries impacted by papers by Belén Vela Top authors papers by Thomas Given-Wilson are co-authored with Top authors papers by Barry Gower are co-authored with Top journals papers by Maynard Mack are published in Top authors papers by Hesiod are co-authored with