菲利波·邦奇;巴巴拉·科尼格;丹尼拉·佩特里西安 通过谎言实现行为指标的最新技术。 （英语） Zbl 07813346号 数学。结构。计算。科学。 33，编号4-5，182-221（2023）.理学硕士：68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，数学。结构。计算。科学。33，编号4--5，182-221（2023；Zbl 07813346） 全文： 内政部 OA许可证
菲利波·邦奇;安娜·索科洛娃;瓦莱里亚·维格努德利 具有不确定性、概率和终止性的系统的迹理论。 （英语） Zbl 07566077号 日志。方法计算。科学。 18，第2号，第21号论文，66页（2022年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，日志。方法计算。科学。18，第2号，第21号论文，66页（2022；Zbl 07566077） 全文： arXiv公司 链接
菲利波·邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃 通过凸代数幂的分布双相似性。 （英语） Zbl 1480.18005号 日志。方法计算。科学。 17，第3号，第10号论文，28页（2021年）. 审核人：Ernst-Erich Doberkat（多特蒙德） 理学硕士：18立方厘米 03B42号 87年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，日志。方法计算。科学。17，第3号，第10号论文，第28页（2021；Zbl 1480.18005） 全文： arXiv公司 链接
菲利波·邦奇;巴巴拉·科尼格;丹尼拉·佩特里西安 通过谎言实现行为指标的最新技术。 （英语） Zbl 1520.68089号 Schewe，Sven（编辑）等人，第29届并发理论国际会议。2018年9月4日至7日，中国北京。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第17条，第17页（2018年）。理学硕士：68问题85 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，LIPIcs——莱布尼茨国际程序。通知。118，第17条，第17页（2018；Zbl 1520.68089） 全文： 内政部 arXiv公司
菲利波·邦奇;亚历山大·席尔瓦;安娜·索科洛娃 凸代数的幂。 （英语） Zbl 1442.68085号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第23条，第18页（2017年）。理学硕士：第68季度第45季度 68问题55 70年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，LIPIcs——莱布尼茨国际程序。通知。85，第23条，第18页（2017年；Zbl 1442.68085） 全文： 内政部
菲利波·邦奇;马塞洛·邦桑格;米歇尔·博雷尔;简·拉特;亚历山德拉·席尔瓦 线性加权自动机的联合观点。 （英语） Zbl 1279.68235号 Inf.计算。 211, 77-105 (2012).理学硕士：70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，《信息计算》。211、77——105（2012；Zbl 1279.68235） 全文： 内政部
亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;简·拉特 定量Kleene余代数。 （英语） Zbl 1227.68075号 Inf.计算。 209，第5期，822-849（2011）. 审核人：卢茨·施罗德（不来梅） 理学硕士：70年第68季度 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Silva}等人，《信息计算》。209，第5号，822--849（2011；Zbl 1227.68075） 全文： 内政部 链接
菲利波·邦奇;马塞洛·邦桑格;简·拉特;亚历山德拉·席尔瓦 导出定量规则行为的语法和公理。 （英语） Zbl 1254.68129号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710146-162（2009）。理学硕士：第68季度第45季度 68问题65 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛F.Bonchi｝等人，Lect。注释计算。科学。5710、146--162（2009年；Zbl 1254.68129） 全文： 内政部