×

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

最新的 引文 关联
Amir Sabbagh Molahosseini；凯文·纳维；奇特拉·达德哈；奥米德·卡维埃伊；索马里蒂马奇

基于新型CRT的新型4模集（{2^n-1,2^n，2^n+1,2^{2n+1}-1}）和（{2~n-1,2*n+1,2,2n}，2~{2n}+1}）的高效反向变换器设计。 （英语） 兹比尔1468.68027

IEEE传输。电路系统。I、 规则。巴普。 57，第4期，823-835（2010）.
MSC公司：2007年7月68日 6504年 68瓦35
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Molahosseini}等人，IEEE Trans。电路系统。I、 规则。巴普。57，第4号，823--835（2010；Zbl 1468.68027）
全文： 内政部
张，罗伯特·陈浩；林志雄；林匡浩；黄建林；陈凤池

MIMO系统中使用改进的Gram-Schmidt算法的迭代QR分解结构。 （英语） Zbl 1468.68020号

IEEE传输。电路系统。I、 规则。巴普。 57，第5期，1095-1102（2010）.
MSC公司：2007年7月68日 15A23型 65日元10 68瓦35
PDF格式BibTeX公司 XML格式引用
\textit{R.C.H.Chang}等人，IEEE Trans。电路系统。I、 规则。巴普。57，第5号，1095--1102（2010；Zbl 1468.68020）
全文： 内政部
Corneliu A.Marinov。；Costea，Ruxandra L。

电容交叉耦合影响的WTA连续时间神经网络的时间定向综合。 （英语） Zbl 1468.92014年9月

IEEE传输。电路系统。I、 规则。巴普。 57，第6期，1358-1370（2010）.
MSC公司：92秒20 68M10个 93亿B51 93D20型 94C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{C.A.Marinov}和\textit{R.L.Costea}，IEEE Trans。电路系统。I、 规则。巴普。57，第6号，1358--1370（2010；Zbl 1468.92014）
全文： 内政部
安娜·卡斯普齐克

使用观察表学习剩余有限状态自动机。 （英语） Zbl 1456.68069号

McQuillan，Ian（ed.）等人，第十二届正式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31205-212（2010）。
MSC公司：68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Kasprzik}，电子。程序。西奥。计算。科学。（EPTCS）31205--212（2010；Zbl 1456.68069）
全文： arXiv公司 链接
吉拉斯科娃，加利纳；莫妮卡·克劳索娃

无前缀正则语言的复杂性。 （英语） Zbl 1455.68092号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31197-204（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Jirásková}和\textit{M.Krausová{电子。程序。西奥。计算。科学。（EPTCS）31197--204（2010；Zbl 1455.68092）
全文： arXiv公司 链接
Han、Yo-Sub；凯·萨洛马

无后缀正则语言的非确定性状态复杂性。 （英语） Zbl 1455.68091号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31189-196（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.S.Han}和\textit{K.Salomaa}，电子。程序。西奥。计算。科学。（EPTCS）31189--196（2010；Zbl 1455.68091）
全文： arXiv公司 链接
比安卡·特鲁特

关于有限传播Lindenmayer系统的描述复杂性。 （英语） Zbl 1455.68080号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31177-188（2010）。
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Truthe}，电子。程序。西奥。计算。科学。（EPTCS）31177--188（2010；Zbl 1455.68080）
全文： arXiv公司 链接
波莉、罗尼；路德维希·施泰格

拟周期无限字的最大子字复杂度。 （英语） Zbl 1455.68155号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）3169-176（2010年）。
MSC公司：68兰特 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Polley}和\textit{L.Staiger}，电子。程序。西奥。计算。科学。（EPTCS）31169--176（2010；Zbl 1455.68155）
全文： arXiv公司 链接
朴晓雪；凯·萨洛马

不同类型的无等级自下而上树自动机之间的转换。 （英语） Zbl 1455.68096号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31159-168（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Piao}和\textit{K.Salomaa}，电子。程序。西奥。计算。科学。（EPTCS）31159--168（2010；Zbl 1455.68096）
全文： arXiv公司 链接
朴晓雪；凯·萨洛马

