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
Jerome LerouxCNRS researcher, LaBRI, FranceVerified email at labri.fr
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Patrick TotzkeUniversity of LiverpoolVerified email at liverpool.ac.uk
Wojciech CzerwinskiUniversity of WarsawVerified email at mimuw.edu.pl
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Matthias EnglertUniversity of WarwickVerified email at warwick.ac.uk
Laure DaviaudUniversity of East AngliaVerified email at uea.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
Piotrek HofmanUniversity of WarsawVerified email at mimuw.edu.pl
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
Paweł ParysUniwersytet WarszawskiVerified email at mimuw.edu.pl
Guillermo A. PérezAssociate Professor, University of AntwerpVerified email at uantwerp.be
Follow
Ranko Lazic
Department of Computer Science, University of Warwick
Verified email at warwick.ac.uk - Homepage