×

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

最新的 引文 关联
莱昂纳多·埃尔曼;克劳斯·弗拉姆（Klaus M.Frahm）。;迪玛·L·谢佩利扬斯基。

维基百科和其他网络的谷歌矩阵的光谱属性。 （英语） Zbl 1516.68118号

欧洲物理学。J.B，康登斯。物质复杂系统。 86，第5期，第193号论文，第10页（2013年）.
MSC公司：68单位35 05元50分 05C82号 15甲18
PDF格式BibTeX公司 XML格式引用
\textit{L.Ermann}等人，《欧洲物理学》。J.B，康登斯。物质复杂系统。86，第5期，第193号论文，第10页（2013；Zbl 1516.68118）
全文： 内政部 arXiv公司
鲁本·甘博阿（编辑）;贾里德·戴维斯（编辑）

第11届ACL2定理证明器及其应用国际研讨会论文集，美国怀俄明州拉腊米，2013年5月30日至31日。 （英语） Zbl 1490.68016号

理论计算机科学电子论文集（EPTCS）114.滑铁卢：开放出版协会（OPA）。第142页。，仅电子版，开放存取（2013年）。
MSC公司：68-06 68伏15 68V20型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{R.Gamboa}（编辑）和\textit{J.Davis}（编），第十一届ACL2定理证明器及其应用国际研讨会论文集，美国怀俄明州拉腊米，2013年5月30日至31日。滑铁卢：开放出版协会（OPA）（2013；Zbl 1490.68016）
全文： 内政部 链接
阿南·库尔卡尼（Anand J.Kulkarni）。;泰、康

一种多智能体分布式协同优化的概率集合方法，具有对智能体失效的容忍度。 （英语） Zbl 1478.68386号

Czarnowski，Ireneusz（编辑）等人，《基于代理的优化》。柏林：施普林格。螺柱计算。智力。456, 175-201 (2013).
MSC公司：68T42型 68宽15 90立方厘米 91A80型 93甲16
PDF格式BibTeX公司 XML格式引用
\textit{A.J.Kulkarni}和\textit{K.Tai}，Stud.Comput。智力。456175-201（2013；Zbl 1478.68386）
全文： 内政部
库纳尔·斯利瓦斯塔瓦;安吉莉亚·奈迪奇;杜珊·斯蒂帕诺维奇

用于最小最大优化的分布式Bregman距离算法。 （英语） Zbl 1478.68390号

Czarnowski，Ireneusz（编辑）等人，基于代理的优化。柏林：施普林格。螺柱计算。智力。456, 143-174 (2013).
MSC公司：68T42型 68宽15 90立方厘米 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Srivastava}等人，研究计算。智力。456143-174（2013；Zbl 1478.68390）
全文： 内政部 链接
彼得·杰约维奇博士;亚历山大·斯科夫斯基

用于具有连续资源离散化的离散连续调度的基于交叉熵的群体学习算法的结构与效率。 （英语） Zbl 1478.90041号

Czarnowski，Ireneusz（编辑）等人，《基于代理的优化》。柏林：施普林格。螺柱计算。智力。456, 77-102 (2013).
MSC公司：90B35型 68T05型 68T20型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{P.Jędrzejowicz}和\textit{A.Skakovski}，Stud.Comput。智力。45677--102（2013；Zbl 1478.90041）
全文： 内政部
萨利赫·优素菲;赛义德·巴斯塔尼;莫伊塔巴马祖基;阿里扎·吉亚马图恩

用于IEEE 802.16网状网络中基于QoS的树拓扑构建的遗传算法方法。 （英语） Zbl 1488.94018号

科学。中国，信息科学。 56，第3号，文章ID 032301，17 p.（2013）.
MSC公司：94A05型 90B10型 68瓦50 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{S.Yousefi}等人，科学。中国，信息科学。56，第3号，文章ID 032301，17 p.（2013；Zbl 1488.94018）
全文： 内政部
V.N.多尔戈夫。;B.F.梅尔尼科夫。

通用有限自动机的构造。一： 从定理到实用算法。 （俄语。英文摘要） Zbl 1475.68150号