确定性无秩树自动机的操作状态复杂性。 （英语） Zbl 1455.68095号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31149-158（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Piao}和\textit{K.Salomaa}，电子。程序。西奥。计算。科学。（EPTCS）31149--158（2010；Zbl 1455.68095）
全文： arXiv公司 链接
内尔玛·莫雷拉；戴维·纳拜斯；罗杰里奥·里斯

状态消除排序策略：一些实验结果。 （英语） Zbl 1455.68094号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31139-148（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Moreira}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31139--148（2010；Zbl 1455.68094）
全文： arXiv公司 链接
Ondřej，克里马；利波·波拉克

语言的描述复杂性（KaL）：自动机、幺半群和变种。 （英语） Zbl 1455.68093号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31130-138（2010）。
MSC公司：65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛O.Klíma｝和\textit｛L.Polák｝，电子。程序。西奥。计算。科学。（EPTCS）31、130--138（2010；Zbl 1455.68093）
全文： arXiv公司 链接
卡里、莉拉；阿芙罗莎·拉赫曼

用较少模板进行纤毛虫基因解读。 （英语） Zbl 1455.68059号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31120-129（2010）。
MSC公司：2007年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Kari}和\textit{A.Rahman}，电子。程序。西奥。计算。科学。（EPTCS）31、120--129（2010；Zbl 1455.68059）
全文： arXiv公司 链接
马库斯·霍尔泽；塞巴斯蒂安·雅各比；马丁·库特里布

次正则语系的幻数问题。 （英语） Zbl 1456.68088号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31110-119（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Holzer}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31、110--119（2010；Zbl 1456.68088）
全文： 链接
高，袁；凯·萨洛马；于盛

不完整DFA的转换复杂性。 （英语） Zbl 1455.68090号

McQuillan，Ian（ed.）等人，第十二届正式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，99-109（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Gao｝等人，电子。程序。西奥。计算。科学。（EPTCS）31，99--109（2010；Zbl 1455.68090）
全文： arXiv公司 链接
鲁道夫·弗伦德；玛丽安·科格勒；尤里·罗戈津；谢尔盖·弗兰

图形控制插入-删除系统。 （英语） Zbl 1455.68078号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，88-98（2010）。
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Freund}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31，88--98（2010；Zbl 1455.68078）
全文： arXiv公司 链接
佐尔坦·埃西克

用有限自动机表示小序数。 （英语） Zbl 1455.68088号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，78-87（2010）。
MSC公司：65年第68季度 03E10年 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.e-sik}，电子。程序。西奥。计算。科学。（EPTCS）31，78-87（2010年；兹bl 1455.68088）
全文： arXiv公司 链接
尤尔根·达索；弗罗林·马内亚

接受具有特殊拓扑和小型通信的进化处理器的混合网络。 （英语） Zbl 1455.68065号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，68-77（2010）。
MSC公司：2010年第68季度 第68季度11
PDF格式BibTeX公司 XML格式引用
\textit{J.Dassow}和\textit{F.Manea}，电子。程序。西奥。计算。科学。（EPTCS）31，68--77（2010；Zbl 1455.68065）
全文： arXiv公司 链接
崔波；高，袁；卡里、莉拉；于盛

连锁与星形和反转相结合的状态复杂性。 （英语） Zbl 1455.68086号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，58-67（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cui}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31、58--67（2010；Zbl 1455.68086）
全文： arXiv公司 链接
艾米莉·查利尔；Narad Rampersad公司；米歇尔·里戈；Laurent Waxweiler

测试可分性的状态复杂性。 （英语） Zbl 1455.68085号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，48-57（2010年）。
MSC公司：65年第68季度 2016年11月
PDF格式BibTeX公司 XML格式引用
\textit{E.Charlier}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31、48--57（2010；Zbl 1455.68085）
全文： arXiv公司 链接
克里斯蒂安·卡鲁德。；凯·萨洛马；塔妮娅·罗布洛。

