Joseph Y. Halpern

发表

Ronald Fagin, Joseph Y. Halpern, Ronald Fagin, 1988, JACM.

Mark Bickford, Robert L. Constable, Joseph Y. Halpern, 2009, LPAR.

Joseph Y. Halpern, Edmund M. Clarke, Steven M. German, 1983, JACM.

Joseph Y. Halpern, Johannes Gehrke, David J. Martin, 2008, 2008 IEEE 24th International Conference on Data Engineering.

Joseph Y. Halpern, 1997, J. Artif. Intell. Res..

Joseph Y. Halpern, 1997, JACM.

Joseph Y. Halpern, Nir Friedman, N. Friedman, 1996, JACM.

Joseph Y. Halpern, Riccardo Pucella, Ron van der Meyden, 2017, TARK.

Hector J. Levesque, Joseph Y. Halpern, Fahiem Bacchus, 1995, Artif. Intell..

Joseph Y. Halpern, John H. Reif, J. Reif, 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

Ronald Fagin, Joseph Y. Halpern, 1987, LICS.

Nan Rong, Joseph Y. Halpern, Nan Rong, 2014, ArXiv.

Joseph Y. Halpern, 2002, Games Econ. Behav..

Joseph Y. Halpern, Hana Chockler, Hana Chockler, 2003, IJCAI.

Joseph Y. Halpern, Moshe Y. Vardi, Ron van der Meyden, 2002, SIAM J. Comput..

Vasumathi Raman, Joseph Y. Halpern, Rafael Pass, 2009, TARK '09.

Joseph Y. Halpern, David J. Martin, 2009, 2009 IEEE 25th International Conference on Data Engineering.

Joseph Y. Halpern, Adam J. Grove, D. Koller, 1996, Artif. Intell..

Joseph Y. Halpern, Ron van der Meyden, 2001, J. Comput. Secur..

Leandro Chaves Rêgo, Joseph Y. Halpern, L. Rêgo, 2009, TARK '09.

Joseph Y. Halpern, 1999, JACM.

Ashwin Machanavajjhala, Daniel Kifer, Joseph Y. Halpern, 2007, 2007 IEEE 23rd International Conference on Data Engineering.

Joseph Y. Halpern, 1991, TAPSOFT, Vol.2.

Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

Ittai Abraham, Joseph Y. Halpern, Lorenzo Alvisi, 2011, SIGA.

Leandro Chaves Rêgo, Joseph Y. Halpern, L. Rêgo, 2006, IJCAI.

Joseph Y. Halpern, Eric J. Friedman, Ian A. Kash, 2012, Distributed Computing.

Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, 1990, JACM.

Joseph Y. Halpern, Ian A. Kash, Eric J. Friedman, 2008 .

Joseph Y. Halpern, Peter Grünwald, P. Grünwald, 2004, UAI.

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 1994, AAAI.

Joseph Y. Halpern, 2003 .

Joseph Y. Halpern, Brian Logan, Natasha Alechina, 2017, AAMAS.

Ronald Fagin, Joseph Y. Halpern, Ronald Fagin, 1988 .

Joseph Y. Halpern, Riccardo Pucella, Riccardo Pucella, 2003, J. ACM.

Joseph Y. Halpern, 1988, TARK.

Joseph Y. Halpern, Riccardo Pucella, Riccardo Pucella, 2003, TARK '03.

Joseph Y. Halpern, Sabina Petride, 2010, Distributed Computing.

Joseph Y. Halpern, Daphne Koller, D. Koller, 1995, IJCAI.

Mordechai Ben-Ari, Amir Pnueli, Joseph Y. Halpern, 1982, J. Comput. Syst. Sci..

Joseph Y. Halpern, Evan Piermont, Evan Piermont, 2020, KR.

Joseph Y. Halpern, Erran L. Li, 2004, IEEE Transactions on Wireless Communications.

Joseph Y. Halpern, 1996, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

Joseph Y. Halpern, Eric J. Friedman, Ian A. Kash, 2007, EC '07.

Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, 1986, LICS.

Joseph Y. Halpern, Praveen Seshadri, Francis C. Chu, 1999, PODS.

Danny Dolev, Joseph Y. Halpern, H. Raymond Strong, 1986, J. Comput. Syst. Sci..

Joseph Y. Halpern, 1998, Games Econ. Behav..

Joseph Y. Halpern, Christopher Hitchcock, Christopher R. Hitchcock, 2013, Cogn. Sci..

Nan Rong, Joseph Y. Halpern, Nan Rong, 2010, AAMAS.

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1991, JACM.

Joseph Y. Halpern, Daphne Koller, 1992, KR.

Joseph Y. Halpern, Rafael Pass, Lior Seeman, 2012, AAAI.

