default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBrent Hailpern
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[c13]Qiuhao Lu, Nisansa de Silva, Sabin Kafle, Jiazhen Cao, Dejing Dou, Thien Huu Nguyen, Prithviraj Sen, Brent Hailpern, Berthold Reinwald, Yunyao Li:
Learning Electronic Health Records through Hyperbolic Embedding of Medical Ontologies. BCB 2019: 338-346- 2018
- [j18]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:
Realizing the potential of data science. Commun. ACM 61(4): 67-72 (2018) - 2016
- [i1]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:
The Future of Computing Research: Industry-Academic Collaborations. CoRR abs/1606.09236 (2016)
2000 – 2009
- 2008
- [c12]Peri L. Tarr, Clay Williams, Brent Hailpern:
Toward governance of emergent processes and adaptive organizations. SDG@ICSE 2008: 21-24 - 2007
- [e2]Barbara G. Ryder, Brent Hailpern:
Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007. ACM 2007 [contents] - 2006
- [j17]Brent Hailpern, Peri L. Tarr:
Model-driven development: The good, the bad, and the ugly. IBM Syst. J. 45(3): 451-462 (2006) - 2003
- [j16]Ali Arsanjani, Brent Hailpern, Joanne Martin, Peri L. Tarr:
Web Services: Promises and Compromises. ACM Queue 1(1): 48-58 (2003) - 2002
- [j15]Brent Hailpern, Padmanabhan Santhanam:
Software debugging, testing, and verification. IBM Syst. J. 41(1): 4-12 (2002)
1990 – 1999
- 1999
- [e1]Brent Hailpern, Linda M. Northrop, A. Michael Berman:
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1999, Denver, Colorado, USA, November 1-5, 1999. ACM 1999, ISBN 1-58113-238-7 [contents] - 1998
- [j14]Wendy A. Kellogg, John T. Richards, Calvin Swart, Peter Malkin, Mark Laff, Vicki L. Hanson, Brent Hailpern:
NetVista: Growing an Internet Solution for Schools. IBM Syst. J. 37(1): 19-41 (1998) - 1995
- [j13]Ron Cytron, Brent Hailpern:
SIGPLAN Scope and Tutorial Needs. ACM Comput. Surv. 27(2): 290-291 (1995) - 1992
- [j12]Gail E. Kaiser, Brent Hailpern:
An Object-Based Programming Model for Shared Data. ACM Trans. Program. Lang. Syst. 14(2): 201-264 (1992) - 1991
- [c11]Brent Hailpern, Gail E. Kaiser:
Dynamic reconfiguration in an object-based programming language with distributed shared data. ICDCS 1991: 73-80 - 1990
- [j11]Brent Hailpern, Harold Ossher:
Extending Objects to Support Multiple Interfaces and Access Control. IEEE Trans. Software Eng. 16(11): 1247-1257 (1990) - [c10]Gail E. Kaiser, Brent Hailpern:
An Object Model of Shared Data. ICCL 1990: 136-144
1980 – 1989
- 1989
- [j10]Brent Hailpern, Tien Huynh, György E. Révész:
Comparing Two Functional Programming Systems. IEEE Trans. Software Eng. 15(5): 532-542 (1989) - 1987
- [p1]Brent Hailpern, Van Nguyen:
A Model for Object-Based Inheritance. Research Directions in Object-Oriented Programming 1987: 147-164 - 1986
- [j9]Tien Huynh, Brent Hailpern, Lee W. Hoevel:
An Execution Architecture for FP. IBM J. Res. Dev. 30(6): 609-617 (1986) - [j8]Nissim Francez, Brent Hailpern, Gadi Taubenfeld:
Script: A Communication Abstraction Mechanism and Its Verification. Sci. Comput. Program. 6(1): 35-88 (1986) - [j7]Brent Hailpern:
Multiparadigm Languages and Environments - Guest Editor's Introduction. IEEE Softw. 3(1): 6-9 (1986) - [j6]Brent Hailpern:
Multiparadigm Research: A Survey of Nine Projects (Introduction). IEEE Softw. 3(1): 70 (1986) - [j5]Mark Laff, Brent Hailpern:
SW2: A Multiparadigm Shell for CMS. IEEE Softw. 3(1): 74 (1986) - [c9]Van Nguyen, Brent Hailpern:
A generalized object model. OOPWORK 1986: 78-87 - [c8]Van Nguyen, Brent Hailpern:
A generalized object model (abstract only). OOPWORK 1986: 187 - 1985
- [j4]Brent Hailpern, Andrew Heller, Lee W. Hoevel, Yannick J. Thefaine:
ALAN: A (Circuit-Switched) Local Area Network. IEEE J. Sel. Areas Commun. 3(3): 427-430 (1985) - [j3]Nissim Francez, Brent Hailpern:
Script: A Communication Abstraction Mechanism. ACM SIGOPS Oper. Syst. Rev. 19(2): 53-67 (1985) - [j2]Brent Hailpern:
A Simple Protocol Whose Proof Isn't. IEEE Trans. Commun. 33(4): 330-337 (1985) - [c7]Mark R. Laff, Brent Hailpern:
SW 2 - An object-based programming environment. SLIPE 1985: 1-11 - 1984
- [c6]Brent Hailpern:
Tools for Verifying Network Protocols. Logics and Models of Concurrent Systems 1984: 57-76 - [c5]Nissim Francez, Brent Hailpern, Gadi Taubenfeld:
Script: A Communication Abstraction Mechanism and its Verification. Logics and Models of Concurrent Systems 1984: 169-212 - 1983
- [j1]Brent Hailpern, Susan S. Owicki:
Modular Verification of Computer Communication Protocols. IEEE Trans. Commun. 31(1): 56-68 (1983) - [c4]Nissim Francez, Brent Hailpern:
Script: A Communication Abstraction Mechanism. PODC 1983: 213-227 - [c3]Brent Hailpern, Henry F. Korth:
An Experimental Distributed Database System. Databases for Business and Office Applications 1983: 2-7 - 1982
- [b2]Brent Hailpern:
Veritying Concurrent Processes Using Temporal Logic. Lecture Notes in Computer Science 129, Springer 1982, ISBN 3-540-11205-7 - [c2]Brent Hailpern, Susan S. Owicki:
Modular Verification of Concurrent Programs. POPL 1982: 322-336 - 1981
- [c1]Brent Hailpern:
Keeping a Foot on the Ground (position paper). Logic of Programs 1981: 122-123 - 1980
- [b1]Brent Hailpern:
Verifying concurrent processes using temporal logic. Stanford University, USA, 1980
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
