乔安·拉斯加;克里斯蒂娜·瑟纳达斯;埃里萨·卡拉菲利;卢卡·维甘诺 时间戳索赔逻辑。 （英语） Zbl 1494.03045号 日志。J.IGPL公司 29，第3号，303-332（2021）.MSC公司：03B44号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人，日志。J.IGPL 29，编号3，303--332（2021；Zbl 1494.03045） 全文： 内政部 arXiv公司 链接
詹姆·拉莫斯;乔安·拉斯加;克里斯蒂娜·瑟纳达斯;卢卡·维甘诺 基于事件的时间戳索赔逻辑。 （英语） Zbl 07377685号 J.日志。阿尔盖布。方法计划。 121，文章ID 100684，28 p.（2021）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ramos}等人，J.Log。阿尔盖布。方法计划。121，文章ID 100684，28 p.（2021；Zbl 07377685） 全文： 内政部
卢卡·维甘诺;马尔科·沃尔佩;玛格丽塔·佐齐 用于推理无纠缠量子态变换的分支分布式时序逻辑。 （英语） Zbl 1372.68191号 Inf.计算。 255，第2部分，311-333（2017）.MSC公司：68问题85 03B44号 81页第45页 PDF格式BibTeX公司 XML格式引用 \textit｛L.Viganå｝等人，Inf.Comput。255，第2部分，311--333（2017；Zbl 1372.68191） 全文： 内政部 链接
卢卡·维甘诺;马尔科·沃尔佩;玛格丽塔·佐齐 量子态变换和分支分布式时序逻辑。受邀论文。 （英语） Zbl 1372.68190号 Kohlenbach，Ulrich（编辑）等人，《逻辑、语言、信息和计算》。第21届国际研讨会，WoLLIC 2014，智利瓦尔帕拉索，2014年9月1日至4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-44144-2/pbk）。计算机科学讲座笔记8652，1-19（2014）。MSC公司：68问题85 03B44号 81页第45页 PDF格式BibTeX公司 XML格式引用 \textit{L.Viganó}等人，Lect。注释计算。科学。8652，1-19（2014；Zbl 1372.68190） 全文： 内政部
卡洛斯·卡莱罗;卢卡·维甘诺;马尔科·沃尔佩 关于多维模态逻辑的镶嵌方法：结合时态和模态算子的案例研究。 （英语） Zbl 1283.03039号 日志。通用。 7，第1期，33-69（2013）.MSC公司：03B45号 03B44号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}等人，《日志》。Univers大学。7、第1号、第33--69号（2013；Zbl 1283.03039） 全文： 内政部
安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 捆绑分支时态逻辑的标记自然演绎。 （英语） Zbl 1252.03038号 J.日志。计算。 21，第6号，1093-1163（2011）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Masini}等人，J.Log。计算。21，第6号，1093--1163（2011；Zbl 1252.03038） 全文： 内政部
戴维·巴恩斯;卡洛斯·卡莱罗;詹姆·拉莫斯;卢卡·维甘诺 用于分析安全协议模型的分布式时序逻辑。 （英语） Zbl 1253.68053号 西奥。计算。科学。 412，第31号，4007-4043（2011）.MSC公司：68个M12 64岁以下 03B44号 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人，Theor。计算。科学。412，编号314007-4043（2011年；兹bl 1253.68053） 全文： 内政部
安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 直到的历史。 （英语） 兹伯利1345.03031 Bolander，Thomas（编辑）等人，《第六届模式方法研讨会论文集》（M4M-6 2009），丹麦哥本哈根，2009年11月12-14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》262189-204（2010）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Masini}等人，《电子》。注释Theor。计算。科学。262189-204（2010；Zbl 1345.03031） 全文： 内政部
安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 从未来回来。 （英语） Zbl 1242.03046号 J.应用。非类别。日志。 20，第3期，241-277（2010）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Masini}等人，J.Appl。非类别。日志。20，第3号，241--277（2010；Zbl 1242.03046） 全文： 内政部
戴维·巴恩斯;卡洛斯·卡莱罗;詹姆·拉莫斯;卢卡·维甘诺 分布式时序逻辑的标签表。 （英语） Zbl 1196.03044号 J.日志。计算。 19，第6期，1245-1279（2009）. 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03B70号 03B44号 68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人，J.Log。计算。19，第6号，1245--1279（2009；Zbl 1196.03044） 全文： 内政部 链接
安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 CTL片段（^{*}）的标记自然演绎系统。 （英语） Zbl 1211.03032号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。国际研讨会，2009年LFCS，美国佛罗里达州迪尔菲尔德海滩，2009年1月3日至6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92686-3/pbk）。计算机科学课堂讲稿5407338-353（2009）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Masini}等人，Lect。注释计算。科学。5407338-353（2009年；Zbl 1211.03032） 全文： 内政部
卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 使用分布式时态逻辑对安全协议进行元推理。 （英语） Zbl 1272.68051号 Armando，A.（ed.）等人，《安全协议分析自动化推理研讨会论文集》（ARSPA 2004），爱尔兰科克，2004年7月4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》125，第1期，67-89（2005）。MSC公司：68个M12 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}等人，《电子》。注释Theor。计算。科学。125，第1号，67--89（2005；Zbl 1272.68051） 全文： 链接
卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 用于安全协议分析的关联串空间和分布式时序逻辑。 （英语） Zbl 1098.03039号 日志。J.IGPL公司 13，第6期，637-663（2005）.MSC公司：03B70号 03B44号 68个M12 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}等人，《日志》。J.IGPL 13，第6号，637--663（2005；Zbl 1098.03039） 全文： 内政部 链接