Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 19246 | 4531 |
h-index | 56 | 23 |
i10-index | 129 | 60 |
Acces public
Afișați-le pe toate38 de articole
1 articol
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Lawrence PaulsonUniversity of CambridgeAdresă de e-mail confirmată pe cam.ac.uk
- Gerwin KleinProofcraft and UNSWAdresă de e-mail confirmată pe unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenAdresă de e-mail confirmată pe tu-dresden.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenAdresă de e-mail confirmată pe ifi.lmu.de
- Johannes HölzlAdresă de e-mail confirmată pe in.tum.de
- Thomas HalesUniversity of PittsburghAdresă de e-mail confirmată pe pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordAdresă de e-mail confirmată pe maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghAdresă de e-mail confirmată pe inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesAdresă de e-mail confirmată pe amazon.com
- Peter LammichThe University of ManchesterAdresă de e-mail confirmată pe in.tum.de
- Andrei PopescuUniversity of SheffieldAdresă de e-mail confirmată pe sheffield.ac.uk
- Dmitriy TraytelUniversity of CopenhagenAdresă de e-mail confirmată pe di.ku.dk
- Manuel EberlUniversity of InnsbruckAdresă de e-mail confirmată pe uibk.ac.at
- Gregor SneltingKITAdresă de e-mail confirmată pe kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesAdresă de e-mail confirmată pe ost.ch
- Christian UrbanKing's College LondonAdresă de e-mail confirmată pe kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenAdresă de e-mail confirmată pe in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckAdresă de e-mail confirmată pe uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyAdresă de e-mail confirmată pe math.ac.vn
- Cezary KaliszykUniversity of InnsbruckAdresă de e-mail confirmată pe uibk.ac.at
Urmăriți
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Adresă de e-mail confirmată pe in.tum.de - Pagina de pornire