Joseph Y. Halpern - Concepedia

Author

Joseph Y. Halpern

Also Known As

Gerhard Lakemeyer, Halpern, Daniel, Halpern, J. Y., Halpern, Joseph, Halpern, Joseph Y, Halpern, Joseph Y., J Y Halpern, J. Halpern, J. Y. Halpern, J.Y. Halpern

670

Publications

30.8K

Citations

H-Index

262

Concepts

All Affiliations

Cornell University IBM Research - Almaden IBM (United States)Stanford University Hebrew University of Jerusalem

About

Joseph Y. Halpern is an author at Cornell University specializing in engineering, computer science, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	59	135	16.4K
2	Business	25	38	2.4K
3	Arts	10	10	823
4	Education	3	3	160
5	Humanities	1	1	56

Joseph Y. Halpern

252

Publications

23.9K

Citations

H-Index

Page 1

	Year	Citations
Proceedings of the 20th conference on Uncertainty in artificial intelligence Christopher Meek, Max Chickering, Joseph Y. Halpern Artificial IntelligenceEngineeringIntelligent SystemsUncertain ReasoningUncertainty Formalism	2004	1.5K
“Sometimes” and “not never” revisited E. Allen Emerson, Joseph Y. Halpern Journal of the ACM Applied LogicEngineeringVerificationConcurrent SystemFormal Verification	1986	990
Knowledge and common knowledge in a distributed environment Joseph Y. Halpern, Yoram Moses Journal of the ACM EngineeringCollective KnowledgeCommunicationKnowledge TechnologyDistributed Environment	1990	954
Belief, awareness, and limited reasoning Ronald Fagin, Joseph Y. Halpern Artificial Intelligence ReasoningCognitive ScienceBelief MergingBelief FunctionEpistemology	1987	880
A guide to completeness and complexity for modal logics of knowledge and belief Joseph Y. Halpern, Yoram Moses Artificial Intelligence Knowledge RepresentationEngineeringAutomated ReasoningPropositional LogicClassical Logic	1992	839
Causes and Explanations: A Structural-Model Approach. Part I: Causes Joseph Y. Halpern, Judea Pearl The British Journal for the Philosophy of Science Root Cause AnalysisBehavioral Decision MakingSocial PsychologySocial InfluenceCausal Relation Extraction	2005	760
Gossip-based ad hoc routing Zygmunt J. Haas, Joseph Y. Halpern, Li Li Cluster ComputingNetwork ScienceEngineeringEdge ComputingAd Hoc Network	2003	749
A logic for reasoning about probabilities Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo Information and Computation Probabilistic OntologyProbability LogicEngineeringAutomated ReasoningProbabilistic Reasoning	1990	583
Gossip-based ad hoc routing Zygmunt J. Haas, Joseph Y. Halpern, Li Li IEEE/ACM Transactions on Networking Cluster ComputingNetwork ScienceEngineeringEdge ComputingAd Hoc Network	2006	489
Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks Li Li, Joseph Y. Halpern, Paramvir Bahl, Power ConsumptionTopology ControlNetwork FlowsNetwork ScienceWireless Multi-hop Networks	2001	453

Page 1