编辑配置文件（在新选项卡中打开） 安妮·雷姆克 合著者距离 作者ID： remke.anne公司 发布日期： 安妮·雷姆克 已编制索引的文档： 10出版物自2005年以来 4作为编辑的贡献 合著者： 15位合著者具有14联合出版物 167位合作作者 全部的 前5名合著者 0 单作者的 6 Boudewijn R.哈维尔科特。 三 马尔科·格里博多 2 布，露西娅 2 卡琳娜·皮尔奇 1 哈米德·加塞米耶 1 阿恩·哈特曼斯 1 扬尼克·希尔斯 1 詹森，大卫·N。 1 安娜·科列斯尼琴科 1 丹尼尔·马尼尼 1 马蒂斯·尼哈吉 1 Alireza Pourranjabar公司 1 斯特凡·舒普 1 瓦莱里奥·塞尼 1 马里耶·斯托林加 系列 4 计算机科学课堂讲稿 1 理论计算机科学 领域 14 计算机科学（68至XX） 4 总体主题；集合（00-XX） 三 概率论与随机过程（60-XX） 1 数学逻辑和基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用12中的次10文件 引用人▼ 年份▼ 模型检查无限状态马尔可夫链。 Zbl 1087.68059号 安妮·雷姆克;Boudewijn R.哈维尔科特。;布，露西娅 4 2005 QBD的CSL模型检查算法。 Zbl 1159.68481号 安妮·雷姆克;Boudewijn R.哈维尔科特。;布，露西娅 2 2007 基于区域的混合Petri网分析，具有单个一般一次性转换。 Zbl 1374.68329号 哈米德·加塞米耶;安妮·雷姆克;Boudewijn，Haverkort;马可·格里鲍多 2 2012 无限状态结构马尔可夫链的CSL模型检验算法。 Zbl 1141.68355号 雷姆克，安妮;Boudewijn R.哈维尔科特。 1 2007 随机模型检查。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。 兹比尔1298.68033 1 2014 具有随机触发的混合Petri网的经典和非营养模型检验。 Zbl 07300851号 卡琳娜·皮尔奇;阿恩·哈特曼斯;安妮·雷姆克 1 2020 通过流管道构造优化一类受限随机混合自动机的可达概率。 兹比尔1491.68102 卡琳娜·皮尔奇;斯特凡·舒普;安妮·雷姆克 1 2021 通过流管道构造优化一类受限随机混合自动机的可达概率。 Zbl 1491.68102号 卡琳娜·皮尔奇;斯特凡·舒普;安妮·雷姆克 1 2021 具有随机触发的混合Petri网的经典和非营养模型检验。 Zbl 07300851号 卡琳娜·皮尔奇;阿恩·哈特曼斯;安妮·雷姆克 1 2020 随机模型检查。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。 Zbl 1298.68033号 1 2014 基于区域的混合Petri网分析，具有单个一般一次性转换。 Zbl 1374.68329号 哈米德·加塞米耶;安妮·雷姆克;Boudewijn，Haverkort;马可·格里鲍多 2 2012 QBD的CSL模型检查算法。 Zbl 1159.68481号 安妮·雷姆克;Boudewijn R.哈维尔科特。;布，露西娅 2 2007 无限状态结构马尔可夫链的CSL模型检验算法。 兹比尔1141.68355 安妮·雷姆克;Boudewijn R.哈维尔科特。 1 2007 模型检查无限状态马尔可夫链。 Zbl 1087.68059号 安妮·雷姆克;Boudewijn R.哈维尔科特。;布，露西亚 4 2005 所有引用出版物 前5名被引用出版物 全部的 前5名22位作者引用 三 安妮·雷姆克 2 克里斯特尔·拜尔 2 布，露西娅 2 Boudewijn R.哈维尔科特。 2 斯特凡·舒普 2 王建新 2 严国锋 1 艾丽卡·阿尔布拉汉姆 1 埃蒂安·安德烈 1 穆罕默德·阿卜杜拉希·阿兹戈米 1 陈树红 1 克莱门斯·杜伯斯拉夫 1 特里斯坦·埃伯特 1 霍尔格·赫尔曼斯 1 扬尼克·希尔斯 1 Joost-Pieter卡托恩 1 莱姆，迪迪埃 1 哈桑·莫塔列比 1 卡琳娜·皮尔奇 1 马蒂亚斯·拉普拉森 1 玛丽·斯托琳加 1 王卫平 5篇连载文章中引用 2 信息处理信函 2 信息与计算 1 理论计算机科学 1 系统设计中的形式化方法 1 计算机基础理论 在3个字段中引用 10 计算机科学（68至XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文