Get my own profile
Public access
View all30 articles
4 articles
available
not available
Based on funding mandates
Co-authors
Aniello MuranoAssociate Professor in Computer Science, Universitŕ degli Studi di Napoli Federico IIVerified email at unina.it
Bakh KhoussainovProfessor, The Algorithms and Logic Group (ALG), UESTCVerified email at uestc.edu.cn
Giuseppe De GiacomoUniversity of Oxford & Sapienza Universitŕ di RomaVerified email at diag.uniroma1.it
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Frank StephanNational University of SingaporeVerified email at comp.nus.edu.sg
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.at
Josef WidderInformal SystemsVerified email at informal.systems
Igor KonnovPrincipal scientist, Informal SystemsVerified email at informal.systems
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Erich GrädelRWTH Aachen UniversityVerified email at logic.rwth-aachen.de