Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 895 | 488 |
Índice h | 16 | 12 |
Índice i10 | 19 | 15 |
Acesso público
Ver todos6 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Conor McBrideReader, University of StrathclydeE-mail confirmado em strath.ac.uk
- Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyE-mail confirmado em ru.is
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamE-mail confirmado em cs.nott.ac.uk
- Philip WadlerUniversity of Edinburgh and IOHK/IOGE-mail confirmado em inf.ed.ac.uk
- Orestis MelkonianInput Output (IOG/IOHK)E-mail confirmado em iohk.io
- Allais GuillaumeChancellor's Fellow, University of StrathclydeE-mail confirmado em strath.ac.uk
- Robert AtkeyUniversity of StrathclydeE-mail confirmado em strath.ac.uk
- Michael Peyton JonesIOHKE-mail confirmado em michaelpj.com
- Manuel M T ChakravartyTweag I/O & IOHKE-mail confirmado em justtesting.org
- Niccolò VeltriResearcher, Department of Software Science, Tallinn University of TechnologyE-mail confirmado em cs.ioc.ee
- James McKinnaHeriot-Watt University, EdinburghE-mail confirmado em hw.ac.uk
- Pierre-Evariste DagandCNRSE-mail confirmado em evr.ist
- Kevin HammondHead of Software Engineering (Cardano Core), IOGE-mail confirmado em iohk.io
- Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityE-mail confirmado em gu.se
- Peter Van RoyProfessor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de LouvainE-mail confirmado em uclouvain.be
- Seyed Hossein HAERIDepartment of Informatics, University of Bergen & Formal Methods Group, IOHKE-mail confirmado em uib.no
- Danel AhmanInstitute of Computer Science, University of TartuE-mail confirmado em ut.ee
- Chad NesterTallinn University of TechnologyE-mail confirmado em taltech.ee
- Ulf NorellUniversity of GothenburgE-mail confirmado em chalmers.se