×

找到162个文档（结果1-100）

最新的 引文 关联
Kaya Alpturer公司；约瑟夫·霍尔珀（Joseph Y.Halpern）。；罗恩·范德梅登

具有遗漏故障的最佳最终拜占庭协议。 （英语） Zbl 07824331号

Oshman，Rotem（ed.）等人，《第42届ACM分布式计算原理研讨会论文集》，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。244-252 (2023).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{K.Alpturer}等人，in：第42届ACM分布式计算原理研讨会论文集，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。244-252（2023年；兹bl 07824331）
全文： 内政部 arXiv公司
赫克托·杰夫纳（编辑）；丽娜·德希特（编辑）；约瑟夫·霍尔珀（Joseph Y.Halpern）。（编辑）

信用。 （英语） Zbl 07672275号

Geffner，Hector（编辑）等，概率和因果推理。朱迪娅·珀尔的作品。纽约州纽约市：计算机协会（ACM）。ACM Books 36，xxvii-xxviii（2022）。
MSC公司：00亿Bxx 68泰克
PDF格式BibTeX公司 XML格式引用
\textit{H.Geffner}（编辑）等，ACM Books 36，xxvii-xxviii（2022；Zbl 07672275）
全文： 内政部
赫克托·杰夫纳（编辑）；丽娜·德希特（编辑）；约瑟夫·霍尔珀（Joseph Y.Halpern）。（编辑）

前言。 （英语） Zbl 07672274号

Geffner，Hector（编辑）等，概率和因果推理。朱迪娅·珀尔的作品。纽约州纽约市：计算机协会（ACM）。ACM Books 36，xxv-xxvi（2022）。
MSC公司：00亿Bxx 68泰克
PDF格式BibTeX公司 XML格式引用
\textit{H.Geffner}（编辑）等，ACM Books 36，xxv-xxvi（2022；Zbl 07672274）
全文： 内政部
赫克托·杰夫纳（编辑）；丽娜·德希特（编辑）；约瑟夫·霍尔珀（Joseph Y.Halpern）。（编辑）

Judea Pearl介绍。 （英语） Zbl 07672251号

Geffner，Hector（编辑）等，概率和因果推理。朱迪娅·珀尔的作品。纽约州纽约市：计算机协会（ACM）。ACM图书36，393-398（2022）。
MSC公司：00亿Bxx 68泰克
PDF格式BibTeX公司 XML格式引用
\textit{H.Geffner}（编辑）等，ACM Books 36，393--398（2022；Zbl 07672251）
全文： 内政部
赫克托·杰夫纳（编辑）；丽娜·德希特（编辑）；约瑟夫·霍尔珀（Joseph Y.Halpern）。（编辑）

朱迪娅·珀尔介绍。 （英语） Zbl 07672250号

Geffner，Hector（编辑）等，概率和因果推理。朱迪娅·珀尔的作品。纽约州纽约市：计算机协会（ACM）。ACM图书36，215-220（2022）。
MSC公司：00亿Bxx 68泰克
PDF格式BibTeX公司 XML格式引用
\textit｛H.Geffner｝（编辑）等人，ACM图书36215-220（2022；Zbl 07672250）
全文： 内政部
赫克托·杰夫纳（编辑）；丽娜·德希特（编辑）；约瑟夫·霍尔珀（Joseph Y.Halpern）。（编辑）

朱迪娅·珀尔介绍。 （英语） Zbl 07672249号

Geffner，Hector（编辑）等，概率和因果推理。朱迪娅·珀尔的作品。纽约州纽约市：计算机协会（ACM）。ACM图书36，123-128（2022）。
MSC公司：00亿Bxx 68泰克
PDF格式BibTeX公司 XML格式引用
\textit{H.Geffner}（编辑）等，ACM Books 36，123-128（2022；Zbl 07672249）
全文： 内政部
赫克托·杰夫纳（编辑）；丽娜·德希特（编辑）；约瑟夫·霍尔珀（Joseph Y.Halpern）。（编辑）

朱迪娅·珀尔介绍。 （英语） Zbl 07672248号

