编辑配置文件（在新选项卡中打开） 戈兰·弗雷斯 合著者距离 作者ID： 弗雷斯戈兰 发布日期： 戈兰·弗雷斯 已编制索引的文档： 17出版物自2005年以来 4作为编辑的贡献 合著者： 28位合著者具有19联合出版物 754位合作作者 全部的 前5名合著者 2 单作者的 7 塞尔吉·博戈莫洛夫 三 马塞洛·福雷茨 三 米尔科·贾科布 三 安德烈亚斯·波德尔斯基 三 克里斯蒂安·席林 2 埃蒂安·安德烈 2 塞巴斯蒂安·恩格尔 2 阿米特·古龙 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 李东旭 2 乔治·马蒂乌斯 2 斯特凡诺·米诺波利 2 Rayarshi Ray 2 埃克哈德·施尼德 1 艾丽卡·阿尔布拉汉姆 1 陈欣 1 劳伦特·多恩 1 马吕斯·格雷萨克斯 1 苏米特·库马尔 1 拉贾特·凯特加 1 布鲁斯·H·克罗。 1 科拉斯·勒格尔尼奇 1 乔治·J·帕帕斯。 1 安德烈·普拉泽 1 科斯蒂安·波托姆金 1 托马斯·斯特伦普 1 Viry，Frédéric 1 埃纳州扎法内拉 系列 2 控制与信息科学课堂讲稿 1 信息与计算 1 非线性分析。混合动力系统 1 OASIcs–信息学中的OpenAccess系列 1 理论计算机科学电子论文集（EPTCS） 领域 18 计算机科学（68至XX） 12 系统论；控制（93至XX） 4 总体主题；集合（00-XX） 1 凸和离散几何（52至XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用169中的次138文件 引用人▼ 年份▼ PHAVer：通过HyTech对混合系统进行算法验证。 Zbl 1078.93533号 戈兰·弗雷斯 63 2005 混合系统的建模、分析和设计。 Zbl 1003.93001号 18 2002 JuliaReach：基于集合的可达性工具箱。 Zbl 07120139号 塞尔吉·博戈莫洛夫；马塞洛·福雷茨；戈兰·弗雷斯；科斯蒂安·波托姆金；克里斯蒂安·席林 16 2019 流管近似和时空聚类。 Zbl 1362.93015号 戈兰·弗雷斯；拉贾特·凯特加；科拉斯·勒格尔尼奇 13 2013 混合系统的验证。 Zbl 1392.68246号 劳伦特·多恩；戈兰·弗雷斯；乔治·帕帕斯。；安德烈·普拉泽 11 2018 线性混合自动机参数综合的反例指导方法。 Zbl 1143.68435号 戈兰·弗雷斯；苏米特·库马尔；布鲁斯·H·克罗。 11 2008 通过低维集和高维矩阵的分解达到集近似。 Zbl 1417.93059号 塞尔吉·博戈莫洛夫；马塞洛·福雷茨；戈兰·弗雷斯；Viry，Frédéric；安德烈亚斯·波德尔斯基；克里斯蒂安·席林 11 2018 混合系统的建模、分析和设计。 Zbl 0991.00028号 7 2002 模板多面体的反例引导细化。 Zbl 1452.68099号 塞尔吉·博戈莫洛夫；戈兰·弗雷斯；米尔科·贾科布；托马斯·亨辛格（Thomas A.Henzinger）。 7 2017 关于混合系统的时间仿真关系和组成。 Zbl 1141.68434号 戈兰·弗雷斯 4 2006 使用支持功能消除可达性中的虚假转换。 Zbl 1364.93056号 戈兰·弗雷斯；塞尔吉·博戈莫洛夫；马吕斯·格雷萨克斯；托马斯·斯特伦普；安德烈亚斯·波德尔斯基 4 2015 使用符号可达性和轨迹拼接对混合系统进行伪造。 Zbl 07120135号 塞尔吉·博戈莫洛夫；戈兰·弗雷斯；阿米特·古龙；李东旭；乔治·马蒂乌斯；Rayarshi Ray 2 2019 矩形自动机的有效有界可达性计算。 Zbl 1348.68097号 陈欣；艾丽卡·阿尔布拉汉姆；戈兰·弗雷斯 1 2011 时空插值。 兹比尔1511.68155 戈兰·弗雷斯；米尔科·贾科布；托马斯·亨辛格（Thomas A.Henzinger）。 1 2018 JuliaReach：基于集合的可达性工具箱。 Zbl 07120139号 塞尔吉·博戈莫洛夫；马塞洛·福雷茨；戈兰·弗雷斯；科斯蒂安·波托姆金；克里斯蒂安·席林 16 2019 使用符号可达性和轨迹拼接对混合系统进行伪造。 Zbl 07120135号 塞尔吉·博戈莫洛夫；戈兰·弗雷斯；阿米特·古龙；李东旭；乔治·马蒂乌斯；Rayarshi Ray 2 2019 混合系统的验证。 Zbl 1392.68246号 劳伦特·多恩；戈兰·弗雷斯；乔治·帕帕斯。；安德烈·普拉泽 11 2018 通过低维集和高维矩阵的分解达到集近似。 Zbl 1417.93059号 塞尔吉·博戈莫洛夫；马塞洛·福雷茨；戈兰·弗雷斯；Viry，Frédéric；安德烈亚斯·波德尔斯基；克里斯蒂安·席林 11 2018 时空插值。 兹比尔1511.68155 戈兰·弗雷斯；米尔科·贾科布；托马斯·亨辛格（Thomas A.Henzinger）。 1 2018 模板多面体的反例引导细化。 Zbl 1452.68099号 塞尔吉·博戈莫洛夫；戈兰·弗雷斯；米尔科·贾科布；托马斯·亨辛格（Thomas A.Henzinger）。 7 2017 使用支持功能消除可达性中的虚假转换。 Zbl 1364.93056号 戈兰·弗雷斯；塞尔吉·博戈莫洛夫；马吕斯·格雷萨克斯；托马斯·斯特伦普；安德烈亚斯·波德尔斯基 4 2015 流管近似和时空聚类。 Zbl 1362.93015号 戈兰·弗雷斯；拉贾特·凯特加；科拉斯·勒格尔尼奇 13 2013 矩形自动机的有效有界可达性计算。 Zbl 1348.68097号 陈欣；艾丽卡·阿尔布拉汉姆；戈兰·弗雷斯 1 2011 线性混合自动机参数综合的反例指导方法。 Zbl 1143.68435号 戈兰·弗雷斯；苏米特·库马尔；布鲁斯·H·克罗。 11 2008 关于混合系统的时间仿真关系和组成。 Zbl 1141.68434号 戈兰·弗雷斯 4 2006 PHAVer：通过HyTech对混合系统进行算法验证。 Zbl 1078.93533号 戈兰·弗雷斯 63 2005 混合动力系统的建模、分析和设计。 Zbl 1003.93001号 18 2002 混合系统的建模、分析和设计。 Zbl 0991.00028号 7 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名325位作者引用 7 安德烈·普拉泽 6 塞尔吉·博戈莫洛夫 6 Thao Dang先生 5 马蒂亚斯·阿尔特霍夫 5 斯坦利·巴克 5 达姆，沃纳 5 戈兰·弗雷斯 4 巴希尔·艾哈迈德 4 克里斯蒂安·席林 4 埃纳州扎法内拉 三 亚历山德罗·阿巴特 三 博塔科夫斯基。 三 托马索·德罗西 三 冯恩敏 三 马塞洛·福雷茨 三 托马斯·亨辛格（Thomas A.Henzinger）。 三 A.Agung朱利叶斯 三 尼古拉斯·科奇杜普尔 三 乔治·帕帕斯。 三 卡拉广场 三 米歇尔·阿德里安 三 雅各布斯·E·罗达。 三 桑卡拉纳拉亚南，斯里拉姆 三 R.R.H.希弗勒。 三 维奥里卡Sofrone-Stokkerman 三 范·比克，D.A。 三 马克·韦兹林格 三 尹洪超 2 哈萨内·阿拉 2 卜、雷 2 弗兰克·卡塞兹 2 达里奥·卡塔鲁扎 2 亚历山德罗·西马蒂 2 海宁·迪尔克斯 2 斯特凡·迪什 2 帕拉萨拉·斯里达尔·达吉拉拉 2 米尔科·贾科布 2 安托万·吉拉德 2 威廉·哈格曼 2 福尔克·汉特。 2 Huerta y Munive，乔纳森·朱利安 2 布鲁斯·H·克罗。 2 丹尼尔·科宁 2 阿德里安·库姆伯格 2 金·古德斯特兰·拉森 2 李东旭 2 李宣东 2 奥德·马勒 2 伙计，卡洛克 2 弗洛里安·皮戈什 2 阿米尔·普努利 2 安德烈亚斯·波德尔斯基 2 帕维特拉·普拉巴卡 2 安妮·雷姆克 2 克里斯托夫·斯科尔 2 彼得·施拉梅尔 2 斯特凡·舒普 2 乔治·斯特鲁斯 2 Tan，Yong Kiam先生 2 王国涛 2 王，胡安 2 秀、志龙 2 叶建雄 2 埃琳娜·扎托尼 2 张立红 1 苏米特·贾·安纳德 1 艾丽卡·阿尔布拉汉姆 1 尤尔根·阿达米 1 阿文德·阿迪穆兰 1 拉维·P·阿加瓦尔。 1 沃尔夫冈·阿伦特 1 亚明·艾特阿默尔 1 贝扎德·阿克巴普尔 1 马迪亚·阿尔甘米 1 阿迪卜，阿拉哈姆 1 艾哈迈德·艾德·塞勒姆·阿尔萨迪 1 劳拉·阿尔蒂莉·桑巴托洛美 1 何塞·多明戈·阿尔瓦雷斯 1 吉安卢卡·阿马托 1 埃蒂安·安德烈 1 大卫·安德烈 1 Antsaklis，Panos J。 1 尼科斯·阿雷奇加 1 尤金·亚萨林 1 埃里克·阿塞林 1 Jos C.M.Baeten。 1 罗伯特·巴格纳拉 1 西蒙·巴尔迪 1 埃齐奥·巴托奇 1 Stylianos巴萨吉安尼斯 1 梅尔特·巴什图阿 1 格雷戈里·巴特 1 斯蒂芬·贝克尔。 1 本·萨西，穆罕默德·阿明 1 马西莫·贝内雷切蒂 1 尼克·贝扎尼什维利 1 多梅尼科·比安库利 1 特雷弗·J·伯德。 1 桑托什·比斯瓦斯 1 Jörg Bormann …还有225位作者 全部的 前5名32篇连载文章中引用 11 非线性分析。混合动力系统 9 Automatica公司 9 系统设计中的形式化方法 6 理论计算机科学 4 信息与计算 4 自动推理杂志 4 离散事件动态系统 三 国际计算机与系统科学杂志 2 数学和计算机建模 2 计算的形式方面 2 摘要与应用分析 2 逻辑与代数程序设计杂志 2 计算机科学中的数学 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 国际控制杂志 1 富兰克林学院学报 1 应用数学与计算 1 非线性分析。理论、方法和应用。系列A：理论与方法 1 最优控制应用与方法 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 数学编程。A系列B系列 1 工程中的数学问题 1 欧洲控制杂志 1 国际应用数学与计算机科学杂志 1 计算机基础理论 1 微分方程 1 差分方程研究进展 1 计算机科学中的逻辑方法 1 数值代数、控制与优化 1 国际系统科学杂志。系统与集成原理与应用 全部的 前5名19个领域引用 86 计算机科学（68至XX） 66 系统论；控制（93至XX） 11 常微分方程（34-XX） 11 运筹学、数学规划（90-XX） 11 生物学和其他自然科学（92-XX） 10 数理逻辑与基础（03-XX） 10 变分法与最优控制；最优化（49至XX） 8 数值分析（65-XX） 5 动力系统和遍历理论（37至XX） 4 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 三 算子理论（47-XX） 三 信息与通信理论、电路（94-XX） 2 偏微分方程（35-XX） 2 凸和离散几何（52至XX） 2 统计学（62-XX） 1 组合数学（05-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 实际功能（26年X月X日） 1 概率论与随机过程（60-XX） 按年份列出的引文