Get my own profile
Public access
View all18 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
Stéphane DemriCNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)Verified email at lmf.cnrs.fr
Filip MazowieckiUniversity of WarsawVerified email at mimuw.edu.pl
Sylvain SchmitzUniversité Paris CitéVerified email at irif.fr
Slawomir LasotaUniversity of Warsaw, prof. of computer scienceVerified email at mimuw.edu.pl
Aleksandar S. DimovskiMother Teresa University, SkopjeVerified email at unt.edu.mk
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Jerome LerouxCNRS researcher, LaBRI, FranceVerified email at labri.fr
Patrick TotzkeUniversity of LiverpoolVerified email at liverpool.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Wojciech CzerwinskiUniversity of WarsawVerified email at mimuw.edu.pl
Matthias EnglertUniversity of WarwickVerified email at warwick.ac.uk
Laure DaviaudUniversity of East AngliaVerified email at uea.ac.uk
Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamVerified email at cs.bham.ac.uk
Oded LachishBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Arnaud SangnierProfessore Associato, DIBRIS, Università di Genova, ItalyVerified email at unige.it
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
Piotrek HofmanUniversity of WarsawVerified email at mimuw.edu.pl
Paweł ParysUniwersytet WarszawskiVerified email at mimuw.edu.pl
Follow![Ranko Lazic](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=yGOk7boAAAAJ&citpid=19)
Ranko Lazic
Department of Computer Science, University of Warwick
Verified email at warwick.ac.uk - Homepage