Joseph Y. Halpern, Albert R. Meyer, A. Meyer, 1981, POPL '81.

Joseph Y. Halpern, Brian Logan, Natasha Alechina, 2017, AAAI.

Joseph Y. Halpern, Kevin R. O'Neill, K. O'Neill, 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.

Joseph Y. Halpern, Kevin R. O'Neill, 2005 .

Joseph Y. Halpern, Rafael Pass, R. Pass, 2008, ArXiv.

Joseph Y. Halpern, Nir Friedman, N. Friedman, 1997, Artif. Intell..

Joseph Y. Halpern, 2010, The Review of Symbolic Logic.

Joseph Y. Halpern, Yoram Moses, Y. Moses, 2016, Int. J. Game Theory.

Joseph Y. Halpern, Yoram Moses, Y. Moses, 1992, Artif. Intell..

Joseph Y. Halpern, 1999, J. Artif. Intell. Res..

Joseph Y. Halpern, Yoram Moses, Y. Moses, 2006, IJCAI.

Joseph Y. Halpern, Willemien Kets, W. Kets, 2012, KR.

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1984, FOCS.

Joseph Y. Halpern, John C. Mitchell, Anupam Datta, 2015, ArXiv.

Joseph Y. Halpern, Christopher Meek, Max Chickering, 2004, UAI 2004.

Joseph Y. Halpern, David A. McAllester, 1984, AAAI.

Joseph Y. Halpern, 2000, Games Econ. Behav..

Joseph Y. Halpern, Yoram Moses, Orli Waarts, 1990, PODC '90.

Joseph Y. Halpern, Willemien Kets, W. Kets, 2015, Games Econ. Behav..

Joseph Y. Halpern, Yoram Moses, Y. Moses, 1998, Distributed Computing.

Joseph Y. Halpern, Yoram Moses, 1986, J. Philos. Log..

Dan Suciu, Joseph Y. Halpern, Alexandra Meliou, 2010, IEEE Data Eng. Bull..

Joseph Y. Halpern, Sabina Petride, Sabina Petride, 2006, Distributed Computing.

Joseph Y. Halpern, 1983, Inf. Control..

Joseph Y. Halpern, 2000, AJCD.

Joseph Y. Halpern, 2019, ArXiv.

Joseph Y. Halpern, 1998, Int. J. Game Theory.

Leandro Chaves Rêgo, Joseph Y. Halpern, L. Rêgo, 2007, TARK '07.

Gerhard Lakemeyer, Joseph Y. Halpern, G. Lakemeyer, 1995, Artif. Intell..

Joseph Y. Halpern, Vassos Hadzilacos, V. Hadzilacos, 1993, Mathematical systems theory.

Joseph Y. Halpern, Lawrence E. Blume, David A. Easley, 2009, ICLA.

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004 .

Joseph Y. Halpern, Vicky Weissman, 2008, TSEC.

Joseph Y. Halpern, 1998, D Lib Mag..

Joseph Y. Halpern, 2008, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

Joseph Y. Halpern, Willemien Kets, W. Kets, 2014, Artif. Intell..

Joseph Y. Halpern, Francis C. Chu, 1998, DISC.

Bruce M. Kapron, Joseph Y. Halpern, B. M. Kapron, 2003, Ann. Pure Appl. Log..

Joseph Y. Halpern, Hana Chockler, Alexander Ivrii, 2014, AAAI.

Joseph Y. Halpern, Evan Piermont, 2019, AAAI.

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1990, Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004 .

Danny Dolev, Joseph Y. Halpern, H. Raymond Strong, 1984, PODC '84.

Joseph Y. Halpern, Urszula Chajewska, Urszula Chajewska, 1997, UAI.

Joseph Y. Halpern, Francis C. Chu, 1998, Distributed Computing.

Ronald Fagin, Joseph Y. Halpern, Ronald Fagin, 1992, Artif. Intell..

Joseph Y. Halpern, Joshua B. Tenenbaum, Tobias Gerstenberg, 2015, CogSci.

Joseph Y. Halpern, Kevin R. O'Neill, K. O'Neill, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..

Joseph Y. Halpern, Erran L. Li, 2005, Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks.

Danny Dolev, Joseph Y. Halpern, H. Raymond Strong, 1987, Inf. Comput..

Joseph Y. Halpern, Nir Friedman, N. Friedman, 1995, UAI.

Joseph Y. Halpern, Vanessa Teague, Vanessa Teague, 2004, STOC 2004.

Joseph Y. Halpern, 1995 .

Joseph Y. Halpern, Edward L. Wimmers, E. Wimmers, 1995, Inf. Comput..