维斯特。沃罗涅日。戈斯。州立大学。菲兹。材料。 2013年第2期，173-181（2013）.
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.N.Dolgov}和\textit{B.F.Mel'nikov}，Vestn。沃罗涅日。戈斯。州立大学。菲兹。材料2013，编号2，173--181（2013；Zbl 1475.68150）
全文： 链接
詹姆斯·莱尔德

组合并关联控制效果及其语义。 （英语） Zbl 1471.68071号

de’Liguoro，Ugo（编辑）等人，《控制算子及其语义第一次研讨会论文集》，COS 2013，荷兰埃因霍温，2013年6月24日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）127113-129（2013）。
MSC公司：68号30 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Laird}，电子。程序。西奥。计算。科学。（EPTCS）127113--129（2013；Zbl 1471.68071）
全文： arXiv公司 链接
川谷义彦;大辅木村

由共同归纳和控制操作符以指名形式归纳。 （英语） Zbl 1471.68069号

de’Liguoro，Ugo（编辑）等人，《控制算子及其语义第一次研讨会论文集》，COS 2013，荷兰埃因霍温，2013年6月24日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）127101-112（2013年）。
MSC公司：68号30 68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Y.Kakutani}和\textit{D.Kimura}，电子。程序。西奥。计算。科学。（EPTCS）127101-112（2013；Zbl 1471.68069）
全文： arXiv公司 链接
伊利克、丹科

1级移位和重置的类型指导部分评估。 （英语） Zbl 1471.68066号

de’Liguoro，Ugo（编辑）等人，《控制算子及其语义第一次研讨会论文集》，COS 2013，荷兰埃因霍温，2013年6月24日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）127，86-100（2013）。
MSC公司：68号30 03B38型 03B70号 68甲18 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.Ilik}，电子。程序。西奥。计算。科学。（EPTCS）127，86--100（2013；Zbl 1471.68066）
全文： arXiv公司 链接
杰伦、布拉姆;赫尔曼·格乌弗斯

连续微积分。 （英语） Zbl 1471.68062号

de’Liguoro，Ugo（编辑）等人，《控制算子及其语义第一次研讨会论文集》，COS 2013，荷兰埃因霍温，2013年6月24日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）127，66-85（2013年）。
MSC公司：68号30 68甲18 2009年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Geron}和\textit{H.Geuvers}，电子。程序。西奥。计算。科学。（EPTCS）127、66--85（2013；Zbl 1471.68062）
全文： arXiv公司 链接
哈雷·伊德斯;阿伦·斯塔姆

（lambda\Delta）演算的遗传替换。 （英语） Zbl 1471.03023号

de’Liguoro，Ugo（编辑）等人，《控制算子及其语义第一次研讨会论文集》，COS 2013，荷兰埃因霍温，2013年6月24日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）127，45-65（2013）。
MSC公司：03B40型 03B38型 03B70号 05年3月 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{H.Eades}和\textit{A.Stump}，电子。程序。西奥。计算。科学。（EPTCS）127，45-65（2013年；兹bl 1471.03023）
全文： arXiv公司 链接
乔瓦尼·比罗洛

解释具有交互可实现性的经典几何证明。 （英语） Zbl 1471.68100号

de’Liguoro，Ugo（编辑）等人，《控制算子及其语义第一次研讨会论文集》，COS 2013，荷兰埃因霍温，2013年6月24日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）127，30-44（2013）。
MSC公司：第68季度32 03楼50 52年10月
PDF格式BibTeX公司 XML格式引用
\textit{G.Birolo}，电子。程序。西奥。计算。科学。（EPTCS）127，30-44（2013年；兹bl 1471.68100）
全文： arXiv公司 链接
别尔纳卡，马乌戈扎塔;Dariusz Biernacki;朗格莱，塞尔盖伊;马雷克·马特佐克

用控制运算符证明系统F的评估终止。 （英语） Zbl 1471.68055号

de’Liguoro，Ugo（编辑）等人，《控制算子及其语义第一次研讨会论文集》，COS 2013，荷兰埃因霍温，2013年6月24日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）127，15-29（2013）。
MSC公司：68号30 03B40型 03B70号 03楼52 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Biernacka}等人，《电子》。程序。西奥。计算。科学。（EPTCS）127，15-29（2013年；兹bl 1471.68055）
全文： arXiv公司 链接
费德里科·阿西埃里