有限状态复杂度和传感器尺寸。 （英语） Zbl 1455.68084号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，38-47（2010）。
MSC公司：65年第68季度 第68季度30
PDF格式BibTeX公司 XML格式引用
\textit{C.S.Calude}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31，38-47（2010年；兹bl 1455.68084）
全文： arXiv公司 链接
贾努斯·布尔佐夫斯基；李白玉；叶玉莉

关于布尔函数瞬时扩张求值的复杂性。 （英语） Zbl 1455.68056号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，27-37（2010）。
MSC公司：2006年第68季度 2017年第68季度 94C11号机组 94C12号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.Brzozowski}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31，27-37（2010；Zbl 1455.68056）
全文： arXiv公司 链接
马丁·卡普斯；安德烈亚斯·马尔彻；沃奇克，德特勒夫

缅怀Chandra Kintala。 （英语） Zbl 1455.01026号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，15-26（2010）。
MSC公司：01A70号 68-03
PDF格式BibTeX公司 XML格式引用
\textit{M.Kappes}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31，15--26（2010；Zbl 1455.01026）
全文： arXiv公司 链接
普尔泽米斯劳·普鲁辛基维茨；Mitra Shirmohammadi；法拉马茨·萨马瓦蒂

几何建模中的L系统。 （英语） 兹比尔1455.68232

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，3-14（2010）。
MSC公司：68单位05 65D07年 65D17号 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Prusinkiewicz}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31，3-4（2010；Zbl 1455.68232）
全文： 链接
柯斯汀·彼得斯；乌韦州内斯特曼

打破对称。 （英语） Zbl 1455.68127号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41136-150（2010年）。
MSC公司：68问题85 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{K.Peters}和\textit{U.Nestmann}，电子。程序。西奥。计算。科学。（EPTCS）41、136--150（2010；Zbl 1455.68127）
全文： arXiv公司 链接
拉塞·尼尔森；吉田、Nobuko；本田、高黑

多方对称和类型。 （英语） Zbl 1455.68126号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41，121-135（2010）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛L.Nielsen｝等人，Electron。程序。西奥。计算。科学。（EPTCS）41、121--135（2010；Zbl 1455.68126）
全文： arXiv公司 链接
彼得·莫塞斯（Peter D.Mosses）。；穆罕默德·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。

运算扩展下方程的稳健性。 （英语） Zbl 1455.68125号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41，106-120（2010）。
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{P.D.Mosses}等人，《电子》。程序。西奥。计算。科学。（EPTCS）41、106--120（2010；Zbl 1455.68125）
全文： arXiv公司 链接
洛维，加文

具有可用性信息的CSP模型。 （英语） Zbl 1455.68124号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41，91-105（2010）。
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{G.Lowe}，电子。程序。西奥。计算。科学。（EPTCS）41，91--105（2010；Zbl 1455.68124）
全文： 链接
罗伯托·戈里埃里；克里斯蒂安·维萨里

表示有限位置/转移Petri网的过程演算。 （英语） Zbl 1455.68122号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）第4176-90页（2010年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Gorrieri}和\textit{C.Versari}，电子。程序。西奥。计算。科学。（EPTCS）41、76--90（2010；Zbl 1455.68122）
全文： arXiv公司 链接
迭戈·菲格拉；彼得·霍夫曼；Sławomir拉索塔

关联定时自动机和寄存器自动机。 （英语） Zbl 1455.68089号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41、61-75（2010年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Figueira}等人，《电子》。程序。西奥。计算。科学。（EPTCS）41、61--75（2010；Zbl 1455.68089）
全文： 链接
乌戈·达尔拉戈；西蒙·马提尼；戴维·桑吉奥吉

轻逻辑和高阶过程。 （英语） Zbl 1455.68121号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41、46-60（2010年）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{U.Dal Lago}等人，《电子》。程序。西奥。计算。科学。（EPTCS）41，46-60（2010年；兹bl 1455.68121）
全文： arXiv公司 链接
安德烈亚·塞隆；马修·轩尼诗

