| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
Multiagent learning in large anonymous games.   |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
anonymous games, best-reply dynamics, large games, game theory, multiagent learning |
| 1 | David J. Martin, Joseph Y. Halpern |
Shared Winner Determination in Sponsored Search Auctions. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
Iterated Regret Minimization: A New Solution Concept. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass, Vasumathi Raman |
An epistemic characterization of zero knowledge. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Reasoning about knowledge of unawareness revisited. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
A logical characterization of iterated admissibility. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
Manipulating Scrip Systems: Sybils and Collusion. |
AMMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
Manipulating Scrip Systems: Sybils and Collusion |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
Multiagent Learning in Large Anonymous Games |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride |
Knowledge-Based Synthesis of Distributed Systems Using Event Structures |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lawrence E. Blume, David A. Easley, Joseph Y. Halpern |
Constructive Decision Theory |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Reasoning About Knowledge of Unawareness Revisited |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
A Logical Characterization of Iterated Admissibility |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Adam J. Grove, Joseph Y. Halpern |
Updating Sets of Probabilities |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Martin, Johannes Gehrke, Joseph Y. Halpern |
Toward Expressive and Scalable Sponsored Search Auctions. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Defaults and Normality in Causal Structures. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ittai Abraham, Danny Dolev, Joseph Y. Halpern |
An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience. |
PODC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Beyond nash equilibrium: solution concepts for the 21st century. |
PODC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
The lotus-eater attack. |
PODC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ittai Abraham, Danny Dolev, Joseph Y. Halpern |
Lower Bounds on Implementing Robust and Resilient Mediators. |
TCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Grünwald, Joseph Y. Halpern |
A Game-Theoretic Analysis of Updating Sets of Probabilities. |
UAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
The Lotus-Eater Attack |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Beyond Nash Equilibrium: Solution Concepts for the 21st Century |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Defaults and Normality in Causal Structures |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Vicky Weissman |
A Formal Foundation for XrML |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ittai Abraham, Danny Dolev, Joseph Y. Halpern |
An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
Game Theory with Costly Computation |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | David J. Martin, Johannes Gehrke, Joseph Y. Halpern |
Toward Expressive and Scalable Sponsored Search Auctions |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
Iterated Regret Minimization: A More Realistic Solution Concept |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Vicky Weissman |
A formal foundation for XrML. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
Digital rights management |
| 1 | Joseph Y. Halpern, Vicky Weissman |
Using First-Order Logic to Reason about Policies. |
ACM Trans. Inf. Syst. Secur. |
2008 |
DBLP DOI BibTeX RDF |
Digital rights management |
| 1 | Joseph Y. Halpern, Kevin R. O'Neill |
Secrecy in Multiagent Systems. |
ACM Trans. Inf. Syst. Secur. |
2008 |
DBLP DOI BibTeX RDF |
information flow, secrecy |
| 1 | Hana Chockler, Joseph Y. Halpern, Orna Kupferman |
What causes a system to satisfy a specification?. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
Model checking, causality, responsibility, coverage metrics |
| 1 | David J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern |
Worst-Case Background Knowledge for Privacy-Preserving Data Publishing. |
ICDE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses |
Characterizing Solution Concepts in Games Using Knowledge-Based Programs. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
Optimizing scrip systems: efficiency, crashes, hoarders, and altruists. |
ACM Conference on Electronic Commerce |
2007 |
DBLP DOI BibTeX RDF |
scrip systems, game theory, P2P networks |
| 1 | Joseph Y. Halpern, Riccardo Pucella |
Dealing with logical omniscience. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro Chaves Rêgo, Joseph Y. Halpern |
Generalized solution concepts in games with possibly unaware players. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Riccardo Pucella |
Dealing With Logical Omniscience: Expressiveness and Pragmatics |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Computer Science and Game Theory: A Brief Survey |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Extensive Games with Possibly Unaware Players |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ittai Abraham, Danny Dolev, Joseph Y. Halpern |
Lower Bounds on Implementing Robust and Resilient Mediators |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | David J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern |
Worst-Case Background Knowledge for Privacy-Preserving Data Publishing |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Eric J. Friedman, Joseph Y. Halpern, Ian A. Kash |
Efficiency and Nash Equilibria in a Scrip System for P2P Networks |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
Optimizing Scrip Systems: Efficiency, Crashes, Hoarders, and Altruists |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Leandro Chaves Rêgo, Joseph Y. Halpern |
Generalized Solution Concepts in Games with Possibly Unaware Players |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Sabina Petride |
A Knowledge-Based Analysis of Global Function Computation |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Peter D. Grünwald, Joseph Y. Halpern |
A Game-Theoretic Analysis of Updating Sets of Probabilities |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Riccardo Pucella |
Characterizing and reasoning about probabilistic and non-probabilistic expectation. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
Dempster-Shafer belief functions, probability theory, Expectation, possibility measures |
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Extensive games with possibly unaware players. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
foundations of game theory, awareness, solution concepts |
| 1 | Lawrence E. Blume, David A. Easley, Joseph Y. Halpern |
Redoing the Foundations of Decision Theory. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Reasoning about Knowledge of Unawareness. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ittai Abraham, Danny Dolev, Rica Gonen, Joseph Y. Halpern |
Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation. |
PODC |
2006 |
DBLP DOI BibTeX RDF |
distributed computing, game theory, secret sharing, secure multiparty computation |
| 1 | Joseph Y. Halpern |
From statistical knowledge bases to degrees of belief: an overview. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
principle of indifference, maximum entropy, probabilistic databases, statistical databases, statistical information, degrees of belief |
| 1 | Joseph Y. Halpern |
Causality, Responsibility, and Blame: A Structural-Model Approach. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric 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 |
DBLP DOI BibTeX RDF |
scrip systems, game theory, P2P networks |
| 1 | Joseph Y. Halpern, Sabina Petride |
A Knowledge-Based Analysis of Global Function Computation. |
DISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses |
Characterizing Solution Concepts in Games Using Knowledge-Based Programs |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Vanessa Teague |
Rational Secret Sharing and Multiparty Computation: Extended Abstract |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Vicky Weissman |
Using First-Order Logic to Reason about Policies |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Reasoning About Knowledge of Unawareness |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Riccardo Pucella |
Modeling Adversaries in a Logic for Security Protocol Analysis |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Sabina Petride |
Expressing Security Properties Using Selective Interleaving Functions |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Using Sets of Probability Measures to Represent Uncertainty |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Riccardo Pucella |
A Logic for Reasoning about Evidence. |
J. Artif. Intell. Res. (JAIR) |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zygmunt J. Haas, Joseph Y. Halpern, Li Li |
Gossip-based ad hoc routing. |
IEEE/ACM Trans. Netw. |
2006 |
DBLP DOI BibTeX RDF |
ad hoc networks, routing, gossiping, phase transition, percolation theory |
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Interactive unawareness revisited. |
TARK |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Riccardo Pucella |
Evidence with Uncertain Likelihoods. |
UAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Riccardo Pucella |
Probabilistic Algorithmic Knowledge |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Interactive Unawareness Revisited |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Riccardo Pucella |
Evidence with Uncertain Likelihoods |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter D. Grünwald, Joseph Y. Halpern |
When Ignorance is Bliss |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Aleta Ricciardi |
A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. |
Distributed Computing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Kevin R. O'Neill |
Anonymity and information hiding in multiagent systems. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Riccardo Pucella |
Probabilistic Algorithmic Knowledge. |
Logical Methods in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Li 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. |
2005 |
DBLP DOI BibTeX RDF |
localized distributed algorithm, connectivity, power management, topology control |
| 1 | Joseph Y. Halpern, Vicky Weissman |
A Formal Foundation for XrML. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Intransitivity and Vagueness. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride |
Knowledge-Based Synthesis of Distributed Systems Using Event Structures. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnús M. Halldórsson, Joseph Y. Halpern, Erran L. Li, Vahab S. Mirrokni |
On spectrum sharing games. |
PODC |
2004 |
DBLP DOI BibTeX RDF |
approximation algorithm, game theory, Nash equilibrium, graph coloring, price of anarchy, unit disk graph |
| 1 | Joseph Y. Halpern, Vanessa Teague |
Rational secret sharing and multiparty computation: extended abstract. |
STOC |
2004 |
DBLP DOI BibTeX RDF |
iterated deletion of weakly dominated strategies, non-cooperative computing, game theory, secret sharing, multiparty computation |
| 1 | David Maxwell Chickering, Joseph Y. Halpern (eds.) |
UAI '04, Proceedings of the 20th Conference in Uncertainty in Artificial Intelligence, July 7-11 2004, Banff, Canada |
UAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Peter Grünwald, Joseph Y. Halpern |
When Ignorance is Bliss. |
UAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Francis C. Chu, Joseph Y. Halpern |
Great expectations. Part II: generalized expected utility as a universal decision rule. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Riccardo Pucella |
A Logic for Reasoning about Evidence |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Intransitivity and Vagueness |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Kevin R. O'Neill |
Anonymity and Information Hiding in Multiagent Systems |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Aleta Ricciardi |
A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses |
Using counterfactuals in knowledge-based programming. |
Distributed Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Richard A. Shore |
Reasoning about common knowledge with infinitely many agents. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hana Chockler, Joseph Y. Halpern |
Responsibility and Blame: A Structural-Model Approach. |
J. Artif. Intell. Res. (JAIR) |
2004 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")