×

找到13个文档（结果1-13）

最新的 引文 关联
博迪，恰拉；琳达·布罗多；罗伯塔·戈里；戴安娜·赫米思；弗兰西斯卡，李维

膜结石的整体发生计数分析。 （英语） Zbl 1417.68118号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。9527, 179-200 (2015).
MSC公司：68问题85 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Bodei}等人，Lect。票据计算。科学。9527179-200（2015年；Zbl 1417.68118）
全文： 内政部 链接
博迪，恰拉；琳达·布罗多；里卡多·福卡尔迪

用于攻击重建的静态证据。 （英语） Zbl 1437.94051号

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。9465, 162-182 (2015).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{C.Bodei}等人，Lect。票据计算。科学。9465、162--182（2015年；Zbl 1437.94051）
全文： 内政部
博迪，恰拉；琳达·布罗多；戴维·齐亚鲁吉

广义布尔网络的控制流分析。 （英语） Zbl 1283.92058号

Feret，Jéróme（编辑）等人，第二届静态分析和系统生物学国际研讨会论文集（SASB 2011），意大利威尼斯，2011年9月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记284，3-22（2012）。
MSC公司：92D10型 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Bodei}等人，《电子》。注释Theor。计算。科学。284、3--22（2012年；Zbl 1283.92058）
全文： 内政部
博迪，恰拉

β-粘合剂的静态分析。 （英语） Zbl 1279.68197号

尼古拉·卡纳塔（编辑）等人，第一次研讨会《从生物学到并发性再到并发性（FBTC 2007）》会议记录，葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第3期，69-85（2008）。
MSC公司：60年第68季度 68问题85 92立方37 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Bodei}，电子。注释Theor。计算。科学。194，第3号，69-85（2008；Zbl 1279.68197）
全文： 内政部
高，韩；博迪，恰拉；皮耶保罗·德加诺

对安全协议上的复杂类型漏洞攻击的形式化分析。 （英语） Zbl 1170.94330号

Meseguer，José（编辑）等人，代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79979-5/pbk）。计算机科学课堂讲稿5140167-183（2008）。
MSC公司：94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{H.Gao}等人，Lect。票据计算。科学。5140167-183（2008年；兹比尔1170.94330）
全文： 内政部 链接
奇亚拉博迪；皮耶保罗·德加诺；里卡多·福卡尔迪；罗伯托·戈里埃里；法比奥·马蒂内利

安全检查技术：无干扰与控制流分析。 （英语） Zbl 1268.68121号

Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，211-228（2002）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Bodei}等人，《电子》。注释Theor。计算。科学。62211-228（2002年；Zbl 1268.68121）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件