Joseph Y. Halpern (Cornell University)

Identifiers

No identifiers captured yet.

Papers (8)

1. A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator cs.GT · 2019 · author #1
2. A Knowledge-Based Analysis of the Blockchain Protocol cs.CR · 2017 · author #1
3. An Epistemic Foundation for Authentication Logics (Extended Abstract) cs.CR · 2017 · author #1
4. Games With Tolerant Players cs.GT · 2017 · author #2
5. From Type Spaces to Probability Frames and Back, via Language cs.LO · 2017 · author #2
6. Translucent Players: Explaining Cooperative Behavior in Social Dilemmas cs.GT · 2016 · author #2
7. Bayesian Games with Intentions cs.GT · 2016 · author #2
8. Modeling Adversaries in a Logic for Security Protocol Analysis cs.CR · 2006 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Rafael Pass (Cornell University) 3 shared papers
• Adam Bjorndahl (Carnegie Mellon University) 1 shared papers
• Adam Bjorndahl (CMU) 1 shared papers
• Arpita Ghosh (Cornell University) 1 shared papers
• Riccardo Pucella (Forrester Research) 1 shared papers
• Riccardo Pucella (Northeastern University) 1 shared papers
• Ron van der Meyden (University of New South Wales) 1 shared papers
• Valerio Capraro (CWI) 1 shared papers