瓦伦蒂娜·卡斯蒂格利奥尼;丹尼尔·格布勒;西蒙·蒂尼 基于SOS的非确定性概率过程的模态分解。 （英文） Zbl 1448.68333号 日志。方法计算。科学。 14，第2号，第18号论文，51页（2018）.MSC公司：68问题85 03B45号 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}等人，日志。方法计算。科学。14，第2号，第18号论文，51页（2018；Zbl 1448.68333） 全文： 内政部 arXiv公司
丹尼尔·格布勒;西蒙·蒂尼 一致连续操作员的SOS规范。 （英文） 兹比尔1380.68296 J.计算。系统。科学。 92, 113-151 (2018).MSC公司：68问题85 68问题55 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gebler}和\textit{S.Tini}，J.Compute。系统。科学。92、113--151（2018年；Zbl 1380.68296） 全文： 内政部
丹尼尔·格布勒;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） 全文： 内政部
佩德罗·R·达吉尼奥。;李，马蒂亚斯·戴维;丹尼尔·格布勒 凸概率和抽象概率互模拟的SOS规则格式。 （英文） Zbl 1476.68170号 Crafa，Silvia（ed.）等人，第22届并发表达性国际研讨会和第12届结构操作语义研讨会论文集，EXPRESS/SOS 2015，西班牙马德里，2015年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）190，31-45（2015）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}等人，《电子》。程序。西奥。计算。科学。（EPTCS）190，31-45（2015；Zbl 1476.68170） 全文： arXiv公司 链接
德纳特，基督徒;丹尼尔·格布勒;米歇尔·沃尔帕托;大卫·詹森（David N.Jansen）。 关于概率系统的抽象。 （英文） Zbl 1426.68167号 Remke，Anne（编辑）等人，《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8453, 87-116 (2014).MSC公司：60年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dehnert}等人，Lect。注释计算。科学。8453，87-116（2014；Zbl 1426.68167） 全文： 内政部
佛罗里达州阿诺德;丹尼尔·格布勒;古克，丹尼斯;哈桑·哈特菲 交互式马尔可夫链教程。 （英文） Zbl 1426.68187号 Remke，Anne（编辑）等人，《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8453, 26-66 (2014).MSC公司：87年第68季度 60J20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Arnold}等人，Lect。注释计算。科学。8453，26-66（2014；Zbl 1426.68187） 全文： 内政部 链接