过程行为：公式与测试（扩展抽象）。 （英语） Zbl 1455.68120号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41、31-45（2010年）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Cerone}和\textit{M.Hennessy}，电子。程序。西奥。计算。科学。（EPTCS）41，31-45（2010；Zbl 1455.68120）
全文： arXiv公司 链接
费德里科·班蒂；罗萨里奥Pugliese；弗朗西斯科·蒂埃齐

分离过程计算的标准。 （英语） Zbl 1455.68117号

Fröschle，Sibylle（编辑）等人，第17届并发表达性国际研讨会论文集，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41，16-30（2010年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Banti}等人，《电子》。程序。西奥。计算。科学。（EPTCS）41，16--30（2010；Zbl 1455.68117）
全文： arXiv公司 链接
Jos C.M.Baeten。；巴斯·卢提克；蒂姆·穆勒；保罗·范蒂尔堡

具有并行组合的正则表达式的表示性模双相似性（扩展抽象）。 （英语） Zbl 1455.68083号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41，1-15（2010年）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.C.M.Baeten}等人，《电子》。程序。西奥。计算。科学。（EPTCS）41，1--15（2010；Zbl 1455.68083）
全文： 链接
雷诺·瑟迪；帕斯卡·奥布里

通用数据流过程网络验证和标注的线性规划方法。 （英语） Zbl 1455.68129号

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，115-119（2010）。
MSC公司：68问题85 60年第68季度 90 C90
PDF格式BibTeX公司 XML格式引用
\textit{R.Sirdey}和\textit{P.Aubry}，电子。程序。西奥。计算。科学。（EPTCS）38，115--119（2010；Zbl 1455.68129）
全文： arXiv公司 链接
哈什·贝哈尔；Pieter Cuijpers先生

一种去同步闭环系统理论。 （英语） Zbl 1455.93005号

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，99-114（2010）。
MSC公司：93甲13 68问题85 93B52号
PDF格式BibTeX公司 XML格式引用
\textit{H.Beohar}和\textit{P.Cuijpers}，电子。程序。西奥。计算。科学。（EPTCS）38，99--114（2010；Zbl 1455.93005）
全文： arXiv公司 链接
马蒂厄·莱梅尔；文森特·戴维；克里斯托夫·奥萨古耶斯；盖伊·维达尔·纳奎特

时间约束自动机简介。 （英语） Zbl 1455.68038号

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，83-98（2010）。
MSC公司：68平方米 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛M.Lemerre｝等人，电子。程序。西奥。计算。科学。（EPTCS）38，83--98（2010；Zbl 1455.68038）
全文： arXiv公司 链接
马西莫·巴托莱蒂；罗伯托·祖尼诺

基于契约的同步的基本体。 （英语） Zbl 1456.68112号

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，67-82（2010）。
MSC公司：68问题85 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartoletti}和\textit{R.Zunino}，电子。程序。西奥。计算。科学。（EPTCS）38，67--82（2010；Zbl 1456.68112）
全文： arXiv公司 链接
伊万·拉内斯

静态与动态SAGA。 （英语） Zbl 1455.68123号

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，51-65（2010）。
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{I.Lanese}，电子。程序。西奥。计算。科学。（EPTCS）38，51--65（2010；Zbl 1455.68123）
全文： arXiv公司 链接
埃尔南德斯，亚历杭德罗·马里奥；弗莱明·尼尔森

分布式系统安全的历史敏感与未来敏感方法。 （英语） Zbl 1455.68032号

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38、29-43（2010年）。
MSC公司：64岁以下 68平方米25
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Hernandez}和\textit{F.Nielson}，电子。程序。西奥。计算。科学。（EPTCS）38，29-43（2010；Zbl 1455.68032）
全文： arXiv公司 链接
马尔科·卡博尼；瑟伦·德博伊斯

