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 countries impacted by papers by Cæcilie Trier Top journals papers by Ana Carla Asfora El-Deir are published in Top fields papers by Ebtisam Mirza are about Top authors papers by D.H. Thompson are co-authored with Top authors papers by R. F. Schwitters are co-authored with Top journals papers by Jae‐chan Jeong are published in Top authors papers by Christiane Weseloh are co-authored with Top fields papers by María Casanova are about