Joseph Y. Halpern, Riccardo Pucella, Riccardo Pucella, 2005, Synthese.

Joseph Y. Halpern, Meir Friedenberg, Meir Friedenberg, 2019, AAAI.

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004 .

Joseph Y. Halpern, Peter Grünwald, P. Grünwald, 2007, UAI.

Joseph Y. Halpern, Ulrich Endriss, Stéphane Airiau, 2009, SECO.

Joseph Y. Halpern, 1986, TARK.

Vahab S. Mirrokni, Joseph Y. Halpern, Magnús M. Halldórsson, 2004, PODC '04.

Joseph Y. Halpern, Nir Friedman, N. Friedman, 1996, UAI.

Joseph Y. Halpern, David C. Parkes, 2011, CACM.

Joseph Y. Halpern, E. Allen Emerson, E. Emerson, 1982, STOC '82.

Joseph Y. Halpern, Moshe Y. Vardi, 1986, STOC '86.

Danny Dolev, Joseph Y. Halpern, H. Raymond Strong, 1995, JACM.

Joseph Y. Halpern, 1998, JACM.

Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh, 1985, SIAM J. Comput..

Joseph Y. Halpern, E. Allen Emerson, E. Emerson, 1983, POPL '83.

Joseph Y. Halpern, Frederick Eberhardt, Sander Beckers, 2019, UAI.

Leandro Chaves Rêgo, Joseph Y. Halpern, L. Rêgo, 2009, TARK '09.

Joseph Y. Halpern, Dov Samet, Ella Segev, 2009, The Review of Symbolic Logic.

Joseph Y. Halpern, Rafael Pass, R. Pass, 2009, IJCAI.

Joseph Y. Halpern, Rafael Pass, R. Pass, 2008 .

Ronald Fagin, Joseph Y. Halpern, Ronald Fagin, 1990, UAI.

Danny Dolev, Ittai Abraham, Joseph Y. Halpern, 2013, DISC.

Craig Boutilier, Joseph Y. Halpern, Nir Friedman, 1998, AAAI/IAAI.

Joseph Y. Halpern, Ron van der Meyden, 2003 .

Joseph Y. Halpern, Victoria Rebecca Weissman, Vicky Weissman, 2007 .

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1992, JACM.

Joseph Y. Halpern, 2012, Logic and Program Semantics.

Ronald Fagin, Joseph Y. Halpern, Ronald Fagin, 1987, Artif. Intell..

Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi, 1985, J. Complex..

Joseph Y. Halpern, 2015, ArXiv.

Joseph Y. Halpern, Nir Friedman, N. Friedman, 1994, KR.

Joseph Y. Halpern, Yoram Moses, Y. Moses, 1985, IJCAI.

Joseph Y. Halpern, Adam Bjorndahl, Rafael Pass, 2017, Games Econ. Behav..

Neil Immerman, Joseph Y. Halpern, Phokion G. Kolaitis, 2001, Bulletin of Symbolic Logic.

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1984 .

Joseph Y. Halpern, Vicky Weissman, 2004, CSFW.

Joseph Y. Halpern, Edmund M. Clarke, Steven M. German, 1989, Inf. Comput..

Joseph Y. Halpern, Aleta Ricciardi, Aleta Ricciardi, 2004, Distributed Computing.

Joseph Y. Halpern, Orna Kupferman, Hana Chockler, 2003, TOCL.

Joseph Y. Halpern, Wiebe van der Hoek, Hans van Ditmarsch, 2015, ArXiv.

Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot, 1984, POPL '84.

Joseph Y. Halpern, Rafael Pass, R. Pass, 2013, TARK.

Joseph Y. Halpern, 2004, The Review of Symbolic Logic.

Joseph Y. Halpern, 2003, JACM.

Joseph Y. Halpern, Dalal Alrajeh, Hana Chockler, 2018, AAAI.

Joseph Y. Halpern, Moshe Y. Vardi, 1989, J. Comput. Syst. Sci..

Joseph Y. Halpern, 1998, Annals of Mathematics and Artificial Intelligence.

Joseph Y. Halpern, Hana Chockler, Alexander Ivrii, 2014, AAAI 2014.

Joseph Y. Halpern, Cynthia Dwork, Orli Waarts, 1998, SIAM J. Comput..

Joseph Y. Halpern, Zygmunt J. Haas, Erran L. Li, 2006, IEEE/ACM Trans. Netw..

Nan Rong, Joseph Y. Halpern, Ashutosh Saxena, 2010, UAI.

Ronald Fagin, Joseph Y. Halpern, Ronald Fagin, 2004 .

Joseph Y. Halpern, Willemien Kets, W. Kets, 2014, Artif. Intell..

Joseph Y. Halpern, Adam J. Grove, 1991, KR.

