Založit si vlastní profil
Veřejný přístup
Zobrazit všechny27 článků
2 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayE-mailová adresa ověřena na: lsv.ens-cachan.fr
- Christian SchallhartGoogleE-mailová adresa ověřena na: schallhart.net
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteE-mailová adresa ověřena na: cs.rwth-aachen.de
- Andreas BauerUniversität AugsburgE-mailová adresa ověřena na: uni-a.de
- Bengt JonssonProfessor of Computer Systems, Uppsala UniversityE-mailová adresa ověřena na: it.uu.se
- Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenE-mailová adresa ověřena na: in.tum.de
- Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityE-mailová adresa ověřena na: tu-dortmund.de
- Cesar SanchezResearch Professor, IMDEA Software InstituteE-mailová adresa ověřena na: imdea.org
- Peter HabermehlAssistant Professor of Computer Science, IRIF, University Paris CitéE-mailová adresa ověřena na: irif.fr
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusE-mailová adresa ověřena na: cs.uni-saarland.de
- Martin LangeProfessor of Computer Science, University of KasselE-mailová adresa ověřena na: uni-kassel.de
- Bernhard SteffenProfessor für Informatik, TU DortmundE-mailová adresa ověřena na: cs.uni-dortmund.de
- Orna GrumbergProfessor of Computer Science, TechnionE-mailová adresa ověřena na: cs.technion.ac.il
- Luboš BrimMasaryk university, Faculty of InformaticsE-mailová adresa ověřena na: fi.muni.cz
- Sharon ShohamTel Aviv UniversityE-mailová adresa ověřena na: tauex.tau.ac.il
- Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)E-mailová adresa ověřena na: unamur.be
- Maxime CordyUniversity of LuxembourgE-mailová adresa ověřena na: uni.lu
- Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesE-mailová adresa ověřena na: univ-amu.fr
- Jiří BarnatMasaryk University, Faculty of InformaticsE-mailová adresa ověřena na: fi.muni.cz
- Christel BaierTU DresdenE-mailová adresa ověřena na: tu-dresden.de
Sledovat
Martin Leucker
Professor of Computer Science, University of Lübeck
E-mailová adresa ověřena na: isp.uni-luebeck.de - Domovská stránka