Get my own profile

Public access

View all35 articles

4 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
- Agata CiabattoniVienna University of TechnologyVerified email at logic.at
- Petr CintulaInstitute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
- 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
- Denisa DiaconescuUniversity of Bucharest, Faculty of Mathematics and Computer ScienceVerified email at fmi.unibuc.ro
- Chris FermüllerProfessor of Computer Science, Vienna University of TechnologyVerified email at logic.at
- Enrico MarchioniLecturer at the Department of Electronics and Computer Science, University of SouthamptonVerified email at soton.ac.uk
- Peter JipsenProfessor of Mathematics, Chapman UniversityVerified email at chapman.edu
- Franco Montagna(1948 - 2015) Università degli studi di Siena
- Tomasz KowalskiJagiellonian UniversityVerified email at uj.edu.pl