web服务中结构化通信进度的图形方法。 （英语） Zbl 1455.68119号

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，13-27（2010）。
MSC公司：68问题85 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{M.Carbone}和\textit{S.Debois}，电子。程序。西奥。计算。科学。（EPTCS）38，13-27（2010年；兹bl 1455.68119）
全文： arXiv公司 链接
克里斯蒂安·兰贝茨；米拉·卡德巴姆少校

组件系统死锁自由的端口协议。 （英语） Zbl 1455.68105号

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，7-11（2010）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Lambertz}和\textit{M.Majster-Cederbaum}，电子。程序。西奥。计算。科学。（EPTCS）38，7--11（2010；Zbl 1455.68105）
全文： arXiv公司 链接
中田庆子；塔尔莫乌斯塔卢

带交互式I/O的While的恢复、弱双相似度和大步语义：混合归纳法练习。 （英语） Zbl 1455.68100号

Aceto，Luca（编辑）等人，《结构操作语义学第七次研讨会》，法国巴黎，2010年8月30日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32，57-75（2010）。
MSC公司：第68季度55 03B38型 68号30 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{K.Nakata}和\textit{T.Uustalu}，电子。程序。西奥。计算。科学。（EPTCS）32，57--75（2010；Zbl 1455.68100）
全文： arXiv公司 链接
Beohar，H。；Nadales Agut，D.E。；van Beek博士。；P.J.L.Cuijpers。

合成交换格式中的层次状态。 （英语） Zbl 1455.68097号

Aceto，Luca（编辑）等人，《结构操作语义学第七次研讨会》，法国巴黎，2010年8月30日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32，42-56（2010）。
MSC公司：第68季度55 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Beohar}等人，《电子》。程序。西奥。计算。科学。（EPTCS）32，42-56（2010年；兹bl 1455.68097）
全文： arXiv公司 链接
托拜厄斯·海因德尔

图形对象反应的结构分解。 （英语） Zbl 1455.68079号

Aceto，Luca（编辑）等人，《结构操作语义学第七次研讨会》，法国巴黎，2010年8月30日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32，26-41（2010）。
MSC公司：第68季度第42季度 18A30型
PDF格式BibTeX公司 XML格式引用
\textit{T.Heindel}，电子。程序。西奥。计算。科学。（EPTCS）32，26-41（2010；Zbl 1455.68079）
全文： arXiv公司 链接
马西耶·加兹达；Wan Fokkink公司

从操作员的角度来看一致性：过程语义的组合性要求。 （英语） 兹比尔1455.68099

Aceto，Luca（编辑）等人，《结构操作语义学第七次研讨会》，法国巴黎，2010年8月30日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32，15-25（2010年）。
MSC公司：第68季度55 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Gazda}和\textit{W.Fokkink}，电子。程序。西奥。计算。科学。（EPTCS）32，15--25（2010；Zbl 1455.68099）
全文： arXiv公司 链接
伊格纳西奥·法布雷加斯；戴维·德·弗鲁托斯·埃斯克里格；米盖尔·帕洛米诺

协变-逆变模拟的等式特征和一致性模拟语义。 （英语） Zbl 1455.68098号

Aceto，Luca（编辑）等人，《结构操作语义学第七次研讨会》，法国巴黎，2010年8月30日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32，1-14（2010）。
MSC公司：第68季度55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Fábregas}等人，《电子》。程序。西奥。计算。科学。（EPTCS）32，1--14（2010；Zbl 1455.68098）
全文： arXiv公司 链接
安东·斯特凡内克；理查德·海登；布拉德利、杰里米

大规模并行计算机系统性能分析的新工具。 （英语） Zbl 1456.68021号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，159-181（2010）。
MSC公司：68平方米 65升99
PDF格式BibTeX公司 XML格式引用
\textit｛A.Stefanek｝等人，电子。程序。西奥。计算。科学。（EPTCS）28，159--181（2010；Zbl 1456.68021）
全文： 链接
乌卡丘库·恩杜克武；安娜贝拉·麦克维尔

