Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 32805 | 5378 |
Índice h | 85 | 39 |
Índice i10 | 289 | 136 |
Acesso público
Ver todos23 artigos
1 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Dimitrios VytiniotisDeepMindE-mail confirmado em google.com
- Philip WadlerUniversity of Edinburgh and IOHK/IOGE-mail confirmado em inf.ed.ac.uk
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityE-mail confirmado em chalmers.se
- Paul HudakProfessor of Computer Science, Yale UniversityE-mail confirmado em yale.edu
- John LaunchburyChief Scientist, GaloisE-mail confirmado em galois.com
- Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaE-mail confirmado em cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKE-mail confirmado em justtesting.org
- Erik MeijerMicrosoftE-mail confirmado em meijcrosoft.com
- Alastair ReidSenior Principal EngineerE-mail confirmado em intel.com
- Gabriele KellerUtrecht UniversityE-mail confirmado em uu.nl
- Tim HarrisMicrosoftE-mail confirmado em microsoft.com
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternE-mail confirmado em cs.uni-kl.de
- Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesE-mail confirmado em h-ka.de
- Christopher D. ClackUniversity College LondonE-mail confirmado em cs.ucl.ac.uk
- Colin RuncimanProfessor of Computer Science, University of York, UKE-mail confirmado em york.ac.uk
- Tom SchrijversProfessor of Computer Science, KU LeuvenE-mail confirmado em cs.kuleuven.be
- Norman RamseyProfessor of Computer Science, Tufts UniversityE-mail confirmado em cs.tufts.edu
- Andy GillCerebrasE-mail confirmado em cerebras.net
- Ralf LämmelUniversity of KoblenzE-mail confirmado em uni-koblenz.de
- Maurice HerlihyAn Wang Professor of Computer Science, Brown UniversityE-mail confirmado em cs.brown.edu