Search results for: Joseph Y. Halpern
International Journal of Game Theory > 2018 > 47 > 3 > 949-976
Behavioural Processes > 2018 > 147 > C > 33-37
International Journal of Game Theory > 2017 > 46 > 2 > 457-473
International Journal of Game Theory > 2017 > 46 > 2 > 591-594
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning with Uncertainty > Invited Talks > 36-37
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 449-465
Lecture Notes in Computer Science > Logics of Programs > 474-500
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 15-15
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 318-325
Lecture Notes in Computer Science > Distributed Computing > Exploring Gafni’s Reduction Land: From Ω k to Wait-Free Adaptive $(2p-\lceil\frac{p}{k}\rceil)$ -Renaming Via k-Set Agreement > 136-150