概率程序的谓词抽象和数据独立性的期望变换方法。 （英语） 兹比尔1456.68027

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28、129-143（2010年）。
MSC公司：68号30 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Ndukwu}和\textit{A.McIver}，电子。程序。西奥。计算。科学。（EPTCS）28、129--143（2010；Zbl 1456.68027）
全文： 链接
马蒂亚斯·古德曼；弗兰克·奥特米耶

基于概率模型的安全分析。 （英语） Zbl 1456.68017号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，114-128（2010）。
MSC公司：68米15 68号30 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Güdemann}和\textit{F.Ortmier}，电子。程序。西奥。计算。科学。（EPTCS）28，114--128（2010；Zbl 1456.68017）
全文： 链接
索尼娅·乔治耶夫斯卡；苏珊娜·安多瓦

测试反应概率过程。 （英语） Zbl 1456.68118号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，99-113（2010）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Georgievska}和\textit{S.Andova}，电子。程序。西奥。计算。科学。（EPTCS）28，99-113（2010；Zbl 1456.68118）
全文： 链接
大卫·卡切拉；阿诺·乔宾

将抽象解释注入线性成本模型。 （英语） Zbl 1456.68026号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，64-81（2010年）。
MSC公司：68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{D.Cachera}和\textit{A.Jobin}，电子。程序。西奥。计算。科学。（EPTCS）28，64--81（2010；Zbl 1456.68026）
全文： 链接
亚历山德罗·比安科；马可·费拉；法比奥·莫加维罗；阿尼埃洛·穆拉诺

数量公平博弈。 （英语） Zbl 1456.68115号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，48-63（2010）。
MSC公司：68问题85 2017年第68季度 91A05型 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.Bianco}等人，《电子》。程序。西奥。计算。科学。（EPTCS）28，48--63（2010；Zbl 1456.68115）
全文： 链接
达米安·巴索蒂；尼科拉斯·沃尔维克

通过随机变量抽象实现自动概率程序验证。 （英语） Zbl 1456.68025号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，34-47（2010）。
MSC公司：68号30 60年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Barsotti}和\textit{N.Wolovick}，电子。程序。西奥。计算。科学。（EPTCS）28，34-47（2010；Zbl 1456.68025）
全文： 链接
卡琳·阿尔蒂森；刘燕红；马蒂厄·莫伊

使用实时演算和时间自动机之间基于粒度的接口对组件进行性能评估。 （英语） Zbl 1456.68018号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28、16-33（2010年）。
MSC公司：68平方米 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Altisen}等人，《电子》。程序。西奥。计算。科学。（EPTCS）28，16-33（2010；Zbl 1456.68018）
全文： 链接
亚历山德罗·阿尔迪尼

基于时间、概率和观察到的行为的近似测试等效性。 （英语） Zbl 1456.68111号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，1-15（2010）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Aldini}，电子。程序。西奥。计算。科学。（EPTCS）28，1-15（2010年；兹bl 1456.68111）
全文： 链接
卢卡斯·狄克逊；罗斯·邓肯；基辛格，亚历克斯

开放图和计算推理。 （英语） Zbl 1456.68051号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26169-180（2010）。
MSC公司：2009年第68季度 第68季度第42季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{L.Dixon}等人，《电子》。程序。西奥。计算。科学。（EPTCS）26，169--180（2010；Zbl 1456.68051）
全文： arXiv公司 链接
Younger，A.Steven；埃米特·雷德

通过基于物理的光学神经网络进行计算。 （英语） Zbl 1456.68049号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，159-167（2010）。
MSC公司：2007年第68季度 2007年7月68日
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Younger}和\textit{E.Redd}，电子。程序。西奥。计算。科学。（EPTCS）26，159--167（2010；Zbl 1456.68049）
全文： 链接
Terrazas，德语；兰达·席尔瓦，达里奥；纳塔利奥·克拉斯诺戈尔

