Oxford Instruments (United Kingdom) — United Kingdom
Computer Science · Physical Sciences
70h-index24.0kcitations854works1.92yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(527), Software Testing and Debugging Techniques(164), Logic, programming, and type systems(156), Model-Driven Software Engineering Techniques(136), Software Reliability and Analysis Research(130)
Publications853 total
arXiv (Cornell University)·2025Open Access
Suicidologi/Nytt i suicidologi·2025Open Access
Suicidologi/Nytt i suicidologi·2025Open Access
Lecture notes in computer science·2025
Lecture notes in computer science·2025
Lecture notes in computer science·2025
Formal Aspects of Computing·2025Open Access
Science of Computer Programming·2025Open Access
Microscopy and Microanalysis·2025· 1 citedOpen Access
Microscopy and Microanalysis·2025
VBN Forskningsportal (Aalborg Universitet)·2025Open Access
Suicidologi/Nytt i suicidologi·2025Open Access
IEEE Transactions on Knowledge and Data Engineering·2025· 2 citedOpen Access
arXiv (Cornell University)·2025Open Access
Journal of Building Performance Simulation·2025
page 1 of 43Next →
Frequent Co-authors
Paul Pettersson(12), Gerd Behrmann(11), Alexandre David(10), Marius Mikučionis(8), Wang Yi(7), Axel Legay(5), Arne Skou(5), Johan Bengtsson(4), Fredrik Larsson(4), Jiřı́ Srba(4), Yi Wang(4), Danny Bøgsted Poulsen(3), Ansgar Fehnker(3), Thomas Hune(3), Judi Romijn(3), Ulrik Nyman(3), Andrzej Wąsowski(3), Brian Nielsen(3), Luca Aceto(3), Zheng Wang(3)