Skapa en profil
Offentlig åtkomst
Visa alla162 artiklar
6 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Krishnendu ChatterjeeProfessor, IST AustriaVerifierad e-postadress på ist.ac.at
- Rupak MajumdarMPI for Software SystemsVerifierad e-postadress på mpi-sws.org
- Luca de AlfaroProfessor, UC Santa CruzVerifierad e-postadress på acm.org
- Christoph M. KirschProfessor of Computer Sciences, University of SalzburgVerifierad e-postadress på cs.uni-salzburg.at
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerifierad e-postadress på cs.huji.ac.il
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerifierad e-postadress på lmu.de
- Laurent DoyenCNRS - LMF, ENS Paris-SaclayVerifierad e-postadress på lsv.fr
- Pei-Hsin Ho (贺培鑫)UniVista Industrial Software (合见工软)Verifierad e-postadress på univista-isg.com
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verifierad e-postadress på ulb.ac.be
- Sriram RajamaniMicrosoft Research Verifierad e-postadress på microsoft.com
- Howard Wong-ToiGoogle, Inc.Verifierad e-postadress på google.com
- Shaz QadeerSoftware Engineer, MetaVerifierad e-postadress på meta.com
- Joseph SifakisReseracher at Verimag laboratory, GrenobleVerifierad e-postadress på imag.fr
- Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerifierad e-postadress på cuhk.edu.cn
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerifierad e-postadress på eecs.berkeley.edu
- Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteVerifierad e-postadress på ucl.ac.uk
- Dejan NickovicAustrian Institute of TechnologyVerifierad e-postadress på ait.ac.at
- Barbara JobstmannScientist at EPFLVerifierad e-postadress på epfl.ch
- Arjun RadhakrishnaMicrosoftVerifierad e-postadress på microsoft.com
- Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenVerifierad e-postadress på gu.se