Ronald Fagin, Joseph Y. Halpern, Ronald Fagin, 1991, IJCAI.

Joseph Y. Halpern, Matvey Soloviev, Matvey Soloviev, 2018, AAAI.

Joseph Y. Halpern, Nir Friedman, N. Friedman, 1994, TARK.

Joseph Y. Halpern, Eric J. Friedman, Ian A. Kash, 2008, PODC '08.

Joseph Y. Halpern, 2002, JACM.

Joseph Y. Halpern, Daphne Koller, Adam J. Grove, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

Vahab S. Mirrokni, Joseph Y. Halpern, Magnús M. Halldórsson, 2010, Distributed Computing.

Joseph Y. Halpern, Riccardo Pucella, Riccardo Pucella, 2007, TARK '07.

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004, Minds and Machines.

Mark Bickford, Robert L. Constable, Joseph Y. Halpern, 2004, LPAR.

Joseph Y. Halpern, Nir Friedman, N. Friedman, 1994, KR.

Leandro Chaves Rêgo, Joseph Y. Halpern, 2012, Int. J. Game Theory.

Joseph Y. Halpern, Eric J. Friedman, Ian A. Kash, 2012, TEAC.

Joseph Y. Halpern, Cynthia Dwork, Orli Waarts, 1992, PODC '92.

Jerzy Tiuryn, Piotr Berman, Joseph Y. Halpern, 1982, ICALP.

Joseph Y. Halpern, Yoram Moses, Y. Moses, 2014, J. Artif. Intell. Res..

Joseph Y. Halpern, 2000, Discovery Science.

Joseph Y. Halpern, Dov Samet, Ella Segev, 2009, The Review of Symbolic Logic.

Joseph Y. Halpern, Nir Friedman, N. Friedman, 1999, J. Artif. Intell. Res..

Joseph Y. Halpern, 2009, The Review of Symbolic Logic.

Joseph Y. Halpern, Richard A. Shore, 2004, Inf. Comput..

Joseph Y. Halpern, 2011, ECSQARU.

Joseph Y. Halpern, 2017 .

Joseph Y. Halpern, Peter Grünwald, P. Grünwald, 2011, J. Artif. Intell. Res..

Joseph Y. Halpern, Rafael Pass, 2017, TARK.

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 1996, Ann. Pure Appl. Log..

Danny Dolev, Joseph Y. Halpern, H. Raymond Strong, 1984, STOC '84.

Joseph Y. Halpern, Zygmunt J. Haas, Erran L. Li, 2002, IEEE/ACM Transactions on Networking.

Joseph Y. Halpern, Daphne Koller, Adam J. Grove, 1996, SIAM J. Comput..

Joseph Y. Halpern, Moshe Y. Vardi, 1991, KR.

Joseph Y. Halpern, Brian Logan, Natasha Alechina, 2016, AAMAS.

Hector J. Levesque, Joseph Y. Halpern, Fahiem Bacchus, 1995, IJCAI.

Joseph Y. Halpern, Ichiro Suzuki, I. Suzuki, 1991, Distributed Computing.

Joseph Y. Halpern, Dov Samet, Alfredo Di Tillio, 2014, Games Econ. Behav..

Joseph Y. Halpern, Rafael Pass, Daniel Reichman, 2015, SAGT.

Joseph Y. Halpern, Nir Friedman, N. Friedman, 1996, J. Log. Lang. Inf..

Joseph Y. Halpern, Moshe Y. Vardi, 1988, STOC '88.

Joseph Y. Halpern, Fahiem Bacchus, Daphne Koller, 1994, AAAI.

Mordechai Ben-Ari, Amir Pnueli, Joseph Y. Halpern, 1981, ICALP.

Joseph Y. Halpern, Yoram Moses, Y. Moses, 1989, NMR.

Joseph Y. Halpern, Albert R. Meyer, Michael C. Loui, 1986, Mathematical systems theory.

Joseph Y. Halpern, Lawrence E. Blume, David A. Easley, 2006, KR.

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004 .

Joseph Y. Halpern, Rafael Pass, Lior Seeman, 2014, Top. Cogn. Sci..

Joseph Y. Halpern, Rafael Pass, R. Pass, 2009 .

Joseph Y. Halpern, Yoram Moses, Orli Waarts, 2001, SIAM J. Comput..

Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, 1985, POPL.

Stephen B. Wicker, Joseph Y. Halpern, Zygmunt J. Haas, 2000, DIALM '00.

Joseph Y. Halpern, Eric J. Friedman, Ian A. Kash, 2006, EC '06.

Joseph Y. Halpern, Adam Bjorndahl, Rafael Pass, 2020, Games Econ. Behav..

