Get my own profile
Public access
View all13 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Peter SteinkeTU Dresden, InformatikVerified email at tu-dresden.de
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Rafael PeñalozaUniversity of Milano-BicoccaVerified email at unimib.it
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Davide LantiAssistant Professor of Computer Science, Free University of Bozen-BolzanoVerified email at unibz.it
Julian StecklinaEngineer at Cyberus TechnologyVerified email at os.inf.tu-dresden.de
Sarah GagglTU-Dresden, Germany, Faculty of Computer Science, Logic Programming and Argumentation GroupVerified email at tu-dresden.de
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Ari SaptawijayaFaculty of Computer Science, Universitas IndonesiaVerified email at cs.ui.ac.id
Sebastian RudolphTechnische Universität Dresden and ScaDS.AIVerified email at tu-dresden.de
Ahmed IrfanSRI InternationalVerified email at cs.stanford.edu
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
M. Fareed ArifUniversity of OxfordVerified email at cs.ox.ac.uk
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Christian MuiseQueen's UniversityVerified email at queensu.ca
Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)Verified email at sap.com
Antti E. J. HyvärinenSenior Research Scientist, CertoraVerified email at certora.com
Enrique Matos AlfonsoNational Technical University of AthensVerified email at image.ece.ntua.gr
Van-Hau NguyenHung Yen University of Technology and EducationVerified email at utehy.edu.vn