Obter o 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 tudo11 artigos
1 artigo
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Jim WoodcockProfessor of Software Engineering, University of YorkEmail confirmado em york.ac.uk
- Ana CavalcantiUniversity of YorkEmail confirmado em cs.york.ac.uk
- Martin EmmsNewcastle UniversityEmail confirmado em newcastle.ac.uk
- Andrius VelykisPhD Student, Newcastle UniversityEmail confirmado em newcastle.ac.uk
- Andrew ButterfieldComputer Science, Trinity College DublinEmail confirmado em tcd.ie
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKEmail confirmado em ncl.ac.uk
- Michael DrinnanTeesside UniversityEmail confirmado em tees.ac.uk
- José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECEmail confirmado em di.uminho.pt
- Michael WhitakerNewcastle UniversityEmail confirmado em ncl.ac.uk
- Paolo MasciResearch Scientist, Associate Principal, AMA/NASA Langley Research CenterEmail confirmado em nasa.gov
- Michael HarrisonProfessor of Informatics, Newcastle UniversityEmail confirmado em ncl.ac.uk
- Paolo ModestiSenior Lecturer in Cybersecurity, Teesside University, UK, EuropeEmail confirmado em tees.ac.uk
- Costanzo Di MariaResearch Scientist, The Newcastle upon Tyne Hospitals NHS Foundation TrustEmail confirmado em ncl.ac.uk
- Aad van MoorselProfessor of Computer Science, University of Birmingham, UKEmail confirmado em bham.ac.uk
- Budi AriefUniversity of KentEmail confirmado em kent.ac.uk
- Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkEmail confirmado em york.ac.uk
- Paul WatsonProfessor of Computer Science, Newcastle UniversityEmail confirmado em ncl.ac.uk
- Mark UttingThe University of QueenslandEmail confirmado em uq.edu.au
- Tim MillerSchool of Electrical Engineering and Computer Science, The University of QueenslandEmail confirmado em uq.edu.au
- Jan Tobias MuehlbergResearcher in Computer Science, Universite Libre Bruxelles & KU Leuven, BelgiumEmail confirmado em ulb.be
Seguir
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Email confirmado em newcastle.ac.uk