吉勒斯·杰拉尔茨
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2022 [j13] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 恩格尔·勒福丘 , 本杰明·蒙梅格 :
负权重的单块定价计时游戏。 日志。 方法计算。 科学。 18 ( 三 ) ( 2022 ) 2020 [公元12年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 玛丽恩·哈利特 , 圣埃芬·勒鲁 :
关于连续博弈中动力学的终止。 Inf.计算。 272 : 104505 ( 2020 ) [i20] 吉勒斯·杰拉尔茨 , 什巴希斯·古哈 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 :
近最优调度的安全学习。 CoRR公司 abs/2005.09253 ( 2020 ) [i19] 达米安·巴斯托·加斯顿 , Debraj Chakraborty公司 , 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 :
MDP符号建议指导的蒙特卡罗树搜索。 CoRR公司 腹肌/2006.04712 ( 2020 ) [i18] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 恩格尔·勒福丘 , 本杰明·蒙梅格 :
具有任意权重的单块定价计时游戏。 CoRR公司 abs/2009.03074 ( 2020 )
2010 – 2019
2019 [公元31年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 玛丽恩·哈利特 , 本杰明·蒙梅格 , 布鲁诺-奎丁 :
游戏动力学:基于仿真的技术及其在路由中的应用。 FSTTCS公司 2019 : 35:1-35:14 [i17] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 马里恩·哈雷特 , 本杰明·蒙梅格 , 布鲁诺-奎丁 :
游戏动力学:基于仿真的技术及其在路由中的应用。 CoRR公司 abs/1910.00094 ( 2019 ) 2018 [公元11年] 吉勒斯·杰拉尔茨 , 乔尔·古森 , Thi-Van-Anh Nguyen先生 , 阿梅利·斯塔纳 :
在安全游戏中综合简洁的策略,并应用于实时调度。 理论。 计算。 科学。 735 : 24-49 ( 2018 ) [公元30年] 吉勒斯·杰拉尔茨 , 什巴希斯·古哈 , Jean-François Raskin女士 :
硬任务和软任务的安全优化调度。 FSTTCS公司 2018 : 36:1-36:22 [公元29年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 西明浩 , 亚瑟·米尔奇奥 , 本杰明·蒙梅格 :
MITL模型检查和综合的有效算法和工具。 ICECCS公司 2018 : 180-184 2017 [公元10年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 本杰明·蒙梅格 :
伪多项式迭代算法,用于求解总对偶博弈和最小代价可达博弈。 信息学报 54 ( 1 ) : 85-125 ( 2017 ) [公元28年] 吉勒斯·杰拉尔茨 , 乔尔·古森 , Thi-Van-Anh Nguyen先生 :
零星任务多处理器在线可行性的向后算法。 ACSD系统 2017 : 116-125 [公元27年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 西明浩 , 本杰明·蒙梅格 :
MightyL:从MITL到时间自动机的合成翻译。 CAV(1) 2017 : 421-440 [公元26年] 尼古拉斯·巴塞特 , 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 奥坎·桑库尔 :
并发游戏中的准入。 ICALP公司 2017 : 123:1-123:14 [公元25年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 西明浩 , 本杰明·蒙梅格 :
基于时间自动机的MITL信号验证。 时间 2017 : 7:1-7:19 [公元24年] 吉勒斯·杰拉尔茨 , 伊桑·利维 , 油炸馅饼 :
年代学模型和算法。 时间 2017 : 13:1-13:18 【c23】 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 玛丽恩·哈利特 , 圣埃芬·勒鲁 :
序贯游戏中的动力学和联合。 甘道夫 2017 : 136-150 [电子1] 亚历山德罗·阿巴特 , 吉勒斯·杰拉尔茨 :
时间系统的形式建模与分析——第15届国际会议,2017年格式,德国柏林,2017年9月5-7日,会议记录。 计算机科学课堂讲稿 10419, 施普林格 2017 ,国际标准图书编号 978-3-319-65764-6 [目录] [i16] 尼古拉斯·巴塞特 , 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 奥坎·桑库尔 :
并发游戏中的可接纳性。 CoRR公司 abs/1702.06439 ( 2017 ) 【i15】 吉勒斯·杰拉尔茨 , 乔尔·古森 , Thi-Van-Anh Nguyen先生 :
零星任务多处理器在线可行性的向后算法。 CoRR公司 腹肌/1704.00999 ( 2017 ) 2016 [公元22年] 托马斯·布里海耶 , Morgane Estiévenart公司 , 吉勒斯·杰拉尔茨 , 西明浩 , 本杰明·蒙梅格 , Nathalie Sznajder公司 :
实时合成很难! 格式 2016 : 105-120 【c21】 托马斯·布里海耶 , 阿米特·库马尔·达尔 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 本杰明·蒙梅格 :
使用多层游戏实现智能电网中的高效能源分配。 外壳/SynCoP 2016 : 1-12 [第14条] 托马斯·布里海耶 , Morgane Estiévenart公司 , 吉勒斯·杰拉尔茨 , 西明浩 , 本杰明·蒙梅格 , Nathalie Sznajder公司 :
实时合成很难! CoRR公司 abs/1606.07124 ( 2016 ) 2015 [公元9年] 吉勒斯·杰拉尔茨 , 亚历山大·休纳 , M.Praveen先生 , Jean-François Raskin女士 :
ω-Petri网:算法和复杂性。 芬丹。 信息学 137 ( 1 ) : 29-60 ( 2015 ) [j8] 吉勒斯·杰拉尔茨 , 亚历山大·休纳 , Jean-François Raskin女士 :
关于具有等待队列的并发、异步程序的验证。 ACM事务处理。 嵌入。 计算。 系统。 14 ( 三 ) : 58:1-58:26 ( 2015 ) [公元20年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 本杰明·蒙梅格 :
达到或不达到? 全付费游戏的高效算法。 CONCUR公司 2015 : 297-310 [第19条] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 恩格尔·勒福丘 , 本杰明·蒙梅格 :
简单的定时定价游戏并没有那么简单。 FSTTCS公司 2015 : 278-292 [第18条] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 本杰明·蒙梅格 , 吉列尔莫·A·佩雷斯 , 加布里埃尔·雷诺 :
失败下的定量游戏。 FSTTCS公司 2015 : 293-306 [i13] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 本杰明·蒙梅格 , 吉列尔莫·A·佩雷斯 , 加布里埃尔·雷诺 :
失败下的定量游戏。 CoRR公司 abs/1504.06744 ( 2015 ) [i12] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 恩格尔·勒福丘 , 本杰明·蒙梅格 :
简单的定时定价游戏并没有那么简单。 CoRR公司 abs/1507.03786 ( 2015 ) 2014 [j7] 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , Nathalie Sznajder公司 :
事件锁自动机的区域和区域。 形式方法系统。 设计。 45 ( 三 ) : 330-380 ( 2014 ) [第17条] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 桑卡拉·纳拉亚南·克里希纳 , 拉克希米·马纳萨 , 本杰明·蒙梅格 , 阿什图什·特里维迪 :
为定价的计时游戏增加负价格。 CONCUR公司 2014 : 560-575 [第16条] 托马斯·布里海耶 , Morgane Estiévenart公司 , 吉勒斯·杰拉尔茨 :
关于MITL和无限词上的交替时间自动机。 格式 2014 : 69-84 [第15条] 吉勒斯·杰拉尔茨 , 乔尔·古森 , 阿梅利·斯塔纳 :
在安全和可达性游戏中综合简洁的策略。 RP公司 2014 : 98-111 [i11] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 桑卡拉·纳拉亚南·克里希纳 , 拉克希米·马纳萨 , 本杰明·蒙梅格 , 阿什图什·特里维迪 :
为定价的计时游戏增加负价格。 CoRR公司 abs/1404.5894 ( 2014 ) [i10] 吉勒斯·杰拉尔茨 , 乔尔·古森 , 阿梅利·斯塔纳 :
在安全游戏中综合简洁的策略。 CoRR公司 abs/1404.6228 ( 2014 ) [第九章] 托马斯·布里海耶 , Morgane Estiévenart公司 , 吉勒斯·杰拉尔茨 :
关于无限单词上的MITL和交替时间自动机。 CoRR公司 abs/1406.4395 ( 2014 ) [i8] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 本杰明·蒙梅格 :
达到或不达到? 全付费游戏的高效算法。 CoRR公司 abs/1407.5030 ( 2014 ) 2013 [j6] 吉勒斯·杰拉尔茨 , 乔尔·古森 , 马库斯·林德斯特伦 :
任意终止线零星任务的多处理器可调度性:复杂性和反链算法。 实时系统。 49 ( 2 ) : 171-218 ( 2013 ) [第14条] 吉勒斯·杰拉尔茨 , 亚历山大·休纳 , Jean-François Raskin女士 :
队列调度异步系统。 ACSD系统 2013 : 150-159 [第13条] 吉勒斯·杰拉尔茨 , 亚历山大·休纳 , M.Praveen先生 , Jean-François Raskin女士 :
ω-Petri网。 Petri网 2013 : 49-69 [第12条] 托马斯·布里海耶 , 劳伦特·多恩 , 吉勒斯·杰拉尔茨 , 乔尔·瓦克宁 , Jean-François Raskin女士 , 詹姆斯·沃雷尔 :
单调混合自动机的时界可达性:复杂性和不动点。 ATVA公司 2013 : 55-70 [第11条] 托马斯·布里海耶 , Morgane Estiévenart公司 , 吉勒斯·杰拉尔茨 :
关于MITL和交替时间自动机。 格式 2013 : 47-61 [i7] 吉勒斯·杰拉尔茨 , 亚历山大·休纳 , M.Praveen先生 , Jean-François Raskin女士 :
ω-Petri网。 CoRR公司 腹肌/1301.6572 ( 2013 ) [i6] 托马斯·布里海耶 , Morgane Estiévenart公司 , 吉勒斯·杰拉尔茨 :
关于MITL和交替时间自动机。 CoRR公司 abs/1304.2814 ( 2013 ) 2012 [i5] 吉勒斯·杰拉尔茨 , 亚历山大·休纳 , Jean-François Raskin女士 :
队列调度异步系统。 CoRR公司 abs/1201.4871 ( 2012 ) [i4] 托马斯·布里海耶 , 劳伦特·多恩 , 吉勒斯·杰拉尔茨 , 乔尔·瓦克宁 , Jean-François Raskin女士 , 詹姆斯·沃雷尔 :
混合自动机的有时限可达性:复杂性和不动点。 CoRR公司 abs/1211.1276 ( 2012 ) 2011 [第10条] 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , Nathalie Sznajder公司 :
事件时钟自动机:从理论到实践。 格式 2011 : 209-224 【c9】 托马斯·布里海耶 , 劳伦特·多恩 , 吉勒斯·杰拉尔茨 , 乔尔·瓦克宁 , Jean-François Raskin女士 , 詹姆斯·沃雷尔 :
关于有界时间上混合自动机的可达性。 ICALP(二) 2011 : 416-427 【c8】 马库斯·林德斯特伦 , 吉勒斯·杰拉尔茨 , 乔尔·古森 :
一种用于零星任务的更快、准确的多处理器可调度性测试。 RTNS公司 2011 : 25-34 [i3] 托马斯·布里海耶 , 劳伦特·多恩 , 吉勒斯·杰拉尔茨 , 乔尔·瓦克宁 , Jean-François Raskin女士 , 詹姆斯·沃雷尔 :
关于有界时间上混合自动机的可达性。 CoRR公司 abs/1104.5335 ( 2011 ) [i2] 马库斯·林德斯特伦 , 吉勒斯·杰拉尔茨 , 乔尔·古森 :
一种用于零星任务的更快、准确的多处理器可调度性测试。 CoRR公司 abs/1105.5055 ( 2011 ) [i1] 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , Nathalie Sznajder女士 :
事件时钟自动机:从理论到实践。 CoRR公司 abs/1107.4138 ( 2011 ) 2010 [j5] 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
关于Petri网的最小可覆盖集的有效计算。 发现的国际期刊。 计算。 科学。 21 ( 2 ) : 135-165 ( 2010 ) 【c7】 吉勒斯·杰拉尔茨 , 加布里埃尔·卡利恩 , 特里斯坦·勒加尔 , 尼古拉斯·梅奎特 , Jean-François Raskin女士 :
格值二元决策图。 ATVA公司 2010 : 158-172 【c6】 芭芭拉·迪·詹保罗 , 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , Nathalie Sznajder公司 :
定时规范的非安全程序。 格式 2010 : 2-22
2000 – 2009
2009 【j4】 皮埃尔·甘蒂 , 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
《佩特里的生活问题》(Le problème de couverture pour les réseaux de Petri),经典与发展的结果。 技术科学。 信息类 28 ( 9 ) : 1107-1142 ( 2009 ) 【c5】 劳伦特·多恩 , 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 朱利安·雷切尔 :
实时逻辑的实现。 格式 2009 : 133-148 2007 [j3] 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
结构良好的语言。 信息学报 44 ( 3-4 ) : 249-288 ( 2007 ) 【c4】 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
Petri网最小覆盖集的有效计算。 ATVA公司 2007 : 98-113 2006 [注2] 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
扩展、放大和检查:WSTS可覆盖性问题的新算法。 J.计算。 系统。 科学。 72 ( 1 ) : 180-203 ( 2006 ) [j1] 阿兰·芬克尔 , 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
上 欧米茄 -扩展Petri网的语言表达能力。 理论。 计算。 科学。 356 ( 三 ) : 374-386 ( 2006 ) 2005 【c3】 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
展开、放大和检查。。。 提高效率。 CAV汽车 2005 : 394-407 2004 【c2】 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
扩展、放大和检查:WSTS可覆盖性问题的新算法。 FSTTCS公司 2004 : 287-298 【c1】 阿兰·芬克尔 , 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
关于扩展Petri网的欧米伽语言表达能力。 EXPRESS(快递) 2004 : 87-101
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)