Skapa en profil
Offentlig åtkomst
Visa alla38 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Lawrence PaulsonUniversity of CambridgeVerifierad e-postadress på cam.ac.uk
- Gerwin KleinProofcraft and UNSWVerifierad e-postadress på unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerifierad e-postadress på tu-dresden.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerifierad e-postadress på ifi.lmu.de
- Johannes HölzlVerifierad e-postadress på in.tum.de
- Thomas HalesUniversity of PittsburghVerifierad e-postadress på pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordVerifierad e-postadress på maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghVerifierad e-postadress på inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesVerifierad e-postadress på amazon.com
- Peter LammichThe University of ManchesterVerifierad e-postadress på in.tum.de
- Andrei PopescuUniversity of SheffieldVerifierad e-postadress på sheffield.ac.uk
- Dmitriy TraytelUniversity of CopenhagenVerifierad e-postadress på di.ku.dk
- Manuel EberlUniversity of InnsbruckVerifierad e-postadress på uibk.ac.at
- Gregor SneltingKITVerifierad e-postadress på kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesVerifierad e-postadress på ost.ch
- Christian UrbanKing's College LondonVerifierad e-postadress på kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenVerifierad e-postadress på in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckVerifierad e-postadress på uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyVerifierad e-postadress på math.ac.vn
- Cezary KaliszykUniversity of InnsbruckVerifierad e-postadress på uibk.ac.at
Följ
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Verifierad e-postadress på in.tum.de - Startsida