Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 102 | 102 |
h-indeks | 5 | 5 |
i10-indeks | 5 | 5 |
Dostęp publiczny
Wyświetl wszystko5 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumZweryfikowany adres z rub.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyZweryfikowany adres z tue.nl
- Murat CubuktepeUniversity of Texas at AustinZweryfikowany adres z utexas.edu
- Ufuk TopcuThe University of Texas at AustinZweryfikowany adres z utexas.edu
- David ParkerProfessor of Computer Science, University of OxfordZweryfikowany adres z cs.ox.ac.uk
- Sebastian JungesAssistant Professor, Radboud University, NijmegenZweryfikowany adres z ru.nl
- Ahmadreza MarandiAssistant Professor, Eindhoven University of TechnologyZweryfikowany adres z tue.nl
- Thom BadingsPhD Candidate, Radboud UniversityZweryfikowany adres z ru.nl
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU DresdenZweryfikowany adres z tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Zweryfikowany adres z tue.nl
- Christel BaierTU DresdenZweryfikowany adres z tu-dresden.de
- Arnd HartmannsUniversity of TwenteZweryfikowany adres z utwente.nl
Obserwuj