| 2007 | 
| 12 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic.
IJCAI 2007: 2306-2311 | 
| 11 | EE | Leandro Chaves Rêgo,
Joseph Y. Halpern:
Generalized solution concepts in games with possibly unaware players.
TARK 2007: 253-262 | 
| 10 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Extensive Games with Possibly Unaware Players
CoRR abs/0704.2014:  (2007) | 
| 9 | EE | Leandro Chaves Rêgo,
Joseph Y. Halpern:
Generalized Solution Concepts in Games with Possibly Unaware Players
CoRR abs/0707.1904:  (2007) | 
| 8 | EE | Joseph 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 | 
| 7 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Extensive games with possibly unaware players.
AAMAS 2006: 744-751 | 
| 6 |   | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Reasoning about Knowledge of Unawareness.
KR 2006: 6-13 | 
| 5 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
CoRR abs/cs/0603019:  (2006) | 
| 4 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Reasoning About Knowledge of Unawareness
CoRR abs/cs/0603020:  (2006) | 
| 2005 | 
| 3 |   | Leandro Chaves Rêgo,
Terrence L. Fine:
Estimation of Chaotic Probabilities.
ISIPTA 2005: 297-305 | 
| 2 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Interactive unawareness revisited.
TARK 2005: 78-91 | 
| 1 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Interactive Unawareness Revisited
CoRR abs/cs/0509058:  (2005) |