Crea il mio profilo
Accesso pubblico
Visualizza tutto13 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Peter SteinkeTU Dresden, InformatikEmail verificata su tu-dresden.de
- Armin BiereProfessor of Computer Science, University of FreiburgEmail verificata su informatik.uni-freiburg.de
- Rafael PeñalozaUniversity of Milano-BicoccaEmail verificata su unimib.it
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityEmail verificata su cs.cmu.edu
- Davide LantiAssistant Professor of Computer Science, Free University of Bozen-BolzanoEmail verificata su unibz.it
- Julian StecklinaEngineer at Cyberus TechnologyEmail verificata su os.inf.tu-dresden.de
- Sarah GagglTU-Dresden, Germany, Faculty of Computer Science, Logic Programming and Argumentation GroupEmail verificata su tu-dresden.de
- Joao Marques-SilvaResearch Professor, ICREA, University of LleidaEmail verificata su icrea.cat
- Daniel Le BerreCRIL-CNRS Université d'ArtoisEmail verificata su cril.fr
- Ari SaptawijayaFaculty of Computer Science, Universitas IndonesiaEmail verificata su cs.ui.ac.id
- Sebastian RudolphTechnische Universität DresdenEmail verificata su tu-dresden.de
- Ahmed IrfanSRI InternationalEmail verificata su cs.stanford.edu
- M. Fareed ArifUniversity of OxfordEmail verificata su cs.ox.ac.uk
- Alexey IgnatievFaculty of Information Technology, Monash UniversityEmail verificata su monash.edu
- Christian MuiseQueen's UniversityEmail verificata su queensu.ca
- Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)Email verificata su sap.com
- Michael TautschnigQueen Mary University of LondonEmail verificata su qmul.ac.uk
- Antti E. J. HyvärinenSenior Research Scientist, CertoraEmail verificata su certora.com
- Enrique Matos AlfonsoNational Technical University of AthensEmail verificata su image.ece.ntua.gr
- Van-Hau NguyenHung Yen University of Technology and EducationEmail verificata su utehy.edu.vn