编辑配置文件(在新选项卡中打开) 托马斯·查泰恩 合著者距离 作者ID: 查泰因·托马斯 发布日期: 托马斯·查泰恩 编入索引的文档: 28出版物自2004年起 1名编辑贡献 合著者: 31位合著者具有29联合出版物 759名合作作者 全部的 前5名合著者 0 单作者的 8 斯特凡·哈尔 6 克洛德·贾德 三 桑迪·巴拉格 三 乔塞普·卡莫纳 三 洛伊奇·波列维 2 埃蒂安·安德烈 2 保罗·巴尔丹 2 马蒂尔德·博尔顿哈根 2 莫里斯·科姆兰 2 大卫·德尔菲厄 2 埃曼纽尔·恩克雷纳兹 2 劳伦·弗里堡 2 洛依格·杰泽奎尔 2 巴巴拉·科尼格 2 奥利维尔·鲁克斯。 1 安迪·巴拉格尔 1 彼得·布利切夫(Peter E.Bulychev)。 1 弗兰克·卡塞兹 1 亚历山大·戴维 1 埃里克·法布雷 1 保罗·加斯丁 1 洛依茨海露 1 里扎德·贾尼基 1 维克托·科门科 1 尤拉杰·科尔查克 1 马西耶·库特尼 1 金·古德斯特兰·拉森 1 斯特凡·施温 1 纳塔利亚·西多罗娃 1 纳塔利·斯兹纳杰德 1 Aalok Thakkar公司 全部的 前5名系列 2 信息与计算 1 信息处理信件 1 计算 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 计算机基础理论 1 自然计算 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 全部的 前5名领域 28 计算机科学(68至XX) 2 动力系统和遍历理论(37至XX) 2 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用99中的次81文件 引用人▼ 年份▼ 参数时间自动机的逆方法。 兹比尔1187.68286 埃蒂安·安德烈;托马斯·查泰恩;劳伦·弗里堡;埃曼纽尔·恩克雷纳兹 20 2009 使用时间Petri网的符号展开对并发系统进行时间监督。 Zbl 1175.68274号 托马斯·查泰恩;克洛德·贾德 13 2005 用于检查交替计时模拟的高效实时算法。 Zbl 1262.68105号 彼得·布利切夫;托马斯·查泰恩;亚历山大·戴维;Larsen,Kim G。 7 2009 具有演化拓扑的系统的基于展开的诊断。 Zbl 1214.68242号 保罗·巴尔丹;托马斯·查泰恩;斯特凡·哈尔;巴巴拉·科尼格 6 2010 根据揭示关系构建发生网络。 Zbl 1293.68199号 安迪·巴拉格尔;托马斯·查泰恩;斯特凡·哈尔 6 2013 安全时间Petri网符号展开的完全有限前缀。 Zbl 1234.68292号 托马斯·查泰恩;克洛德·贾德 5 2006 具有演化拓扑的系统的基于展开的诊断。 Zbl 1160.68453号 保罗·巴尔丹;托马斯·查泰恩;斯特凡·哈尔;巴巴拉·科尼格 5 2008 布尔网络:超越广义异步性。 Zbl 1511.37017号 托马斯·查泰恩;斯特凡·哈尔;洛伊奇·波列维 5 2018 布尔网络中的并发性。 Zbl 1530.68190号 托马斯·查泰恩;斯特凡·哈尔;尤拉杰·科尔查克;洛伊奇·波列维;Aalok Thakkar公司 5 2020 部分可观测并发系统的符号诊断。 Zbl 1110.68416号 托马斯·查泰恩;克洛德·贾德 4 2004 关于用于构造完全展开前缀的适当顺序的充分性。 Zbl 1184.68344号 托马斯·查泰恩;维克托·科门科 三 2007 上下文网络中的非原子转换触发。 兹比尔1432.68302 托马斯·查泰恩;斯特凡·哈尔;马西耶·库特尼;斯特凡·施温 三 2015 目标驱动的Petri网展开。 Zbl 1442.68132号 托马斯·查泰恩;洛伊奇·波列维 三 2017 从时间Petri网到时间自动机网络的保并发转换。 Zbl 1252.68200号 桑迪·巴拉格;托马斯·查泰恩;斯特凡·哈尔 三 2012 回到时间Petri网。 Zbl 1390.68463号 托马斯·查泰恩;克洛德·贾德 三 2013 时间自动机网络的符号展开。 Zbl 1161.68615号 弗兰克·卡塞兹;托马斯·查泰恩;克洛德·贾德 2 2006 一致性检查中的反对齐——流程模型的黑暗面。 Zbl 1346.68129号 托马斯·查泰恩;乔塞普·卡莫纳 2 2016 Petri网与并发的应用与理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。 Zbl 1493.68015号 1 2020 重置Petri网的Pomset互模拟和展开。 Zbl 07488447号 托马斯·查泰恩;莫里斯·科姆兰;大卫·德尔菲厄;洛依格·杰泽奎尔;奥利维尔·亨里·鲁克斯 1 2022 参数时间自动机的逆方法。 Zbl 1337.68150号 埃蒂安·安德烈;托马斯·查泰恩;劳伦·弗里堡;埃曼纽尔·恩克雷纳兹 1 2008 一致性检查工件的优化SAT编码。 Zbl 1473.68185号 马蒂尔德·博尔顿哈根;托马斯·查泰恩;乔塞普·卡莫纳 1 2021 重置Petri网的Pomset互模拟和展开。 Zbl 07488447号 托马斯·查泰恩;莫里斯·科姆兰;大卫·德尔菲厄;洛依格·杰泽奎尔;奥利维尔·亨利 1 2022 一致性检查工件的优化SAT编码。 Zbl 1473.68185号 马蒂尔德·博尔顿哈根;托马斯·查泰恩;乔塞普·卡莫纳 1 2021 布尔网络中的并发性。 兹比尔1530.68190 托马斯·查泰恩;斯特凡·哈尔;尤拉杰·科尔查克;洛伊奇·波列维;Aalok Thakkar公司 5 2020 Petri网与并发的应用与理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。 Zbl 1493.68015号 1 2020 布尔网络:超越广义异步性。 Zbl 1511.37017号 托马斯·查泰恩;斯特凡·哈尔;洛伊奇·波列维 5 2018 目标驱动的Petri网展开。 Zbl 1442.68132号 托马斯·查泰恩;洛伊奇·波列维 三 2017 一致性检查中的反对齐——流程模型的黑暗面。 Zbl 1346.68129号 托马斯·查泰恩;乔塞普·卡莫纳 2 2016 上下文网络中的非原子转换触发。 Zbl 1432.68302号 托马斯·查泰恩;斯特凡·哈尔;马西耶·库特尼;斯特凡·施温 三 2015 根据揭示关系构建发生网络。 Zbl 1293.68199号 安迪·巴拉格尔;托马斯·查泰恩;斯特凡·哈尔 6 2013 回到时间Petri网。 Zbl 1390.68463号 托马斯·查泰恩;克洛德·贾德 三 2013 从时间Petri网到时间自动机网络的保并发转换。 Zbl 1252.68200号 桑迪·巴拉格;托马斯·查泰恩;斯特凡·哈尔 三 2012 具有演化拓扑的系统的基于展开的诊断。 Zbl 1214.68242号 保罗·巴尔丹;托马斯·查泰恩;斯特凡·哈尔;巴巴拉·科尼格 6 2010 参数时间自动机的逆方法。 兹比尔1187.68286 埃蒂安·安德烈;托马斯·查泰恩;劳伦·弗里堡;埃曼纽尔·恩克雷纳兹 20 2009 用于检查交替计时模拟的高效实时算法。 Zbl 1262.68105号 彼得·布利切夫;托马斯·查泰恩;亚历山大·戴维;Larsen,Kim G。 7 2009 具有演化拓扑的系统的基于展开的诊断。 Zbl 1160.68453号 保罗·巴尔丹;托马斯·查泰恩;斯特凡·哈尔;巴巴拉·科尼格 5 2008 参数时间自动机的逆方法。 Zbl 1337.68150号 埃蒂安·安德烈;托马斯·查泰恩;劳伦·弗里堡;埃曼纽尔·恩克雷纳兹 1 2008 关于用于构造完全展开前缀的适当顺序的充分性。 Zbl 1184.68344号 托马斯·查泰恩;维克托·科门科 三 2007 安全时间Petri网符号展开的完全有限前缀。 Zbl 1234.68292号 托马斯·查泰恩;克洛德·贾德 5 2006 时间自动机网络的符号展开。 Zbl 1161.68615号 弗兰克·卡塞兹;托马斯·查泰恩;克洛德·贾德 2 2006 使用时间Petri网的符号展开对并发系统进行时间监督。 Zbl 1175.68274号 托马斯·查泰恩;克洛德·贾德 13 2005 部分可观测并发系统的符号诊断。 Zbl 1110.68416号 托马斯·查泰恩;克洛德·贾德 4 2004 所有引用出版物 前5名被引用出版物 全部的 前5名166位作者引用 13 埃蒂安·安德烈 8 斯特凡·哈尔 7 托马斯·查泰恩 7 莱姆,迪迪埃 6 洛依茨海露 6 伊琳娜·B·维碧茨卡岩。 5 阿克西,S。 5 金·古德斯特兰·拉森 5 Legay、Axel 4 保罗·巴尔丹 4 巴巴拉·科尼格 4 洛伊奇·波列维 4 奥利维尔·鲁克斯。 三 尼古拉·贝内什 三 布莱斯·基内斯特 三 劳雷·佩特鲁奇 三 苏菲·平奇纳特 三 孙骏 三 路易斯·玛丽·特劳努埃兹 三 安德烈·索夫斯基 2 彼得·贝兹克 2 安德烈亚·科拉迪尼 2 埃里克·法布雷 2 劳伦·弗里堡 2 保罗·加斯丁 2 托拜厄斯·海因德尔 2 井上,胜美 2 摩根·马根 2 埃尔文·马尔坎德 2 尼古拉斯·马基 2 G.Michele Pinna 2 波波娃·泽格曼,卢奇卡 2 托尼·里贝罗 2 纳塔利亚·西多罗娃 2 巴布亚州索波辛斯基 2 范德波尔,扬·科内利斯 1 吉安·卡洛·阿吉雷·萨姆博尼 1 大卫·安德烈 1 詹姆·阿里亚斯 1 卡梅尔·巴考伊 1 JiříBarnat 1 弗拉基米尔·巴什金。 1 贝莱德·本哈莫 1 阿尔伯特·本文尼斯特 1 贝拉德,贝特里奇 1 卢卡·伯纳迪内洛 1 Nathalie Bertrand 1 Boel,RenéK。 1 贝内迪克特·博利格 1 马蒂尔德·博尔顿哈根 1 布莱·博内 1 博罗夫列夫,V.A。 1 维克多·博罗夫廖夫 1 哈尼法·布切内布 1 皮埃尔·布维尔 1 劳拉·博泽利 1 卢博什·布里姆 1 D.I.布欣。 1 德米特里·布欣 1 乔塞普·卡莫纳 1 乔瓦尼·卡苏 1 伊万娜·乔纳 1 柴新伟 1 谢多·塞巴斯蒂安 1 彼得·F·克里斯托弗森。 1 亚历山德罗·西马蒂 1 艾曼纽尔·科夸德 1 亚历山大·戴维 1 安德烈·德拉哈耶·杜里兹 1 贝诺·德拉哈耶 1 巴巴拉·迪·詹保罗 1 董金松 1 罗曼·杜布佐夫。 1 德克·法兰德 1 杰罗姆·费雷特 1 马克西姆·福舍特 1 波林·福尼尔 1 休伯特·加拉维 1 塞德里克·高切雷尔 1 托马斯·加扎涅尔 1 卢卡·盖蒂 1 穆罕默德·加泽尔 1 凯伦·戈达里·德杰恩 1 格雷戈·格勒 1 卡洛斯·格雷戈里奥·罗德里格斯 1 纳塔莉亚·谢尔盖夫娜·格里博夫斯卡娅 1 阿尔贝托·格里乔 1 米克尔·汉森 1 阿恩·哈特曼斯 1 帕特里克·哈斯鲁姆 1 莎拉·希克莫特。 1 Hiraishi、Kunihiko 1 彼得·扬查尔 1 克洛德·贾德 1 杰瑞,贾维尔 1 洛依格·杰泽奎尔 1 乔治·吉罗维亚努 1 阿列克桑德拉·乔瓦诺维奇。 1 Joost-Pieter卡托恩 1 卡里姆·凯西 …还有66位作者 全部的 前5名17篇连载文章中引用 7 离散事件动态系统 5 编程和计算机软件 5 程序设计中的逻辑和代数方法杂志 4 理论计算机科学 4 系统设计中的形式化方法 三 计算机基础理论 2 信息处理信件 2 信息与计算 2 实时系统 2 计算机科学中的逻辑方法 1 信息学报 1 国际控制杂志 1 计算 1 计算机程序设计科学 1 机器学习 1 MSCS公司。计算机科学中的数学结构 1 自然计算 全部的 前5名在12个字段中引用 68 计算机科学(68至XX) 11 系统论;控制(93至XX) 8 生物学和其他自然科学(92-XX) 7 数学逻辑和基础(03-XX) 5 运筹学、数学规划(90-XX) 4 信息与通信理论、电路(94-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 范畴理论;同调代数(18-XX) 2 动力系统和遍历理论(37至XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文