Henk Vandecasteele
About
Henk Vandecasteele has authored 7 papers that have received a total of 89 indexed citations.
This includes 4 papers in Computational Theory and Mathematics, 3 papers in Artificial Intelligence and 2 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (2 papers), Formal Methods in Verification (2 papers) and Logic, programming, and type systems (2 papers). Henk Vandecasteele is often cited by papers focused on Logic, Reasoning, and Knowledge (2 papers), Formal Methods in Verification (2 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in Belgium, United States and Portugal. Henk Vandecasteele's co-authors include Hendrik Blockeel, Bart Demoen, Gerda Janssens, Luc De Raedt and Wim Van Laer and has published in prestigious journals such as Journal of Machine Learning Research, Molecular Pharmaceutics and Journal of Artificial Intelligence Research.
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Eithne B. Carlin are about Top countries impacted by papers by Saeideh Bakhshi Top countries impacted by papers by Emmanuel Leclerc Top authors papers by Thomas Hueso are co-authored with Top fields papers by J. L. Hanna are about Top fields papers by Janardhan Y. C. Reddy are about Top countries impacted by papers by Samuel O’Toole Top journals papers by Mingquan Gao are published in