通过非确定性选择实现HA+EM1的强归一化。 （英语） Zbl 1471.68052号

de’Liguoro，Ugo（编辑）等人，《控制算子及其语义第一次研讨会论文集》，COS 2013，荷兰埃因霍温，2013年6月24日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）127，1-14（2013）。
MSC公司：68号30 03B40型 03B70号 05年3月 30楼03号
PDF格式BibTeX公司 XML格式引用
\textit{F.Aschieri}，电子。程序。西奥。计算。科学。（EPTCS）127，1--14（2013；Zbl 1471.68052）
全文： arXiv公司 链接
乌戈·德利古罗（编辑）;亚历克西斯·索林（编辑）

2013年6月24日至25日，荷兰埃因霍温，COS 2013，第一届控制操作员及其语义研讨会会议记录。 （英语） Zbl 1471.68013号

理论计算机科学电子论文集（EPTCS）127.滑铁卢：开放出版协会（OPA）。第129页。，仅电子版，开放存取（2013年）。
MSC公司：68-06 68号30 68问题55 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{U.de’Liguoro}（ed.）和\textit{A.Saurin}（edi.），控制操作符及其语义第一次研讨会会议记录，COS 2013，荷兰埃因霍温，2013年6月24日至25日。滑铁卢：开放出版协会（OPA）（2013；Zbl 1471.68013）
全文： 内政部 arXiv公司 链接
毛罗·迪·马尔科;毛罗·福蒂;马西莫·格拉齐尼;卢卡·潘西奥尼

非互易微分变分不等式建模神经网络的收敛动力学。 （英语） 兹比尔1468.92010

IEEE传输。电路系统。一、 雷古尔。巴普。 60，第12期，3227-3238（2013）.
MSC公司：92B20型 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{M.Di Marco}等人，IEEE Trans。电路系统。一、 雷古尔。巴普。60，第12号，3227--3238（2013；Zbl 1468.92010）
全文： 内政部
易，Jooyong

动态反向代码生成用于调试非确定性程序的一种情况。 （英语） Zbl 1464.68090号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129，419-428（2013）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Yi}，电子。程序。西奥。计算。科学。（EPTCS）129419--428（2013；Zbl 1464.68090）
全文： arXiv公司 链接
Kedar S.Namjoshi。

模型检入位和位。 （英语） Zbl 1464.68211号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129、404-416（2013）。
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.S.Namjoshi}，电子。程序。西奥。计算。科学。（EPTCS）129404--416（2013；Zbl 1464.68211）
全文： arXiv公司 链接
贝内迪克特·诺德霍夫;马库斯·穆勒·奥尔姆;彼得·兰米奇

监视器-DPN的迭代前向可达性分析。 （英语） Zbl 1464.68088号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129，384-403（2013）。
MSC公司：68号30 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Nordhoff}等人，《电子》。程序。西奥。计算。科学。（EPTCS）129，384--403（2013；Zbl 1464.68088）
全文： arXiv公司 链接
马丁·博丹;托马斯·延森;阿兰·施密特

基于相当大步骤的认证摘要解释（初步版本）。 （英语） Zbl 1464.68071号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129、360-383（2013）。
MSC公司：68号30 68问题55 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bodin}等人，《电子》。程序。西奥。计算。科学。（EPTCS）129，360-383（2013；Zbl 1464.68071）
全文： arXiv公司 链接
弗朗西斯科·洛戈佐;马蒂厄·马特尔

使用抽象解释自动修复溢出的表达式。 （英语） Zbl 1464.68083号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129、341-357（2013）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Logozzo}和\textit{M.Martel}，电子。程序。西奥。计算。科学。（EPTCS）129、341--357（2013；Zbl 1464.68083）
全文： arXiv公司 链接
克里斯·汉金

关于模拟和抽象的简短说明。 （英语） Zbl 1464.68080号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129，337-340（2013）。
MSC公司：68号30 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Hankin}，电子。程序。西奥。计算。科学。（EPTCS）129，337--340（2013；Zbl 1464.68080）
全文： arXiv公司 链接
阿戈斯蒂诺·科尔特斯;朱利娅·科斯坦蒂尼;皮埃特罗·费拉拉

