Založit si vlastní profil
Veřejný přístup
Zobrazit všechny13 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Peter SteinkeTU Dresden, InformatikE-mailová adresa ověřena na: tu-dresden.de
- Armin BiereProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Rafael PeñalozaUniversity of Milano-BicoccaE-mailová adresa ověřena na: unimib.it
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Davide LantiAssistant Professor of Computer Science, Free University of Bozen-BolzanoE-mailová adresa ověřena na: unibz.it
- Julian StecklinaEngineer at Cyberus TechnologyE-mailová adresa ověřena na: os.inf.tu-dresden.de
- Sarah GagglTU-Dresden, Germany, Faculty of Computer Science, Logic Programming and Argumentation GroupE-mailová adresa ověřena na: tu-dresden.de
- Joao Marques-SilvaResearch Professor, ICREA, University of LleidaE-mailová adresa ověřena na: icrea.cat
- Daniel Le BerreCRIL-CNRS Université d'ArtoisE-mailová adresa ověřena na: cril.fr
- Ari SaptawijayaFaculty of Computer Science, Universitas IndonesiaE-mailová adresa ověřena na: cs.ui.ac.id
- Sebastian RudolphTechnische Universität DresdenE-mailová adresa ověřena na: tu-dresden.de
- Ahmed IrfanSRI InternationalE-mailová adresa ověřena na: cs.stanford.edu
- M. Fareed ArifUniversity of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Alexey IgnatievFaculty of Information Technology, Monash UniversityE-mailová adresa ověřena na: monash.edu
- Christian MuiseQueen's UniversityE-mailová adresa ověřena na: queensu.ca
- Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)E-mailová adresa ověřena na: sap.com
- Michael TautschnigQueen Mary University of LondonE-mailová adresa ověřena na: qmul.ac.uk
- Antti E. J. HyvärinenSenior Research Scientist, CertoraE-mailová adresa ověřena na: certora.com
- Enrique Matos AlfonsoNational Technical University of AthensE-mailová adresa ověřena na: image.ece.ntua.gr
- Van-Hau NguyenHung Yen University of Technology and EducationE-mailová adresa ověřena na: utehy.edu.vn