Brent Hailpern 个人学术档案

引用次数

	总计	2019 年至今
引用	4077	565
h 指数	27	9
i10 指数	44	9

220

110

165

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202439 56 50 76 72 60 87 80 64 78 59 54 39 34 39 35 47 71 77 113 79 127 166 156 184 218 186 181 169 141 137 118 106 116 115 112 113 100 93 32

开放获取的出版物数量

查看全部

1 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Philip S. YuProfessor of Computer Science, University of Illinons at Chicago在 cs.uic.edu 的电子邮件经过验证
Susan Owicki在 owicki.com 的电子邮件经过验证
Nissim FrancezComputer Science Faculty, Technion在 cs.technion.ac.il 的电子邮件经过验证
Gail KaiserProfessor of Computer Science, Columbia University在 columbia.edu 的电子邮件经过验证
Wendy A. KelloggIBM T.J. Watson Research Center在 us.ibm.com 的电子邮件经过验证
P SanthanamIBM在 us.ibm.com 的电子邮件经过验证
Harold OssherRetired Research Staff Member, IBM T. J. Watson Research Center在 ossher.net 的电子邮件经过验证
Thomas Ericksonretired@Minneapolis在 acm.org 的电子邮件经过验证
Ali ArsanjaniProfessor of Machine Learning, San Jose State University, VP AI and Machine Learning, DeepContext在 deep-context.com 的电子邮件经过验证
Gadi TaubenfeldIDC, Israel在 idc.ac.il 的电子邮件经过验证
Charu AggarwalDistinguished Research Staff Member, IBM T. J. Watson Research Center在 us.ibm.com 的电子邮件经过验证
Joel WolfPrincipal Research Staff Member, IBM T.J. Watson Research, retired在 us.ibm.com 的电子邮件经过验证
Francine BermanHamilton Distinguished Professor of Computer Science, RPI在 rpi.edu 的电子邮件经过验证
A. S. SzalayBlooomberg Distinguished Professor, Johns Hopkins University在 jhu.edu 的电子邮件经过验证
Deborah EstrinProfessor of Computer Science, Cornell Tech, Cornell University在 cornell.edu 的电子邮件经过验证
Victoria StoddenAssociate Professor, University of Southern California在 stodden.net 的电子邮件经过验证
Margaret MartonosiProfessor of Computer Science, Princeton University在 princeton.edu 的电子邮件经过验证
Susan DavidsonUniversity of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
Michael FranklinLiew Family Chair of Computer Science, University of Chicago在 uchicago.edu 的电子邮件经过验证
Rob A. RutenbarProfessor of Computer Science and Electrical and Computer Engineering, University of Pittsburgh在 pitt.edu 的电子邮件经过验证

关注

Brent Hailpern

Part-Time Instructor, Northeastern University

在 hailpern.com 的电子邮件经过验证 - 首页

Programming Languages Program Verification Object Oriented Systems


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Model-driven development: The good, the bad, and the ugly B Hailpern, P Tarr IBM systems journal 45 (3), 451-461, 2006	530	2006
Software debugging, testing, and verification B Hailpern, P Santhanam IBM Systems Journal 41 (1), 4-12, 2002	502	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	169	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	165	2003
Verifying concurrent processes using temporal logic BT Hailpern Springer Science & Business Media, 1982	155	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
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
Dynamic method and apparatus for target promotion BT Hailpern, PS Yu US Patent 6,922,672, 2005	141	2005
Realizing the Potential of Data Science A Berman, F., Rutenbar, R., Hailpern, B., Christensen, H., Davidson, S ... CACM 61 (4), 67-72, 2018	136*	2018
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	108*	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	94	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用