对抽象解释中产品操作者的调查。 （英语） Zbl 1464.68073号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129，325-336（2013）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Cortesi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）129325--336（2013；Zbl 1464.68073）
全文： arXiv公司 链接
安妮迪亚·班纳吉;戴维·诺曼（David A.Naumann）。

用于堆栈检查的简单语义和静态分析。 （英语） Zbl 1464.68069号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129284-308（2013）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Banerjee}和\textit{D.A.Naumann}，电子。程序。西奥。计算。科学。（EPTCS）129284--308（2013；Zbl 1464.68069）
全文： arXiv公司 链接
罗伯特·格莱克

重温双向下推自动机的模拟。 （英语） Zbl 1464.68167号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129250-258（2013）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Glück}，电子。程序。西奥。计算。科学。（EPTCS）129250-258（2013；Zbl 1464.68167）
全文： arXiv公司 链接
朱利安·梅尔卡达尔;佐伊·德雷;查尔斯·康塞尔

面向用户的特定领域语言的表示语义。 （英语） Zbl 1464.68046号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：大卫·A·施密特六十岁生日之际的散文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129，229-249（2013）。
MSC公司：68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Mercadal}等人，《电子》。程序。西奥。计算。科学。（EPTCS）129229--249（2013；Zbl 1464.68046）
全文： arXiv公司 链接
迪米特拉·吉安娜科波卢;Păsăreanu，科琳娜·s。

用于无限状态成分验证的抽象和学习。 （英语） Zbl 1464.68202号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129，211-228（2013）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Giannakopoulou}和\textit{C.S.Preanu}，电子。程序。西奥。计算。科学。（EPTCS）129211--228（2013年；兹bl 1464.68202）
全文： arXiv公司 链接
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

通过约束逻辑程序转换验证命令式程序。 （英语） Zbl 1464.68074号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129186-210（2013）。
MSC公司：68号30 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，《电子》。程序。西奥。计算。科学。（EPTCS）129186-210（2013；Zbl 1464.68074）
全文： arXiv公司 链接
Chang，Bor-Yuh Evan先生;对手，泽维尔

形状数字分析仪的模块化结构。 （英语） Zbl 1464.68072号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129161-185（2013）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛B.-Y.E.Chang｝和\textit｛X.Rival｝，Electron。程序。西奥。计算。科学。（EPTCS）129161--185（2013；Zbl 1464.68072）
全文： arXiv公司 链接
J·朗奇伯里。;克里斯蒂，S。;索尔温，T.E。

具有超功能的核心褶皱。 （英语） Zbl 1464.68082号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129121-135（2013）。
MSC公司：68号30 68甲18 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{J.Launchbury}等人，电子。程序。西奥。计算。科学。（EPTCS）129121--135（2013；Zbl 1464.68082）
全文： arXiv公司 链接
杰弗里·丹尼斯顿。;奥斯汀梅尔顿;史蒂芬·E·罗达堡。

形式上下文、形式概念分析和Galois连接。 （英语） Zbl 1464.68383号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129105-120（2013）。
MSC公司：68立方英尺 2015年1月6日
PDF格式BibTeX公司 XML格式引用
\textit{J.T.Denniston}等人，《电子》。程序。西奥。计算。科学。（EPTCS）129105--120（2013年；兹bl 1464.68383）
全文： arXiv公司 链接
罗森达尔，麦兹

抽象解释作为一种编程语言。 （英语） Zbl 1464.68048号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129，84-104（2013）。
MSC公司：68甲15 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Rosendahl}，电子。程序。西奥。计算。科学。（EPTCS）129，84-104（2013年；兹bl 1464.68048）
全文： arXiv公司 链接
菲利普·莫里

单体强度的概念。 （英语） Zbl 1464.68086号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129，67-83（2013）。
MSC公司：68号30 18立方厘米 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.Murry}，电子。程序。西奥。计算。科学。（EPTCS）129，67--83（2013；Zbl 1464.68086）
全文： arXiv公司 链接
伊莎贝拉·马斯特罗埃尼