Joseph Y. Halpern, 1997, J. Log. Comput..

Joseph Y. Halpern, Judea Pearl, J. Pearl, 2000 .

Joseph Y. Halpern, Nir Friedman, N. Friedman, 1994, AAAI.

Joseph Y. Halpern, 1999, ArXiv.

Yoav Shoham, Joseph Y. Halpern, Y. Shoham, 1991, JACM.

Joseph Y. Halpern, Erran L. Li, 2001, ICC 2001. IEEE International Conference on Communications. Conference Record (Cat. No.01CH37240).

Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh, 1981, STOC '81.

Joseph Y. Halpern, Ron van der Meyden, R. V. D. Meyden, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..

Nan Rong, Joseph Y. Halpern, Ashutosh Saxena, 2016, UAI.

Danny Dolev, Joseph Y. Halpern, H. Raymond Strong, 1984, STOC '84.

Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

Joseph Y. Halpern, 1998, J. Econ. Theory.

Joseph Y. Halpern, Max Kleiman-Weiner, Max Kleiman-Weiner, 2018, AAAI.

Joseph Y. Halpern, Johannes Gehrke, Francis C. Chu, 2002, PODS.

Joseph Y. Halpern, Kevin R. O'Neill, K. O'Neill, 2006 .

Martín Abadi, Joseph Y. Halpern, M. Abadi, 1989, 30th Annual Symposium on Foundations of Computer Science.

Joseph Y. Halpern, 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).

Joseph Y. Halpern, Adam J. Grove, 1993, J. Log. Comput..

Joseph Y. Halpern, 2000, Distributed Computing.

Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi, 1985, STOC '85.

Joseph Y. Halpern, Daphne Koller, D. Koller, 1996, AAAI/IAAI, Vol. 1.

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004 .

Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi, 1985, Symposium on the Theory of Computing.

Joseph Y. Halpern, Daphne Koller, Adam J. Grove, 1994, J. Artif. Intell. Res..

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1986, AAAI.

Bruce M. Kapron, Joseph Y. Halpern, B. Kapron, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

Joseph Y. Halpern, Eric J. Friedman, Ian A. Kash, 2009, AAMAS.

Joseph Y. Halpern, Fahiem Bacchus, Daphne Koller, 1996, Artif. Intell..

Danny Dolev, Ittai Abraham, Joseph Y. Halpern, 2007, TCC.

Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot, 1983, Logic of Programs.

Joseph Y. Halpern, 2010, LPAR.

Joseph Y. Halpern, Samantha Leung, Samantha Leung, 2015, ECSQARU.

Joseph Y. Halpern, Rafael Pass, R. Pass, 2009, TARK '09.

Danny Dolev, Ittai Abraham, Joseph Y. Halpern, 2019, PODC.

Joseph Y. Halpern, Daphne Koller, Adam J. Grove, 1996, Journal of Symbolic Logic.

Joseph Y. Halpern, Fahiem Bacchus, Daphne Koller, 1993, IJCAI.

Joseph Y. Halpern, Fahiem Bacchus, Daphne Koller, 1994, UAI.

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004 .

Joseph Y. Halpern, Arpita Ghosh, Arpita Ghosh, 2017, TARK.

Danny Dolev, Ittai Abraham, Joseph Y. Halpern, 2019, ACM Trans. Economics and Comput..

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 1997, Distributed Computing.

Joseph Y. Halpern, Judea Pearl, J. Pearl, 2000, The British Journal for the Philosophy of Science.

Joseph Y. Halpern, Adam J. Grove, 1998, UAI.

Danny Dolev, Joseph Y. Halpern, Yoram Moses, 1986, Distributed Computing.

Joseph Y. Halpern, 1996, AAAI/IAAI, Vol. 2.

Joseph Y. Halpern, 1991, Annals of Mathematics and Artificial Intelligence.

Joseph Y. Halpern, Xavier Vilaça, 2016, PODC.

Zohar Manna, Joseph Y. Halpern, Ben C. Moszkowski, 1983, ICALP.

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1999, Int. J. Game Theory.

Joseph Y. Halpern, Adam Bjorndahl, Rafael Pass, 2013, TARK.

Ronald Fagin, Joseph Y. Halpern, 2005, Distributed Computing.

Leandro Chaves Rêgo, Joseph Y. Halpern, 2014, Math. Soc. Sci..

Joseph Y. Halpern, David McAllester, 1984, AAAI 1984.

Joseph Y. Halpern, 1998, UAI.

Joseph Y. Halpern, Riccardo Pucella, Riccardo Pucella, 2002, UAI.

Joseph Y. Halpern, Lior Seeman, 2018, Behavioural Processes.

