Computer Science · Physical Sciences
18h-index1.7kcitations33works69.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Engineering Research(17), Advanced Software Engineering Methodologies(17), Software System Performance and Reliability(12), Logic, programming, and type systems(10), Formal Methods in Verification(7)
Publications33 total
Communications of the ACM·2024· 69 citedOpen Access
2022· 153 citedOpen Access
arXiv (Cornell University)·2022· 3 citedOpen Access
ACM SIGPLAN Notices·2008· 25 cited
2008· 16 cited
2006· 27 cited
2006· 41 cited
Lecture notes in computer science·2006· 28 cited
Lecture notes in computer science·2006
Lecture notes in computer science·2006· 37 cited
2005· 425 cited
ACM SIGPLAN Notices·2005· 91 cited
2005· 49 cited
ACM SIGPLAN Notices·2005· 87 cited
2005· 298 cited
Lecture notes in computer science·2005· 14 cited
Adding trace matching to AspectJ
2005· 10 cited
ACM SIGPLAN Notices·2004· 10 cited
2004· 72 cited
page 1 of 2Next →
Frequent Co-authors
Oege de Moor(26), Laurie Hendren(16), Pavel Avgustinov(15), Julian Tibble(15), Damien Sereni(13), Aske Simon Christensen(11), Sascha Kuzins(11), Ondřej Lhoták(8), Jennifer Lhoták(6), Chris Allan(5), Neil Ongkingco(4), Albert Ziegler(3), Andrew P. Rice(3), Devon Rifkin(3), Shawn Simister(3), Edward Aftandilian(3), Bruno Dufour(3), Christopher Goard(3), Clark Verbrugge(3), Eric Bodden(3)