Geffner，Hector（编辑）等人，《概率和因果推断》。朱迪娅·珀尔的作品。纽约州纽约市：计算机协会（ACM）。ACM Books 36，57-60（2022）。
MSC公司：00亿Bxx 68泰克
PDF格式BibTeX公司 XML格式引用
\textit{H.Geffner}（编辑）等，ACM Books 36，57--60（2022；Zbl 07672248）
全文： 内政部
赫克托·杰夫纳；丽娜·德希特；约瑟夫·霍尔珀（Joseph Y.Halpern）。

罗恩·瓦瑟斯坦访谈关于为什么的书转换统计信息。 （英语） Zbl 07672234号

Geffner，Hector（编辑）等，概率和因果推理。朱迪娅·珀尔的作品。纽约州纽约市：计算机协会（ACM）。ACM图书36，43-48（2022）。
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{H.Geffner}等人，ACM Books 36，43-48（2022；Zbl 07672234）
全文： 内政部
赫克托·杰夫纳（编辑）；丽娜·德希特（编辑）；约瑟夫·霍尔珀（Joseph Y.Halpern）。（编辑）

概率推理和因果推理。朱迪娅·珀尔的作品。 （英语） Zbl 1496.68020号

ACM图书36.纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-9586-1/hbk；978-1-450.3-9587-8/pbk；97 8-1-4503-4589-2/电子书）。xxviii，第916页。(2022).
MSC公司：68-06 2003年8月 68泰克 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Geffner}（编辑）等，概率和因果推理。朱迪娅·珀尔的作品。纽约州纽约市：计算机协会（ACM）（2022；Zbl 1496.68020）
全文： 内政部
伊凡·杰夫纳；约瑟夫·霍尔珀（Joseph Y.Halpern）。

异步交互系统中的安全性。 （英语） Zbl 1521.68020号

Johnen，Colette（编辑）等人，《分布式系统的稳定性、安全性和安全性》。第23届国际研讨会，SSS 2021，虚拟活动，2021年11月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13046, 123-140 (2021).
MSC公司：64岁以下 68平方米25 第68季度10 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{I.Geffner}和\textit{J.Y.Halpern}，莱克特。注释计算。科学。13046、123--140（2021；Zbl 1521.68020）
全文： 内政部 arXiv公司
约瑟夫·哈尔彭（编辑）；安德烈斯·佩雷亚（编辑）

第十八届理性与知识理论方面会议记录，TARK，中国北京，2021年6月25-27日。 （英语） Zbl 1489.68018号

理论计算机科学电子论文集（EPTCS）335.滑铁卢：开放出版协会（OPA）。第321页。，仅限电子版，开放访问（2021）。
MSC公司：68-06 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.Halpern}（编辑）和textit{A.Perea}（编），第十八届理性与知识理论方面会议论文集，TARK，中国北京，2021年6月25日至27日。滑铁卢：开放出版协会（OPA）（2021；Zbl 1489.68018）
全文： 内政部 链接
约瑟夫·霍尔珀（Joseph Y.Halpern）。；通过，拉斐尔

使用“我所知道的”操作符对迭代可容许性进行了概念上很有根据的描述。 （英语） Zbl 07450031号

Moss，Lawrence S.（编辑），《第十七届理性与知识理论方面会议论文集》，2019年7月17日至19日，法国图卢兹，TARK 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）297，221-232（2019）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}和\textit{R.Pass}，电子。程序。西奥。计算。科学。（EPTCS）297、221--232（2019；Zbl 07450031）
全文： arXiv公司 链接
伊泰·亚伯拉罕；丹尼·多列夫；伊凡·杰夫纳；约瑟夫·霍尔珀（Joseph Y.Halpern）。

使用异步廉价对话实现中介。 （英语） Zbl 07298715号

Nowak，Thomas（编辑），第38届ACM分布式计算原理研讨会论文集，PODC’19，加拿大安大略省多伦多，2019年7月29日至8月2日。纽约州纽约市：计算机协会（ACM）。501-510 (2019).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{I.Abraham}等人，in：第38届ACM分布式计算原理研讨会论文集，PODC’19，加拿大安大略省多伦多，2019年7月29日至8月2日。纽约州纽约市：计算机协会（ACM）。501-510（2019；Zbl 07298715）
全文： 内政部 arXiv公司
约瑟夫·霍尔珀（Joseph Y.Halpern）。；通过，拉斐尔

基于知识的区块链协议分析。 （英语） Zbl 1483.68024号

