Microsoft (United States) — United States
Computer Science · Physical Sciences
7h-index242citations17works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Distributed systems and fault tolerance(9), Service-Oriented Architecture and Web Services(5), Logic, programming, and type systems(4), Formal Methods in Verification(4), Advanced Database Systems and Queries(3)
Publications17 total
Journal of Functional Programming·2012· 21 citedOpen Access
2010· 59 cited
ACM SIGPLAN Notices·2010· 2 cited
The Oslo Modeling Language: Draft Specification - October 2008
CERN Document Server (European Organization for Nuclear Research)·2008· 4 cited
The Journal of Logic and Algebraic Programming·2006· 16 cited
2004· 1 citedOpen Access
Electronic Notes in Theoretical Computer Science·2004· 46 citedOpen Access
Web Services Business Activity Framework (WS-BusinessActivity)
2004· 58 cited
2002· 7 cited
On the use of Asynchrony in achieving Extensibility and High Performance in an object Storage System
1996
Prentice-Hall, Inc eBooks·1995· 3 cited
Workshops in computing·1995
Extensible High-Performance Support for Persistence
1993· 1 cited
ACM SIGPLAN Notices·1988
1988· 2 citedOpen Access
Lecture notes in computer science·1988· 22 cited
Frequent Co-authors
Gavin Bierman(3), Andrew D. Gordon(3), Cătălin Hriţcu(3), James E. Johnson(3), Leslie Lamport(3), Friedrich H. Vogt(3), Stanley B. Zdonik(2), Tony Storey(1), Luis Felipe Cabrera(1), William Cox(1), Tom Freund(1), Ian Robinson(1), Steve Ford(1), John Joseph(1), David Lively(1), Girish Chandra Pathak(1), Edward R. Perez(1), Robert W. Peterson(1), Diana M. Sparacin(1), Satish M. Thatte(1)