Journal Article

Jurdzinski, Marcin and Lazic, Ranko (2011) Alternating automata on data trees and XPath satisfiability. ACM Transactions on Computational Logic (TOCL), Volume 12 (Number 3). pp. 1-21. doi:10.1145/1929954.1929956

Demri, Stéphane P. and Lazic, Ranko (2009) LTL with the freeze quantifier and register automata. ACM Transactions on Computational Logic (TOCL), Vol.10 (No.3). p. 16. doi:10.1145/1507244.1507246

Conference Item

Owenson, Andrew M B, Wright, Steven A., Bunt, Richard A., Jarvis, Stephen A., Ho, Y. K. and Street, Matthew (2018) Developing and using a geometric multigrid, unstructured grid mini-application to assess many-core architectures. In: 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing, Cambridge, UK, 21-23 Mar 2018. Published in: 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) ISBN 9781538649763. doi:10.1109/PDP2018.2018.00018

Report

Lazic, Ranko, Newcomb, Tom and Roscoe, A. W. (2004) On model checking data-independent systems with arrays with whole-array operations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Lazic, Ranko, Newcomb, Tom and Roscoe, A. W. (2004) Polymorphic systems with arrays : decidability and undecidability. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Lazic, Ranko and Nowak, David (2003) On a semantic definition of data independence. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)