Lang，Jéróme（编辑），《第十六届理性与知识理论方面会议论文集》，TARK 2017，英国利物浦，2017年7月24-26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）251324-335（2017）。
MSC公司：68个M12 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}和\textit{R.Pass}，电子。程序。西奥。计算。科学。（EPTCS）251324--335（2017；Zbl 1483.68024）
全文： arXiv公司 链接
亚当·比约恩达尔；约瑟夫·霍尔珀（Joseph Y.Halpern）。

通过语言从类型空间到概率框架再到概率框架。 （英语） 兹比尔1483.68370

Lang，Jéróme（编辑），《第十六届理性与知识理论方面会议论文集》，TARK 2017，英国利物浦，2017年7月24-26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25175-87（2017）。
MSC公司：68T27型 03B42号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{A.Bjorndahl}和\textit{J.Y.Halpern}，电子。程序。西奥。计算。科学。（EPTCS）251，75--87（2017；Zbl 1483.68370）
全文： arXiv公司 链接
约瑟夫·霍尔珀（Joseph Y.Halpern）。

为什么要费心语法？ （英语） 兹比尔1437.03023

巴什肯特（Baškent，Can）（编辑）等人，《逻辑、语言和社会》（Rohit Parikh on logic，language and society）。查姆：斯普林格。Outst公司。控制日志。11, 111-119 (2017).
MSC公司：03A05号 03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}，Outst（奥斯特）。控制日志。11、111-119（2017；Zbl 1437.03023）
全文： 内政部 arXiv公司
阿列克桑德罗维奇（Aleksandrowicz，Gadi）；哈娜·乔克勒；约瑟夫·霍尔珀（Joseph Y.Halpern）。；亚历山大·伊夫里

基于结构的因果关系的计算复杂性。 （英语） Zbl 1408.68133号

J.人工制品。智力。研究（JAIR） 58, 431-451 (2017).
MSC公司：68T27型 2015年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Aleksandrowicz}等人，J.Artif。智力。决议（JAIR）58431-451（2017年；兹bl 1408.68133）
全文： 内政部 arXiv公司
约瑟夫·霍尔珀（Joseph Y.Halpern）。；泽维尔·维拉萨

理性共识（扩展抽象）。 （英语） Zbl 1373.68100号

2016年7月25日至28日，美国伊利诺伊州芝加哥，2016年ACM分布式计算原理研讨会论文集，PODC’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3964-3）。137-146 (2016).
MSC公司：64岁以下 68米15 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}和\textit{X.Vilaça}，摘自：第35届ACM分布式计算原理研讨会论文集，PODC’16，芝加哥，伊利诺伊州，美国，2016年7月25-28日。纽约州纽约市：计算机协会（ACM）。137-146（2016年；Zbl 1373.68100）
全文： 内政部 arXiv公司
约瑟夫·霍尔珀（Joseph Y.Halpern）。

实际因果关系。 （英语） Zbl 1370.03004号

马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-03502-6/hbk；978-0-262-33660-4/ebook）。ix，229页。(2016).
审核人：吉尔根·兰德斯（慕尼黑）
MSC公司：03-02 68-02 03B70号 03A10号 03B42号 03B48号 2015年3月1日 62A01型 68立方英尺 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}，实际因果关系。马萨诸塞州剑桥：麻省理工学院出版社（2016；Zbl 1370.03004）
汉斯·范·迪特马什（编辑）；约瑟夫·霍尔珀（Joseph Y.Halpern）。（编辑）；范德霍克，威比（编辑）；巴特尔·库伊（编辑）

认识逻辑手册。 （英语） Zbl 1392.03009号

伦敦：学院出版物（ISBN 978-1-84890-158-2/pbk）。十七、655页。(2015).
MSC公司：03-06 03B42号 03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}（编辑）等人，《认知逻辑手册》。伦敦：学院出版物（2015；Zbl 1392.03009）
约瑟夫·霍尔珀（Joseph Y.Halpern）。；通过，拉斐尔；Seeman，Lior先生

民间定理神话背后的真相。 （英语） Zbl 1366.68095号

