托马斯·查坦
人员信息
优化列表
2020年–今天
2023 [公元35年] 尼克·沃德曼 , 托马斯·查坦 , 斯特凡·哈尔 :
将完整的有限前缀提升到高级,符号化。 Petri网 2023 : 123-144 [公元34年] 尼哈·里诺 , 托马斯·查坦 :
混合移动的定时对齐。 业务流程管理研讨会 2023 : 186-197 [i7] 尼克·沃德曼 , 托马斯·查坦 , 斯特凡·哈尔 , 卢卡斯·潘内克 :
将完整的有限前缀提升到高级,符号化。 CoRR公司 腹肌/2311.11443 ( 2023 ) 2022 [公元15年] 托马斯·查坦 , 莫里斯·科姆兰 , 大卫·德尔菲厄 , 洛伊格·杰泽奎尔 , 奥利维尔·亨利·鲁克斯 :
重置Petri网的Pomset互模拟和展开。 Inf.计算。 283 : 104674 ( 2022 ) [公元33年] 托马斯·查坦 , 尼哈·里诺 :
定时路线。 ICPM公司 2022 : 112-119 [i6] 托马斯·查坦 , 尼哈·里诺 :
定时路线。 CoRR公司 abs/2207.01870 ( 2022 ) [i5] 尼哈·里诺 , 托马斯·查坦 :
混合移动的定时对齐。 CoRR公司 abs/2210.15209 ( 2022 ) 2021 [公元14年] 马蒂尔德·博尔顿哈根 , 托马斯·查坦 , 约塞普·卡莫纳 :
一致性检查工件的优化SAT编码。 计算 103 ( 1 ) : 29-50 ( 2021 ) [j13] 托马斯·查坦 , 马蒂尔德·博尔顿哈根 , 约塞普·卡莫纳 :
反对齐-测量流程模型和事件日志的精度。 信息系统。 98 : 101708 ( 2021 ) [公元12年] 马蒂尔德·博尔顿哈根 , 托马斯·查坦 , 约塞普·卡莫纳 :
基于模型的事件日志跟踪变量分析。 信息系统。 102 : 101675 ( 2021 ) [公元32年] 马蒂尔德·博尔顿哈根 , 托马斯·查坦 , 约塞普·卡莫纳 :
快速调整业务流程的折现成本函数。 业务流程管理 2021 : 252-269 [c31] 马蒂尔德·博尔顿哈根 , 托马斯·查坦 , 约塞普·卡莫纳 :
一个A * -流程挖掘中计算折扣反对齐的算法。 ICPM公司 2021 : 25-31 2020 [公元11年] 托马斯·查坦 , 斯特凡·哈尔 , 尤拉杰·科拉克 , 洛伊克·保列夫 , Aalok Thakkar公司 :
布尔网络中的并发性。 自然计算。 19 ( 1 ) : 91-109 ( 2020 ) [e1] 里萨德·贾尼基 , 娜塔莉亚·西多罗娃 , 托马斯·查坦 :
Petri网和并发的应用和理论——第41届国际会议,Petri Nets 2020,法国巴黎,2020年6月24日至25日,会议记录。 计算机科学讲义 12152, 施普林格 2020 ,国际标准图书编号 978-3-030-51830-1 [目录]
2010 – 2019
2019 [公元10年] Wil M.P.van der Aalst先生 , 约塞普·卡莫纳 , 托马斯·查坦 , Boudewijn F.van Dongen先生 :
流程挖掘之旅:从实践到算法挑战。 事务处理。 Petri网其他模型。 同意。 14 : 1-35 ( 2019 ) [公元30年] 马蒂尔德·博尔顿哈根 , 托马斯·查坦 , 约塞普·卡莫纳 :
基于广义对齐的进程行为跟踪聚类。 Petri网 2019 : 237-257 [公元29年] 马蒂尔德·博尔顿哈根 , 托马斯·查坦 , 约塞普·卡莫纳 :
SAT中编码一致性检查工件。 业务流程管理研讨会 2019 : 160-171 [i4] 托马斯·查坦 , 斯特凡·哈尔 , 尤拉杰·科拉克 , 洛伊克·保列夫 , Aalok Thakkar公司 :
布尔网络中的并发性。 CoRR公司 abs/1905.13467 ( 2019 ) [i3] 托马斯·查坦 , 马蒂尔德·博尔顿哈根 , 约塞普·卡莫纳 :
反对齐-测量过程模型和事件日志的精度。 CoRR公司 abs/1912.05907 ( 2019 ) 2018 [公元28年] 托马斯·查坦 , 斯特凡·哈尔 , 洛伊克·保列夫 :
布尔网络:超越广义异步。 自动机 2018 : 29-42 [公元27年] 托马斯·查坦 , 莫里斯·科姆兰 , 大卫·德尔菲厄 , 洛伊格·杰泽奎尔 , 奥利维尔·H·鲁 :
重置Petri网的Pomset和展开。 拉丁美洲旅游协会 2018 : 258-270 [i2] 托马斯·查坦 , 斯特凡·哈尔 , 洛伊克·保列夫 :
布尔网络的大多数允许语义。 CoRR公司 腹肌/1808.10240 ( 2018 ) 2017 [公元9年] 埃蒂安·安德烈 , 托马斯·查坦 , 塞萨尔·罗德里格斯 :
参数时间Petri网中保持部分有序运行。 ACM事务处理。 嵌入。 计算。 系统。 16 ( 2 ) : 43:1-43:26 ( 2017 ) [公元26年] Boudewijn F.van Dongen先生 , 约塞普·卡莫纳 , 托马斯·查坦 , 法博德·塔摩里 :
对齐建模和观察行为:计算复杂性和质量之间的折衷。 CAiSE公司 2017 : 94-109 [公元25年] 托马斯·查坦 , 洛伊克·保列夫 :
目标驱动的Petri网展开。 CONCUR公司 2017 : 18:1-18:16 [公元24年] 托马斯·查坦 , 约塞普·卡莫纳 , Boudewijn F.van Dongen先生 :
基于对齐的跟踪聚类。 急诊室 2017 : 295-308 2016 [j8] Boudewijn F.van Dongen先生 , 约塞普·卡莫纳 , 托马斯·查坦 :
一致性检查中基于对齐的质量度量。 EMISA论坛 36 ( 2 ) : 77-80 ( 2016 ) 【c23】 托马斯·查坦 , 约塞普·卡莫纳 :
一致性检查中的反对齐-过程模型的黑暗面。 Petri网 2016 : 240-258 [公元22年] Boudewijn F.van Dongen先生 , 约塞普·卡莫纳 , 托马斯·查坦 :
基于反对齐的统一测量精度和泛化方法。 业务流程管理 2016 : 39-56 【c21】 Boudewijn F.van Dongen先生 , 约塞普·卡莫纳 , 托马斯·查坦 :
一致性检查中基于对齐的质量度量(摘要)。 排放物 2016 : 87-90 [i1] 托马斯·查坦 , 洛伊克·保列夫 :
目标驱动的Petri网展开。 CoRR公司 abs/1611.01296 ( 2016 ) 2015 [公元20年] 埃蒂安·安德烈 , 托马斯·查坦 , 塞萨尔·罗德里格斯 :
参数时间Petri网中的保偏序运行。 ACSD系统 2015 : 120-129 [第19条] 托马斯·查坦 , 斯特凡·哈尔 , 库特尼 , 斯特凡·施温 :
上下文网络中的非原子跃迁激发。 Petri网 2015 : 117-136 2014 [j7] 托马斯·查坦 , 斯特凡·哈尔 :
安全Petri网的规范收缩。 事务处理。 Petri网其他模型。 同意。 9 : 83-98 ( 2014 ) [第18条] 托马斯·查坦 , 斯特凡·哈尔 , 洛伊格·杰泽奎尔 , 洛伊克·保列夫 , 斯特凡·施温 :
利用Petri网展开刻画可达吸引子。 CMSB公司 2014 : 129-142 2013 【b1】 托马斯·查坦 :
实时分布式系统中从展开到可实现的并发性。 法国卡尚正常供应, 2013 [j6] 桑迪·巴拉格尔 , 托马斯·查坦 :
避免时间自动机网络中的共享时钟。 日志。 方法计算。 科学。 9 ( 4 ) ( 2013 ) [j5] 桑迪·巴拉格尔 , 托马斯·查坦 , 斯特凡·哈尔 :
从显示关系构建事件网络。 芬丹。 信息学 123 ( 三 ) : 245-272 ( 2013 ) [第17条] 托马斯·查坦 , 斯特凡·哈尔 :
安全Petri网的规范收缩。 PNSE+ModPE 2013 : 25-39 [第16条] 托马斯·查坦 , 克劳德·贾德 :
回到时代Petri网。 格式 2013 : 91-105 [第1页] 亚历山大·戴维 , 格德·贝尔曼 , 彼得·布利切夫 , 约阿金·比格 , 托马斯·查坦 , 金·拉森 , 保罗·佩特森 , 雅各布·伊勒姆·拉斯穆森 , 吉尔·斯尔巴 , 王毅 , 肯尼思·约根森 , 迪迪埃·莱姆 , 摩根·马格宁 , 奥利维尔·H·鲁 , 路易斯·马里·特劳努埃兹 :
定时系统模型检查工具。 通信嵌入式系统 2013 : 165-225 2012 【j4】 桑迪·巴拉格尔 , 托马斯·查坦 , 斯特凡·哈尔 :
从时间Petri网到时间自动机网络的保并发转换。 形式方法系统。 设计。 40 ( 三 ) : 330-355 ( 2012 ) [第15条] 桑迪·巴拉格尔 , 托马斯·查坦 :
避免时间自动机网络中的共享时钟。 CONCUR公司 2012 : 100-114 2011 [第14条] 桑迪·巴拉格尔 , 托马斯·查坦 , 斯特凡·哈尔 :
从揭示关系构建紧密的事件网络。 ACSD系统 2011 : 44-53 2010 [j3] 保罗·巴尔丹 , 托马斯·查坦 , 斯特凡·哈尔 , 芭芭拉·科尼格 :
具有演化拓扑的系统的基于展开的诊断。 Inf.计算。 208 ( 10 ) : 1169-1192 ( 2010 ) [第13条] 托马斯·查坦 , 埃里克·法布雷 :
有色Petri网符号展开的因式分解性质。 Petri网 2010 : 165-184 [第12条] 桑迪·巴拉格尔 , 托马斯·查坦 , 斯特凡·哈尔 :
从时间Petri网到时间自动机网络的并发保留转换。 时间 2010 : 77-84
2000 – 2009
2009 [注2] 埃蒂安·安德烈 , 托马斯·查坦 , 劳伦特·弗里堡 , Emmanuelle Encrenaz公司 :
参数时间自动机的一种逆方法。 发现的国际期刊。 计算。 科学。 20 ( 5 ) : 819-836 ( 2009 ) [第11条] 托马斯·查坦 , 亚历山大·戴维 , 金·拉森 :
用定时游戏玩游戏。 ADHS公司 2009 : 238-243 [第10条] 彼得·布利切夫 , 托马斯·查坦 , 亚历山大·戴维 , 金·古德斯特兰·拉森 :
用于检查交替时间模拟的高效实时算法。 格式 2009 : 73-87 【c9】 托马斯·查坦 , 保罗·加斯廷 , Nathalie Sznajder女士 :
自然规范为异步系统的分布式综合提供了可决定性。 SOFSEM公司 2009 : 141-152 2008 【c8】 保罗·巴尔丹 , 托马斯·查坦 , 斯特凡·哈尔 , 芭芭拉·科尼格 :
基于展开的演化拓扑系统诊断。 CONCUR公司 2008 : 203-217 [c7] 埃蒂安·安德烈 , 托马斯·查坦 , 劳伦特·弗里堡 , Emmanuelle Encrenaz公司 :
参数时间自动机的一种逆方法。 RP公司 2008 : 29-46 2007 [j1] 托马斯·查坦 , 维克托·科门科 :
关于用于构造完全展开前缀的适当顺序的充分性。 Inf.流程。 莱特。 104 ( 4 ) : 129-136 ( 2007 ) 2006 【c6】 托马斯·查坦 , 克劳德·贾德 :
安全时间Petri网符号展开的完全有限前缀。 ICATPN公司 2006 : 125-145 【c5】 弗兰克·卡塞兹 , 托马斯·查坦 , 克劳德·贾德 :
时间自动机网络的符号展开。 ATVA公司 2006 : 307-321 2005 【c4】 托马斯·查坦 , 克劳德·贾德 :
具有动态更改的Web服务编排监督模型。 AICT/SAPIR/ELETE公司 2005 : 446-451 【c3】 托马斯·查坦 , 克劳德·贾德 :
基于时间Petri网符号展开的并发系统时间监控。 格式 2005 : 196-210 【c2】 托马斯·查坦 , 洛伊克·赫鲁特 , 克劳德·贾德 :
从自动机网络到HMSC:逆向模型工程的观点。 复地 2005 : 489-502 2004 【c1】 托马斯·查坦 , 克劳德·贾德 :
部分可观测并发系统的符号诊断。 复地 2004 : 326-342