引用次数
引用: 47,626
H-指数: 96
I10-指数 : 267
出版物: 594
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
Moshe Tennenholtz , Joe Halpern
SenSys '03 The First ACM Conference on Embedded Networked
2003
Equations between Regular Terms and an Application to Process Logic
Rohit Parikh , Ashok Chandra , Joe Halpern , Albert Meyer
SIAM Journal on Computing 14 ( 4) 935 -942
15
1985
A new look at fault tolerant network routing
Danny Dolev , Joe Halpern , Barbara Simons , Ray Strong
symposium on the theory of computing 526 -535
34
1984
On the possibility and impossibility of achieving clock synchronization
Danny Dolev , Joe Halpern , H. Raymond Strong
symposium on the theory of computing 504 -511
46
1984
Equations between regular terms and an application to process logic
Ashok Chandra , Joe Halpern , Albert Meyer , Rohit Parikh
Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81 384 -390
30
1981
Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation
Ittai Abraham , Danny Dolev , Rica Gonen , Joe Halpern
principles of distributed computing 53 -62
311
2006
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems
David Dalrymple , Joar Skalse , Yoshua Bengio , Stuart Russell
arXiv preprint arXiv:2405.06624
2
2024
Distributed Computing Meets Game Theory: Robust Mechanisms for Rational Secret Sharing and
Ittai Abraham , Multiparty Computation , Danny Dolev , Joe Halpern
PODC 2006: Proceedings of the 25th Annual ACM Symposium on Principles of Distributed Computing: July 23-26, 2006, Denver, Colorado, USA 53 -53
2006
Update: Time to publication statistics
Joe Halpern
Journal of the ACM (JACM) 49 ( 6) 715 -715
2002
a bill of rights and responsibilities
Joe Halpern
Journal of the ACM (JACM) 47 ( 5) 823 -825
2000
Cornell
Rafael Pass , Joe Halpern
The Editor-in-Chief would like to thank the following colleagues who have helped maintain the standards set for a scientific journal, through their refereeing of the papers that have been submitted. Martin Davis
Rob Goldblatt , Joe Halpern , Lloyd Humberstone , Manfred Jaeger
Conference Organisers
Samson Abramsky , Martin Grohe , Ulrich Kohlenbach , Martín Abadi
On becoming editor-in-chief of JACM
Joeseph Halpern
Journal of the ACM 44 ( 3) 363 -365
2
1997
An analysis of first-order logics of probability
Joseph Y. Halpern
international joint conference on artificial intelligence 1375 -1381
920
1989
Zero-one laws for modal logic (vol 69, pg 157, 1994)
Bruce M. Kapron , Joseph Y. Halpern
1994
Naming and identity in a multi-agent epistemic logic
Joseph Y. Halpern , Adam J. Grove
principles of knowledge representation and reasoning 301 -312
6
1991
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Joseph Y. Halpern
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
57
1986
A Data-Acquisition Model for Learning and Cognitive Development and Its Implications for Autism
Joseph Y. Halpern , Arnon Lotem
13
2008
Towards a deeper understanding of cooperative equilibrium: characterization and complexity
Joseph Y. Halpern , Nan Rong
adaptive agents and multi-agents systems 319 -326
4
2013