Verifying concurrent processes using temporal logic. - Brent Hailpern (1980)

Keeping a Foot on the Ground (position paper). - Brent Hailpern (Logic of Programs, 1981)

Veritying Concurrent Processes Using Temporal Logic - Brent Hailpern (Springer, 1982)

Modular Verification of Concurrent Programs. - Brent Hailpern; Susan S. Owicki (POPL, 1982)

An Experimental Distributed Database System. - Brent Hailpern; Henry F. Korth (Databases for Business and Office Applications, 1983)

Modular Verification of Computer Communication Protocols. - Brent Hailpern; Susan S. Owicki (IEEE Trans. Commun., 1983)

Tools for Verifying Network Protocols. - Brent Hailpern (Logics and Models of Concurrent Systems, 1984)

ALAN: A (Circuit-Switched) Local Area Network. - Brent Hailpern; Andrew Heller; Lee W. Hoevel; Yannick J. Thefaine (IEEE J. Sel. Areas Commun., 1985)

Script: A Communication Abstraction Mechanism. - Nissim Francez; Brent Hailpern (ACM SIGOPS Oper. Syst. Rev., 1985)

SW 2 - An object-based programming environment. - Mark R. Laff; Brent Hailpern (SLIPE, 1985)

A Simple Protocol Whose Proof Isn't. - Brent Hailpern (IEEE Trans. Commun., 1985)

An Execution Architecture for FP. - Tien Huynh; Brent Hailpern; Lee W. Hoevel (IBM J. Res. Dev., 1986)

Script: A Communication Abstraction Mechanism and Its Verification. - Nissim Francez; Brent Hailpern; Gadi Taubenfeld (Sci. Comput. Program., 1986)

A generalized object model. - Van Nguyen; Brent Hailpern (OOPWORK, 1986)

A generalized object model (abstract only). - Van Nguyen; Brent Hailpern (OOPWORK, 1986)

Multiparadigm Languages and Environments - Guest Editor's Introduction. - Brent Hailpern (IEEE Softw., 1986)

Multiparadigm Research: A Survey of Nine Projects (Introduction). - Brent Hailpern (IEEE Softw., 1986)

SW2: A Multiparadigm Shell for CMS. - Mark Laff; Brent Hailpern (IEEE Softw., 1986)

A Model for Object-Based Inheritance. - Brent Hailpern; Van Nguyen (Research Directions in Object-Oriented Programming, 1987)

Comparing Two Functional Programming Systems. - Brent Hailpern; Tien Huynh; György E. Révész (IEEE Trans. Software Eng., 1989)

An Object Model of Shared Data. - Gail E. Kaiser; Brent Hailpern (ICCL, 1990)

Extending Objects to Support Multiple Interfaces and Access Control. - Brent Hailpern; Harold Ossher (IEEE Trans. Software Eng., 1990)

Dynamic reconfiguration in an object-based programming language with distributed shared data. - Brent Hailpern; Gail E. Kaiser (ICDCS, 1991)

An Object-Based Programming Model for Shared Data. - Gail E. Kaiser; Brent Hailpern (ACM Trans. Program. Lang. Syst., 1992)

SIGPLAN Scope and Tutorial Needs. - Ron Cytron; Brent Hailpern (ACM Comput. Surv., 1995)

NetVista: Growing an Internet Solution for Schools. - Wendy A. Kellogg; John T. Richards; Calvin Swart; Peter Malkin; Mark Laff; Vicki L. Hanson; Brent Hailpern (IBM Syst. J., 1998)

Software debugging, testing, and verification. - Brent Hailpern; Padmanabhan Santhanam (IBM Syst. J., 2002)

Web Services: Promises and Compromises. - Ali Arsanjani; Brent Hailpern; Joanne Martin; Peri L. Tarr (ACM Queue, 2003)

Model-driven development: The good, the bad, and the ugly. - Brent Hailpern; Peri L. Tarr (IBM Syst. J., 2006)

Toward governance of emergent processes and adaptive organizations. - Peri L. Tarr; Clay Williams; Brent Hailpern (SDG@ICSE, 2008)

The Future of Computing Research: Industry-Academic Collaborations. - Nady Boules; Khari Douglas; Stuart I. Feldman; Limor Fix; Gregory D. Hager; Brent Hailpern; Martial Hebert; Daniel P. Lopresti; Beth Mynatt; Christopher J. Rossbach; Helen V. Wright (CoRR, 2016)

Realizing the potential of data science. - Francine Berman; Rob A. Rutenbar; Brent Hailpern; Henrik I. Christensen; Susan B. Davidson; Deborah Estrin; Michael J. Franklin; Margaret Martonosi; Padma Raghavan; Victoria Stodden; Alexander S. Szalay (Commun. ACM, 2018)

Learning Electronic Health Records through Hyperbolic Embedding of Medical Ontologies. - Qiuhao Lu; Nisansa de Silva; Sabin Kafle; Jiazhen Cao; Dejing Dou; Thien Huu Nguyen; Prithviraj Sen; Brent Hailpern; Berthold Reinwald; Yunyao Li 001 (BCB, 2019)