Aleš Bizjak

10 papers and 203 indexed citations i.

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