University of Surrey — United Kingdom
Computer Science · Physical Sciences
5h-index139citations9works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(4), Distributed systems and fault tolerance(4), Security and Verification in Computing(3), Parallel Computing and Optimization Techniques(2), Formal Methods in Verification(1)
Publications9 total
Proceedings of the ACM on Programming Languages·2025Open Access
Formal Aspects of Computing·2023· 5 citedOpen Access
arXiv (Cornell University)·2021Open Access
Lecture notes in computer science·2021· 13 cited
Lecture notes in computer science·2020· 35 citedOpen Access
Social Cognitive and Affective Neuroscience·2014· 69 citedOpen Access
False Belief Reasoning Ability and Empathy: Evidence ofa Relationship From the N400
2014
RWTH Publications (RWTH Aachen)·1994· 17 citedOpen Access
Frequent Co-authors
Mark Batty(5), Brijesh Dongol(3), Heather J. Ferguson(2), James E. Cane(2), Michelle Douchkov(2), Simon Cooksey(2), Marco Paviotti(1), Anouk Paradis(1), Scott Owens(1), A. Dell’Acqua(1), J. Kanzaki(1), A. Breakstone(1), T. Wenaus(1), Paul S. Jacobs(1), G. Parrour(1), Anne G. Osborne(1), L. Silvestris(1), Michael Maire(1), Takayuki YAMAGATA(1), S. Tonse(1)