Ranko Lazić

31 papers and 272 indexed citations i.

Ranko Lazić has authored 31 papers that have received a total of 272 indexed citations. This includes 27 papers in Computational Theory and Mathematics, 23 papers in Artificial Intelligence and 6 papers in Software. The topics of these papers are Formal Methods in Verification (26 papers), Logic, programming, and type systems (19 papers) and semigroups and automata theory (12 papers). Ranko Lazić is often cited by papers focused on Formal Methods in Verification (26 papers), Logic, programming, and type systems (19 papers) and semigroups and automata theory (12 papers) and collaborates with scholars based in United Kingdom, France and Poland. Ranko Lazić's co-authors include Marcin Jurdziński, Stéphane Demri, Matthias Englert, Jérôme Leroux and Bill Roscoe and has published in prestigious journals such as BMC Genomics, Journal of the ACM and Advances in Water Resources