IBM (United States) — United States
Computer Science · Physical Sciences
16h-index1.6kcitations51works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(14), Formal Methods in Verification(10), Parallel Computing and Optimization Techniques(9), Advanced Database Systems and Queries(9), Distributed and Parallel Computing Systems(9)
Publications51 total
Communications of the ACM·2018· 110 cited
arXiv (Cornell University)·2016· 6 citedOpen Access
Communications of the ACM·2012· 2 citedOpen Access
ACM SIGPLAN Notices·2009· 1 cited
2007
IBM Systems Journal·2006· 292 cited
Queue·2003· 98 citedOpen Access
2002· 1 citedOpen Access
IBM Systems Journal·2002· 293 cited
Software Engineering for Web Services: A Focus on Separation of Concerns
2001· 4 cited
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
1999· 4 cited
IBM Systems Journal·1998· 4 cited
ACM eBooks·1996
ACM Computing Surveys·1995Open Access
page 1 of 3Next →
Frequent Co-authors
Mark R. Laff(5), Peri Tarr(4), Nissim Francez(4), Gail E. Kaiser(4), Susan Owicki(3), Van Nguyen(3), Gadi Taubenfeld(2), Toan Huynh(2), Lee W. Hoevel(2), Vicki L. Hanson(2), P. Santhanam(1), Francine Berman(1), Rob A. Rutenbar(1), Henrik I. Christensen(1), Susan B. Davidson(1), Deborah Estrin(1), Michael J. Franklin(1), Margaret Martonosi(1), Padma Raghavan(1), Victoria Stodden(1)