37 citations · 152 across the 17 of their papers we have counts for
7 papers · 1 filter
Minimum-Energy Mobile Wireless Networks Revisited
Erran L. Li, Joseph Y. Halpern
We propose a protocol that, given a communication network, computes a subnetwork such that, for every pair of nodes connected in the original network, there is a minimum-en…
Analysis of a Cone-Based Distributed Topology Control Algorithm for Wireless Multi-hop Networks
Erran L. Li, Joseph Y. Halpern, Paramvir Bahl +2
The topology of a wireless multi-hop network can be controlled by varying the transmission power at each node. In this paper, we give a detailed analysis of a cone-based distribute…
Gossip Based Ad-Hoc Routing
Zygmunt Haas, Joseph Y. Halpern, Erran L. Li
Many ad hoc routing protocols are based on some variant of flooding. Despite various optimizations, many routing messages are propagated unnecessarily. We propose a gossiping-based…
Complete Axiomatizations for Reasoning About Knowledge and Time
Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various…
A logical reconstruction of SPKI
Joseph Y. Halpern, Ron van der Meyden
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previously int…
Causes and Explanations: A Structural-Model Approach. Part II: Explanations
Joseph Y. Halpern, Judea Pearl
We propose new definitions of (causal) explanation, using structural equations to model counterfactuals. The definition is based on the notion of actual cause, as defined and motiv…