编辑配置文件（在新选项卡中打开） 塞尔吉奥·吉罗 合著者距离 作者ID： 吉罗·塞尔吉奥 发布日期： 塞尔吉奥·吉罗 已编制索引的文档： 7出版物自2007年起 合著者： 3位合著者具有4联合出版物 69位Co-Co作者 合著者 三 单作者的 三 佩德罗·鲁宾·达吉尼奥 2 费雷尔·菲奥里蒂，路易斯·玛丽亚 1 马库斯·拉贝。 系列 2 理论计算机科学 领域 7 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用24次20文件 引用人▼ 年份▼ 重新审视定量模型检验：既不可判定也不可近似。 Zbl 1141.68466号 塞尔吉奥·吉罗;佩德罗·R·达吉尼奥。 8 2007 概率系统的部分降阶：分布式调度程序的修订。 Zbl 1254.68149号 塞尔吉奥·吉罗;佩德罗·R·达吉尼奥。;费雷尔·菲奥里蒂，路易斯·玛丽亚 6 2009 使用反例引导改进验证部分信息概率系统。 兹比尔1374.68287 塞尔吉奥·吉罗;马库斯·拉贝。 4 2012 分布式概率输入/输出自动机：表达性、（不）可判定性和算法。 Zbl 1359.68168号 塞尔吉奥·吉罗;佩德罗·R·达吉尼奥。;费雷尔·菲奥里蒂，路易斯·玛丽亚 三 2014 分布式概率系统的不确定性结果。 Zbl 1266.68137号 塞尔吉奥·吉罗 2 2009 最优调度与最优基：一种有效精确求解马尔可夫决策过程的方法。 Zbl 1359.68193号 塞尔吉奥·吉罗 1 2014 分布式概率输入/输出自动机：表达性、（不）可判定性和算法。 Zbl 1359.68168号 塞尔吉奥·吉罗;D&rsquo；佩德罗·阿吉尼奥（Pedro R.Argenio）。;费雷尔·菲奥里蒂，路易斯·玛丽亚 三 2014 最优调度与最优基：一种有效精确求解马尔可夫决策过程的方法。 Zbl 1359.68193号 塞尔吉奥·吉罗 1 2014 使用反例引导改进验证部分信息概率系统。 Zbl 1374.68287号 塞尔吉奥·吉罗;马库斯·拉贝。 4 2012 概率系统的部分降阶：分布式调度程序的修订。 Zbl 1254.68149号 塞尔吉奥·吉罗;D&rsquo；佩德罗·阿杰尼奥。;费雷尔·菲奥里蒂，路易斯·玛丽亚 6 2009 分布式概率系统的不确定性结果。 Zbl 1266.68137号 塞尔吉奥·吉罗 2 2009 重新审视定量模型检查：既不可判定也不近似。 Zbl 1141.68466号 塞尔吉奥·吉罗;D&rsquo；佩德罗·阿杰尼奥。 8 2007 所有引用出版物 前5名被引用出版物 全部的 前5名43位作者引用 三 霍尔格·赫尔曼斯 三 塞巴斯蒂安·荣格斯 三 Joost-Pieter卡托恩 三 张丽君 2 克里斯特尔·拜尔 2 佩德罗·鲁宾·达吉尼奥 2 贝诺·德拉哈耶 2 克里斯蒂安·艾森特罗 2 费雷尔·菲奥里蒂，路易斯·玛丽亚 2 塞尔吉奥·吉罗 2 Jens Chr.Godskesen。 2 马库斯·格勒 2 拉森，金·古尔德斯特朗 2 Legay、Axel 2 格钦·诺曼 2 吉列尔莫·A·佩雷斯。 2 宋磊 2 马克·蒂默 2 托拜厄斯·温克勒 2 邹学毅 1 亚历山德罗·阿巴特 1 米盖尔·安德烈斯。 1 Nathalie Bertrand 1 Frank Ciesinski先生 1 谢尔盖·哈达德 1 亨利·汉森 1 见鬼，莱纳斯 1 大卫·詹森（David N.Jansen）。 1 Krčál，简 1 阿波法兹·拉瓦伊 1 约书亚·莫尔曼 1 本杰明·蒙梅格 1 卡图西亚帕拉米德斯 1 约书亚·萨克 1 安娜·索科洛娃 1 萨代赫·苏贾尼 1 拼写，Jip 1 玛丽·斯托琳加 1 范德波尔，扬·科内利斯 1 彼得·范·罗苏姆 1 Steen背心 1 杨鹏飞 1 马吉德·扎马尼 全部的 前5名6篇连载文章中引用 4 理论计算机科学 1 信息学报 1 Automatica公司 1 计算机与系统科学杂志 1 实时系统 1 逻辑与代数程序设计杂志 全部的 前5名在6个字段中引用 19 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 三 运筹学、数学规划（90-XX） 2 系统论；控制（93至XX） 1 概率论与随机过程（60-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文