基于抽象解释的安全方法——关于抽象不干涉及其挑战性应用的调查。 （英语） Zbl 1464.68084号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129，41-65（2013年）。
MSC公司：68号30 68平方米25
PDF格式BibTeX公司 XML格式引用
\textit{I.Mastroeni}，电子。程序。西奥。计算。科学。（EPTCS）129，41--65（2013；Zbl 1464.68084）
全文： arXiv公司 链接
托本·莫根森。

树上良好拟序的比较。 （英语） Zbl 1464.68085号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）12930-40（2013年）。
MSC公司：68号30 06年06月06日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Æ.Mogensen}，电子。程序。西奥。计算。科学。（EPTCS）129，30--40（2013；Zbl 1464.68085）
全文： arXiv公司 链接
尼尔·D·琼斯。

用于计算的瑞士小刀。 （英语） Zbl 1464.68081号

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：纪念David A.Schmidt 60岁生日的论文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129，1-17（2013）。
MSC公司：68号30 03D20日 68甲15 2009年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.D.Jones}，电子。程序。西奥。计算。科学。（EPTCS）129，1--17（2013；Zbl 1464.68081）
全文： arXiv公司 链接
我是Ryo;石原雅素;藤原，托鲁

针对数据树上的推理攻击进行安全验证。 （英语） Zbl 1464.68040号

Maneth，Sebastian（编辑），第二届树自动机和树传感器趋势国际研讨会论文集，TTATT’13，越南河内，2013年10月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）134，49-59（2013）。
MSC公司：68平方米25 68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Iwase}等人，《电子》。程序。西奥。计算。科学。（EPTCS）134，49-59（2013年；兹bl 1464.68040）
全文： arXiv公司 链接
塞巴斯蒂安·马内思;汤姆·塞巴斯蒂安

语法压缩树上的XPath节点选择。 （英语） Zbl 1464.68091号

Maneth，Sebastian（编辑），第二届树自动机和树传感器趋势国际研讨会论文集，TTATT’13，越南河内，2013年10月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）134，38-48（2013）。
MSC公司：68第05页 68页30 65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Maneth｝和\textit｛T.Sebastian｝，电子。程序。西奥。计算。科学。（EPTCS）134，38-48（2013；Zbl 1464.68091）
全文： arXiv公司 链接
川崎市宫城县;桥本，Kenji;弘久世奇（Hiroyuki Seki）

确定性线性自顶向下树变换器的节点查询保存。 （英语） Zbl 1464.68094号

Maneth，Sebastian（编辑），第二届树自动机和树传感器趋势国际研讨会论文集，TTATT’13，越南河内，2013年10月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）134，27-37（2013）。
MSC公司：第68页，共15页 68第05页 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Miyahara}等人，《电子》。程序。西奥。计算。科学。（EPTCS）134，27-37（2013；Zbl 1464.68094）
全文： arXiv公司 链接
马修·卡拉普;艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔;弗雷德里克·塞瓦伊斯;Jean-Marc Talbot

可视下推传感器的表现力。 （英语） Zbl 1464.68158号

Maneth，Sebastian（编辑），第二届树自动机和树传感器趋势国际研讨会论文集，TTATT’13，越南河内，2013年10月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）134，17-26（2013）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Caralp}等人，《电子》。程序。西奥。计算。科学。（EPTCS）134，17--26（2013；Zbl 1464.68158）
全文： arXiv公司 链接
托马斯·汉尼弗思;安德烈亚斯·马莱蒂;丹尼尔·奎恩海姆

非确定性有限状态树自动机的随机生成。 （英语） Zbl 1464.68169号

Maneth，Sebastian（编辑），第二届树自动机和树传感器趋势国际研讨会论文集，TTATT’13，越南河内，2013年10月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）134，11-16（2013）。
MSC公司：65年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{T.Hanneforth}等人，《电子》。程序。西奥。计算。科学。（EPTCS）134，11--16（2013；Zbl 1464.68169）
全文： arXiv公司 链接
直纪西田;Masahiko酒井;中野康弘

构造约束树自动机识别约束项的基本实例。 （英语） Zbl 1464.68179号

