Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 877 | 202 |
h-indeks | 16 | 7 |
i10-indeks | 25 | 4 |
Dostęp publiczny
Wyświetl wszystko11 artykułów
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Jim WoodcockProfessor of Software Engineering, University of YorkZweryfikowany adres z york.ac.uk
- Ana CavalcantiUniversity of YorkZweryfikowany adres z cs.york.ac.uk
- Martin EmmsNewcastle UniversityZweryfikowany adres z newcastle.ac.uk
- Andrius VelykisPhD Student, Newcastle UniversityZweryfikowany adres z newcastle.ac.uk
- Andrew ButterfieldComputer Science, Trinity College DublinZweryfikowany adres z tcd.ie
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKZweryfikowany adres z ncl.ac.uk
- Michael DrinnanTeesside UniversityZweryfikowany adres z tees.ac.uk
- José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECZweryfikowany adres z di.uminho.pt
- Michael WhitakerNewcastle UniversityZweryfikowany adres z ncl.ac.uk
- Paolo MasciResearch Scientist, Associate Principal, AMA/NASA Langley Research CenterZweryfikowany adres z nasa.gov
- Michael HarrisonProfessor of Informatics, Newcastle UniversityZweryfikowany adres z ncl.ac.uk
- Paolo ModestiSenior Lecturer in Cybersecurity, Teesside University, UK, EuropeZweryfikowany adres z tees.ac.uk
- Costanzo Di MariaResearch Scientist, The Newcastle upon Tyne Hospitals NHS Foundation TrustZweryfikowany adres z ncl.ac.uk
- Aad van MoorselProfessor of Computer Science, University of Birmingham, UKZweryfikowany adres z bham.ac.uk
- Budi AriefUniversity of KentZweryfikowany adres z kent.ac.uk
- Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkZweryfikowany adres z york.ac.uk
- Paul WatsonProfessor of Computer Science, Newcastle UniversityZweryfikowany adres z ncl.ac.uk
- Mark UttingThe University of QueenslandZweryfikowany adres z uq.edu.au
- Tim MillerSchool of Electrical Engineering and Computer Science, The University of QueenslandZweryfikowany adres z uq.edu.au
- Jan Tobias MuehlbergResearcher in Computer Science, Universite Libre Bruxelles & KU Leuven, BelgiumZweryfikowany adres z ulb.be
Obserwuj
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Zweryfikowany adres z newcastle.ac.uk