Hans de Nivelle
About
Hans de Nivelle has authored 13 papers that have received a total of 102 indexed citations.
This includes 11 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 1 paper in Molecular Biology. The topics of these papers are Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (7 papers) and Formal Methods in Verification (5 papers). Hans de Nivelle is often cited by papers focused on Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (7 papers) and Formal Methods in Verification (5 papers) and collaborates with scholars based in Germany, The Netherlands and Poland. Hans de Nivelle's co-authors include Maarten de Rijke, Stephan Schulz, Carlos Areces, Marc Bezem and Yevgeny Kazakov and has published in prestigious journals such as Information and Computation, Annals of Pure and Applied Logic and Journal of Symbolic Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Francesco Corrente are about Top authors papers by Ismail Elezi are co-authored with Top fields papers by Judith Gorlicki are about Top authors papers by Thomas Paine are co-authored with Top journals papers by Joost van Beusekom are published in Top fields papers by Noura A. Semary are about Top fields papers by Falk Pätzold are about Top fields papers by Manoj V. Maddali are about