Joseph Y. Halpern, Richard A. Shore, R. Shore, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

Stephen B. Wicker, Joseph Y. Halpern, Terrence L. Fine, 1998, Proceedings. 1998 IEEE International Symposium on Information Theory (Cat. No.98CH36252).

Li Li, Joseph Y. Halpern, Zygmunt J. Haas, 2006 .

Joseph Y. Halpern, Ron van der Meyden, R. V. D. Meyden, 1999, Proceedings of the 12th IEEE Computer Security Foundations Workshop.

Joseph Y. Halpern, Edmund M. Clarke, Steven M. German, 1983, Logic of Programs.

Joseph Y. Halpern, Sander Beckers, Sander Beckers, 2018, AAAI.

Joseph Y. Halpern, 2018, The Review of Symbolic Logic.

Joseph Y. Halpern, Nir Friedman, Daphne Koller, 2000, TOCL.

Joseph Y. Halpern, Edmund M. Clarke, Steven M. German, 1982, POPL '82.

Ashwin Machanavajjhala, Daniel Kifer, Joseph Y. Halpern, 2006 .

Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, 1994, TARK.

Joseph Y. Halpern, Adam Bjorndahl, Rafael Pass, 2016, TARK.

Nathan Linial, Danny Dolev, Joseph Y. Halpern, 2011, ITCS '12.

Leandro Chaves Rêgo, Joseph Y. Halpern, L. Rêgo, 2006, Games Econ. Behav..

Joseph Y. Halpern, Riccardo Pucella, Riccardo Pucella, 2007, Artif. Intell..

Joseph Y. Halpern, Michael O. Rabin, M. Rabin, 1983, Artif. Intell..

Ronald Fagin, Joseph Y. Halpern, Ronald Fagin, 1985, IJCAI.

Joseph Y. Halpern, Brian Logan, Natasha Alechina, 2018, J. Artif. Intell. Res..

Joseph Y. Halpern, Rafael Pass, Lior Seeman, 2015, EC.

Joseph Y. Halpern, Adam Bjorndahl, Rafael Pass, 2011, TARK XIII.

Joseph Y. Halpern, Barbara Simons, Hovey Raymond Strong, 1984 .

Joseph Y. Halpern, Rafael Pass, R. Pass, 2011, SECO.

Joseph Y. Halpern, 2004, Annals of Mathematics and Artificial Intelligence.

Joseph Y. Halpern, Riccardo Pucella, Riccardo Pucella, 2006, FASec.

Joseph Y. Halpern, Adam J. Grove, 1997, UAI.

Joseph Y. Halpern, Riccardo Pucella, Riccardo Pucella, 2001, UAI.

Joseph Y. Halpern, Eric J. Friedman, Ian A. Kash, 2009, AMMA.

Joseph Y. Halpern, Valerio Capraro, V. Capraro, 2014, TARK.

Joseph Y. Halpern, Fahiem Bacchus, Daphne Koller, 1994, Comput. Intell..

Joseph Y. Halpern, Vicky Weissman, Vicky Weissman, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..

Martín Abadi, Joseph Y. Halpern, 1994, Inf. Comput..

Joseph Y. Halpern, Daphne Koller, Adam J. Grove, 1992, STOC '92.

Joseph Y. Halpern, Adam Bjorndahl, Adam Bjorndahl, 2017, TARK.

Joseph Y. Halpern, 2019, Artif. Intell..

Joseph Y. Halpern, Nir Friedman, Daphne Koller, 1996, AAAI/IAAI, Vol. 2.

Joseph Y. Halpern, Edmund M. Clarke, Steven M. German, 1986, LICS.

Leandro Chaves Rêgo, Joseph Y. Halpern, L. Rêgo, 2005, Games Econ. Behav..

Joseph Y. Halpern, Yoram Moses, Y. Moses, 1984, JACM.

Joseph Y. Halpern, Nir Friedman, N. Friedman, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

Joseph Y. Halpern, Christopher Hitchcock, Christopher R. Hitchcock, 2013, The British Journal for the Philosophy of Science.

Ronald Fagin, Joseph Y. Halpern, 1988, Concurrency.

Joseph Y. Halpern, Eric J. Friedman, Ian A. Kash, 2009 .

Joseph Y. Halpern, Frederick Eberhardt, Sander Beckers, 2019, UAI.

Paramvir Bahl, Joseph Y. Halpern, Yi-Min Wang, 2005, IEEE/ACM Transactions on Networking.

Joseph Y. Halpern, Vanessa Teague, Vanessa Teague, 2004, STOC '04.

Joseph Y. Halpern, Sabina Petride, Sabina Petride, 2006, ArXiv.

Joseph Y. Halpern, Judea Pearl, J. Pearl, 2001, The British Journal for the Philosophy of Science.

