Brent Hailpern

Cited by

	All	Since 2019
Citations	4133	601
h-index	27	9
i10-index	44	9

220

110

165

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202439 56 50 76 72 65 89 82 64 78 59 54 39 34 39 35 45 71 77 113 79 128 167 156 184 218 186 182 169 143 138 118 106 117 117 108 114 106 93 63

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Philip S. YuProfessor of Computer Science, University of Illinons at ChicagoVerified email at cs.uic.edu
Susan OwickiVerified email at owicki.com
Nissim FrancezComputer Science Faculty, TechnionVerified email at cs.technion.ac.il
Gail KaiserProfessor of Computer Science, Columbia UniversityVerified email at columbia.edu
Wendy A. KelloggIBM T.J. Watson Research CenterVerified email at us.ibm.com
P SanthanamIBMVerified email at us.ibm.com
Harold OssherRetired Research Staff Member, IBM T. J. Watson Research CenterVerified email at ossher.net
Thomas Ericksonretired@MinneapolisVerified email at acm.org
Ali ArsanjaniProfessor of Machine Learning, San Jose State University, VP AI and Machine Learning, DeepContextVerified email at deep-context.com
Gadi TaubenfeldReichman University, IsraelVerified email at runi.ac.il
Charu AggarwalDistinguished Research Staff Member, IBM T. J. Watson Research CenterVerified email at us.ibm.com
Joel WolfPrincipal Research Staff Member, IBM T.J. Watson Research, retiredVerified email at us.ibm.com
Francine BermanHamilton Distinguished Professor of Computer Science, RPIVerified email at rpi.edu
A. S. SzalayBlooomberg Distinguished Professor, Johns Hopkins UniversityVerified email at jhu.edu
Deborah EstrinProfessor of Computer Science, Cornell Tech, Cornell UniversityVerified email at cornell.edu
Victoria StoddenAssociate Professor, University of Southern CaliforniaVerified email at stodden.net
Margaret MartonosiProfessor of Computer Science, Princeton UniversityVerified email at princeton.edu
Susan DavidsonUniversity of PennsylvaniaVerified email at cis.upenn.edu
Michael FranklinUniversity of ChicagoVerified email at uchicago.edu
Rob A. RutenbarProfessor of Computer Science and Electrical and Computer Engineering, University of PittsburghVerified email at pitt.edu

Brent Hailpern

Part-Time Instructor, Northeastern University

Verified email at hailpern.com - Homepage

Programming Languages Program Verification Object Oriented Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Model-driven development: The good, the bad, and the ugly B Hailpern, P Tarr IBM systems journal 45 (3), 451-461, 2006	548	2006
Software debugging, testing, and verification B Hailpern, P Santhanam IBM Systems Journal 41 (1), 4-12, 2002	517	2002
Mechanism for heterogeneous, peer-to-peer, and disconnected workflow operation JK Chaar, BT Hailpern, ES Park, S Paul US Patent 5,960,404, 1999	321	1999
Apparatus and method for dynamic meta-tagging of compound documents BT Hailpern, PK Malkin, RJ Schloss, PS Yu US Patent 6,094,657, 2000	195	2000
Modular verification of computer communication protocols B Hailpern, S Owicki IEEE Transactions on Communications 31 (1), 56-68, 1983	172	1983
Web Services: Promises and Compromises: Much of web services’ initial promise will be realized via integration within the enterprise. A Arsanjani, B Hailpern, J Martin, P Tarr Queue 1 (1), 48-58, 2003	166	2003
Verifying concurrent processes using temporal logic BT Hailpern Springer Science & Business Media, 1982	156	1982
System and method for similarity searching in high-dimensional data space CC Aggarwal, BT Hailpern, JL Wolf, PS Yu US Patent 6,289,354, 2001	149	2001
Realizing the Potential of Data Science A Berman, F., Rutenbar, R., Hailpern, B., Christensen, H., Davidson, S ... CACM 61 (4), 67-72, 2018	143*	2018
Dynamic method and apparatus for target promotion BT Hailpern, PS Yu US Patent 6,922,672, 2005	142	2005
Dynamic push filtering based on information exchanged among nodes in a proxy hierarchy BT Hailpern, PK Malkin, RJ Schloss, PS Yu US Patent 6,065,058, 2000	142	2000
Collaborative server processing of content and meta-information with application to virus checking in a server network BT Hailpern, PK Malkin, RJ Schloss, SR White, PS Yu, CC Palmer US Patent 6,275,937, 2001	131	2001
Verifying concurrent processes using temporal logic BT Hailpern Stanford University, 1980	130	1980
Script: A communication abstraction mechanism and its verification N Francez, B Hailpern, G Taubenfeld Science of Computer Programming 6, 35-88, 1986	109*	1986
Verifying network protocols using temporal logic BT Hailpern, SS Owicki Stanford University, 1980	106	1980
Guest editor's introduction multiparadigm languages and environments B Hailpern IEEE Software 3 (1), 6, 1986	97	1986
Interconnect scheme for shared memory local networks J Cocke, BT Hailpern US Patent 4,710,868, 1987	88	1987
Extending objects to support multiple interfaces and access control B Hailpern, H Ossher IEEE transactions on Software Engineering 16 (11), 1247-1257, 1990	84	1990
Local area network interconnect switching system ML Blount, BT Hailpern, RA Heller, LW Hoevel, GE Trivett US Patent 4,633,245, 1986	44	1986
System and method for providing service for searching web site addresses B Hailpern, SY Philip US Patent 7,383,299, 2008	43	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors