蒂鲍德·米绍德
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2022 [i2] 瑞典雅各布斯 , 吉列尔莫·A·佩雷斯 , 雷姆科·亚伯拉罕 , 维罗妮克·布鲁耶尔 , 米夏·卡迪哈克 , Maximilien Colange公司 , 查利·德尔佛斯 , 汤姆·范·迪克 , 亚历山大·杜雷特·卢茨 , 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 阿伊拉特·卡利莫夫 , 费利克斯·克莱恩 , 迈克尔·卢滕伯格 , 卡拉·梅耶 , 蒂鲍德·米绍德 , 阿德里安·蓬梅莱 , 弗洛里安·伦金 , 菲利普·施勒胡贝尔(Philipp Schlehuber-Caissier) , 穆罕默德·萨克 , 所罗门·西克特 , 加丹·斯塔奎特 , Clément Tamines公司 , Leander Tentrup公司 , 亚当·沃克 :
反应合成竞赛(SYNTCOMP):2018-2021。 CoRR公司 腹肌/2206.00251 ( 2022 )
2010 – 2019
2019 [i1] 瑞典雅各布斯 , 罗德里克·布隆 , Maximilien Colange公司 , 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 阿伊拉特·卡利莫夫 , 费利克斯·克莱恩 , 迈克尔·卢滕伯格 , 菲利普·梅耶 , 蒂鲍德·米绍德 , 穆罕默德·萨克 , 所罗门·西克特 , Leander Tentrup公司 , 亚当·沃克 :
第五届反应合成竞赛(SYNTCOMP 2018):基准、参与者和结果。 CoRR公司 腹肌/1904.07736 ( 2019 ) 2017 【c4】 阿基姆·德迈勒 , 蒂鲍德·米绍德 :
带商算子的加权有理表达式的派生项自动机。 ICTAC公司 2017 : 155-173 【c3】 瑞典雅各布斯 , 尼古拉斯·巴塞特 , 罗德里克·布隆 , 罗曼·布伦吉尔 , Maximilien Colange公司 , 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 阿伊拉特·卡利莫夫 , 费利克斯·克莱恩 , 蒂鲍德·米绍德 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 奥坎·桑库尔 , Leander Tentrup公司 :
第四届反应合成竞赛(SYNTCOMP 2017):基准、参与者和结果。 同步@CAV 2017 : 116-143 2016 【c2】 亚历山大·杜雷特·卢茨 , 亚历山大·卢科维奇 , 阿默里·福齐尔 , 蒂鲍德·米绍德 , 艾蒂安·雷诺 , 劳伦特·徐 :
Spot 2.0-LTL和omega的框架-自动操作。 ATVA公司 2016 : 122-129 2015 【c1】 蒂鲍德·米绍德 , 亚历山大·杜雷特·卢茨 :
ω-正则语言的实际口吃-方差检查。 自旋蛋白 2015 : 84-101
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)