Crea il mio profilo
Accesso pubblico
Visualizza tutto41 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
Lawrence PaulsonUniversity of CambridgeEmail verificata su cam.ac.uk- Gerwin KleinProofcraft and UNSWEmail verificata su unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenEmail verificata su tu-dresden.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenEmail verificata su ifi.lmu.de
- Johannes HölzlEmail verificata su in.tum.de
- Thomas HalesUniversity of PittsburghEmail verificata su pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordEmail verificata su maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghEmail verificata su inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesEmail verificata su amazon.com
- Peter LammichThe University of ManchesterEmail verificata su in.tum.de
- Andrei PopescuUniversity of SheffieldEmail verificata su sheffield.ac.uk
- Manuel EberlUniversity of InnsbruckEmail verificata su uibk.ac.at
- Dmitriy TraytelUniversity of CopenhagenEmail verificata su di.ku.dk
- Gregor SneltingKITEmail verificata su kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesEmail verificata su ost.ch
- Christian UrbanKing's College LondonEmail verificata su kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenEmail verificata su in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckEmail verificata su uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyEmail verificata su math.ac.vn
- Cezary KaliszykUniversity of MelbourneEmail verificata su unimelb.edu.au
Segui
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Email verificata su in.tum.de - Home page