Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 877 | 202 |
Índice h | 16 | 7 |
Índice i10 | 25 | 4 |
Acesso público
Ver todos11 artigos
1 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Jim WoodcockProfessor of Software Engineering, University of YorkE-mail confirmado em york.ac.uk
- Ana CavalcantiUniversity of YorkE-mail confirmado em cs.york.ac.uk
- Martin EmmsNewcastle UniversityE-mail confirmado em newcastle.ac.uk
- Andrius VelykisPhD Student, Newcastle UniversityE-mail confirmado em newcastle.ac.uk
- Andrew ButterfieldComputer Science, Trinity College DublinE-mail confirmado em tcd.ie
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKE-mail confirmado em ncl.ac.uk
- Michael DrinnanTeesside UniversityE-mail confirmado em tees.ac.uk
- José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECE-mail confirmado em di.uminho.pt
- Michael WhitakerNewcastle UniversityE-mail confirmado em ncl.ac.uk
- Paolo MasciResearch Scientist, Associate Principal, AMA/NASA Langley Research CenterE-mail confirmado em nasa.gov
- Michael HarrisonProfessor of Informatics, Newcastle UniversityE-mail confirmado em ncl.ac.uk
- Paolo ModestiSenior Lecturer in Cybersecurity, Teesside University, UK, EuropeE-mail confirmado em tees.ac.uk
- Costanzo Di MariaResearch Scientist, The Newcastle upon Tyne Hospitals NHS Foundation TrustE-mail confirmado em ncl.ac.uk
- Aad van MoorselProfessor of Computer Science, University of Birmingham, UKE-mail confirmado em bham.ac.uk
- Budi AriefUniversity of KentE-mail confirmado em kent.ac.uk
- Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkE-mail confirmado em york.ac.uk
- Paul WatsonProfessor of Computer Science, Newcastle UniversityE-mail confirmado em ncl.ac.uk
- Mark UttingThe University of QueenslandE-mail confirmado em uq.edu.au
- Tim MillerSchool of Electrical Engineering and Computer Science, The University of QueenslandE-mail confirmado em uq.edu.au
- Jan Tobias MuehlbergResearcher in Computer Science, Universite Libre Bruxelles & KU Leuven, BelgiumE-mail confirmado em ulb.be
Seguir
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
E-mail confirmado em newcastle.ac.uk