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
- 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
- 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
Follow
Ranko Lazic
Department of Computer Science, University of Warwick
Verified email at warwick.ac.uk - Homepage