Joseph Y. Halpern, Rafael Pass, R. Pass, 2008, ArXiv.

Bruce M. Kapron, Joseph Y. Halpern, 1994, Ann. Pure Appl. Log..

Joseph Y. Halpern, Mark R. Tuttle, M. Tuttle, 1993, JACM.

Leandro Chaves Rêgo, Joseph Y. Halpern, L. Rêgo, 2006, AAMAS '06.

Joseph Y. Halpern, Rafael Pass, R. Pass, 2013, Games Econ. Behav..

Joseph Y. Halpern, Rafael Pass, Lior Seeman, 2013, ITCS.

Joseph Y. Halpern, 1996, J. Philos. Log..

Joseph Y. Halpern, Kevin R. O'Neill, 2008, TSEC.

Joseph Y. Halpern, Riccardo Pucella, Riccardo Pucella, 2002, UAI.

Joseph Y. Halpern, Michael O. Rabin, 1987, Artif. Intell..

Joseph Y. Halpern, Ben C. Moszkowski, B. Moszkowski, 1988 .

Joseph Y. Halpern, Riccardo Pucella, 2001, CCS '01.

Radha Jagadeesan, Joseph Y. Halpern, Adolfo Piperno, 2003, TOCL.

Joseph Y. Halpern, Rafael Pass, R. Pass, 2013, IJCAI.

Joseph Y. Halpern, Mark R. Tuttle, M. Tuttle, 1989, PODC '89.

Joseph Y. Halpern, Ivan Geffner, 2019, ArXiv.

Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle, 1988, STOC '88.

Joseph Y. Halpern, Christopher Hitchcock, Christopher R. Hitchcock, 2011, ArXiv.

Leandro Chaves Rêgo, Joseph Y. Halpern, 2013, Math. Soc. Sci..

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1990, Artif. Intell..

Joseph Y. Halpern, Adam Bjorndahl, Rafael Pass, 2014, KR.

Ronen I. Brafman, Yoav Shoham, Joseph Y. Halpern, 1998, Artif. Intell..

Joseph Y. Halpern, Vicky Weissman, Vicky Weissman, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..

Joseph Y. Halpern, Sabina Petride, Sabina Petride, 2010 .

Joseph Y. Halpern, Fahiem Bacchus, Daphne Koller, 1992, AAAI.

Joseph Y. Halpern, Rafael Pass, R. Pass, 2016, KR.

Joseph Y. Halpern, Joseph Y. Halpern, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 1995, PODC '95.

Joseph Y. Halpern, 2000, AJCD.

Joseph Y. Halpern, Francis C. Chu, 2001, Int. J. Game Theory.

Joseph Y. Halpern, Fahiem Bacchus, Daphne Koller, 1993, FSTTCS.

Joseph Y. Halpern, Vassos Hadzilacos, V. Hadzilacos, 1993, Mathematical systems theory.

Joseph Y. Halpern, Matvey Soloviev, Matvey Soloviev, 2021, ArXiv.

Joseph Y. Halpern, Adam Bjorndahl, Adam Bjorndahl, 2021, TARK.

Elchanan Mossel, Joseph Y. Halpern, Ariel D. Procaccia, 2021, ArXiv.

Joseph Y. Halpern, Spencer Peters, Spencer James Peters, 2021, AAAI.

Joseph Y. Halpern, Spencer Peters, Spencer James Peters, 2021, ArXiv.

Joseph Y. Halpern, 1991, Journal of Symbolic Logic.

Joseph Y. Halpern, 2000 .

Joseph Y. Halpern, Joseph Y Halpern, 1999 .

Joseph Y. Halpern, William J. Rapaport, W. Rapaport, 1988 .

Joseph Y. Halpern, Ashutosh Saxena, Nan Rong, 2016 .

Joseph Y. Halpern, B. V. Fraassen, 2016, The British Journal for the Philosophy of Science.

Joseph Y. Halpern, Barteld Kooi, Wiebe van der Hoek, 2015 .

Joseph Y. Halpern, Vladimiro Sassone, Riccardo Pucella, 2012 .

Joseph Y. Halpern, Samantha Leung, 2016 .

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1992 .

Joseph Y. Halpern, 1982, FOCS 1982.

Joseph Y. Halpern, Rafael Pass, R. Pass, 2011 .

Joseph Y. Halpern, L. Rêgo, 2009, TARK '09.

Joseph Y. Halpern, 2009 .

Joseph Y. Halpern, Riccardo Pucella, 2003, TARK '03.

Joseph Y. Halpern, Ariel Caticha, Adom Giffin, 2002, UAI.

Joseph Y. Halpern, S. Tyagi, 2005 .

