编辑配置文件(在新选项卡中打开) 托马斯·马丁·高利察 合著者距离 作者ID: 格利扎·托马斯·马汀 发布日期: 托马斯·马丁·高利察;托马斯·高利察 已编制索引的文档: 15出版物自2007年起 合著者: 16位合著者具有15联合出版物 561合著作者 全部的 前5名合著者 0 单作者的 11 赫尔穆特·塞德尔 2 Thao Dang先生 2 大卫·莫尼奥(David P.Monniaux)。 1 阿萨勒阿杰 1 哈维尔·埃斯帕尔扎 1 圣埃芬·高伯特 1 埃里克·古堡 1 斯特凡·基弗 1 彼得·兰米奇 1 杰罗姆·勒鲁 1 马库斯·穆勒·奥尔姆 1 简·雷内克 1 Grégoire萨特雷 1 库马尔·内拉吉(Kumar Neeraj Verma) 1 亚历山大·温纳 1 莱因哈德·威廉 系列 1 符号计算杂志 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 全部的 前5名领域 11 计算机科学(68至XX) 三 数值分析(65-XX) 三 运筹学、数学编程(90-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数学逻辑和基础(03-XX) 1 算子理论(47-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用90中的次57文件 引用人▼ 年份▼ 通过策略迭代精确计算不动点。 Zbl 1187.68152号 托马斯·高利察;赫尔穆特·塞德尔 25 2007 通过策略迭代精确的关系不变量。 Zbl 1179.68037号 托马斯·高利察;赫尔穆特·塞德尔 9 2007 基于模板的仿射混合自动机无界时间验证。 Zbl 1348.68100号 Thao Dang先生;托马斯·马丁·高利察 9 2011 通过嵌套修复点进行游戏。 Zbl 1242.68160号 托马斯·马丁·高利察;赫尔穆特·塞德尔 8 2009 精确计算松弛抽象语义w.r.t.二次区域。 Zbl 1306.68025号 托马斯·马丁·高利察;赫尔穆特·塞德尔 8 2010 单调min-max多项式方程组的逼近方法。 Zbl 1153.65337号 哈维尔·埃斯帕尔扎;托马斯·高利察;斯特凡·基弗;赫尔穆特·塞德尔 7 2008 抽象解释满足凸优化。 Zbl 1246.90118号 托马斯·马丁·高利察;赫尔穆特·塞德尔;阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 5 2012 动态进程创建并发程序的联合锁敏感前向可达性分析。 Zbl 1317.68031号 托马斯·马丁·高利察;彼得·兰米奇;马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔;亚历山大·温纳 5 2011 通过策略迭代在简洁表示的控制流图中生成不变量。 Zbl 1248.68142号 托马斯·马丁·高利察;戴维·莫尼奥 4 2012 回顾多项式精确区间分析。 Zbl 1258.65048号 托马斯·高利察;杰罗姆·勒鲁;简·雷内克;赫尔穆特·塞德尔;格雷戈伊尔·萨特雷;莱因哈德·威廉 三 2009 通过SMT解决方案改进策略。 Zbl 1326.68093号 托马斯·马丁·高利察;戴维·莫尼奥 2 2011 具有不确定性的离散仿射混合自动机。 Zbl 1348.68099号 Thao Dang先生;托马斯·马丁·高利察 2 2011 计算崩溃游戏的游戏值。 Zbl 1141.91345号 托马斯·高利察;赫尔穆特·塞德尔 2 2007 通过凸松弛和最大策略迭代实现数值不变量。 Zbl 1291.68256号 托马斯·马丁·高利察;赫尔穆特·塞德尔 1 2014 通过凸松弛和最大策略迭代实现数值不变量。 Zbl 1291.68256号 托马斯·马丁·高利察;赫尔穆特·塞德尔 1 2014 抽象解释满足凸优化。 Zbl 1246.90118号 托马斯·马丁·高利察;赫尔穆特·塞德尔;阿萨勒阿杰;圣埃芬·高伯特;埃里克·古博 5 2012 简洁表示的控制流图中通过策略迭代产生的不变量。 Zbl 1248.68142号 托马斯·马丁·高利察;戴维·莫尼奥 4 2012 基于模板的仿射混合自动机无界时间验证。 Zbl 1348.68100号 Thao Dang先生;托马斯·马丁·高利察 9 2011 动态进程创建并发程序的联合锁敏感前向可达性分析。 Zbl 1317.68031号 托马斯·马丁·高利察;彼得·兰米奇;马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔;亚历山大·温纳 5 2011 通过SMT解决方案改进策略。 Zbl 1326.68093号 托马斯·马丁·高利察;戴维·莫尼奥 2 2011 具有不确定性的离散仿射混合自动机。 Zbl 1348.68099号 Thao Dang先生;托马斯·马丁·高利察 2 2011 精确计算松弛抽象语义w.r.t.二次区域。 Zbl 1306.68025号 托马斯·马丁·高利察;赫尔穆特·塞德尔 8 2010 通过嵌套修复点进行游戏。 Zbl 1242.68160号 托马斯·马丁·高利察;赫尔穆特·塞德尔 8 2009 回顾多项式精确区间分析。 Zbl 1258.65048号 托马斯·高利察;杰罗姆·勒鲁;简·雷内克;赫尔穆特·塞德尔;格雷戈伊尔·萨特雷;莱因哈德·威廉 三 2009 单调min-max多项式方程组的逼近方法。 兹比尔1153.65337 哈维尔·埃斯帕尔扎;托马斯·高利察;斯特凡·基弗;赫尔穆特·塞德尔 7 2008 通过策略迭代精确计算不动点。 Zbl 1187.68152号 托马斯·高利察;赫尔穆特·塞德尔 25 2007 通过策略迭代精确的关系不变量。 Zbl 1179.68037号 托马斯·高利察;赫尔穆特·塞德尔 9 2007 计算崩溃游戏的游戏值。 Zbl 1141.91345号 托马斯·高利察;赫尔穆特·塞德尔 2 2007 所有引用出版物 前5名被引用出版物 全部的 前5名102位作者引用 7 托马斯·马丁·高利察 7 赫尔穆特·塞德尔 6 米凯尔·兰多尔 5 大卫·莫尼奥(David P.Monniaux)。 4 阿萨勒阿杰 4 库沙·埃特萨米 4 斯特凡·基弗 4 米哈伊利斯·扬纳卡基斯 三 托马斯·布里海耶 三 哈维尔·埃斯帕尔扎 三 皮埃尔·洛伊奇·卡洛什 三 圣埃芬·高伯特 三 埃里克·古堡 三 利贝蒂,利奥 三 迈克尔·卢滕伯格 三 法布里西奥·马里内利 三 桑卡拉纳拉亚南,斯里拉姆 三 斯图尔特,阿利斯泰尔 2 亚历山德罗·阿巴特 2 吉安卢卡·阿马托 2 帕特里夏·鲍耶 2 达里奥·卡塔鲁扎 2 佛罗伦萨德尔格兰奇 2 西蒙·迪纳多·迪迈奥 2 戴安娜·菲舍尔 2 卢卡斯·凯泽 2 丹尼尔·科宁 2 金·古德斯特兰·拉森 2 西蒙·劳尔森 2 杰里米·勒孔特 2 圣埃芬·勒鲁 2 尼古拉斯·马基 2 玛丽亚·希亚拉(Maria Chiara Meo) 2 尤索夫·乌阿尔哈德 2 Jean-François拉斯金 2 皮埃尔·鲁克斯 2 彼得·施拉梅尔 2 弗朗西丝卡·斯科扎里 2 埃纳州扎法内拉 1 阿文德·阿迪穆兰 1 文森佐·阿塞里 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 斯坦利·巴克 1 西蒙·巴尔迪 1 斯蒂芬·贝克尔。 1 本·萨西,穆罕默德·阿明 1 马戎·布隆德尔 1 艾哈迈德·博阿贾尼 1 雷米·波顿 1 维罗尼克·布鲁埃 1 克里希南德·查特吉 1 Colón,迈克尔·A。 1 Thao Dang先生 1 伊娃·达鲁洛娃 1 马丁·德·科克 1 劳伦特·多恩 1 杜吉拉拉,帕拉萨拉·斯里达尔 1 安斯加·芬克 1 艾曼纽·菲利奥特 1 戈兰·弗雷斯 1 吉勒·杰勒茨 1 米尔科·贾科布 1 埃里希·格拉德尔 1 杰西卡·格伦斯基。 1 阿克塞尔·哈达德 1 尼古拉斯·哈尔巴赫斯 1 拉尔夫·休克 1 阿纳斯塔西亚·伊齐切娃 1 里卡多·戴维·卡茨 1 爱德华·D·金。 1 小林直树 1 Kühnrich,莫滕 1 彼得·兰米奇 1 朱利安·勒根 1 杰罗姆·勒鲁 1 维克托·马格伦 1 达米安·马萨诸塞 1 伊莎贝拉·马斯特罗埃尼 1 本杰明·蒙梅格 1 马库斯·穆勒·奥尔姆 1 安卡·穆斯科尔 1 Nam、Phan Thanh 1 库马尔·纳拉扬。 1 简·雷内克 1 因德拉尼尔·萨哈 1 普拉卡什·塞瓦桑 1 史蒂文·肖卡特 1 斯特凡·施温 1 西弗利德,肖恩 1 谢尔盖夫·米哈·洛维奇 1 宋,傅 1 吉·斯尔巴 1 Grégoire萨特雷 1 乐光督安 1 泰瑟·图利 1 津田,武士 1 德克·弗梅尔 1 元朗沃罗宁 1 伊戈尔·瓦卢基维奇 1 亚历山大·温纳 …还有另外两位作者 全部的 前5名17篇连载文章中引用 5 系统设计中的形式化方法 4 信息学学报 三 信息与计算 2 符号计算杂志 2 非线性分析。混合动力系统 1 数学分析与应用杂志 1 运筹学数学 1 理论计算机科学 1 自动推理杂志 1 国际近似推理杂志 1 计算的形式方面 1 计算系统理论 1 组合优化期刊 1 美国医学会杂志 1 高阶和符号计算 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 全部的 前5名11个领域引用 46 计算机科学(68至XX) 14 运筹学、数学编程(90-XX) 11 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 数值分析(65-XX) 5 系统论;控制(93至XX) 4 数学逻辑和基础(03-XX) 4 概率论与随机过程(60-XX) 2 算子理论(47-XX) 2 凸和离散几何(52-XX) 1 组合数学(05-XX) 1 结合环与代数(16-XX) 按年份列出的引文