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 fields papers by Yukio Tsushima are about Top authors papers by Pailin Chiaranunt are co-authored with Top authors papers by Stefania Camagni are co-authored with Top authors papers by Dominique Michelucci are co-authored with Top journals papers by S. Roccia are published in Top authors papers by Claudio Lombardo are co-authored with Top authors papers by C. W. Macleod are co-authored with Top fields papers by Arianne Reimerink are about