Brent Hailpern | Academic Influence

Brent Hailpern's AcademicInfluence.com Rankings

Brent Hailpern

Computer Science

#3840

World Rank

#4035

Historical Rank

#1375

USA Rank

Database

#9613

World Rank

#10147

Historical Rank

#1376

USA Rank

computer-science Degrees

Download Badge

Computer Science

Brent Hailpern's Degrees

PhD Computer Science University of California, Berkeley
Masters Computer Science University of California, Berkeley
Bachelors Computer Science University of California, Berkeley

Similar Degrees You Can Earn

Why Is Brent Hailpern Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Brent Hailpern is a computer scientist retired from IBM Research. His research work focused on programming languages, software engineering, and concurrency. Education Dr. Hailpern received his B.S. degree, summa cum laude, in Mathematics from the University of Denver in 1976, and his M.S. and Ph.D. degrees in Computer Science from Stanford University in 1978 and 1980 respectively. His thesis was titled, "Verifying Concurrent Processes Using Temporal Logic".

(See a Problem?)

Brent Hailpern's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Model-driven development: The good, the bad, and the ugly (2006) (326)
Software debugging, testing, and verification (2002) (315)
Verifying Concurrent Processes Using Temporal Logic (1982) (152)
Modular Verification of Computer Communication Protocols (1983) (122)
Web Services: Promises and Compromises (2003) (115)
Realizing the potential of data science (2018) (87)
Extending Objects to Support Multiple Interfaces and Access Control (1990) (65)
Verifying network protocols using temporal logic (1980) (64)
Script: A Communication Abstraction Mechanism and Its Verification (1989) (57)
Script: A communication abstraction mechanism (1983) (42)
Proceedings of the third ACM SIGPLAN conference on History of programming languages (2007) (39)
Final Remarks (2007) (38)
Guest Editor's Introduction Multiparadigm Languages and Environments (1986) (38)
A Model for Object-Based Inheritance (1987) (38)
An object-based programming model for shared data (1992) (32)
A Simple Protocol Whose Proof Isn't (1985) (20)
Dynamic reconfiguration in an object-based programming language with distributed shared data (1991) (18)
Modular verification of concurrent programs (1982) (17)
Learning Electronic Health Records through Hyperbolic Embedding of Medical Ontologies (2019) (14)
A generalized object model (1986) (14)
Script: a communication abstraction mechanism (1985) (13)
History of Programming Languages Conference: HOPL-III Co-Chairs Introduction: June 9, 2007 (2007) (12)
S-1 architecture manual (1979) (10)
Multiparadigm Research: A Survey of Nine Projects (Introduction) (1986) (9)
SW 2 - An object-based programming environment (1985) (9)
Toward governance of emergent processes and adaptive organizations (2008) (8)
An object model for shared data (1990) (8)
Specifying and Verifying Protocols Represented as Abstract Programs (1982) (8)
Software Engineering for Web Services: A Focus on Separation of Concerns (2001) (6)
An Execution Architecture for FP (1986) (6)
IBM Research Report Web Services: Promises and Compromises (2002) (6)
The Future of Computing Research: Industry-Academic Collaborations (2016) (5)
Multiparadigm Languages and Environments - Guest Editor's Introduction (1986) (5)
Tools for Verifying Network Protocols (1989) (5)
NetVista: Growing an Internet Solution for Schools (1998) (4)
Comparing Two Functional Programming Systems (1989) (3)
An Experimental Distributed Database System (1983) (3)
Keeping a Foot on the Ground (position paper) (1981) (1)
SIGPLAN scope and tutorial needs (1995) (1)
An Architecture for Dynamic Reconfiguration in a Distributed Object-Based Programming Language (1991) (1)
History of Programming Languages Conference: HOPL-III June 10, 2007 Introduction (2007) (1)
Chapter 5. Techniques (1982) (0)
Contents of Volume 41, 2002 (2002) (0)
Access to shared storage for data processing system. (1985) (0)
Session details: Language implementations (2009) (0)
A generalized object model (abstract only) (1986) (0)
SW2: A Multiparadigm Shell for CMS (1986) (0)
Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007 (2007) (0)

This paper list is powered by the following services:

Other Resources About Brent Hailpern

en.wikipedia.org

What Schools Are Affiliated With Brent Hailpern?

Brent Hailpern is affiliated with the following schools: