Ranko Lazic

Ranko Lazic

University of Warwick - Coventry / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1056674
person_outline Ranko Lazic's MOST POPULAR ARTICLES
1-) LTL with the freeze quantifier and register automataS Demri, R LazićACM Transactions on Computational Logic (TOCL) 10 (3), 1-30, 20093572009
2-) A semantic study of data independence with applications to model checking.RS LazicUniversity of Oxford, 1999185*1999
3-) The reachability problem for Petri nets is not elementaryW Czerwiński, S Lasota, R Lazić, J Leroux, F MazowieckiJournal of the ACM (JACM) 68 (1), 1-28, 20201442020
4-) Nets with tokens which carry dataR Lazić, T Newcomb, J Ouaknine, AW Roscoe, J WorrellFundamenta Informaticae 88 (3), 251-274, 20081522008
5-) Succinct progress measures for solving parity gamesM Jurdziński, R Lazić2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-9, 20171242017