Get my own profile
Public access
View all39 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
Petr CintulaInstitute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
Agata CiabattoniVienna University of TechnologyVerified email at logic.at
Ricardo Oscar RodriguezDepartamento de Computacion Facultad de Ciencias Exactas y Naturales Universidad de Buenos AiresVerified email at dc.uba.ar
Leonardo Manuel CabrerInstitute of Computer Languages - Technische Universität WienVerified email at logic.at
Chris FermüllerProfessor of Computer Science, Vienna University of TechnologyVerified email at logic.at
Denisa DiaconescuUniversity of Bucharest, Faculty of Mathematics and Computer ScienceVerified email at fmi.unibuc.ro
Peter JipsenProfessor of Mathematics, Chapman UniversityVerified email at chapman.edu
Enrico MarchioniLecturer at the Department of Electronics and Computer Science, University of SouthamptonVerified email at soton.ac.uk
Wesley FussnerResearcher, Institute of Computer Science of the Czech Academy of SciencesVerified email at cs.cas.cz
Luca ReggioDepartment of Computer Science, University College LondonVerified email at ucl.ac.uk
Franco Montagna(1948 - 2015) Università degli studi di Siena
Tomasz Stanisław KowalskiJagiellonian UniversityVerified email at uj.edu.pl
Follow![George Metcalfe](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=VENPkPwAAAAJ&citpid=1)