2014年1月11日至14日，美国新泽西州普林斯顿市ITCS’14第五届理论计算机科学创新会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2243-0）。543-552 (2014).
MSC公司：65年第68季度 2005年第68季度 91A10号 91A20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}等人，《第五届理论计算机科学创新会议论文集》，ITCS’14，美国新泽西州普林斯顿，2014年1月11-14日。纽约州纽约市：计算机协会（ACM）。543--552（2014年；Zbl 1366.68095）
全文： 内政部 arXiv公司
约瑟夫·霍尔珀（Joseph Y.Halpern）。；通过，拉斐尔；Seeman，Lior先生

不仅仅是一个空洞的威胁：由计算有限的玩家重复游戏中的亚游戏完美平衡。 （英语） Zbl 1404.91024号

刘铁燕（编辑）等，《网络与互联网经济学》。2014年12月14日至17日，第十届国际会议，WINE 2014，中国北京。诉讼程序。商会：施普林格出版社（ISBN 978-3-319-13128-3/pbk）。计算机科学课堂讲稿8877，249-262（2014）。
MSC公司：91A20型 91A18号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}等人，Lect。注释计算。科学。8877，249--262（2014；Zbl 1404.91024）
全文： 内政部
伊泰·亚伯拉罕；丹尼·多列夫；约瑟夫·霍尔珀（Joseph Y.Halpern）。

领导人选举的分布式协议：游戏理论视角。 （英语） Zbl 1321.68055号

Afek，Yehuda（编辑），《分布式计算》。第27届国际研讨会，DISC 2013，以色列耶路撒冷，2013年10月14-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-41526-5/pbk）。计算机科学课堂讲稿820561-75（2013）。
MSC公司：64岁以下 68个M12 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{I.Abraham}等人，Lect。注释计算。科学。8205，61-75（2013年；兹bl 1321.68055）
全文： 内政部
约瑟夫·霍尔珀（Joseph Y.Halpern）。

加权回归似然法：一种描述不确定性的新方法。 （英语） Zbl 1343.68240号

van der Gaag，Linda C.（编辑），用符号和定量方法进行不确定性推理。第十二届欧洲会议，ECSQARU 2013，乌得勒支，荷兰，2013年7月8日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39090-6/pbk）。计算机科学课堂讲稿7958。《人工智能讲义》，266-277（2013）。
MSC公司：68层37 60A05型 62A01型
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}，莱克特。注释计算。科学。7958、266--277（2013年；Zbl 1343.68240）
全文： 内政部 arXiv公司
丹尼·多列夫；Dror G.费特尔森。；约瑟夫·霍尔珀（Joseph Y.Halpern）。；拉兹·库普弗曼；内森·利尼尔

没有正当的投诉：关于公平共享多种资源。 （英语） Zbl 1348.91197号

2012年1月8日至10日，美国马萨诸塞州剑桥市ITCS’12第三届理论计算机科学创新会议论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1115-1）。68-75 (2012).
MSC公司：91立方厘米32 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{D.Dolev}等人，《理论计算机科学创新第三届会议论文集》，ITCS’12，美国马萨诸塞州剑桥，2012年1月8日至10日。纽约州纽约市：计算机协会（ACM）。68-75（2012年；Zbl 1348.91197）
全文： 内政部
约瑟夫·霍尔珀（Joseph Y.Halpern）。

超越纳什均衡：21世纪的解决方案概念。 （英语） Zbl 1349.91078号

Baras，John S.（编辑）等人，《安全决策与博弈论》。2011年11月14日至15日，第二届国际会议，GameSec 2011，马里兰州大学公园，美国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25279-2/pbk）。计算机科学课堂讲稿7037，1-3（2011）。
MSC公司：91A80型 01A67号 68个M12 64岁以下 91个40个
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}，莱克特。注释计算。科学。7037，1--3（2011；Zbl 1349.91078）
全文： 内政部 链接
约瑟夫·霍尔珀（Joseph Y.Halpern）。

超越纳什均衡：21世纪的解决方案概念。 （英语） Zbl 1229.91073号

Apt，Krzysztof R.（编辑）等，计算机科学家博弈论讲座。剑桥：剑桥大学出版社（ISBN 978-0-521-19866-0/hbk）。264-290 (2011).
MSC公司：91A80型 01A67号 68个M12 64岁以下 91个40个
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}，in：计算机科学家博弈论讲座。剑桥：剑桥大学出版社。264--290（2011年；Zbl 1229.91073）
马克·比克福德；罗伯特·康斯特布尔；约瑟夫·哈尔彭；萨宾娜·佩特里德

