dblp.uni-trier.dewww.uni-trier.de

Joseph Y. Halpern Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
372EEIan A. Kash, Eric J. Friedman, Joseph Y. Halpern: Multiagent learning in large anonymous games. AAMAS (2) 2009: 765-772
371EEIan A. Kash, Eric J. Friedman, Joseph Y. Halpern: Manipulating Scrip Systems: Sybils and Collusion. AMMA 2009: 13-24
370EEDavid J. Martin, Joseph Y. Halpern: Shared Winner Determination in Sponsored Search Auctions. ICDE 2009: 270-280
369EEJoseph Y. Halpern, Rafael Pass: Iterated Regret Minimization: A New Solution Concept. IJCAI 2009: 153-158
368EEJoseph Y. Halpern, Rafael Pass: A logical characterization of iterated admissibility. TARK 2009: 146-155
367EEJoseph Y. Halpern, Rafael Pass, Vasumathi Raman: An epistemic characterization of zero knowledge. TARK 2009: 156-165
366EEJoseph Y. Halpern, Leandro Chaves Rêgo: Reasoning about knowledge of unawareness revisited. TARK 2009: 166-173
365EEIan A. Kash, Eric J. Friedman, Joseph Y. Halpern: Manipulating Scrip Systems: Sybils and Collusion CoRR abs/0903.2278: (2009)
364EEIan A. Kash, Eric J. Friedman, Joseph Y. Halpern: Multiagent Learning in Large Anonymous Games CoRR abs/0903.2282: (2009)
363EEMark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride: Knowledge-Based Synthesis of Distributed Systems Using Event Structures CoRR abs/0906.4315: (2009)
362EELawrence E. Blume, David A. Easley, Joseph Y. Halpern: Constructive Decision Theory CoRR abs/0906.4316: (2009)
361EEJoseph Y. Halpern, Leandro Chaves Rêgo: Reasoning About Knowledge of Unawareness Revisited CoRR abs/0906.4321: (2009)
360EEJoseph Y. Halpern, Rafael Pass: A Logical Characterization of Iterated Admissibility CoRR abs/0906.4326: (2009)
359EEAdam J. Grove, Joseph Y. Halpern: Updating Sets of Probabilities CoRR abs/0906.4332: (2009)
2008
358 Joseph Y. Halpern: From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. AAAI 2008: 454-459
357EEJoseph Y. Halpern: Beyond Nash Equilibrium: Solution Concepts for the 21st Century. CONCUR 2008: 1
356EEDavid J. Martin, Johannes Gehrke, Joseph Y. Halpern: Toward Expressive and Scalable Sponsored Search Auctions. ICDE 2008: 237-246
355 Joseph Y. Halpern: Defaults and Normality in Causal Structures. KR 2008: 198-208
354 Joseph Y. Halpern: Beyond Nash Equilibrium: Solution Concepts for the 21st Century. KR 2008: 6-15
353EEJoseph Y. Halpern: Beyond nash equilibrium: solution concepts for the 21st century. PODC 2008: 1-10
352EEIttai Abraham, Danny Dolev, Joseph Y. Halpern: An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience. PODC 2008: 405-414
351EEIan A. Kash, Eric J. Friedman, Joseph Y. Halpern: The lotus-eater attack. PODC 2008: 455
350EEIttai Abraham, Danny Dolev, Joseph Y. Halpern: Lower Bounds on Implementing Robust and Resilient Mediators. TCC 2008: 302-319
349EEPeter Grünwald, Joseph Y. Halpern: A Game-Theoretic Analysis of Updating Sets of Probabilities. UAI 2008: 240-247
348EEHana Chockler, Joseph Y. Halpern, Orna Kupferman: What causes a system to satisfy a specification?. ACM Trans. Comput. Log. 9(3): (2008)
347EEJoseph Y. Halpern, Vicky Weissman: Using First-Order Logic to Reason about Policies. ACM Trans. Inf. Syst. Secur. 11(4): (2008)
346EEJoseph Y. Halpern, Kevin R. O'Neill: Secrecy in Multiagent Systems. ACM Trans. Inf. Syst. Secur. 12(1): (2008)
345EEJoseph Y. Halpern: From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic CoRR abs/0804.2155: (2008)
344EEIan A. Kash, Eric J. Friedman, Joseph Y. Halpern: The Lotus-Eater Attack CoRR abs/0806.1711: (2008)
343EEJoseph Y. Halpern: Beyond Nash Equilibrium: Solution Concepts for the 21st Century CoRR abs/0806.2139: (2008)
342EEJoseph Y. Halpern: Defaults and Normality in Causal Structures CoRR abs/0806.2140: (2008)
341EEJoseph Y. Halpern, Vicky Weissman: A Formal Foundation for XrML CoRR abs/0808.1215: (2008)
340EEIttai Abraham, Danny Dolev, Joseph Y. Halpern: An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience CoRR abs/0808.1505: (2008)
339EEJoseph Y. Halpern, Rafael Pass: Game Theory with Costly Computation CoRR abs/0809.0024: (2008)
338EEDavid J. Martin, Johannes Gehrke, Joseph Y. Halpern: Toward Expressive and Scalable Sponsored Search Auctions CoRR abs/0809.0116: (2008)
337EEJoseph Y. Halpern, Rafael Pass: Iterated Regret Minimization: A More Realistic Solution Concept CoRR abs/0810.3023: (2008)
336EEJoseph Y. Halpern, Vicky Weissman: A formal foundation for XrML. J. ACM 55(1): (2008)
2007
335EEIan A. Kash, Eric J. Friedman, Joseph Y. Halpern: Optimizing scrip systems: efficiency, crashes, hoarders, and altruists. ACM Conference on Electronic Commerce 2007: 305-315
334EEDavid J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern: Worst-Case Background Knowledge for Privacy-Preserving Data Publishing. ICDE 2007: 126-135
333EEJoseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs. IJCAI 2007: 1300-1307
332EEJoseph Y. Halpern, Leandro Chaves Rêgo: Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. IJCAI 2007: 2306-2311
331EEJoseph Y. Halpern, Riccardo Pucella: Dealing with logical omniscience. TARK 2007: 169-176
330EELeandro Chaves Rêgo, Joseph Y. Halpern: Generalized solution concepts in games with possibly unaware players. TARK 2007: 253-262
329EEJoseph Y. Halpern, Leandro Chaves Rêgo: Extensive Games with Possibly Unaware Players CoRR abs/0704.2014: (2007)
328EEIttai Abraham, Danny Dolev, Joseph Y. Halpern: Lower Bounds on Implementing Robust and Resilient Mediators CoRR abs/0704.3646: (2007)
327EEDavid J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern: Worst-Case Background Knowledge for Privacy-Preserving Data Publishing CoRR abs/0705.2787: (2007)
326EEEric J. Friedman, Joseph Y. Halpern, Ian A. Kash: Efficiency and Nash Equilibria in a Scrip System for P2P Networks CoRR abs/0705.4094: (2007)
325EEIan A. Kash, Eric J. Friedman, Joseph Y. Halpern: Optimizing Scrip Systems: Efficiency, Crashes, Hoarders, and Altruists CoRR abs/0705.4110: (2007)
324EELeandro Chaves Rêgo, Joseph Y. Halpern: Generalized Solution Concepts in Games with Possibly Unaware Players CoRR abs/0707.1904: (2007)
323EEJoseph Y. Halpern, Sabina Petride: A Knowledge-Based Analysis of Global Function Computation CoRR abs/0707.3435: (2007)
322EEPeter D. Grünwald, Joseph Y. Halpern: A Game-Theoretic Analysis of Updating Sets of Probabilities CoRR abs/0711.3235: (2007)
321EEJoseph Y. Halpern, Riccardo Pucella: Dealing With Logical Omniscience: Expressiveness and Pragmatics CoRR abs/cs/0702011: (2007)
320EEJoseph Y. Halpern: Computer Science and Game Theory: A Brief Survey CoRR abs/cs/0703148: (2007)
319EEJoseph Y. Halpern, Riccardo Pucella: Characterizing and reasoning about probabilistic and non-probabilistic expectation. J. ACM 54(3): 15 (2007)
318EEJoseph Y. Halpern, Leandro Chaves Rêgo: Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. J. Log. Comput. 17(4): 795-806 (2007)
2006
317EEJoseph Y. Halpern, Leandro Chaves Rêgo: Extensive games with possibly unaware players. AAMAS 2006: 744-751
316EEEric J. Friedman, Joseph Y. Halpern, Ian A. Kash: Efficiency and nash equilibria in a scrip system for P2P networks. ACM Conference on Electronic Commerce 2006: 140-149
315EEJoseph Y. Halpern, Sabina Petride: A Knowledge-Based Analysis of Global Function Computation. DISC 2006: 136-150
314 Lawrence E. Blume, David A. Easley, Joseph Y. Halpern: Redoing the Foundations of Decision Theory. KR 2006: 14-24
313 Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning about Knowledge of Unawareness. KR 2006: 6-13
312EEIttai Abraham, Danny Dolev, Rica Gonen, Joseph Y. Halpern: Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation. PODC 2006: 53-62
311EEJoseph Y. Halpern: From statistical knowledge bases to degrees of belief: an overview. PODS 2006: 110-113
310EEJoseph Y. Halpern: Causality, Responsibility, and Blame: A Structural-Model Approach. QEST 2006: 3-8
309EEJoseph Y. Halpern, Vicky Weissman: Using First-Order Logic to Reason about Policies CoRR abs/cs/0601034: (2006)
308EEJoseph Y. Halpern, Leandro Chaves Rêgo: Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic CoRR abs/cs/0603019: (2006)
307EEJoseph Y. Halpern, Leandro Chaves Rêgo: Reasoning About Knowledge of Unawareness CoRR abs/cs/0603020: (2006)
306EEJoseph Y. Halpern, Riccardo Pucella: Modeling Adversaries in a Logic for Security Protocol Analysis CoRR abs/cs/0607146: (2006)
305EEJoseph Y. Halpern, Sabina Petride: Expressing Security Properties Using Selective Interleaving Functions CoRR abs/cs/0608022: (2006)
304EEJoseph Y. Halpern: Using Sets of Probability Measures to Represent Uncertainty CoRR abs/cs/0608028: (2006)
303EEJoseph Y. Halpern, Vanessa Teague: Rational Secret Sharing and Multiparty Computation: Extended Abstract CoRR abs/cs/0609035: (2006)
302EEJoseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs CoRR abs/cs/0610098: (2006)
301EEZygmunt J. Haas, Joseph Y. Halpern, Li Li: Gossip-based ad hoc routing. IEEE/ACM Trans. Netw. 14(3): 479-491 (2006)
300EEJoseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Evidence. J. Artif. Intell. Res. (JAIR) 26: 1-34 (2006)
2005
299EEJoseph Y. Halpern, Leandro Chaves Rêgo: Interactive unawareness revisited. TARK 2005: 78-91
298EEJoseph Y. Halpern, Riccardo Pucella: Evidence with Uncertain Likelihoods. UAI 2005: 243-250
297EEJoseph Y. Halpern, Riccardo Pucella: Probabilistic Algorithmic Knowledge CoRR abs/cs/0503018: (2005)
296EEJoseph Y. Halpern, Leandro Chaves Rêgo: Interactive Unawareness Revisited CoRR abs/cs/0509058: (2005)
295EEJoseph Y. Halpern, Riccardo Pucella: Evidence with Uncertain Likelihoods CoRR abs/cs/0510079: (2005)
294EEPeter D. Grünwald, Joseph Y. Halpern: When Ignorance is Bliss CoRR abs/cs/0510080: (2005)
293EEJoseph Y. Halpern, Aleta Ricciardi: A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. Distributed Computing 17(3): 223-236 (2005)
292EELi Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer: A cone-based distributed topology-control algorithm for wireless multi-hop networks. IEEE/ACM Trans. Netw. 13(1): 147-159 (2005)
291EEJoseph Y. Halpern, Kevin R. O'Neill: Anonymity and information hiding in multiagent systems. Journal of Computer Security 13(3): 483-512 (2005)
290EEJoseph Y. Halpern, Riccardo Pucella: Probabilistic Algorithmic Knowledge. Logical Methods in Computer Science 1(3): (2005)
2004
289 David Maxwell Chickering, Joseph Y. Halpern: UAI '04, Proceedings of the 20th Conference in Uncertainty in Artificial Intelligence, July 7-11 2004, Banff, Canada AUAI Press 2004
288EEJoseph Y. Halpern, Vicky Weissman: A Formal Foundation for XrML. CSFW 2004: 251-
287 Joseph Y. Halpern: Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. KR 2004: 12-22
286 Joseph Y. Halpern: Intransitivity and Vagueness. KR 2004: 121-129
285EEMark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride: Knowledge-Based Synthesis of Distributed Systems Using Event Structures. LPAR 2004: 449-465
284EEMagnús M. Halldórsson, Joseph Y. Halpern, Erran L. Li, Vahab S. Mirrokni: On spectrum sharing games. PODC 2004: 107-114
283EEJoseph Y. Halpern, Vanessa Teague: Rational secret sharing and multiparty computation: extended abstract. STOC 2004: 623-632
282EEPeter Grünwald, Joseph Y. Halpern: When Ignorance is Bliss. UAI 2004: 226-234
281EEFrancis C. Chu, Joseph Y. Halpern: Great expectations. Part II: generalized expected utility as a universal decision rule. Artif. Intell. 159(1-2): 207-229 (2004)
280EEJoseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Evidence CoRR cs.AI/0405098: (2004)
279EEJoseph Y. Halpern: Intransitivity and Vagueness CoRR cs.AI/0410049: (2004)
278EEJoseph Y. Halpern: Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems CoRR cs.AI/0410050: (2004)
277EEJoseph Y. Halpern, Kevin R. O'Neill: Anonymity and Information Hiding in Multiagent Systems CoRR cs.CR/0402042: (2004)
276EEJoseph Y. Halpern, Aleta Ricciardi: A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors CoRR cs.DC/0402012: (2004)
275EEJoseph Y. Halpern, Yoram Moses: Using counterfactuals in knowledge-based programming. Distributed Computing 17(2): 91-106 (2004)
274EELi Li, Joseph Y. Halpern: A minimum-energy path-preserving topology-control algorithm. IEEE Transactions on Wireless Communications 3(3): 910-921 (2004)
273EEJoseph Y. Halpern, Richard A. Shore: Reasoning about common knowledge with infinitely many agents. Inf. Comput. 191(1): 1-40 (2004)
272EEJoseph Y. Halpern, Daphne Koller: Representation Dependence in Probabilistic Inference. J. Artif. Intell. Res. (JAIR) 21: 319-356 (2004)
271EEHana Chockler, Joseph Y. Halpern: Responsibility and Blame: A Structural-Model Approach. J. Artif. Intell. Res. (JAIR) 22: 93-115 (2004)
270EEJoseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning about Knowledge and Time. SIAM J. Comput. 33(3): 674-703 (2004)
2003
269 Joseph Y. Halpern, Moshe Tennenholtz: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003 ACM 2003
268EEJoseph Y. Halpern, Vicky Weissman: Using First-Order Logic to Reason about Policies. CSFW 2003: 187-201
267EEJoseph Y. Halpern, Kevin R. O'Neill: Anonymity and Information Hiding in Multiagent Systems. CSFW 2003: 75-88
266 Hana Chockler, Joseph Y. Halpern: Responsibility and Blame: A Structural-Model Approach. IJCAI 2003: 147-153
265 Francis C. Chu, Joseph Y. Halpern: Great Expectations. Part I: On the Customizability of Generalized Expected Utility. IJCAI 2003: 291-296
264 Francis C. Chu, Joseph Y. Halpern: Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. IJCAI 2003: 297-302
263EEJoseph Y. Halpern, Riccardo Pucella: Probabilistic algorithmic knowledge. TARK 2003: 118-130
262 Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Evidence. UAI 2003: 297-304
261EEErich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno: LICS 2001 special issue. ACM Trans. Comput. Log. 4(3): 295 (2003)
260EEJoseph Y. Halpern, Riccardo Pucella: On the relationship between strand spaces and multi-agent systems. ACM Trans. Inf. Syst. Secur. 6(1): 43-70 (2003)
259EEJoseph Y. Halpern, Bruce M. Kapron: Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193]. Ann. Pure Appl. Logic 121(2-3): 281-283 (2003)
258EEPeter Grünwald, Joseph Y. Halpern: Updating Probabilities CoRR cs.AI/0306124: (2003)
257EEFahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: From Statistical Knowledge Bases to Degrees of Belief CoRR cs.AI/0307056: (2003)
256EEJoseph Y. Halpern, Riccardo Pucella: A logic for reasoning about upper probabilities CoRR cs.AI/0307069: (2003)
255EENir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part I: Foundations CoRR cs.AI/0307070: (2003)
254EENir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part II: Revisions and Update CoRR cs.AI/0307071: (2003)
253EEFrancis C. Chu, Joseph Y. Halpern: Great Expectations. Part I: On the Customizability of Generalized Expected Utility CoRR cs.AI/0311026: (2003)
252EEFrancis C. Chu, Joseph Y. Halpern: Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule CoRR cs.AI/0311027: (2003)
251EEJoseph Y. Halpern, Riccardo Pucella: Reasoning About Expectation CoRR cs.AI/0312037: (2003)
250EEHana Chockler, Joseph Y. Halpern: Responsibility and blame: a structural-model approach CoRR cs.AI/0312038: (2003)
249EEJoseph Y. Halpern, Daphne Koller: Representation Dependence in Probabilistic Inference CoRR cs.AI/0312048: (2003)
248EEJoseph Y. Halpern, Riccardo Pucella: On the Relationship between Strand Spaces and Multi-Agent Systems CoRR cs.CR/0306107: (2003)
247EEKevin R. O'Neill, Joseph Y. Halpern: Secrecy in Multiagent Systems CoRR cs.CR/0307057: (2003)
246EEJoseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming CoRR cs.DC/0311028: (2003)
245EEJoseph Y. Halpern: Lexicographic probability, conditional probability, and nonstandard probability CoRR cs.GT/0306106: (2003)
244EEHana Chockler, Joseph Y. Halpern, Orna Kupferman: What Causes a System to Satisfy a Specification? CoRR cs.LO/0312036: (2003)
243EEJoseph Y. Halpern: JACM's 50th anniversary. J. ACM 50(1): 3-7 (2003)
242EEPeter Grünwald, Joseph Y. Halpern: Updating Probabilities. J. Artif. Intell. Res. (JAIR) 19: 243-278 (2003)
241 Joseph Y. Halpern, Ron van der Meyden: A Logical Reconstruction of SPKI. Journal of Computer Security 11(4): 581-614 (2003)
2002
240EEJoseph Y. Halpern, Kevin R. O'Neill: Secrecy in Multiagent Systems. CSFW 2002: 32-
239EEJoseph Y. Halpern, Riccardo Pucella: Modeling Adversaries in a Logic for Security Protocol Analysis. FASec 2002: 115-132
238EEZygmunt J. Haas, Joseph Y. Halpern, Erran L. Li: Gossip-based ad hoc routing. INFOCOM 2002
237EEFrancis C. Chu, Joseph Y. Halpern, Johannes Gehrke: Least Expected Cost Query Optimization: What Can We Expect? PODS 2002: 293-302
236 Peter Grünwald, Joseph Y. Halpern: Updating Probabilities. UAI 2002: 187-196
235 Joseph Y. Halpern, Riccardo Pucella: Reasoning about Expectation. UAI 2002: 207-215
234EEJoseph Y. Halpern, Judea Pearl: Causes and Explanations: A Structural-Model Approach. Part II: Explanations CoRR cs.AI/0208034: (2002)
233EEJoseph Y. Halpern, Ron van der Meyden: A logical reconstruction of SPKI CoRR cs.CR/0208028: (2002)
232EEJoseph Y. Halpern: A computer scientist looks at game theory CoRR cs.GT/0201016: (2002)
231EEJoseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning About Knowledge and Time CoRR cs.LO/0208033: (2002)
230EEZygmunt J. Haas, Joseph Y. Halpern, Erran L. Li: Gossip Based Ad-Hoc Routing CoRR cs.NI/0209011: (2002)
229EEErran L. Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer: Analysis of a Cone-Based Distributed Topology Control Algorithm for Wireless Multi-hop Networks CoRR cs.NI/0209012: (2002)
228EEErran L. Li, Joseph Y. Halpern: Minimum-Energy Mobile Wireless Networks Revisited CoRR cs.NI/0209013: (2002)
227EEJoseph Y. Halpern: Update: Time to publication statistics. J. ACM 49(6): 715 (2002)
226EEJoseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Upper Probabilities. J. Artif. Intell. Res. (JAIR) 17: 57-81 (2002)
2001
225EEJoseph Y. Halpern, Riccardo Pucella: On the relationship between strand spaces and multi-agent systems. ACM Conference on Computer and Communications Security 2001: 106-115
224EEJoseph Y. Halpern, Ron van der Meyden: A Logical Reconstruction of SPKI. CSFW 2001: 59-
223 Joseph Y. Halpern: Plausibility Measures: A General Approach For Representing Uncertainty. IJCAI 2001: 1474-1483
222 Joseph Y. Halpern, Judea Pearl: Causes and Explanations: A Structural-Model Approach - Part II: Explanations. IJCAI 2001: 27-34
221EEErran L. Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer: Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks. PODC 2001: 264-273
220EEJoseph Y. Halpern, Judea Pearl: Causes and Explanations: A Structural-Model Approach: Part 1: Causes. UAI 2001: 194-202
219EEJoseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Upper Probabilities. UAI 2001: 203-210
218EEJoseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu: On the unusual effectiveness of logic in computer science. Bulletin of Symbolic Logic 7(2): 213-236 (2001)
217EENir Friedman, Joseph Y. Halpern: Belief Revision: A Critique CoRR cs.AI/0103020: (2001)
216EEFrancis C. Chu, Joseph Y. Halpern: On the NP-completeness of Finding an Optimal Strategy in Games with Common Payoffs CoRR cs.DC/0103019: (2001)
215EEFrancis C. Chu, Joseph Y. Halpern: A decision-theoretic approach to reliable message delivery. Distributed Computing 14(1): 1-16 (2001)
214EENir Friedman, Joseph Y. Halpern: Plausibility measures and default reasoning. J. ACM 48(4): 648-685 (2001)
213EEJoseph Y. Halpern: Conditional Plausibility Measures and Bayesian Networks. J. Artif. Intell. Res. (JAIR) 14: 359-389 (2001)
212EEJoseph Y. Halpern, Gerhard Lakemeyer: Multi-agent Only Knowing. J. Log. Comput. 11(1): 41-70 (2001)
211 Joseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces. Journal of Computer Security 9(1/2): 105-142 (2001)
210EEJoseph Y. Halpern, Yoram Moses, Orli Waarts: A Characterization of Eventual Byzantine Agreement. SIAM J. Comput. 31(3): 838-865 (2001)
2000
209EEZygmunt J. Haas, Joseph Y. Halpern, Erran L. Li, Stephen B. Wicker: A decision-theoretic approach to resource allocation in wireless multimedia networks. DIAL-M 2000: 86-95
208EEJoseph Y. Halpern: Degrees of Belief, Random Worlds, and Maximum Entropy. Discovery Science 2000: 15-16
207EEJoseph Y. Halpern: Conditional Plausibility Measures and Bayesian Networks. UAI 2000: 247-255
206EEJoseph Y. Halpern: CoRR: a computing research repository. ACM Journal of Computer Documentation 24(2): 41-48 (2000)
205EEJoseph Y. Halpern: A response to the commentaries on CoRR. ACM Journal of Computer Documentation 24(2): 72-77 (2000)
204EENir Friedman, Joseph Y. Halpern, Daphne Koller: First-order conditional logic for default reasoning revisited. ACM Trans. Comput. Log. 1(2): 175-207 (2000)
203EEJoseph Y. Halpern, Gerhard Lakemeyer: Multi-Agent Only Knowing CoRR cs.AI/0001015: (2000)
202EEJoseph Y. Halpern: Axiomatizing Causal Reasoning CoRR cs.AI/0005030: (2000)
201EEJoseph Y. Halpern: Conditional Plausibility Measures and Bayesian Networks CoRR cs.AI/0005031: (2000)
200EEJoseph Y. Halpern, Judea Pearl: Causes and Explanations: A Structural-Model Approach, Part I: Causes CoRR cs.AI/0011012: (2000)
199EEJoseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces CoRR cs.CR/0001026: (2000)
198EEJoseph Y. Halpern: A note on knowledge-based programs and specifications CoRR cs.DC/0003058: (2000)
197EECynthia Dwork, Joseph Y. Halpern, Orli Waarts: Performing work efficiently in the presence of faults CoRR cs.DC/0006008: (2000)
196EEJoseph Y. Halpern, Yoram Moses: Knowledge and common knowledge in a distributed environment CoRR cs.DC/0006009: (2000)
195EEJoseph Y. Halpern: CoRR: A Computing Research Repository CoRR cs.DL/0005003: (2000)
194EEJoseph Y. Halpern: A response to the commentaries on CoRR CoRR cs.DL/0005004: (2000)
193EEZygmunt J. Haas, Joseph Y. Halpern, Erran L. Li, Stephen B. Wicker: A Decision-Theoretic Approach to Resource Allocation in Wireless Multimedia Networks CoRR cs.NI/0006037: (2000)
192EEJoseph Y. Halpern: A note on knowledge-based programs and specifications. Distributed Computing 13(3): 145-153 (2000)
191EEJoseph Y. Halpern: Editorial: a bill of rights and responsibilities. J. ACM 47(5): 823-825 (2000)
190EEJoseph Y. Halpern: Axiomatizing Causal Reasoning. J. Artif. Intell. Res. (JAIR) 12: 317-337 (2000)
1999
189EEJoseph Y. Halpern, Carl Lagoze: The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research. ACM DL 1999: 3-11
188EEJoseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces. CSFW 1999: 111-122
187EEJoseph Y. Halpern, Nir Friedman: Plausibility Measures and Default Reasoning: An Overview. LICS 1999: 130-135
186EEJoseph Y. Halpern, Richard A. Shore: Reasoning about Common Knowledge with Infinitely Many Agents. LICS 1999: 384-393
185EEJoseph Y. Halpern, Aleta Ricciardi: A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. PODC 1999: 73-82
184EEFrancis C. Chu, Joseph Y. Halpern, Praveen Seshadri: Least Expected Cost Query Optimization: An Exercise in Utility. PODS 1999: 138-147
183 Joseph Y. Halpern: Set-theoretic completeness for epistemic and conditional logic. Ann. Math. Artif. Intell. 26(1-4): 1-27 (1999)
182 Joseph Y. Halpern: Errata: ``The relationship between knowledge, belief, and certainty''. Ann. Math. Artif. Intell. 26(1-4): 253-256 (1999)
181 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. Ann. Pure Appl. Logic 96(1-3): 89-105 (1999)
180EEFahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Artif. Intell. 111(1-2): 171-208 (1999)
179EENir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part II: Revision and Update CoRR cs.AI/9903016: (1999)
178EEJoseph Y. Halpern: Cox's Theorem Revisited CoRR cs.AI/9911012: (1999)
177EEFrancis C. Chu, Joseph Y. Halpern, Praveen Seshadri: Least expected cost query optimization: an exercise in utility CoRR cs.DB/9909016: (1999)
176EEFrancis C. Chu, Joseph Y. Halpern: A decision-theoretic approach to reliable message delivery CoRR cs.DC/9909015: (1999)
175EEJoseph Y. Halpern, Richard A. Shore: Reasoning About Common Knowledge with Infinitely Many Agents CoRR cs.LO/9909014: (1999)
174EENir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part II: Revision and Update. J. Artif. Intell. Res. (JAIR) 10: 117-167 (1999)
173EEJoseph Y. Halpern: A Counterexample to Theorems of Cox and Fine. J. Artif. Intell. Res. (JAIR) 10: 67-85 (1999)
172EEJoseph Y. Halpern: Cox's Theorem Revisited (technical addendum). J. Artif. Intell. Res. (JAIR) 11: 429-435 (1999)
171 Nir Friedman, Joseph Y. Halpern: Belief Revision: A Critique. Journal of Logic, Language and Information 8(4): 401-420 (1999)
1998
170 Craig Boutilier, Nir Friedman, Joseph Y. Halpern: Belief Revision with Unreliable Observations. AAAI/IAAI 1998: 127-134
169EEFrancis C. Chu, Joseph Y. Halpern: A Decision-Theoretic Approach to Reliable Message Delivery. DISC 1998: 89-103
168 Joseph Y. Halpern: Using Multi-Agent Systems to Represent Uncertainty. ICMAS 1998: 6-7
167 Joseph Y. Halpern: Characterizing the Common Prior Assumption. TARK 1998: 133-146
166 Joseph Y. Halpern: Hypothetical Knowledge and Counterfactual Reasoning. TARK 1998: 83-96
165 Joseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming. TARK 1998: 97-110
164EEAdam J. Grove, Joseph Y. Halpern: Updating Sets of Probabilities. UAI 1998: 173-182
163EEJoseph Y. Halpern: Axiomatizing Causal Reasoning. UAI 1998: 202-210
162EERonen I. Brafman, Joseph Y. Halpern, Yoav Shoham: On the Knowledge Requirements of Tasks. Artif. Intell. 98(1-2): 317-349 (1998)
161EENir Friedman, Joseph Y. Halpern, Daphne Koller: First-Order Conditional Logic Revisited CoRR cs.AI/9808005: (1998)
160EEJoseph Y. Halpern: Set-Theoretic Completeness for Epistemic and Conditional Logic CoRR cs.AI/9808006: (1998)
159EENir Friedman, Joseph Y. Halpern: Plausibility Measures and Default Reasoning CoRR cs.AI/9808007: (1998)
158EEFahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors and Effectors in the Situation Calculus CoRR cs.AI/9809013: (1998)
157EEJoseph Y. Halpern, Carl Lagoze: The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research CoRR cs.DL/9812020: (1998)
156EERonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common knowledge revisited CoRR cs.LO/9809003: (1998)
155EEJoseph Y. Halpern: Time to Publication: A Progress Report. J. ACM 45(3): 379-380 (1998)
154EECynthia Dwork, Joseph Y. Halpern, Orli Waarts: Performing Work Efficiently in the Presence of Faults. SIAM J. Comput. 27(5): 1457-1491 (1998)
1997
153 Joseph Y. Halpern: Using Multi-Agent Systems to Represent Uncertainty (invited talk). SCAI 1997
152EEAdam J. Grove, Joseph Y. Halpern: Probability Update: Conditioning vs. Cross-Entropy. UAI 1997: 208-214
151EEUrszula Chajewska, Joseph Y. Halpern: Defining Explanation in Probabilistic Systems. UAI 1997: 62-71
150EENir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part I: Foundations. Artif. Intell. 95(2): 257-316 (1997)
149EEJoseph Y. Halpern: Defining Relative Likelihood in Partially-Ordered Preferential Structures CoRR cs.AI/9707103: (1997)
148 Joseph Y. Halpern: A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Computational Intelligence 13(1): 144-163 (1997)
147EERonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. Distributed Computing 10(4): 199-225 (1997)
146EEJoseph Y. Halpern: On becoming editor-in-chief of JACM. J. ACM 44(3): 363-365 (1997)
145 Joseph Y. Halpern: Defining Relative Likelihood in Partially-Ordered Structures. J. Artif. Intell. Res. (JAIR) 7: 1-24 (1997)
144 Joseph Y. Halpern: A Theory of Knowledge and Ignorance for Many Agents. J. Log. Comput. 7(1): 79-108 (1997)
1996
143 Daphne Koller, Joseph Y. Halpern: Irrelevance and Conditioning in First-Order Probabilistic Logic. AAAI/IAAI, Vol. 1 1996: 569-576
142 Nir Friedman, Joseph Y. Halpern: Plausibility Measures and Default Reasoning. AAAI/IAAI, Vol. 2 1996: 1297-1304
141 Nir Friedman, Joseph Y. Halpern, Daphne Koller: First-Order Conditional Logic Revisited. AAAI/IAAI, Vol. 2 1996: 1305-1312
140 Joseph Y. Halpern: A Counterexample to Theorems of Cox and Fine. AAAI/IAAI, Vol. 2 1996: 1313-1319
139 Joseph Y. Halpern: Using Multi-Agent Systems to Represent Uncertainty. AAAI/IAAI, Vol. 2 1996: 1329-1330
138 Nir Friedman, Joseph Y. Halpern: Belief Revision: A Critique. KR 1996: 421-431
137 Joseph Y. Halpern, Gerhard Lakemeyer: Multi-Agent Only Knowing. TARK 1996: 251-265
136 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. TARK 1996: 283-298
135 Joseph Y. Halpern: On Ambiguities in the Interpretation of Game Trees. TARK 1996: 77-96
134EENir Friedman, Joseph Y. Halpern: A Qualitative Markov Assumption and Its Implications for Belief Change. UAI 1996: 263-273
133EEJoseph Y. Halpern: Defining Relative Likelihood in Partially-Ordered Preferential Structures. UAI 1996: 299-306
132EEFahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: From Statistical Knowledge Bases to Degrees of Belief. Artif. Intell. 87(1-2): 75-143 (1996)
131 Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Asymptotic Conditional Probabilities: The Non-Unary Case. J. Symb. Log. 61(1): 250-276 (1996)
130 Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Asymptotic Conditional Probabilities: The Unary Case. SIAM J. Comput. 25(1): 1-51 (1996)
1995
129 Joseph Y. Halpern, Daphne Koller: Representation Dependence in Probabilistic Inference. IJCAI 1995: 1853-1861
128 Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors in the Situation Calculus. IJCAI 1995: 1933-1940
127 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. PODC 1995: 153-163
126 Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. Reasoning with Uncertainty in Robotics 1995: 218-220
125EENir Friedman, Joseph Y. Halpern: Plausibility Measures: A User's Guide. UAI 1995: 175-184
124EEJoseph Y. Halpern, Gerhard Lakemeyer: Levesque's Axiomatization of only Knowing is Incomplete. Artif. Intell. 74(2): 381-387 (1995)
123EEJoseph Y. Halpern: The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic. Artif. Intell. 75(2): 361-372 (1995)
122EERonald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. Artif. Intell. 79(2): 203-240 (1995)
121 Joseph Y. Halpern, Edward L. Wimmers: Full Abstraction and Expressive Completeness for FP Inf. Comput. 118(2): 246-271 (1995)
120EEDanny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong: Dynamic Fault-Tolerant Clock Synchronization. J. ACM 42(1): 143-185 (1995)
1994
119 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147
118 Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Forming Beliefs about a Changing World. AAAI 1994: 222-229
117 Nir Friedman, Joseph Y. Halpern: Conditional Logics of Belief Change. AAAI 1994: 915-921
116 Nir Friedman, Joseph Y. Halpern: A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. KR 1994: 190-201
115 Nir Friedman, Joseph Y. Halpern: On the Complexity of Conditional Logics. KR 1994: 202-213
114 Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Algorithmic Knowledge. TARK 1994: 255-266
113 Nir Friedman, Joseph Y. Halpern: A Knowledge-Based Framework for Belief change, Part I: Foundations. TARK 1994: 44-64
112EEFahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Generating New Beliefs from Old. UAI 1994: 37-45
111 Joseph Y. Halpern, Bruce M. Kapron: Zero-One Laws for Modal Logic. Ann. Pure Appl. Logic 69(2-3): 157-193 (1994)
110 Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: A Response to "Believing on the Basis of the Evidence". Computational Intelligence 10: 21-25 (1994)
109 Martín Abadi, Joseph Y. Halpern: Decidability and Expressiveness for First-Order Logics of Probability Inf. Comput. 112(1): 1-36 (1994)
108EERonald Fagin, Joseph Y. Halpern: Reasoning About Knowledge and Probability. J. ACM 41(2): 340-367 (1994)
107 Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Random Worlds and Maximum Entropy. J. Artif. Intell. Res. (JAIR) 2: 33-88 (1994)
1993
106 Joseph Y. Halpern: Reasoning about only Knowing with Many Agents. AAAI 1993: 655-661
105EEFahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Generating Degrees of Belief from Statistical Information: An Overview. FSTTCS 1993: 318-325
104 Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Statistical Foundations for Default Reasoning. IJCAI 1993: 563-569
103 Joseph Y. Halpern: A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Kurt Gödel Colloquium 1993: 43-60
102EEJoseph Y. Halpern, Mark R. Tuttle: Knowledge, Probability, and Adversaries. J. ACM 40(4): 917-962 (1993)
101 Adam J. Grove, Joseph Y. Halpern: Naming and Identity in Epistemic Logics Part I: The Propositional Case. J. Log. Comput. 3(4): 345-378 (1993)
100 Vassos Hadzilacos, Joseph Y. Halpern: The Failure Discovery Problem. Mathematical Systems Theory 26(1): 103-129 (1993)
99 Vassos Hadzilacos, Joseph Y. Halpern: Message-Optimal Protocols for Byzantine Agreement. Mathematical Systems Theory 26(1): 41-102 (1993)
1992
98 Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern: From Statistics to Beliefs. AAAI 1992: 602-608
97 Daphne Koller, Joseph Y. Halpern: A Logic for Approximate Reasoning. KR 1992: 153-164
96 Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Random Worlds and Maximum Entropy LICS 1992: 22-33
95 Joseph Y. Halpern, Bruce M. Kapron: Zero-One Laws for Modal Logic LICS 1992: 369-380
94 Cynthia Dwork, Joseph Y. Halpern, Orli Waarts: Performing Work Efficiently in the Presence of Faults. PODC 1992: 91-102
93 Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Asymptotic Conditional Probabilities for First-Order Logic STOC 1992: 294-305
92 Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi: The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. TARK 1992: 229-244
91 Joseph Y. Halpern, Ronald Fagin: Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. Artif. Intell. 54(2): 275-317 (1992)
90 Joseph Y. Halpern, Yoram Moses: A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artif. Intell. 54(2): 319-379 (1992)
89EERonald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: What Can Machines Know? On the Properties of Knowledge in Distributed Systems. J. ACM 39(2): 328-376 (1992)
88EEJoseph Y. Halpern, Lenore D. Zuck: A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols. J. ACM 39(3): 449-478 (1992)
87 Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: What Is an Inference Rule? J. Symb. Log. 57(3): 1018-1045 (1992)
1991
86 Adam J. Grove, Joseph Y. Halpern: Naming and Identity in a Multi-Agent Epistemic Logic. KR 1991: 301-312
85 Joseph Y. Halpern, Moshe Y. Vardi: Model Checking vs. Theorem Proving: A Manifesto. KR 1991: 325-334
84 Vassos Hadzilacos, Joseph Y. Halpern: Message-Optimal Protocols for Byzantine Agreement (Extended Abstract). PODC 1991: 309-323
83EEJoseph Y. Halpern: Knowledge and Probability in Distributed Systems (Abstract). TAPSOFT, Vol.2 1991: 50-54
82 Joseph Y. Halpern: The relationship between knowledge, belief and certainty. Ann. Math. Artif. Intell. 4: 301-322 (1991)
81 Ronald Fagin, Joseph Y. Halpern: Uncertainty, belief, and probability. Computational Intelligence 7: 160-173 (1991)
80 Joseph Y. Halpern, Ichiro Suzuki: Clock Synchronization and the Power of Broadcasting. Distributed Computing 5: 73-82 (1991)
79EERonald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge. J. ACM 38(2): 382-428 (1991)
78EEJoseph Y. Halpern, Yoav Shoham: A Propositional Modal Logic of Time Intervals. J. ACM 38(4): 935-962 (1991)
77 Joseph Y. Halpern: Presburger Arithmetic with Unarr Predicates is Pi11 Complete. J. Symb. Log. 56(2): 637-642 (1991)
1990
76 Joseph Y. Halpern, Ronald Fagin: Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. AAAI 1990: 112-119
75EEJoseph Y. Halpern, Yoram Moses, Orli Waarts: A Characterization of Eventual Byzantine Agreement. PODC 1990: 333-346
74 Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. TARK 1990: 41-55
73EERonald Fagin, Joseph Y. Halpern: A new approach to updating beliefs. UAI 1990: 347-374
72 Joseph Y. Halpern: An Analysis of First-Order Logics of Probability. Artif. Intell. 46(3): 311-350 (1990)
71 Joseph Y. Halpern: Let many flowers bloom: a response to An inquiry into computer understanding e. Computational Intelligence 6: 184-188 (1990)
70 Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo: A Logic for Reasoning about Probabilities Inf. Comput. 87(1/2): 78-128 (1990)
69EEJoseph Y. Halpern, John H. Williams, Edward L. Wimmers: Completeness of Rewrite Rules and Rewrite Strategies for FP J. ACM 37(1): 86-143 (1990)
68EEJoseph Y. Halpern, Yoram Moses: Knowledge and Common Knowledge in a Distributed Environment J. ACM 37(3): 549-587 (1990)
1989
67 Martín Abadi, Joseph Y. Halpern: Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract) FOCS 1989: 148-153
66 Ronald Fagin, Joseph Y. Halpern: Uncertainty, Belief, and Probability. IJCAI 1989: 1161-1167
65 Joseph Y. Halpern: An Analysis of First-Order Logics of Probability. IJCAI 1989: 1375-1381
64 Joseph Y. Halpern, Mark R. Tuttle: Knowledge, Probability, and Adversaries. PODC 1989: 103-118
63 Joseph Y. Halpern, Ronald Fagin: Modelling Knowledge and Action in Distributed Systems. Distributed Computing 3(4): 159-177 (1989)
62 Steven M. German, Edmund M. Clarke, Joseph Y. Halpern: Reasoning about Procedures as Parameters in the Language L4 Inf. Comput. 83(3): 265-359 (1989)
61 Joseph Y. Halpern, Moshe Y. Vardi: The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. J. Comput. Syst. Sci. 38(1): 195-237 (1989)
1988
60EEJoseph Y. Halpern, Ronald Fagin: Modelling Knowledge and Action in Distributed Systems. Concurrency 1988: 18-32
59 Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo: A Logic for Reasoning about Probabilities LICS 1988: 410-421
58 Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle: A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) STOC 1988: 132-147
57 Joseph Y. Halpern, Moshe Y. Vardi: Reasoning about Knowledge and Time in Asynchronous Systems STOC 1988: 53-65
56 Joseph Y. Halpern: Reasoning About Knowledge: A Tutorial. TARK 1988: 161
55 Ronald Fagin, Joseph Y. Halpern: Reasoning about Knowledge and Probability. TARK 1988: 277-293
1987
54 Joseph Y. Halpern, Edward L. Wimmers: Full Abstraction and Expressive Completenes for FP LICS 1987: 257-271
53 Ronald Fagin, Joseph Y. Halpern: I'm OK if You're OK: On the Notion of Trusting Communication LICS 1987: 280-292
52 Joseph Y. Halpern: A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols. PODC 1987: 269-280
51 Joseph Y. Halpern, Michael O. Rabin: A Logic to Reason about Likelihood. Artif. Intell. 32(3): 379-405 (1987)
50 Ronald Fagin, Joseph Y. Halpern: Belief, Awareness, and Limited Reasoning. . Artif. Intell. 34(1): 39-76 (1987)
49 Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong: A New Look at Fault-Tolerant Network Routing Inf. Comput. 72(3): 180-196 (1987)
1986
48 Joseph Y. Halpern: Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986 Morgan Kaufmann 1986
47 Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: What Can Machines Know? On the Epistemic Properties of Machines. AAAI 1986: 428-435
46 Steven M. German, Edmund M. Clarke, Joseph Y. Halpern: True Relative Completeness of an Axiom System for the Language L4 (Abridged) LICS 1986: 11-25
45 Joseph Y. Halpern, John H. Williams, Edward L. Wimmers: Good Rewrite Strategies for FP LICS 1986: 149-162
44 Joseph Y. Halpern, Yoav Shoham: A Propositional Model Logic of Time Intervals LICS 1986: 279-292
43 Joseph Y. Halpern, Moshe Y. Vardi: The Complexity of Reasoning about Knowledge and Time: Extended Abstract STOC 1986: 304-315
42 Joseph Y. Halpern: Reasoning About Knowledge: An Overview. TARK 1986: 1-17
41 Yoram Moses, Danny Dolev, Joseph Y. Halpern: Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. Distributed Computing 1(3): 167-176 (1986)
40EEE. Allen Emerson, Joseph Y. Halpern: ``Sometimes'' and ``Not Never'' revisited: on branching versus linear time temporal logic. J. ACM 33(1): 151-178 (1986)
39 Danny Dolev, Joseph Y. Halpern, H. Raymond Strong: On the Possibility and Impossibility of Achieving Clock Synchronization. J. Comput. Syst. Sci. 32(2): 230-250 (1986)
38 Joseph Y. Halpern, Michael C. Loui, Albert R. Meyer, Daniel Weise: On Time versus Space III. Mathematical Systems Theory 19(1): 13-28 (1986)
1985
37 Joseph Y. Halpern, Yoram Moses: A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. IJCAI 1985: 480-490
36 Ronald Fagin, Joseph Y. Halpern: Belief, Awareness, and Limited Reasoning: Preliminary Report. IJCAI 1985: 491-501
35 Yoram Moses, Danny Dolev, Joseph Y. Halpern: Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). PODC 1985: 215-223
34 Joseph Y. Halpern, Ronald Fagin: A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report. PODC 1985: 224-236
33 Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler: Denotational Semantics and Rewrite Rules for FP. POPL 1985: 108-120
32 Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi: Optimal Precision in the Presence of Uncertainty (Preliminary Version) STOC 1985: 346-355
31EEJoseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi: Optimal precision in the presence of uncertainty. J. Complexity 1(2): 170-196 (1985)
30 E. Allen Emerson, Joseph Y. Halpern: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. J. Comput. Syst. Sci. 30(1): 1-24 (1985)
29 Rohit Parikh, Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer: Equations Between Regular Terms and an Application to Process Logic. SIAM J. Comput. 14(4): 935-942 (1985)
1984
28 Joseph Y. Halpern, David A. McAllester: Likelihood, Probability, and Knowledge. AAAI 1984: 137-141
27 Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge: Preliminary Report FOCS 1984: 268-278
26 Joseph Y. Halpern, Yoram Moses: Towards a Theory of Knowledge and Ignorance: Preliminary Report. NMR 1984: 125-143
25 Joseph Y. Halpern, Yoram Moses: Knowledge and Common Knowledge in a Distributed Environment. PODC 1984: 50-61
24 Joseph Y. Halpern, Barbara Simons, H. Raymond Strong, Danny Dolev: Fault-Tolerant Clock Synchronization. PODC 1984: 89-102
23 Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot: The Semantics of Local Storage, or What Makes the Free-List Free? POPL 1984: 245-257
22 Joseph Y. Halpern: A Good Hoare Axiom System for an Algol-like Language. POPL 1984: 262-271
21 Danny Dolev, Joseph Y. Halpern, H. Raymond Strong: On the Possibility and Impossibility of Achieving Clock Synchronization STOC 1984: 504-511
20 Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong: A New Look at Fault Tolerant Network Routing STOC 1984: 526-535
1983
19EEJoseph Y. Halpern, Zohar Manna, Ben C. Moszkowski: A Hardware Semantics Based on Temporal Intervals. ICALP 1983: 278-291
18 Steven M. German, Edmund M. Clarke, Joseph Y. Halpern: Reasoning About Procedures as Parameters. Logic of Programs 1983: 206-220
17 Boris A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer: From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview. Logic of Programs 1983: 474-500
16 E. Allen Emerson, Joseph Y. Halpern: ``Sometimes'' and ``Not Never'' Revisited: On Branching Versus Linear Time. POPL 1983: 127-140
15 Joseph Y. Halpern, Michael O. Rabin: A Logic to Reason about Likelihood STOC 1983: 310-319
14 Joseph Y. Halpern: Deterministic Process Logic is Elementary Information and Control 57(1): 56-89 (1983)
13EEEdmund M. Clarke, Steven M. German, Joseph Y. Halpern: Effective Axiomatizations of Hoare Logics J. ACM 30(3): 612-636 (1983)
12 Joseph Y. Halpern, John H. Reif: The Propositional Dynamic Logic of Deterministic, Well-Structured Programs. Theor. Comput. Sci. 27: 127-165 (1983)
1982
11 Joseph Y. Halpern: Deterministic Process Logic Is Elementary FOCS 1982: 204-216
10EEPiotr Berman, Joseph Y. Halpern, Jerzy Tiuryn: On the Power of Nondeterminism in Dynamic Logic. ICALP 1982: 48-60
9 Edmund M. Clarke, Steven M. German, Joseph Y. Halpern: On Effective Axiomatizations of Hoare Logics. POPL 1982: 309-321
8 E. Allen Emerson, Joseph Y. Halpern: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time STOC 1982: 169-180
7EEAlbert R. Meyer, Joseph Y. Halpern: Axiomatic Definitions of Programming Languages: A Theoretical Assessment. J. ACM 29(2): 555-576 (1982)
6 Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli: Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. J. Comput. Syst. Sci. 25(3): 402-417 (1982)
1981
5 Joseph Y. Halpern, John H. Reif: The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract) FOCS 1981: 322-334
4EEMordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli: Finite Models for Deterministic Propositional Dynamic Logic. ICALP 1981: 249-263
3 Joseph Y. Halpern, Albert R. Meyer: Axiomatic Definitions of Programming Languages, II. POPL 1981: 139-148
2 Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh: Equations between Regular Terms and an Application to Process Logic STOC 1981: 384-390
1980
1 Albert R. Meyer, Joseph Y. Halpern: Axiomatic Definitions of Programming Languages: A Theoretical Assessment. POPL 1980: 203-212

