Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 1092 | 640 |
h-indeks | 17 | 13 |
i10-indeks | 42 | 18 |
Dostęp publiczny
Wyświetl wszystko50 artykułów
2 artykuły
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- John DerrickUniversity of SheffieldZweryfikowany adres z sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgZweryfikowany adres z uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandZweryfikowany adres z uq.edu.au
- Simon DohertyUniversity of SheffieldZweryfikowany adres z sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseZweryfikowany adres z dalvandi.com
- Georg StruthUniversity of SheffieldZweryfikowany adres z sheffield.ac.uk
- Graeme SmithThe University of QueenslandZweryfikowany adres z itee.uq.edu.au
- Ori LahavTel Aviv UniversityZweryfikowany adres z tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornZweryfikowany adres z zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonZweryfikowany adres z imperial.ac.uk
- John WickersonImperial College LondonZweryfikowany adres z imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkZweryfikowany adres z york.ac.uk
- Victor GomesResearch Associate, University of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.Zweryfikowany adres z depaul.edu
- James RielyProfessor of Computing, DePaul UniversityZweryfikowany adres z cs.depaul.edu
- Tsz Yiu LamBrunel University LondonZweryfikowany adres z alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKZweryfikowany adres z ncl.ac.uk
- Alan BurnsUniversity of York, UKZweryfikowany adres z york.ac.uk
- Peter Gorm LarsenAarhus UniversityZweryfikowany adres z ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksZweryfikowany adres z sweetgeeks.dk