Joseph Y. Halpern, W. Kets, 2013 .

Joseph Y. Halpern, Moshe Y. Vardi, Ronald Fagin, 2003 .

Joseph Y. Halpern, P. Grünwald, 2002, UAI.

Joseph Y. Halpern, V. Hadzilacos, 1991, PODC '91.

Joseph Y. Halpern, Christopher R. Hitchcock, C. Halpern, 2013 .

Joseph Y. Halpern, Riccardo Pucella, 2003, TSEC.

Joseph Y. Halpern, R. V. D. Meyden, 2000, J. Comput. Secur..

Joseph Y. Halpern, Riccardo Pucella, 2005, Log. Methods Comput. Sci..

Joseph Y. Halpern, R. Pass, Adam Bjorndahl, 2013, IJCAI 2013.

Joseph Y. Halpern, G. Lakemeyer, 2001, J. Log. Comput..

Joseph Y. Halpern, 1999 .

Joseph Y. Halpern, K. O'Neill, 2002, CSFW.

Joseph Y. Halpern, Evan Piermont, 2018 .

Joseph Y. Halpern, E. Mintzer, 1980, Journal of clinical psychology.

Joseph Y. Halpern, B. Balick, T. Heckman, 1987 .

Joseph Y. Halpern, J. Halpern, 2015 .

Joseph Y. Halpern, Z. Fuks, R. Catane, 1984, Harefuah.

J. W. Moore, Joseph Y. Halpern, D W Massaro, 1968, Journal of experimental psychology.

Joseph Y. Halpern, D. Lacapra, 1980 .

Joseph Y. Halpern, Linda L. Shaw, W. Limbert, 2008, The Journal of Sociology & Social Welfare.

Joseph Y. Halpern, F. Bacchus, H. Levesque, 1999, Artif. Intell..

Joseph Y. Halpern, Y. Moses, 1990, JACM.

J. W. Moore, Joseph Y. Halpern, J Halpern, 1967, Journal of experimental psychology.

Joseph Y. Halpern, A Potter, P R Binner, 1975, American journal of community psychology.

Joseph Y. Halpern, P. Binner, A. Potter, 2007, Administration in mental health.

Joseph Y. Halpern, J. A. Schwartz, R. Chapman, 1968, Journal of experimental psychology.

Joseph Y. Halpern, S. Rappaport, A. Levine, 1977 .

Joseph Y. Halpern, Ronald Fagin, 1988, Distributed Computing.

Joseph Y. Halpern, Joseph Y Halpern, Mark R Tuttle, 1993 .

Joseph Y. Halpern, Joseph Halpern, Alma E. Lantz, 1969 .

Joseph Y. Halpern, Joseph Halpern, Z. J. Ulehla, 1968 .

Joseph Y. Halpern, Arnon Lotem, Joseph Y Halpern, 2012, Philosophical Transactions of the Royal Society B: Biological Sciences.

Joseph Y. Halpern, O. Kupferman, Hana Chockler, 2010, TOCL.

Joseph Y. Halpern, Sander Beckers, 2018, AAAI.

Joseph Y. Halpern, Ian A. Kash, E. Friedman, 2009, AAMAS.

Joseph Y. Halpern, R. V. D. Meyden, Kaya Alpturer, 2023, PODC.

Joseph Y. Halpern, Siddhartha Banerjee, Spencer James Peters, 2021 .

Joseph Y. Halpern, Chris De Sa, O. Richardson, 2023, UAI.

Joseph Y. Halpern, Elchanan Mossel, A. Jadbabaie, 2021, ArXiv.

Joseph Y. Halpern, Elchanan Mossel, A. Jadbabaie, 2021 .

Joseph Y. Halpern, F. Bacchus, H. Levesque, 2022 .

Joseph Y. Halpern, Moshe Y. Vardi, Ronald Fagin, 1992 .

Ronald Fagin, Joseph Y. Halpern, Joseph Y. Halpern, 1988, J. Philos. Log..

Joseph Y. Halpern, L. Rêgo, 2005, Games Econ. Behav..

Joseph Y. Halpern, Y. Moses, 1986, J. Philos. Log..

Joseph Y. Halpern, R. Pass, 2014, J. Econ. Theory.

Joseph Y. Halpern, Erran L. Li, Li Li, 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

Joseph Y. Halpern, Meir Friedenberg, 2023, TARK.

Joseph Y. Halpern, R. V. D. Meyden, 2000, J. Comput. Secur..

Joseph Y. Halpern, Erran L. Li, Z. Haas, 2006, IEEE/ACM Transactions on Networking.

Joseph Y. Halpern, Joseph Y Halpern, Oliver Richardson, 2020, AAAI.