使用事件结构的分布式系统的基于知识的综合。 （英语） Zbl 1213.68202号

日志。方法计算。科学。 7，第2号，第14号论文，36页（2011年）.
MSC公司：68号30 03B42号 65年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Bickford}等人，日志。方法计算。科学。7，第2号，第14号论文，36页（2011年；Zbl 1213.68202）
全文： 内政部
丽娜·德希特（编辑）；赫克托·杰夫纳（编辑）；约瑟夫·霍尔珀（Joseph Y.Halpern）。（编辑）

启发式、概率和因果关系。向朱迪娅·珀尔致敬。 （英语） Zbl 1202.00091号

致敬11.伦敦：学院出版物（ISBN 978-1-904987-6-6/hbk；978-1-904987-65-9/pbk）。xii，565页。(2010).
MSC公司：00B15号机组 00B30型 00A30型 62A01型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Dechter}（编辑）等人，《启发式、概率和因果关系》。向朱迪娅·珀尔致敬。伦敦：学院出版物（2010；Zbl 1202.00091）
哈娜·乔克勒；约瑟夫·霍尔珀（Joseph Y.Halpern）。；奥尔纳·库普弗曼

是什么导致系统满足规范？ （英语） Zbl 1367.68185号

ACM事务处理。计算。日志。 第9号第3条第20条第26页（2008年）; 勘误表同上，第11号，第4条，第29条，第2页（2010年）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Chockler}等人，ACM Trans。计算。日志。9，第3号，第20条，第26页（2008年；Zbl 1367.68185）
全文： 内政部 arXiv公司
约瑟夫·霍尔珀（Joseph Y.Halpern）。

超越纳什均衡：21世纪的解决方案概念。 （英语） Zbl 1301.91008号

2008年8月18日至21日，加拿大多伦多，2008年PODC，第27届ACM分布式计算原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-989-0）。1-10 (2008).
MSC公司：91A80型 01A67号 68个M12 64岁以下 91个40个
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}，in：第27届ACM分布式计算原理研讨会论文集，PODC’08，加拿大多伦多，2008年8月18-21日。纽约州纽约市：计算机协会（ACM）。1-10（2008年；兹bl 1301.91008）
全文： 内政部
伊泰·亚伯拉罕；丹尼·多列夫；约瑟夫·霍尔珀（Joseph Y.Halpern）。

一种具有最佳弹性的异步拜占庭协议的几乎完全终止多项式协议。 （英语） Zbl 1301.68047号

2008年8月18日至21日，加拿大多伦多，2008年PODC，第27届ACM分布式计算原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-989-0）。405-414 (2008).
MSC公司：64岁以下 68个M12 68米15 2017年第68季度 68宽15 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{I.Abraham}等人，摘自：第27届ACM分布式计算原理年度研讨会论文集，PODC’08，加拿大多伦多，2008年8月18-21日。纽约州纽约市：计算机协会（ACM）。405--414（2008；Zbl 1301.68047）
全文： 内政部
约瑟夫·霍尔珀（Joseph Y.Halpern）。；萨宾娜·佩特里德

基于知识的全局函数计算分析。 （英语） Zbl 1155.68332号

Dolev，Shlomi（编辑），分布式计算。第20届国际研讨会，2006年DISC，瑞典斯德哥尔摩，2006年9月18-20日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-44624-8/pbk）。计算机科学讲稿4167136-150（2007）。
MSC公司：64岁以下 第68季度10
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}和\textit{S.Petride}，莱克特。注释计算。科学。4167136-150（2007年；Zbl 1155.68332）
全文： 内政部 arXiv公司
约瑟夫·霍尔珀（Joseph Y.Halpern）。；Chaves Rêgo，莱安德罗斯

描述模态逻辑可满足性问题中的NP-PSPACE间隙。 （英语） Zbl 1126.03024号

J.日志。计算。 17，第4期，795-806（2007）.
MSC公司：03B45号 2015年3月1日 2017年第68季度 65年第68季度 2015年第68季度 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}和\textit{L.Chaves Rígo}，J.Log。计算。17，第4号，795--806（2007；Zbl 1126.03024）
全文： 内政部 arXiv公司
马克·比克福德；罗伯特·康斯特布尔。；约瑟夫·霍尔珀（Joseph Y.Halpern）。；萨宾娜·佩特里德

