Brent Hailpern
About
Brent Hailpern has authored 20 papers that have received a total of 438 indexed citations.
This includes 11 papers in Artificial Intelligence, 9 papers in Computer Networks and Communications and 7 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (6 papers), Formal Methods in Verification (5 papers) and Distributed systems and fault tolerance (5 papers). Brent Hailpern is often cited by papers focused on Logic, programming, and type systems (6 papers), Formal Methods in Verification (5 papers) and Distributed systems and fault tolerance (5 papers) and collaborates with scholars based in United States and Israel. Brent Hailpern's co-authors include Nissim Francez, Mark R. Laff, Peri Tarr, Tien Huynh and Henrik I. Christensen and has published in prestigious journals such as Communications of the ACM, IEEE Journal on Selected Areas in Communications and IEEE Transactions on Communications
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by D. Yohalem are co-authored with Top fields papers by A.J. Philipszoon are about Top countries impacted by papers by Farida El Yousfi Top journals papers by David G. Cargo are published in Top journals papers by Prashant P. Bedekar are published in Top countries impacted by papers by S.B. Thapa Top journals papers by Trevor R. P. Price are published in Top fields papers by Mahmoud Elashiry are about