Coauthor Index

1Martín Abadi [67] [109]
2Ittai Abraham [312] [328] [340] [350] [352]
3Fahiem Bacchus [98] [104] [105] [110] [112] [118] [126] [128] [132] [158] [180] [257]
4Paramvir Bahl (Victor Bahl) [221] [229] [292]
5Mordechai Ben-Ari [4] [6]
6Piotr Berman [10]
7Mark Bickford [285] [363]
8Lawrence E. Blume [314] [362]
9Craig Boutilier [170]
10Ronen I. Brafman [162]
11Urszula Chajewska [151]
12Ashok K. Chandra [2] [29]
13David Maxwell Chickering (Max Chickering) [289]
14Hana Chockler [244] [250] [266] [271] [348]
15Francis C. Chu [169] [176] [177] [184] [215] [216] [237] [252] [253] [264] [265] [281]
16Edmund M. Clarke [9] [13] [18] [46] [62]
17Robert L. Constable [285] [363]
18Danny Dolev [20] [21] [24] [35] [39] [41] [49] [120] [312] [328] [340] [350] [352]
19Cynthia Dwork [94] [154] [197]
20David A. Easley [314] [362]
21E. Allen Emerson [8] [16] [30] [40]
22Ronald Fagin [27] [34] [36] [47] [50] [53] [55] [59] [60] [63] [66] [70] [73] [74] [76] [79] [81] [87] [89] [91] [92] [108] [119] [122] [127] [136] [147] [156] [181]
23Eric J. Friedman [316] [325] [326] [335] [344] [351] [364] [365] [371] [372]
24Nir Friedman [113] [115] [116] [117] [125] [134] [138] [141] [142] [150] [159] [161] [170] [171] [174] [179] [187] [204] [214] [217] [254] [255]
25John Geanakoplos [92]
26Johannes Gehrke [237] [327] [334] [338] [356]
27Steven M. German [9] [13] [18] [46] [62]
28Rica Gonen [312]
29Erich Grädel [261]
30Adam J. Grove [86] [93] [96] [98] [101] [104] [105] [107] [110] [112] [118] [130] [131] [132] [152] [164] [257] [359]
31Peter Grünwald (Peter D. Grünwald, Peter Grunwald) [236] [242] [258] [282] [294] [322] [349]
32Zygmunt J. Haas [193] [209] [230] [238] [301]
33Vassos Hadzilacos [84] [99] [100]
34Magnús M. Halldórsson [284]
35Robert Harper [218]
36Neil Immerman [218]
37Radha Jagadeesan [261]
38Bruce M. Kapron [95] [111] [259]
39Ian A. Kash [316] [325] [326] [335] [344] [351] [364] [365] [371] [372]
40Daniel Kifer [327] [334]
41Phokion G. Kolaitis [218]
42Daphne Koller [93] [96] [97] [98] [104] [105] [107] [110] [112] [118] [129] [130] [131] [132] [141] [143] [161] [204] [249] [257] [272]
43Orna Kupferman [244] [348]
44Carl Lagoze [157] [189]
45Gerhard Lakemeyer [124] [137] [203] [212]
46Hector J. Levesque [126] [128] [158] [180]
47Erran L. Li (Li Li, Li (Erran) Li) [193] [209] [221] [228] [229] [230] [238] [284]
48Li Li [274] [292] [301]
49Michael C. Loui [38]
50Ashwin Machanavajjhala (M. V. N. Ashwin Kumar) [327] [334]
51Zohar Manna [19]
52David J. Martin [327] [334] [338] [356] [370]
53David A. McAllester [28]
54Nimrod Megiddo [31] [32] [59] [70]
55Ron van der Meyden [188] [199] [211] [224] [231] [233] [241] [270]
56Albert R. Meyer [1] [2] [3] [7] [17] [23] [29] [38]
57Vahab S. Mirrokni (Seyed Vahab Mirrokni) [284]
58Yoram Moses [25] [26] [35] [37] [41] [58] [68] [75] [90] [114] [119] [127] [136] [147] [156] [165] [181] [196] [210] [246] [275] [302] [333]
59Ben C. Moszkowski [19]
60Ashfaq A. Munshi [31] [32]
61Kevin R. O'Neill [240] [247] [267] [277] [291] [346]
62Rohit Parikh [2] [29]
63Rafael Pass [337] [339] [360] [367] [368] [369]
64Judea Pearl [200] [220] [222] [234]
65Sabina Petride [285] [305] [315] [323] [363]
66Adolfo Piperno [261]
67Amir Pnueli [4] [6]
68Riccardo Pucella [219] [225] [226] [235] [239] [248] [251] [256] [260] [262] [263] [280] [290] [295] [297] [298] [300] [306] [319] [321] [331]
69Michael O. Rabin [15] [51]
70Vasumathi Raman [367]
71Leandro Chaves Rêgo [296] [299] [307] [308] [313] [317] [318] [324] [329] [330] [332] [361] [366]
72John H. Reif [5] [12]
73Aleta Ricciardi [185] [276] [293]
74Praveen Seshadri [177] [184]
75Yoav Shoham [44] [78] [162]
76Richard A. Shore [175] [186] [273]
77Barbara B. Simons (Barbara Simons) [20] [24] [49] [120]
78H. Raymond Strong [20] [21] [24] [39] [49] [120]
79Ichiro Suzuki [80]
80Vanessa Teague [283] [303]
81Moshe Tennenholtz [269]
82Jerzy Tiuryn [10]
83Boris A. Trakhtenbrot [17] [23]
84Mark R. Tuttle [58] [64] [102]
85Moshe Y. Vardi [27] [43] [47] [57] [61] [74] [79] [85] [87] [89] [92] [114] [119] [122] [127] [136] [147] [156] [181] [218] [231] [270]
86Victor Vianu [218]
87Orli Waarts [75] [94] [154] [197] [210]
88Yi-Min Wang [221] [229] [292]
89Roger Wattenhofer [221] [229] [292]
90Daniel Weise [38]
91Vicky Weissman [268] [288] [309] [336] [341] [347]
92Stephen B. Wicker [193] [209]
93John H. Williams [33] [45] [69]
94Edward L. Wimmers [33] [45] [54] [69] [121]
95Timothy C. Winkler [33]
96Lenore D. Zuck [88]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)