Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 1095 | 643 |
h-index | 17 | 13 |
i10-index | 42 | 18 |
Acces public
Afișați-le pe toate50 de articole
2 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- John DerrickUniversity of SheffieldAdresă de e-mail confirmată pe sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgAdresă de e-mail confirmată pe uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandAdresă de e-mail confirmată pe uq.edu.au
- Simon DohertyUniversity of SheffieldAdresă de e-mail confirmată pe sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseAdresă de e-mail confirmată pe dalvandi.com
- Georg StruthUniversity of SheffieldAdresă de e-mail confirmată pe sheffield.ac.uk
- Graeme SmithThe University of QueenslandAdresă de e-mail confirmată pe itee.uq.edu.au
- Ori LahavTel Aviv UniversityAdresă de e-mail confirmată pe tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornAdresă de e-mail confirmată pe zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonAdresă de e-mail confirmată pe imperial.ac.uk
- John WickersonImperial College LondonAdresă de e-mail confirmată pe imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkAdresă de e-mail confirmată pe york.ac.uk
- Victor GomesResearch Associate, University of CambridgeAdresă de e-mail confirmată pe cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.Adresă de e-mail confirmată pe depaul.edu
- James RielyProfessor of Computing, DePaul UniversityAdresă de e-mail confirmată pe cs.depaul.edu
- Tsz Yiu LamBrunel University LondonAdresă de e-mail confirmată pe alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKAdresă de e-mail confirmată pe ncl.ac.uk
- Alan BurnsUniversity of York, UKAdresă de e-mail confirmată pe york.ac.uk
- Peter Gorm LarsenAarhus UniversityAdresă de e-mail confirmată pe ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksAdresă de e-mail confirmată pe sweetgeeks.dk