使用事件结构的分布式系统的基于知识的综合。 （英语） Zbl 1108.68491号

Baader，Franz（编辑）等人，《编程逻辑、人工智能和推理》。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25236-3/pbk）。计算机科学课堂讲稿3452。人工智能课堂讲稿，449-465（2005）。
MSC公司：60年第68季度 64岁以下 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Bickford}等人，Lect。注释计算。科学。3452、449--465（2005；Zbl 1108.68491）
全文： 内政部
Halldórsson，Magnüs M。；约瑟夫·霍尔珀（Joseph Y.Halpern）。；李，李（二郎）；瓦哈布·S·米罗尼。

关于频谱共享游戏。 （英语） Zbl 1322.91014号

2004年7月25日至28日，加拿大纽芬兰圣约翰PODC’04第23届ACM分布式计算原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-802-4）。107-114 (2004).
MSC公司：91A43型 05C15号 68米10 91A10号 91个40个
PDF格式BibTeX公司 XML格式引用
\textit｛M.M.Halldórsson｝et al.，载：第23届ACM分布式计算原理年度研讨会论文集，PODC'04，加拿大纽芬兰圣约翰，2004年7月25-28日。纽约州纽约市：计算机协会（ACM）。107-114（2004；Zbl 1322.91014）
全文： 内政部
约瑟夫·哈尔彭；蒂格，凡妮莎

合理的秘密共享和多方计算。 （英语） Zbl 1192.94119号

2004年6月13日至15日，美国伊利诺伊州芝加哥举行的第36届ACM计算理论年会（STOC 2004）会议记录。纽约州纽约市：ACM出版社（ISBN 1-58113-852-0）。623-632，仅电子版（2004年）。
MSC公司：94A62型 91A80型 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{J.Halpern}和\textit{V.Teague}，in：第36届ACM计算理论年会论文集，STOC 2004。美国伊利诺伊州芝加哥，2004年6月13日至15日。纽约州纽约市：ACM出版社。623--632（2004；Zbl 1192.94119）
全文： 内政部
埃里希·格拉德尔（编辑）；约瑟夫·霍尔珀（Joseph Y.Halpern）。（编辑）；拉德哈·贾加迪桑（编辑）；阿道夫·皮佩尔诺（编辑）

LICS 2001特别版。 （英语） Zbl 1365.00062号

ACM事务处理。计算。日志。 4，第3号，295（2003）.
MSC公司：00B25型 03-06 68-06
PDF格式BibTeX公司 XML格式引用
\textit{E.Grädel}（编辑）等，《美国医学杂志》。计算。日志。4，第39295号（2003年；兹bl 1365.00062）
全文： 内政部
李，李；约瑟夫·霍尔珀（Joseph Y.Halpern）。；巴拉姆维尔·巴尔；王义民；罗杰特·瓦滕霍夫

无线多跳网络中基于锥的分布式拓扑控制算法分析。 （英语） 兹比尔1333.68147

2001年8月26日至28日，美国罗得岛州纽波特市PODC’01第20届ACM分布式计算原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-383-9）。264-273 (2001).
MSC公司：65年第68季度 68米10 64岁以下 68宽15 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{L.Li}等人，in：第20届ACM分布式计算原理年度研讨会论文集，PODC’01，纽波特，RI，美国，2001年8月26-28日。纽约州纽约市：计算机协会（ACM）。264--273（2001年；Zbl 1333.68147）
全文： 内政部 arXiv公司
约瑟夫·霍尔珀（Joseph Y.Halpern）。；罗伯特·哈珀；尼尔·伊梅尔曼；Phokion G.科莱蒂斯。；莫舍·瓦尔迪。；维克托·维亚努

关于逻辑在计算机科学中的不同寻常的有效性。 （英语） Zbl 0979.03033号

牛市。符号。日志。 7，第2期，213-236（2001）.
审核人：Manuel Ojeda Aciego（马拉加）
MSC公司：03B70号 03-02 68-02
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}等人，公牛。符号。日志。7，第2号，213--236（2001；Zbl 0979.03033）
全文： 内政部 链接 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件