Maneth，Sebastian（编辑），第二届树自动机和树传感器趋势国际研讨会论文集，TTATT’13，越南河内，2013年10月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）134，1-10（2013）。
MSC公司：65年第68季度 2012年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{N.Nishida}等人，《电子》。程序。西奥。计算。科学。（EPTCS）134，1--10（2013；Zbl 1464.68179）
全文： arXiv公司 链接
卡尔·帕尔姆斯科格;达姆，麦兹;安德烈亚斯·伦德布拉德;阿里·贾法里

ABS-NET：针对分布式对象的完全去中心化运行时自适应。 （英语） Zbl 1464.68255号

Carbone，Marco（编辑）等人，第六届交互和并发体验研讨会会议记录，ICE’13，意大利佛罗伦萨，2013年6月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）131，85-100（2013）。
MSC公司：68问题85 68问题55 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{K.Palmskog}等人，电子。程序。西奥。计算。科学。（EPTCS）131，85--100（2013；Zbl 1464.68255）
全文： arXiv公司 链接
科里亚科斯·波伊亚斯;埃米利奥·托斯托

关于从ADR中的运行时不当行为中恢复。 （英语） Zbl 1464.68089号

Carbone，Marco（编辑）等人，第六届交互和并发体验研讨会会议记录，ICE’13，意大利佛罗伦萨，2013年6月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）131，68-84（2013）。
MSC公司：68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Poyias}和\textit{E.Tuosto}，电子。程序。西奥。计算。科学。（EPTCS）131，68--84（2013；Zbl 1464.68089）
全文： arXiv公司 链接
朱利安·兰格;阿尔切斯特·斯卡拉斯

编舞合成作为合同协议。 （英语） Zbl 1464.68252号

Carbone，Marco（编辑）等人，第六届交互和并发体验研讨会会议记录，ICE’13，意大利佛罗伦萨，2013年6月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）131，52-67（2013）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Lange}和\textit{A.Scalas}，电子。程序。西奥。计算。科学。（EPTCS）131，52--67（2013；Zbl 1464.68252）
全文： arXiv公司 链接
徐，西安

参数化高阶过程的上下文互模拟。 （英语） Zbl 1464.68270号

Carbone，Marco（编辑）等人，第六届交互和并发体验研讨会会议记录，ICE’13，意大利佛罗伦萨，2013年6月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）131，37-51（2013）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{X.Xu}，电子。程序。西奥。计算。科学。（EPTCS）131，37--51（2013；Zbl 1464.68270）
全文： arXiv公司 链接
爱德华·巴拉诺夫;西蒙·布利兹

扩展连接器：在BIP中构造粘合操作符。 （英语） Zbl 1464.68190号

Carbone，Marco（编辑）等人，第六届交互和并发体验研讨会会议记录，ICE’13，意大利佛罗伦萨，2013年6月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）131，20-35（2013）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Baranov}和\textit{S.Bliudze}，电子。程序。西奥。计算。科学。（EPTCS）131，20--35（2013；Zbl 1464.68190）
全文： arXiv公司 链接
马西莫·巴托莱蒂;蒂齐亚娜·西莫利;保罗·迪·吉安贝拉迪诺;罗伯托·祖尼诺

通过逻辑签订合同协议。 （英语） Zbl 1464.68226号

Carbone，Marco（编辑）等人，第六届交互和并发体验研讨会会议记录，ICE’13，意大利佛罗伦萨，2013年6月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）131，5-19（2013年）。
MSC公司：68问题85 03B70号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartoletti}等人，《电子》。程序。西奥。计算。科学。（EPTCS）131，5--19（2013；Zbl 1464.68226）
全文： arXiv公司 链接
穆林达尔·辛格。;马修·阿洛特;蒂娜·巴尔克;阿米特·乔普拉。;罗布·克里斯蒂安斯;斯蒂芬·克雷菲尔德;弗兰克·迪格纳姆;戴维·伊纳德;埃米利亚·法卡斯;尼科莱塔·福娜拉;法比安·甘顿;圭多州长;Khanh、Dam Hoa;Joris Hulstijn;英格尔夫·克鲁格;Lam、Ho-Pun;迈克尔·梅辛格;巴勃罗·诺列加;巴斯汀·托尼·罗伊（Bastin Tony Roy），萨瓦里穆图（Savarimuthu）;卡提克·塔丹基;哈尔科·维尔哈根;塞雷娜·维拉塔

