编辑配置文件（在新选项卡中打开） 科什卡，米兰 合著者距离 作者ID： 塞斯卡·米兰 发布方式： 科什卡，米兰;塞斯卡，米兰 已编制索引的文档： 20出版物自1987年以来，包括1本书和1个附加arXiv预打印 2作为编辑的贡献 合著者： 35位合著者具有22联合出版物 727位联合作者 全部的 前5名合著者 0 单作者的 6 汤姆·沃纳 5 Marta Z.Kwiatkowska。 4 卢博什·布里姆 三 亚历山德罗·阿巴特 三 塞巴斯蒂安·荣格斯 三 Joost-Pieter卡托恩 三 萨夫拉内克，大卫 2 卢卡·卡德利 2 帕维尔·埃尔勒巴赫 2 弗拉迪米尔·贾努塞克 2 简·Křetínsk 2 卢卡·劳伦蒂 2 尼古拉·保莱蒂 1 斯特凡诺·奥尔德赫里 1 罗马人Andriushchenko 1 JiříBarnat 1 彼得·鲍赫 1 尼古拉·波比里 1 卢卡·博托卢西 1 费德里科·布萨托 1 Dannenberg，弗里茨 1 斯文·德拉赞 1 马丁·范策尔 1 马丁·海弗里奇 1 克里斯蒂安·亨塞尔 1 詹森，尼尔斯 1 兹登·科塔塞克 1 莫西尔·Křetínsk \345] 1 什蒂凡·马蒂切克 1 马季亚什 1 卢德克·马蒂斯卡 1 博伊沃伊·梅利查 1 卢多维特·莫尔纳 1 沃伊特·姆拉泽克 1 马克斯·惠特比 系列 2 计算的形式方面 1 信息学报 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 全部的 前5名领域 16 计算机科学（68至XX） 6 生物学和其他自然科学（92-XX） 5 概率论与随机过程（60-XX） 2 一般性和全局性主题；集合（00-XX） 2 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用32中的次29文件 引用人▼ 年份▼ 随机生化系统的精确参数综合。 Zbl 1373.92038号 科什卡，米兰;Dannenberg，弗里茨;尼古拉·保莱蒂;玛尔塔·奎亚特科夫斯卡;卢博什·布里姆 11 2017 语法指导下的化学反应网络优化合成。 兹比尔1494.68163 卢卡·卡德利;科什卡，米兰;马丁·范策尔;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂;尼古拉·保莱蒂;马克斯·惠特比 4 2017 马尔可夫链的自适应聚合：化学反应网络的定量分析。 Zbl 1381.68140号 亚历山德罗·阿巴特;卢博什·布里姆;科什卡，米兰;玛尔塔·奎亚特科夫斯卡 三 2015 概率程序的归纳综合达到了新的境界。 Zbl 1467.68035号 罗马人Andriushchenko;科什卡，米兰;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 三 2021 生物系统的模型检查。 Zbl 1380.92024号 卢博什·布里姆;科什卡，米兰;萨夫拉内克，大卫 2 2013 切换扩散的可达性计算，有限抽象，具有可验证和可调整的精度。 Zbl 1369.93728号 卢卡·劳伦蒂;亚历山德罗·阿巴特;卢卡·博托卢西;卢卡·卡德利;塞斯卡，米兰;玛尔塔·奎亚特科夫斯卡 2 2017 化学反应网络的半定量抽象和分析。 Zbl 07805550号 科什卡，米兰;简·Křetínsk 2 2019 牧羊群的马尔可夫链。 Zbl 1527.68144号 科什卡，米兰;詹森，尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 2 2019 线性链接结构程序的通用多模式验证。 Zbl 1125.68072号 科什卡，米兰;帕维尔·埃尔勒巴赫;汤姆·沃纳 1 2007 具有扩展线性链接数据结构的基于模式的程序验证。 Zbl 1276.68055号 科什卡，米兰;帕维尔·埃尔勒巴赫;汤姆·沃纳 1 2006 基于抽象的化学反应网络分段模拟。 Zbl 1505.92074号 马丁·海弗里奇;科什卡，米兰;简·Křetínsk;什蒂凡·马蒂切克 1 2022 基于抽象的化学反应网络分段模拟。 Zbl 1505.92074号 马丁·海弗里奇;科什卡，米兰;简·Křetínsk;什蒂凡·马蒂切克 1 2022 概率程序的归纳综合达到了新的水平。 Zbl 1467.68035号 罗马人Andriushchenko;科什卡，米兰;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 三 2021 化学反应网络的半定量抽象和分析。 Zbl 07805550号 科什卡，米兰;简·Křetínsk 2 2019 牧羊群的马尔可夫链。 Zbl 1527.68144号 科什卡，米兰;詹森，尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 2 2019 随机生化系统的精确参数综合。 Zbl 1373.92038号 科什卡，米兰;Dannenberg，弗里茨;尼古拉·保莱蒂;玛尔塔·奎亚特科夫斯卡;卢博什·布里姆 11 2017 化学反应网络的句法引导优化合成。 兹比尔1494.68163 卢卡·卡德利;科什卡，米兰;马丁·范策尔;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂;尼古拉·保莱蒂;马克斯·惠特比 4 2017 切换扩散的可达性计算，具有可证明和可调谐精度的有限抽象。 Zbl 1369.93728号 卢卡·劳伦蒂;亚历山德罗·阿巴特;卢卡·博托卢西;卢卡·卡德利;塞斯卡，米兰;玛尔塔·奎亚特科夫斯卡 2 2017 马尔可夫链的自适应聚合：化学反应网络的定量分析。 Zbl 1381.68140号 亚历山德罗·阿巴特;卢博什·布里姆;科什卡，米兰;玛尔塔·奎亚特科夫斯卡 三 2015 生物系统的模型检查。 Zbl 1380.92024号 卢博什·布里姆;科什卡，米兰;萨夫拉内克，大卫 2 2013 线性链接结构程序的通用多模式验证。 Zbl 1125.68072号 科什卡，米兰;帕维尔·埃尔勒巴赫;汤姆·沃纳 1 2007 具有扩展线性链接数据结构的基于模式的程序验证。 Zbl 1276.68055号 科什卡，米兰;帕维尔·埃尔勒巴赫;汤姆·沃纳 1 2006 所有引用出版物 前5名被引用出版物 全部的 前5名被70位作者引用 11 塞巴斯蒂安·荣格斯 9 Joost-Pieter卡托恩 5 科什卡，米兰 三 卢博什·布里姆 三 詹森，尼尔斯 三 拼写，Jip 三 马克斯·柴科夫斯基 三 安德烈·范丁 2 亚历山德罗·阿巴特 2 尼古拉·贝内什 2 卢卡·卡德利 2 塞缪尔·帕斯特瓦 2 吉列尔莫·A·佩雷斯。 2 萨夫拉内克，大卫 2 萨代赫·苏贾尼 2 米尔科·特里巴斯通 2 托拜厄斯·温克勒 2 马吉德·扎马尼 1 罗马人Andriushchenko 1 迈克尔·巴肯克勒 1 Badings，Thom S。 1 图菲克·贝努希巴 1 阿纳布·巴塔查里亚 1 艾琳·比杰曼。 1 卢卡·博托卢西 1 吉尔勒米纳·克莱杜 1 穆拉特·库布克特佩 1 Dannenberg，弗里茨 1 让-弗朗索瓦·杜富尔德 1 帕维尔·埃尔勒巴赫 1 格罗·曼（Gerrit Großmann） 1 拉杜·格罗苏 1 阿什图什·古普塔 1 见鬼，莱纳斯 1 马丁·海弗里奇 1 罗尔夫·亨尼克 1 克里斯蒂安·亨塞尔 1 安东尼奥·吉梅内斯·帕斯特 1 汉斯·迈克尔·卡尔滕巴赫 1 简·Křetínsk 1 拉克希曼·库普萨米 1 Marta Z.Kwiatkowska。 1 金·古德斯特兰·拉森 1 阿波法兹·拉瓦伊 1 亚历山大·勒吉扎蒙·罗巴约 1 索米亚·马尼 1 安德烈亚·马林 1 什蒂凡·马蒂切克 1 约书亚·默曼 1 阿梅内·内贾蒂 1 尼古拉·保莱蒂 1 伊凡·帕普萨 1 安德烈亚·佩鲁福 1 卡拉广场 1 哈桑·普纳瓦拉（Hasan A.Poonawala）。 1 何塞·普伦萨 1 萨宾娜·罗西 1 安吉特·舒克拉 1 马蒂杰斯·斯帕。 1 曼达扬·K·斯利瓦斯。 1 斯特林，约格 1 玛丽·斯托琳加 1 莫里斯·比克。 1 穆昆德·塔泰 1 乌富克托普库 1 Tribastone，微型 1 巴普蒂斯特·特平 1 汤姆·沃纳 1 马蒂亚斯·沃尔克 1 维雷娜·沃尔夫 全部的 前5名8篇连载文章中引用 三 信息学报 2 计算的形式方面 1 Automatica公司 1 计算机与系统科学杂志 1 理论计算机科学 1 欧洲控制杂志 1 计算机基础理论 1 计算机科学中的逻辑方法 全部的 前5名10个领域引用 20 计算机科学（68至XX） 7 概率论与随机过程（60-XX） 7 生物学和其他自然科学（92-XX） 4 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 2 常微分方程（34-XX） 2 系统论；控制（93至XX） 1 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文