Crea il mio profilo
Accesso pubblico
Visualizza tutto58 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIEmail verificata su irit.fr
- Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaEmail verificata su inesc-id.pt
- Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaEmail verificata su tecnico.ulisboa.pt
- William KlieberCarnegie MellonEmail verificata su cs.cmu.edu
- Radu GrigoreFacebookEmail verificata su fb.com
- Goetz BotterweckAssoc. Professor in Computer Science, Trinity College Dublin and LeroEmail verificata su lero.ie
- Anton BelovSynopsys Inc.Email verificata su belov-mcdowell.com
- Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, GermanyEmail verificata su uni-jena.de
- António MorgadoARSR, Inesc-ID; IST, Universidade de LisboaEmail verificata su arsr.inesc-id.pt
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityEmail verificata su cs.cmu.edu
- Alexey IgnatievFaculty of Information Technology, Monash UniversityEmail verificata su monash.edu
- Jelle PiepenbrockRadboud University, Czech Technical University PragueEmail verificata su ru.nl
- Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairEmail verificata su acm.org
- Pedro OrvalhoINESC-ID, Instituto Superior Técnico, Universidade de LisboaEmail verificata su tecnico.ulisboa.pt
- Nikolaj BjornerMicrosoft ResearchEmail verificata su cs.stanford.edu
- Alessandro PrevitiEricsson ResearchEmail verificata su ericsson.com
- Federico HerasUniversitat Pompeu FabraEmail verificata su upf.edu
- Florian LonsingEmail verificata su florianlonsing.com
- Martina SeidlUniv.-Prof., JKU LinzEmail verificata su jku.at
- Jan HůlaUniversity of OstravaEmail verificata su osu.cz