Steffen van Bakel
About
Steffen van Bakel has authored 32 papers that have received a total of 256 indexed citations.
This includes 30 papers in Artificial Intelligence, 24 papers in Computational Theory and Mathematics and 2 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (30 papers), Logic, Reasoning, and Knowledge (21 papers) and Formal Methods in Verification (17 papers). Steffen van Bakel is often cited by papers focused on Logic, programming, and type systems (30 papers), Logic, Reasoning, and Knowledge (21 papers) and Formal Methods in Verification (17 papers) and collaborates with scholars based in United Kingdom, Italy and France. Steffen van Bakel's co-authors include Ugo de’Liguoro, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Maribel Fernández and Pierre Lescanne and has published in prestigious journals such as ACM Computing Surveys, Theoretical Computer Science and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Ippolito Notarnicola Top authors papers by João Henrique Gurtler Scatena are co-authored with Top fields papers by Tanuja Manoj Nesari are about Top journals papers by Jianing Zhou are published in Top authors papers by Grant L. Hom are co-authored with Top authors papers by F. Ochiai are co-authored with Top fields papers by Rajneesh Kumar are about Top journals papers by Deepu Vijayasenan are published in