通过自组装实现启发式设计。 （英语） Zbl 1456.68183号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26135-146（2010年）。
MSC公司：68T20型 2007年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Terrazas}等人，《电子》。程序。西奥。计算。科学。（EPTCS）26，135--146（2010；Zbl 1456.68183）
全文： 链接
多米尼克·F·弗洛斯。；埃里卡·安德森；马克·希勒里

用于测试布尔函数的量子算法。 （英语） Zbl 1456.68055号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，101-108（2010）。
MSC公司：2012年第68季度 68问题32 94C11号机组 94C12号机组
PDF格式BibTeX公司 XML格式引用
\textit{D.F.Floess}等人，《电子》。程序。西奥。计算。科学。（EPTCS）26，101--108（2010；Zbl 1456.68055）
全文： 链接
文森特·达诺斯；尼古拉斯·欧里

平衡和终止。 （英语） Zbl 1456.68071号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，75-84（2010）。
MSC公司：第68季度第42季度 60J27型
PDF格式BibTeX公司 XML格式引用
\textit｛V.Danos｝和\textit｛N.Oury｝，电子。程序。西奥。计算。科学。（EPTCS）26，75--84（2010；Zbl 1456.68071）
全文： 链接
切尼，詹姆斯

因果关系和起源的语义。 （英语） Zbl 1456.68093号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，63-74（2010）。
MSC公司：第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{J.切尼}，电子。程序。西奥。计算。科学。（EPTCS）26、63--74（2010；Zbl 1456.68093）
全文： 链接
卢卡·卡德利

双域DNA链置换。 （英语） Zbl 1456.68040号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，47-61（2010）。
MSC公司：2007年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}，电子。程序。西奥。计算。科学。（EPTCS）26，47--61（2010；Zbl 1456.68040）
全文： 链接
米克洛斯·巴塔

图灵自动机和图形机。 （英语） Zbl 1456.18004号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（9月26日），19-31（2010年）。
MSC公司：18B20型 2009年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartha}，电子。程序。西奥。计算。科学。（EPTCS）26，19-31（2010年；兹bl 1456.18004）
全文： 链接
阿拉斯泰尔·艾博特（Alastair A.Abbott）。；克里斯蒂安·卡鲁德。

通过去量化了解量子计算加速。 （英语） Zbl 1459.81027号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，1-12（2010）。
MSC公司：81页68 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Abbott}和\textit{C.S.Calude}，电子。程序。西奥。计算。科学。（EPTCS）26，1-12（2010年；兹bl 1459.81027）
全文： 链接
大卫·安科纳；乔瓦尼·拉戈里奥

用于将面向对象语言抽象编译为Horn公式的共导子类型。 （英语） Zbl 1456.68024号

Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25214-230（2010）。
MSC公司：68甲15 03B70号 68甲19 68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Ancona}和\textit{G.Lagorio}，电子。程序。西奥。计算。科学。（EPTCS）25、214--230（2010；Zbl 1456.68024）
全文： 链接
马可·贝尔纳多

关于马尔科夫过程计算的持续性和无持续性行为的表达。 （英语） Zbl 1456.68114号

Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25199-213（2010）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}，电子。程序。西奥。计算。科学。（EPTCS）25，199--213（2010；Zbl 1456.68114）
全文： 链接
克里斯蒂安·阿波德

有效的对称约简和使用状态对称进行符号模型检查。 （英语） Zbl 1456.68094号

Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25173-187（2010）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Appold}，电子。程序。西奥。计算。科学。（EPTCS）25173-187（2010年；兹bl 1456.68094）
全文： 链接
约翰·费恩利；马丁·齐默尔曼

匆忙地玩穆勒游戏。 （英语） Zbl 1456.91025号

Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25146-161（2010年）。
MSC公司：91A24型 65年第68季度 91A05型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{J.Fearnley}和\textit{M.Zimmermann}，电子。程序。西奥。计算。科学。（EPTCS）25、146--161（2010；Zbl 1456.91025）
全文： 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件