编辑配置文件(在新选项卡中打开) 阿梅利·施泰纳 合著者距离 作者ID: 染色剂 发布日期: 阿梅利·施泰纳;阿梅莉·施泰纳 已编制索引的文档: 10出版物自2011年起 合著者: 17合著者具有9联合出版物 535位合作作者 全部的 前5名合著者 1 单作者的 5 纳塔莉·伯特兰 4 蒂埃里·杰伦 4 莫伊斯·克里钦 2 吉勒·杰勒茨 2 乔·古森 1 丹尼·鲍尔森(Danny Bougsted Poulsen) 1 帕特里夏·鲍耶 1 托马斯·布里海耶 1 彼得·布利切夫(Peter E.Bulychev)。 1 洛伦佐·克莱门特 1 亚历山大·戴维 1 弗雷德里克·赫布雷托 1 金·古德斯特兰·拉森 1 Legay、Axel 1 李广元 1 阮氏文安 1 格雷戈伊尔·萨特雷 系列 1 理论计算机科学 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 领域 10 计算机科学(68至XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用29中的次22文件 引用人▼ 年份▼ 确定时间自动机的博弈方法。 Zbl 1326.68173号 纳塔莉·伯特兰;阿梅利·施泰纳;蒂埃里·杰伦;莫伊斯·克里钦 6 2011 一种确定时间自动机的博弈方法。 Zbl 1323.68337号 纳塔莉·伯特兰;阿梅利·施泰纳;蒂埃里·杰伦;莫伊斯·克里钦 5 2015 通信定时进程的可达性。 Zbl 1260.68262号 洛伦佐·克莱门特;弗雷德里克·赫布雷托;阿梅莉·施泰纳;格雷戈伊尔·萨特雷 4 2013 非确定性时间自动机的离线测试选择与测试目的。 Zbl 1248.68319号 纳塔莉·伯特兰;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 4 2012 加权度量时态逻辑的基于监视器的统计模型检查。 兹比尔1352.68147 彼得·布里切夫;亚历山大·戴维;金·古德斯特兰·拉森;Legay、Axel;李广元;丹尼·鲍尔森(Danny Bougsted Poulsen);阿梅莉·施泰纳 4 2012 非确定性时间自动机的离线测试选择与测试目的。 Zbl 1315.68082号 纳塔莉·伯特兰;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 三 2011 健忘时间自动机中的频率。 Zbl 1375.68074号 阿梅利·施泰纳 1 2012 综合安全游戏中的简洁策略,并应用于实时调度。 Zbl 1393.68038号 吉勒·杰勒茨;乔·古森;阮,Thi-Van-Anh;阿梅利·施泰纳 1 2018 在安全和可达性游戏中综合简洁的策略。 Zbl 1393.68039号 吉勒·杰勒茨;乔·古森;阿梅利·施泰纳 1 2014 综合安全游戏中的简洁策略,并应用于实时调度。 兹比尔1393.68038 吉勒·杰勒茨;乔·古森;阮,Thi-Van-Anh;阿梅利·施泰纳 1 2018 确定时间自动机的博弈方法。 Zbl 1323.68337号 纳塔莉·伯特兰;艾米莉·斯坦纳;蒂埃里·杰伦;莫伊斯·克里钦 5 2015 在安全和可达性游戏中综合简洁的策略。 Zbl 1393.68039号 吉勒·杰勒茨;乔·古森;阿梅利·施泰纳 1 2014 通信定时进程的可达性。 Zbl 1260.68262号 洛伦佐·克莱门特;弗雷德里克·赫布雷托;阿梅莉·施泰纳;格雷戈伊尔·萨特雷 4 2013 非确定性时间自动机的离线测试选择与测试目的。 Zbl 1248.68319号 纳塔莉·伯特兰;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 4 2012 加权度量时态逻辑的基于监视器的统计模型检查。 兹比尔1352.68147 彼得·布里切夫;亚历山大·戴维;金·古德斯特兰·拉森;Legay、Axel;李广元;丹尼·鲍尔森(Danny Bougsted Poulsen);阿梅莉·施泰纳 4 2012 健忘时间自动机中的频率。 Zbl 1375.68074号 阿梅利·施泰纳 1 2012 确定时间自动机的博弈方法。 Zbl 1326.68173号 纳塔莉·伯特兰;阿梅利·施泰纳;蒂埃里·杰伦;莫伊斯·克里钦 6 2011 非确定性时间自动机的离线测试选择与测试目的。 Zbl 1315.68082号 纳塔莉·伯特兰;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 三 2011 所有引用的出版物 前5名被引用出版物 全部的 前5名48位作者引用 5 蒂埃里·杰伦 三 洛伦佐·克莱门特 三 利奥·亨利 三 金·古德斯特兰·拉森 三 尼古拉斯·马基 三 阿梅利·施泰纳 2 艾切尔尼格,伯恩哈德·K。 2 阿克西,S。 2 纳塔莉·伯特兰 2 吉勒·杰勒茨 2 洛依茨海露 2 莫伊斯·克里钦 2 萨沃米尔·拉索塔 2 弗洛里安·洛伯 2 德扬·尼科维奇 2 拉多斯·瓦·皮奥科夫斯基 2 阿姆诺·罗森曼 1 尤金·亚萨林 1 班克斯,C.J。 1 马西莫·巴托莱蒂 1 尼古拉斯·巴塞特 1 劳拉·博奇 1 彼得·布利切夫(Peter E.Bulychev)。 1 汤姆·乔西亚 1 亚历山大·戴维 1 德波尔(Frank S。 1 奥尔德里克·德戈尔 1 乌里·法伦贝格 1 布莱斯·基内斯特 1 乔·古森 1 托马斯·莫勒·格罗森 1 什巴希斯·古哈 1 彼得·霍夫曼 1 穆罕默德·马赫迪·贾古奥里 1 肖恩·考夫曼 1 Legay、Axel 1 李广元 1 朱塞佩·利帕里 1 Delphine Longuet 1 莫里齐奥·穆尔吉亚 1 阮,Thi van Anh 1 拉姆昌德拉·帕瓦德 1 Jean-Fran Raskin是 1 马尔詹·西尔贾尼 1 伊恩·斯塔克 1 孙友成 1 帕特里克·托茨克 1 马丁·齐默尔曼 全部的 前5名7篇连载文章中引用 2 信息学报 2 信息与计算 2 实时系统 2 系统设计中的形式化方法 1 理论计算机科学 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 22 计算机科学(68至XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 数理逻辑与基础(03-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文