作 者:dra Meliou ;Wolfgang Gatterbauer ;Joseph Y. Halpern 等
出 处:Bulletin of the Technical Committee on Data Engineering. 2010 ;33(03).
出 版 社:IEEE Computer Society
文 章 ID:47620815
作 者:Arnon Lotem ;Joseph Y. Halpern ;Shimon Edelman 等
出 处:Proceedings of the National Academy of Sciences. 2017 ;114(30):7915-7922.doi:10.1073/pnas.1620742114
出 版 社:The National Academy of Sciences of the United States of America
文 章 ID:200343268
作 者:Natasha Alechina ;Joseph Y. Halpern ;Ian A. Kash 等
出 处:Journal of Artificial Intelligence Research. 2018 ;62:433-458.
出 版 社:American Association of Artificial
文 章 ID:216537451
作 者:Gadi Aleksandrowicz ;Hana Chockler ;Joseph Y. Halpern 等
出 处:Journal of Artificial Intelligence Research. 2017 ;58:431-451.
出 版 社:American Association of Artificial
文 章 ID:216537533
出 处:Journal of Artificial Intelligence Research. 2015 ;54:471-492.
出 版 社:American Association of Artificial
文 章 ID:216537622
作 者:Joseph Y. Halpern ;Rafael Pass
出 处:Electronic Proceedings in Theoretical Computer Science. 2019 ;297:221-232.doi:10.4204/EPTCS.297.15
出 版 社:Open Publishing Association
文 章 ID:1034733720