RESEARCH PROFILE

logic, automata and games; verification of software; concurrent systems

SELECTED PUBLICATIONS

• Lazic, R.(2011) 'Safety alternating automata on data words' ACM Transactions On Computer Logic 12 (2), (1529-3785)
• Jurdzinski, M. and Lazic, R.(2011) 'Alternating automata on data trees and XPath satisfiability' ACM Transactions On Computer Logic 12 (3), (1529-3785)
• Rutkowski, M., Lazic, R. and Jurdzinski, M.(2011) 'Average-price-per-reward games on hybrid automata with strong resets' International Journal on Software Tools for Technology Transfer (STTT) 13 (6), 553 - 569 (1433-2779)
• Bakewell, A., Dimovski, A., Ghica, D. R. and Lazić, R.(2010) 'Data-abstraction refinement: a game semantic approach' International Journal on Software Tools for Technology Transfer (STTT) 12 (5), 373 - 389 (1433-2779)
• Lazic, R.(2010) 'The reachability problem for branching vector addition systems requires doubly-exponential space' Information Processing Letters 110 (17), 740 - 745 (0020-0190) [article]