规范的使用。 （英语） Zbl 1482.68240号

Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会论文集，德国达格斯图尔，2012年。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。Dagstuhl Follow-Ups 4191-229（2013）。
MSC公司：68T42型 91D99型
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Singh}等人，Dagstuhl Follow-Ups 4191-229（2013；Zbl 1482.68240）
全文： 内政部
蒂娜·巴尔克;斯蒂芬·克雷菲尔德;詹纳罗·迪托斯托;萨姆哈尔·马哈茂德;马里奥·保卢奇;萨瓦里穆图，巴斯汀·托尼·罗伊;哈尔科·维尔哈根

模拟和NorMAS。 （英语） Zbl 1482.68236号

Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。Dagstuhl Follow-Ups 4171-189（2013）。
MSC公司：68T42型 91D99型
PDF格式BibTeX公司 XML格式引用
\textit{T.Balke}等人，Dagstuhl Follow-Ups 4，171--189（2013；Zbl 1482.68236）
全文： 内政部
朱利亚·安德里赫托;克里斯蒂亚诺·弗朗奇城堡;尤纳特市长;约翰·麦克布伦;梅特洛佩兹·桑切斯;西蒙·帕森斯

（社会）规范动态。 （英语） Zbl 1482.68235号

Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。Dagstuhl Follow-Ups 4135-170（2013）。
MSC公司：68T42型 91D99型
PDF格式BibTeX公司 XML格式引用
\textit{G.Andrighetto}等人，Dagstuhl Follow-Ups 4135--170（2013；Zbl 1482.68235）
全文： 内政部
巴勃罗·诺列加;阿米特·乔普拉。;尼科莱塔·福娜拉;卡多索·恩里克·洛佩斯;穆林达尔·辛格。

受监管的MAS：社会视角。 （英语） Zbl 1482.68239号

Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。Dagstuhl Follow-Ups 493-133（2013）。
MSC公司：68T42型 第68页第27页 91D99型
PDF格式BibTeX公司 XML格式引用
\textit{P.Noriega}等人，Dagstuhl Follow-Ups 4，93--133（2013；Zbl 1482.68239）
全文： 内政部
娜塔莎·亚历奇纳;尼克·巴西利亚德斯;迈赫迪·达斯塔尼;玛丽娜·德沃斯;布赖恩·洛根;塞尔吉奥·梅拉;安德烈亚萨·莫里斯·马汀;费尔南多·沙帕奇尼克

标准多智能体系统的计算模型。 （英语） Zbl 1482.68234号

Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。Dagstuhl Follow-Ups 471-92（2013）。
MSC公司：68T42型 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{N.Alechina}等人，Dagstuhl Follow-Ups 4，71--92（2013；Zbl 1482.68234）
全文： 内政部
简·布罗森;斯蒂芬·克雷菲尔德;叶希亚·埃尔拉凯比;Dov Gabbay公司;大卫·格罗西;埃米利亚诺·洛里尼;家长Xavier;范德托雷，Leendert W.N。;卢卡·图莫利尼;保罗·图里尼;弗朗索瓦州施瓦岑特鲁伯

规范推理和结果。 （英语） Zbl 1482.68227号

Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。Dagstuhl Follow-Ups 4，33-70（2013）。
MSC公司：第68页第27页 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{J.Broersen}等人，Dagstuhl Follow-Ups 4，33--70（2013；Zbl 1482.68227）
全文： 内政部
蒂娜·巴尔克;佩雷拉·塞利亚·达科斯塔;弗兰克·迪格纳姆;埃米利亚诺·洛里尼;安东尼诺·罗托洛;Wamberto的Vasconcelos;塞雷娜·维拉塔

MAS规范：定义和相关概念。 （英语） Zbl 1482.68237号

