Aleš Bizjak
About
Aleš Bizjak has authored 10 papers that have received a total of 203 indexed citations.
This includes 10 papers in Artificial Intelligence, 4 papers in Computer Networks and Communications and 4 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (10 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (4 papers). Aleš Bizjak is often cited by papers focused on Logic, programming, and type systems (10 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in Denmark, Sweden and The Netherlands. Aleš Bizjak's co-authors include Lars Birkedal, Bas Spitters, Rasmus Ejlers Møgelberg, Robbert Krebbers and Jacques-Henri Jourdan and has published in prestigious journals such as Theoretical Computer Science, Journal of Automated Reasoning and Journal of Functional Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Anthony Lutkus are published in Top journals papers by Benjamin Krämer are published in Top journals papers by Konstantinos Giaslakiotis are published in Top journals papers by Nina-Marie Lister are published in Top journals papers by Gladys N. Nangami are published in Top fields papers by Kathi Schweikert are about Top journals papers by Jan Meseth are published in Top countries impacted by papers by Y. Okubo