克里希南德·查特吉;卢卡·德·阿尔法罗;马可·费拉;鲁帕克·马朱姆达尔;维什瓦纳斯·拉曼 代码感知资源管理。 (英语) Zbl 1291.68137号 表格方法系统。设计。 42,第2期,146-174(2013).MSC公司:68号30 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。42,No.2,146--174(2013;Zbl 1291.68137) 全文: 内政部
马西莫·贝内雷切蒂;马可·费拉;斯特凡诺·米诺波利 线性混合系统开关控制器的自动综合:安全控制。 (英语) Zbl 1294.93041号 西奥。计算。科学。 493, 116-138 (2013).MSC公司:93二氧化碳 65年第68季度 91A80型 68米15 PDF格式BibTeX公司 XML格式引用 \文本{M.Beneresetti}等人,Theor。计算。科学。493116--138(2013年;Zbl 1294.93041) 全文: 内政部 arXiv公司
亚历山德罗·比安科;马可·费拉;法比奥·莫加维罗;穆拉诺,阿尼洛 定量公平调度。 (英语) Zbl 1243.68099号 西奥。计算。科学。 413,第1期,160-175(2012). 审核人:杰克·巴泽维奇(波兹南) MSC公司:68平方米 68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Bianco}等人,Theor。计算。科学。413,第1号,160--175(2012;Zbl 1243.68099) 全文: 内政部
亚历山德罗·比安科;马可·费拉;法比奥·莫加维罗;穆拉诺,阿尼洛 探索半位置性的边界。 (英语) Zbl 1235.05093号 安。数学。Artif公司。智力。 62,编号1-2,55-77(2011).MSC公司:05第57页 91A43型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bianco}等人,《数学年鉴》。Artif公司。智力。62,编号1--2,55-77(2011;Zbl 1235.05093) 全文: 内政部
马可·费拉 图上无限对策的可容许策略。 (英语) Zbl 1250.68187号 Králović,Rastislav(编辑)等人,《2009年计算机科学的数学基础》。2009年8月24-28日,斯洛伐克High Tatras,Novy Smokovec,第34届国际研讨会,MFCS 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03815-0/pbk)。计算机科学课堂讲稿5734,307-318(2009)。MSC公司:60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \发短信{M.Faella},Lect。注释计算。科学。5734307--318(2009年;Zbl 1250.68187) 全文: 内政部
亚历山德罗·比安科;马可·费拉;法比奥·莫加维罗;穆拉诺,阿尼洛 彩色图中的平衡路径。 (英语) Zbl 1250.05061号 Králović,Rastislav(编辑)等人,《2009年计算机科学的数学基础》。2009年8月24-28日,斯洛伐克High Tatras,Novy Smokovec,第34届国际研讨会,MFCS 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03815-0/pbk)。计算机科学课堂讲稿5734149-161(2009)。MSC公司:05C38号 05C78号 65年第68季度 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{A.Bianco}等人,Lect。注释计算。科学。5734、149--161(2009年;Zbl 1250.05061) 全文: 内政部
卢卡·德·阿尔法罗;马可·费拉;托马斯·亨辛格。;鲁帕克·马朱姆达尔;玛丽·斯托琳加 模型检查折扣时间属性。 (英语) Zbl 1079.68062号 西奥。计算。科学。 345,第1期,139-170(2005).MSC公司:60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}等人,Theor。计算。科学。345,编号1,139--170(2005;Zbl 1079.68062) 全文: 内政部 链接