Brent Hailpern - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2019

Learning Electronic Health Records through Hyperbolic Embedding of Medical OntologiesQiuhao Lu, Nisansa de Silva, Sabin Kafle, Jiazhen Cao, Dejing Dou, Thien Huu Nguyen, Prithviraj Sen, Brent Hailpern, Berthold Reinwald, Yunyao Li 0001. bcb 2019: 338-346 [doi]

2018

Realizing the potential of data scienceFrancine Berman, Rob Rutenbar, Brent Hailpern, Henrik Christensen, Susan Davidson, Deborah Estrin, Michael J. Franklin, Margaret Martonosi, Padma Raghavan, Victoria Stodden, Alexander S. Szalay. CACM, 61(4):67-72, 2018. [doi]

2008

Toward governance of emergent processes and adaptive organizationsPeri L. Tarr, Clay Williams, Brent Hailpern. ICSE 2008: 21-24 [doi]

2006

Model-driven development: The good, the bad, and the uglyBrent Hailpern, Peri L. Tarr. IBMSJ, 45(3):451-462, 2006. [doi]

2003

Web Services: Promises and CompromisesAli Arsanjani, Brent Hailpern, Joanne Martin, Peri L. Tarr. queue, 1(1):48-58, 2003. [doi]

2002

Software debugging, testing, and verificationBrent Hailpern, Padmanabhan Santhanam. IBMSJ, 41(1):4-12, 2002. [doi]

1998

NetVista: Growing an Internet Solution for SchoolsWendy A. Kellogg, John T. Richards, Calvin Swart, Peter Malkin, Mark Laff, Vicki L. Hanson, Brent Hailpern. IBMSJ, 37(1):19-41, 1998.

1995

SIGPLAN Scope and Tutorial NeedsRon Cytron, Brent Hailpern. ACM Comput. Surv., 27(2):290-291, 1995.

1992

An Object-Based Programming Model for Shared DataGail E. Kaiser, Brent Hailpern. TOPLAS, 14(2):201-264, 1992. [doi]

1991

Dynamic reconfiguration in an object-based programming language with distributed shared dataBrent Hailpern, Gail E. Kaiser. icdcs 1991: 73-80 [doi]

1990

Extending Objects to Support Multiple Interfaces and Access ControlBrent Hailpern, Harold Ossher. TSE, 16(11):1247-1257, 1990. [doi]

An Object Model of Shared DataGail E. Kaiser, Brent Hailpern. iccl 1990: 136-144

1989

Comparing Two Functional Programming SystemsBrent Hailpern, Tien Huynh, György E. Révész. TSE, 15(5):532-542, 1989. [doi]

1987

A Model for Object-Based InheritanceBrent Hailpern, Van Nguyen. In Research Directions in Object-Oriented Programming. pages 147-164, 1987.

1986

Script: A Communication Abstraction Mechanism and Its VerificationNissim Francez, Brent Hailpern, Gadi Taubenfeld. SCP, 6(1):35-88, 1986.

Multiparadigm Languages and Environments - Guest Editor s IntroductionBrent Hailpern. IEEE Software, 3(1):6-9, 1986.

Multiparadigm Research: A Survey of Nine Projects (Introduction)Brent Hailpern. IEEE Software, 3(1):70, 1986.

An Execution Architecture for FPTien Huynh, Brent Hailpern, Lee W. Hoevel. ibmrd, 30(6):609-617, 1986.

SW2: A Multiparadigm Shell for CMSMark Laff, Brent Hailpern. IEEE Software, 3(1):74, 1986.

A generalized object model (abstract only)Van Nguyen, Brent Hailpern. SIGPLAN, 21(10):187, 1986. [doi]

A generalized object modelVan Nguyen, Brent Hailpern. SIGPLAN, 21(10):78-87, 1986. [doi]

1985

Script: A Communication Abstraction MechanismNissim Francez, Brent Hailpern. sigops, 19(2):53-67, 1985.

ALAN: A (Circuit-Switched) Local Area NetworkBrent Hailpern, Andrew Heller, Lee W. Hoevel, Yannick J. Thefaine. jsac, 3(3):427-430, 1985. [doi]

A Simple Protocol Whose Proof Isn'tBrent Hailpern. tcom, 33(4):330-337, 1985. [doi]

SW 2 - An object-based programming environmentMark R. Laff, Brent Hailpern. SIGPLAN, 20(7):1-11, 1985. [doi]

1984

Script: A Communication Abstraction Mechanism and its VerificationNissim Francez, Brent Hailpern, Gadi Taubenfeld. nato 1985: 169-212 [doi]

Tools for Verifying Network ProtocolsBrent Hailpern. nato 1985: 57-76 [doi]

1983

Script: A Communication Abstraction MechanismNissim Francez, Brent Hailpern. podc 1983: 213-227

Modular Verification of Computer Communication ProtocolsBrent Hailpern, Susan S. Owicki. tcom, 31(1):56-68, 1983. [doi]

An Experimental Distributed Database SystemBrent Hailpern, Henry F. Korth. SIGMOD 1983: 2-7 [doi]

1982

Veritying Concurrent Processes Using Temporal LogicBrent Hailpern. Volume 129 of Lecture Notes in Computer Science, Springer, 1982.

Modular Verification of Concurrent ProgramsBrent Hailpern, Susan S. Owicki. POPL 1982: 322-336

1981

Keeping a Foot on the Ground (position paper)Brent Hailpern. lop 1982: 122-123

1980

Verifying concurrent processes using temporal logicBrent Hailpern. PhD thesis, Stanford University, USA, 1980. [doi]

Sign in or sign up to see more results.

runs on WebDSL