Andrighetto，Giulia（编辑）等人，规范性多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。Dagstuhl Follow-Ups 4，1-31（2013）。
MSC公司：68T42型 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{T.Balke}等人，Dagstuhl Follow-Ups 4，1--31（2013；Zbl 1482.68237）
全文： 内政部
大卫·安科纳;保拉·詹尼尼;埃琳娜·祖卡

协调位置约束和名义约束。 （英语） 兹比尔1464.68052

Graham-Lengrand，Stéphane（编辑）等人，《交叉口类型和相关系统第六次研讨会论文集》，克罗地亚杜布罗夫尼克，2012年6月29日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）121，81-93（2013）。
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{D.Ancona}等人，《电子》。程序。西奥。计算。科学。（EPTCS）121、81--93（2013；Zbl 1464.68052）
全文： arXiv公司 链接
乔舒亚·邓菲尔德

交叉点类型检查的注释。 （英语） Zbl 1464.68057号

Graham-Lengrand，Stéphane（编辑）等人，《交叉口类型和相关系统第六次研讨会论文集》，克罗地亚杜布罗夫尼克，2012年6月29日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）121，35-47（2013）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit｛J.Dunfield｝，电子。程序。西奥。计算。科学。（EPTCS）121，35-47（2013；Zbl 1464.68057）
全文： arXiv公司 链接
鲍里斯·杜德尔;奥利弗·加贝;莫里茨·马滕斯;雅各布·雷霍夫;巴威·乌尔兹琴

在具有交集类型的有界组合逻辑中使用驻留进行合成。 （英语） Zbl 1464.68077号

Graham-Lengrand，Stéphane（编辑）等人，《交叉口类型和相关系统第六次研讨会论文集》，克罗地亚杜布罗夫尼克，2012年6月29日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）121，18-34（2013）。
MSC公司：68号30 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{B.Düdder}等人，《电子》。程序。西奥。计算。科学。（EPTCS）121，18-34（2013；Zbl 1464.68077）
全文： arXiv公司 链接
Mio、Matteo;亚历克斯·辛普森

Łukasiewicz \（\mu\）-微积分。 （英语） Zbl 1462.68114号

Baelde，David（编辑）等人，《第九届计算机科学不动点研讨会论文集》，意大利都灵，2013年9月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）12687-104（2013）。
MSC公司：60年第68季度 03B44号 03B50号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Mio}和\textit{A.Simpson}，电子。程序。西奥。计算。科学。（EPTCS）126，87--104（2013；Zbl 1462.68114）
全文： arXiv公司 链接
斯特凡·米利厄斯;塔德乌兹·利塔克

保护你的匕首和踪迹：关于保护（共）递归的等式性质。 （英语） Zbl 1462.68027号

Baelde，David（编辑）等人，《第九届计算机科学不动点研讨会论文集》，意大利都灵，2013年9月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）126、72-86（2013）。
MSC公司：68号30 18立方厘米 18日第15天 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Milius}和\textit{T.Litak}，电子。程序。西奥。计算。科学。（EPTCS）126、72--86（2013；Zbl 1462.68027）
全文： arXiv公司 链接
Eleftherios的Matsikoudis;爱德华·A·李。

广义超度量半格上严格收缩函数的不动点理论。 （英语） Zbl 1462.06002号

Baelde，David（编辑）等人，《第九届计算机科学不动点研讨会论文集》，意大利都灵，2013年9月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）126，56-71（2013）。
MSC公司：2012年1月6日 54H25个 68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.Matsikoudis}和\textit{E.A.Lee}，电子。程序。西奥。计算。科学。（EPTCS）126，56--71（2013；Zbl 1462.06002）
全文： arXiv公司 链接
格拉思沃尔，尼尔斯·比约恩·巴格;弗里茨·亨利恩;德克斯特·科赞

上下文无关语言方程理论的无限公理化。 （英语） Zbl 1462.68115号

Baelde，David（编辑）等人，《第九届计算机科学不动点研讨会论文集》，意大利都灵，2013年9月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）126、44-55（2013）。
MSC公司：第68季度第70季度 03C05号机组
PDF格式BibTeX公司 XML格式引用
\textit{N.B.B.Grathwohl}等人，《电子》。程序。西奥。计算。科学。（EPTCS）126、44--55（2013；Zbl 1462.68115）
全文： 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件