Krzysztof R. Apt
About
Krzysztof R. Apt has authored 114 papers that have received a total of 3.0k indexed citations.
This includes 78 papers in Artificial Intelligence, 51 papers in Computational Theory and Mathematics and 33 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (54 papers), Logic, programming, and type systems (54 papers) and Formal Methods in Verification (30 papers). Krzysztof R. Apt is often cited by papers focused on Logic, Reasoning, and Knowledge (54 papers), Logic, programming, and type systems (54 papers) and Formal Methods in Verification (30 papers) and collaborates with scholars based in The Netherlands, United Kingdom and France. Krzysztof R. Apt's co-authors include Ernst-Rüdiger Olderog, Roland Bol, Nissim Francez, Dominik Wojtczak and Howard A. Blair and has published in prestigious journals such as Communications of the ACM, Artificial Intelligence and Journal of the ACM
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Daniel M. Berry are co-authored with Top authors papers by Keisuke Miyauchi are co-authored with Top journals papers by Weilun Chao are published in Top fields papers by Bruce A. Larson are about Top authors papers by Reena Khanna are co-authored with Top countries impacted by papers by Yuanfeng Wei Top countries impacted by papers by Teng Wang Top countries impacted by papers by Sylvain Bohic