| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Leandro Chaves Rêgo, Joseph Y. Halpern |
Generalized solution concepts in games with possibly unaware players.  |
Int. J. Game Theory  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
Iterated regret minimization: A new solution concept. |
Games and Economic Behavior |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Willemien Kets |
Ambiguous Language and Differences in Beliefs |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
Optimizing Scrip Systems: Crashes, Altruists, Hoarders, Sybils and Collusion |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
An Equilibrium Analysis of Scrip Systems |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Dexter Kozen: An Appreciation. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman, Nathan Linial |
No justified complaints: on fair sharing of multiple resources. |
ITCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, David C. Parkes |
Journals for certification, conferences for rapid dissemination. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
From Causal Models To Counterfactual Structures |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, David C. Parkes |
Viewpoint: Journals for Certification, Conferences for Rapid Dissemination |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride |
Knowledge-Based Synthesis of Distributed Systems Using Event Structures |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman, Nati Linial |
No justified complaints: On fair sharing of multiple resources |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Christopher Hitchcock |
Actual causation and the art of modeling |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
I Don't Want to Think About it Now:Decision Theory With Costly Computation |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
A Counter Example to Theorems of Cox and Fine |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Peter D. Grünwald, Joseph Y. Halpern |
Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
Multiagent Learning in Large Anonymous Games. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Riccardo Pucella |
Dealing with logical omniscience: Expressiveness and pragmatics. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
Algorithmic rationality: adding cost of computation to game theory. |
SIGecom Exchanges |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ittai Abraham, Lorenzo Alvisi, Joseph Y. Halpern |
Distributed computing meets game theory: combining insights from two fields. |
SIGACT News |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Causality, Responsibility, and Blame: A Structural-Model Approach. |
SUM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Constructive Decision Theory: Short Summary. |
ECSQARU |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. |
GameSec |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |
Reasoning about justified belief. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Lexicographic probability, conditional probability, and nonstandard probability. |
Games and Economic Behavior |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y. Halpern, Christoph Koch, Katherine F. Moore, Dan Suciu |
Causality in Databases. |
IEEE Data Eng. Bull. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Nan Rong, Ashutosh Saxena |
MDPs with Unawareness |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Magnús M. Halldórsson, Joseph Y. Halpern, Erran L. Li, Vahab S. Mirrokni |
On spectrum sharing games. |
Distributed Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Sabina Petride |
A knowledge-based analysis of global function computation. |
Distributed Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hana Chockler, Joseph Y. Halpern, Orna Kupferman |
Erratum for "What causes a system to satisfy a specification?". |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Awareness in Games, Awareness in Logic. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
I Don't Want to Think About it Now: Decision Theory with Costly Computation. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
From Causal Models To Counterfactual Structures. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Nan Rong, Ashutosh Saxena |
MDPs with Unawareness. |
UAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Nan Rong |
Cooperative equilibrium. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
Game Theory with Costly Computation: Formulation and Application to Protocol Security. |
ICS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. |
Int. J. Game Theory |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Reasoning about knowledge of unawareness. |
Games and Economic Behavior |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam J. Grove, Joseph Y. Halpern |
Updating Sets of Probabilities |
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 | Lawrence E. Blume, David A. Easley, Joseph Y. Halpern |
Constructive Decision Theory |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
A Logical Characterization of Iterated Admissibility |
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 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
Manipulating Scrip Systems: Sybils and Collusion |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Airiau, Ulle Endriss, Joseph Y. Halpern |
Solution to Exchanges 8.1 puzzle: identifying the champion. |
SIGecom Exchanges |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Riccardo Pucella |
Evidence with uncertain likelihoods. |
Synthese |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
Iterated Regret Minimization: A New Solution Concept. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | David J. Martin, Joseph Y. Halpern |
Shared Winner Determination in Sponsored Search Auctions. |
ICDE |
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 |
Multiagent learning in large anonymous games. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
anonymous games, best-reply dynamics, large games, game theory, multiagent learning |
| 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 | 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 |
Interactive unawareness revisited. |
Games and Economic Behavior |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Vicky Weissman |
A formal foundation for XrML. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
Digital rights management |
| 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 |
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Vicky Weissman |
A Formal Foundation for XrML |
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, Rafael Pass |
Game Theory with Costly Computation |
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 | 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 |
Iterated Regret Minimization: A More Realistic Solution Concept |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 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 | 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 | 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 | 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 |
Beyond nash equilibrium: solution concepts for the 21st century. |
PODC |
2008 |
DBLP DOI 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 | 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 | 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 | 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. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 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, 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 | 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 |
Dealing With Logical Omniscience: Expressiveness and Pragmatics |
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 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
Optimizing Scrip Systems: Efficiency, Crashes, Hoarders, and Altruists |
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 | 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 |
Computer Science and Game Theory: A Brief Survey |
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 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Extensive Games with Possibly Unaware Players |
CoRR |
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 | 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 | 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 | 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 | Zygmunt J. Haas, Joseph Y. Halpern, Li Li |
Gossip-based ad hoc routing. |
IEEE/ACM Trans. Netw. |
2006 |
DBLP DOI BibTeX RDF |
routing, ad hoc networks, gossiping, phase transition, percolation theory |
| 1 | Joseph Y. Halpern, Vanessa Teague |
Rational Secret Sharing and Multiparty Computation: Extended Abstract |
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 |
Using Sets of Probability Measures to Represent Uncertainty |
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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")