Bart Jacobs
About
Bart Jacobs has authored 109 papers that have received a total of 1.9k indexed citations.
This includes 89 papers in Artificial Intelligence, 52 papers in Computational Theory and Mathematics and 15 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (70 papers), Logic, Reasoning, and Knowledge (39 papers) and Formal Methods in Verification (35 papers). Bart Jacobs is often cited by papers focused on Logic, programming, and type systems (70 papers), Logic, Reasoning, and Knowledge (39 papers) and Formal Methods in Verification (35 papers) and collaborates with scholars based in The Netherlands, Belgium and United States. Bart Jacobs's co-authors include Frank Piessens, Jan Smans, Ichiro Hasuo, R. Mitra and Joachim van den Berg and has published in prestigious journals such as Journal of Clinical Investigation, Journal of Clinical Oncology and The Journal of Infectious Diseases
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by André A. Pavia are published in Top authors papers by Takumi Furuta are co-authored with Top countries impacted by papers by Xiujuan Feng Top fields papers by Daisuke Sakai are about Top countries impacted by papers by Mathilde Kersting Top journals papers by Hans Voordijk are published in Top fields papers by Xin-Qi Li are about Top countries impacted by papers by Sung-Hee Park