编辑配置文件(在新选项卡中打开) 斯特凡·舒普 合著者距离 作者ID: 肖普·斯特凡 发布方式: 斯特凡·舒普 已编制索引的文档: 6出版物自2011年起 合著者: 7合著者具有5联合出版物 126位合作作者 全部的 前5名合著者 0 单作者的 4 艾丽卡·阿尔布拉汉姆 1 尼古拉·博塔 1 弗洛里安·科齐利厄斯 1 特里斯坦·埃伯特 1 塞萨尔·伊奥内斯库 1 塞巴斯蒂安·荣格斯 1 基里恩·克莱默 1 D.林克。 1 安托万·曼德尔 1 皮尔奇,卡琳娜 1 安妮·雷姆克 系列 1 应用数学与计算 1 信息与计算 领域 5 计算机科学(68至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用23中的次19文件 引用人▼ 年份▼ SMT-RAT型:开源C类++用于战略和并行SMT解决的工具箱。 Zbl 1471.68241号 弗洛里安·科齐利厄斯;基里恩·克莱默;塞巴斯蒂安·荣格斯;斯特凡·舒普;艾丽卡·阿尔布拉汉姆 17 2015 混合系统可达性分析的有效动态误差减少。 Zbl 1423.68290号 斯特凡·舒普;艾丽卡·阿尔布拉汉姆 4 2018 通过流管道构造优化一类受限随机混合自动机的可达概率。 Zbl 1491.68102号 皮尔奇,卡琳娜;斯特凡·舒普;安妮·雷姆克 1 2021 推广工作:混合系统的多线程安全分析。 Zbl 1509.68172号 斯特凡·舒普;艾丽卡·阿尔布拉汉姆 1 2018 基于代理的交换模型的功能框架。 兹比尔1239.91094 北卡罗来纳州博塔。;A.曼德尔。;伊奥内斯库,C。;M.霍夫曼。;D.林克。;S.舒普。;耶格尔,C。 1 2011 通过流管道构造优化一类受限随机混合自动机的可达概率。 Zbl 1491.68102号 皮尔奇,卡琳娜;斯特凡·舒普;安妮·雷姆克 1 2021 混合系统可达性分析的有效动态误差减少。 Zbl 1423.68290号 斯特凡·舒普;艾丽卡·阿尔布拉汉姆 4 2018 推广工作:混合系统的多线程安全分析。 Zbl 1509.68172号 斯特凡·舒普;艾丽卡·阿尔布拉汉姆 1 2018 SMT-RAT型:开源C类++用于战略和并行SMT解决的工具箱。 Zbl 1471.68241号 弗洛里安·科齐利厄斯;基里恩·克莱默;塞巴斯蒂安·荣格斯;斯特凡·舒普;艾丽卡·阿尔布拉汉姆 17 2015 基于代理的交换模型的功能框架。 Zbl 1239.91094号 北卡罗来纳州博塔。;A.曼德尔。;伊奥内斯库,C。;M.霍夫曼。;D.林克。;S.舒普。;杰格,C。 1 2011 所有引用出版物 前5名被引用出版物 全部的 前5名54位作者引用 10 艾丽卡·阿尔布拉汉姆 7 基里恩·克莱默 三 詹姆斯·哈罗德·达文波特 三 英格兰,马修 2 亚历山德罗·西马蒂 2 弗洛里安·科齐利厄斯 2 阿尔贝托·格里乔 2 斯特凡·舒普 2 托马斯·斯特姆 1 约翰·A·阿伯特。 1 马蒂亚斯·阿尔霍夫 1 斯坦利·巴克 1 克拉克·W·巴雷特。 1 Stylianos巴萨吉安尼斯 1 贝恩德·贝克尔 1 安娜·玛丽亚,比加蒂 1 布莱恩,马丁 1 克里斯托弗·布朗(Christopher W.Brown)。 1 布赫伯格,布鲁诺 1 凯瑟琳·科德威尔 1 mnesc博士,Isabela 1 特里斯坦·埃伯特 1 梅德利纳·埃拉什库 1 帕斯卡尔·方丹 1 史蒂芬·福雷斯特 1 乔治·詹塔米迪斯 1 恩斯特·莫里茨·哈恩 1 都铎Jebelean 1 德扬·约瓦诺维奇 1 塞巴斯蒂安·荣格斯 1 尼古拉斯·科奇杜普尔 1 科斯塔斯库拉马斯 1 丹尼尔·科宁 1 尼克拉斯·克鲁夫 1 Kusper,Gabor加博 1 恩里科·利帕里尼 1 米兰洛普哈·茨瓦肯贝格 1 克里斯托夫·吕德斯 1 斯特凡·米奇 1 贾斯珀·纳尔巴赫 1 斯蒂芬诺·尼科莱蒂(Stefano M.Nicoletti)。 1 安德烈·普拉泽 1 奥维迪乌·拉杜列斯库 1 安德鲁·雷诺兹 1 马蒂亚斯·沙拉格 1 罗伯托·塞巴斯蒂亚尼 1 Werner M.塞勒。 1 菲利普·斯佩克特 1 玛丽·斯托琳加 1 斯特拉图拉特,索林 1 塞萨尔·蒂内利 1 Tsachouridis,Vassilios A。 1 塞巴斯蒂安·沃尔彻 1 马克·韦兹林格 全部的 前5名6篇连载文章中引用 2 符号计算杂志 1 信息与计算 1 计算机科学中的数学 1 《大学学报》。Informatica公司 1 数值代数、控制与优化 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在12个字段中引用 18 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 数值分析(65-XX) 2 运筹学、数学规划(90-XX) 1 场论和多项式(12-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 常微分方程(34-XX) 1 动力系统和遍历理论(37至XX) 1 代数拓扑(55-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文