乔治·奥德里托;罗伯特·卡萨迪;费卢西奥·达米亚尼;米尔科·维罗利 针对邻居的计算：使用函数编程和Scala解决大规模分布和适应性问题。 （英语） Zbl 07667096号 日志。方法计算。科学。 19，第1号，第6号论文，59页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Audrito}等人，日志。方法计算。科学。19，第1号，第6号论文，59页（2023年；Zbl 07667096） 全文： DOI程序 arXiv公司 OA许可证
乔治·奥德里托;雅各布·比尔;费卢西奥·达米亚尼;达尼洛·皮亚尼尼;米尔科·维罗利 与共享运营商进行现场协调。 （英语） Zbl 1534.68116号 日志。方法计算。科学。 16，第4号，第1号论文，41页（2020年）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛G.Audrito｝等人，日志。方法计算。科学。16，第4号，第1号论文，41页（2020年；Zbl 1534.68116） 全文： arXiv公司 链接
乔治·奥德里托;米尔科·维罗利;费卢西奥·达米亚尼;丹尼尔·皮亚尼尼;雅各布·比尔 关于计算场的高阶微积分。 （英语） Zbl 1533.68188号 Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 289-292 (2019).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Audrito}等人，Lect。注释计算。科学。11535289--292（2019年；Zbl 1533.68188） 全文： DOI程序 哈尔
米尔科·维罗利;雅各布·比尔;费卢西奥·达米亚尼;乔治·奥德里托;罗伯特·卡萨迪;丹尼尔·皮亚尼尼 从分布式协调到场微积分和聚合计算。 （英语） Zbl 1435.68049号 J.日志。代数。方法计划。 109，文章ID 100486，29 p.（2019）.MSC公司：64岁以下 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Viroli}等人，J.Log。代数。方法计划。109，文章ID 100486，29 p.（2019；Zbl 1435.68049） 全文： DOI程序 链接
乔治·奥德里托;米尔科·维罗利;费卢西奥·达米亚尼;丹尼尔·皮亚尼尼;雅各布·比尔 计算场的高阶微积分。 （英语） 兹比尔1407.68326 ACM事务处理。计算。日志。 20，第1号，第5条，55页（2019年）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Audrito}等人，《美国医学杂志》。计算。日志。20，第1号，第5条，55页（2019年；Zbl 1407.68326） 全文： DOI程序 arXiv公司
费卢西奥·达米亚尼;卢卡·帕多瓦尼;伊娜·谢弗;克里斯托夫·塞德尔 面向动态增量编程的核心演算。 （英语） Zbl 1404.68033号 学报信息。 55，第4号，269-307（2018）. 审核人：瓦伦蒂娜·达吉恩（维尔纽斯） MSC公司：68甲15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Damiani}等人，《学报》第55期，第4期，第269--307页（2018年；Zbl 1404.68033） 全文： DOI程序 链接
费卢西奥·达米亚尼;米尔科·维罗利 计算字段的基于类型的自稳定。 （英语） Zbl 1448.68336号 日志。方法计算。科学。 11，第4号，第21号论文，53页（2015）.MSC公司：68问题85 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Damiani}和\textit{M.Viroli}，日志。方法计算。科学。11，第4号，第21号论文，53页（2015；Zbl 1448.68336） 全文： DOI程序 arXiv公司
费卢西奥·达米亚尼;约翰·多夫兰;布罗克·约翰森，埃纳尔;伊娜·谢弗 验证特性：细粒度重用的增量证明系统。 （英语） Zbl 1342.68059号 正式Asp。计算。 26，第4期，761-793（2014）.MSC公司：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Damiani}等人，正式Asp。计算。26，第4号，761--793（2014；Zbl 1342.68059） 全文： DOI程序 链接
洛伦佐·贝蒂尼;萨拉·卡佩基;费卢西奥·达米亚尼 关于类Java语言的灵活动态特性替换。 （英语） Zbl 1284.68101号 科学。计算。程序。 78，第7期，907-932（2013）.MSC公司：68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人，科学。计算。程序。78，第7号，907--932（2013；Zbl 1284.68101） 全文： DOI程序
洛伦佐·贝蒂尼;费卢西奥·达米亚尼;伊娜·谢弗 面向增量的软件产品线的组合类型检查。 （英语） Zbl 1448.68212号 学报信息。 50，第2期，77-122（2013）.MSC公司：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人，《信息学报》第50期，第2期，第77-122页（2013年；Zbl 1448.68212） 全文： DOI程序 链接
大卫·安科纳;安德烈亚·科拉迪;乔瓦尼·拉戈里奥;费卢西奥·达米亚尼 面向对象语言抽象编译成共导CLP（X）：类型推理能满足验证吗？ （英语） Zbl 1308.68027号 Beckert，Bernhard（编辑）等人，面向对象软件的形式验证。2010年6月28日至30日，法国巴黎，FoVeOOS 2010国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18069-9/pbk）。计算机科学课堂讲稿6528，31-45（2011）。MSC公司：68甲15 68甲19 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}等人，Lect。注释计算。科学。6528，31-45（2011；Zbl 1308.68027） 全文： DOI程序
费卢西奥·达米亚尼;埃琳娜·贾奇诺;保拉·吉安尼尼;索菲亚·德罗索波卢 类JAVA语言中用于协调的类型安全状态抽象。 （英语） Zbl 1180.68098号 学报信息。 45，编号7-8，479-536（2008）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.Damiani}等人，《学报》第45期，第7--8、479--536号（2008年；Zbl 1180.68098） 全文： DOI程序