瓦伦蒂娜·卡斯蒂格利奥尼;拉诺特、拉格罗;西蒙·蒂尼 回到形式：概率过程的SOS调查。 （英语） Zbl 07803182号 J.日志。阿尔盖布。方法计划。 137，文章ID 100929，46 p.（2024）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}等人，J.Log。阿尔盖布。方法计划。137，文章ID 100929，46 p.（2024；Zbl 07803182） 全文： 内政部
菲利波·邦奇;芭芭拉·柯尼格;丹尼拉·佩特里西安 通过谎言实现行为指标的最新技术。 （英语） Zbl 07813346号 数学。结构。计算。科学。 33，编号4-5，182-221（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit｛F.Bonchi｝等人，《数学》。结构。计算。科学。33，编号4--5，182-221（2023；Zbl 07813346） 全文： 内政部 OA许可证
乔治·巴奇;乔瓦尼·巴奇;马蒂亚斯·克劳斯·詹森;Larsen，Kim G。 凸晶格方程组。 （英语） Zbl 1528.68206号 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。13660, 438-455 (2022).MSC公司：60年第68季度 2010年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，Lect。注释计算。科学。13660438--455（2022年；Zbl 1528.68206） 全文： 内政部
马丁·塔普勒;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。;乔瓦尼·巴奇;玛丽亚艾奇塞德;Larsen，Kim G。 \基于（L^\ast）的马尔可夫决策过程学习（扩展版本）。 （英语） Zbl 1519.68106号 正式Asp。计算。 33，编号4-5，575-615（2021）.MSC公司：68问题32 65年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛M.Tappler｝等人，正式Asp。计算。33，编号4--5，575--615（2021；Zbl 1519.68106） 全文： 内政部 arXiv公司
拉诺特、拉格罗;西蒙·蒂尼 具有不确定性和连续状态空间的模型中互模拟度量的弱语义方法。 （英语） Zbl 1497.68347号 西奥。计算。科学。 869, 29-61 (2021).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}和\textit{S.Tini}，Theor。计算。科学。869，29-61（2021；Zbl 1497.68347） 全文： 内政部
菲利波·邦奇;芭芭拉·柯尼格;丹尼拉·佩特里西安 通过谎言实现行为指标的最新技术。 （英语） Zbl 1520.68089号 Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第17条，第17页（2018年）。MSC公司：68问题85 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，LIPIcs——莱布尼茨国际程序。通知。118，第17条，第17页（2018；Zbl 1520.68089） 全文： 内政部 arXiv公司
拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼 无线网络八卦协议中的等式推理。 （英语） Zbl 1408.68030号 日志。方法计算。科学。 14，第3号，第24号论文，47页（2018年）. 审核人：Tiit Riismaa（塔林） MSC公司：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人，日志。方法计算。科学。14，第3号，第24号论文，47页（2018；Zbl 1408.68030） 全文： 内政部 arXiv公司
拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼 组密钥更新的组合弱度量。 （英语） Zbl 1441.68146号 Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第72条，第16页（2017）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人，LIPIcs——莱布尼茨国际程序。通知。83，第72条，第16页（2017年；Zbl 1441.68146） 全文： 内政部
丹尼尔·格布勒;Larsen，Kim G。;西蒙·蒂尼 基于概率过程计算的组合互模拟度量推理。 （英语） Zbl 1398.68365号 日志。方法计算。科学。 12，第4号，第12号论文，38页（2016）.MSC公司：68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gebler}等人，《日志》。方法计算。科学。12，第4号，第12号论文，38页（2016；Zbl 1398.68365） 全文： 内政部
佩德罗·R·达吉尼奥。;丹尼尔·格布勒;李，马蒂亚斯·戴维 概率转移系统规范的通用SOS理论。 （英语） Zbl 1344.68163号 Inf.计算。 249, 76-109 (2016).MSC公司：68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛P.R.D'Argenio｝等人，信息计算。249，76-109（2016年；兹比尔1344.68163） 全文： 内政部