让·古堡-拉雷克
人员信息
附属: 卡尚正常行政区
优化列表
2020年–今天
2024 [公元58年] 玛丽贝尔·费尔南德斯 , 让·古堡-拉雷克 , 迪莉娅·凯斯纳 :
2023年阿克曼奖。 CSL公司 2024 : 1:1-1:4 2023 【j30】 让·古堡-拉雷克 , 贾晓东 , Clément Théron公司 :
统计编程语言的领域理论方法。 美国临床医学杂志 70 ( 5 ) : 35:1-35:63 ( 2023 ) 2022 [公元57年] 让·古堡-拉雷克 , 贾晓东 :
持续R估值。 ISDT公司 2022 [i12] 让·古堡-拉雷克 , 贾晓东 :
锥理论重心存在定理。 CoRR公司 abs/2209.14005 ( 2022 ) [i11] 让·古堡-拉雷克 :
关于弱Hausdorff空间和局部强Sober空间。 CoRR公司 abs/2211.10400 ( 2022 ) 2021 [公元29年] 让·古堡-拉雷克 :
T0空间上连续估值的产品和投影极限。 数学。 结构。 计算。 科学。 31 ( 2 ) : 234-254 ( 2021 ) [公元28年] 让·古堡-拉雷克 , 贾晓东 :
分离最小估值、点控制估值和连续估值。 数学。 结构。 计算。 科学。 31 ( 6 ) : 614-632 ( 2021 ) [电子3] 克里斯特尔·拜尔 , 让·古堡-拉雷克 :
第29届EACSL计算机科学逻辑年会,CSL 20212021年1月25-28日,斯洛文尼亚卢布尔雅那(虚拟会议)。 LIPIcs公司 183, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2021 ,国际标准图书编号 978-3-95977-175-7 [目录] [i10] 让·古堡-拉雷克 , 贾晓东 , Clément Théron公司 :
统计编程语言的领域理论方法。 CoRR公司 abs/2106.16190 ( 2021 ) [第九章] 让·古堡-拉雷克 , 贾晓东 :
将最小估值、点控制估值和连续估值分开。 CoRR公司 abs/2109.00426 ( 2021 ) 2020 [公元27年] 让·古堡-拉雷克 :
第29届EACSL计算机科学逻辑年会(CSL 2021)。 牛市。 EATCS公司 131 ( 2020 ) [公元26年] 迈克尔·布隆丁 , 阿兰·芬克尔 , 让·古堡-拉雷克 :
WSTS的正向分析,第三部分:Karp-Miller树。 日志。 方法计算。 科学。 16 ( 2 ) ( 2020 ) [公元25年] 阿兰·芬克尔 , 让·古堡-拉雷克 :
WSTS的正向分析,第一部分:完井。 数学。 结构。 计算。 科学。 30 ( 7 ) : 752-832 ( 2020 ) [电子2] 让·古堡-拉雷克 , 芭芭拉·科尼格 :
软件科学和计算结构基础——第23届国际会议,FOSSACS 2020,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2020,爱尔兰都柏林,2020年4月25日至30日,会议记录。 计算机科学课堂讲稿 12077, 施普林格 2020 ,国际标准图书编号 978-3-030-45230-8 [目录]
2010 – 2019
2019 [公元24年] 让·古堡-拉雷克 :
nabla的语义。 数学。 结构。 计算。 科学。 29 ( 8 ) : 1250-1274 ( 2019 ) [公元56年] 让·古堡-拉雷克 :
以8/27的概率愚弄并行或测试人员。 计算系统建模的艺术 2019 : 313-328 [公元55年] 让·古堡-拉雷克 :
一种概率性和非确定性的呼叫推送值语言。 低收入国家 2019 : 1-13 [公元54年] 马修·德·布莱希特 , 让·古堡-拉雷克 , 贾晓东 , 吕振超 :
域完备和LCS-complete空间。 ISDT公司 2019 : 3-35 [公元53年] 让·古堡-拉雷克 , 贾晓东 :
扩展概率幂域单子代数。 ISDT公司 2019 : 37-61 [i8] 让·古堡-拉雷克 :
用概率$8/27$愚弄并行或测试程序。 CoRR公司 abs/1903.12653 ( 2019 ) [i7] 让·古堡-拉雷克 , 西蒙·哈弗冯 , Pratek Karandikar公司 , K.Narayan Kumar , 菲利普·施诺贝伦 :
计算井拟序闭子集的理想方法。 CoRR公司 腹肌/1904.10703 ( 2019 ) 2018 [公元23年] 让·古堡-拉雷克 , Jean-Philippe拉康 :
关于Orchids签名监测的复杂性,以及递归方程。 形式方法系统。 设计。 53 ( 1 ) : 6-32 ( 2018 ) [公元22年] 翁建豪 , 让·古堡-拉雷克 , 阿奇姆·荣格 , 肖永熙 :
合照问题。 日志。 方法计算。 科学。 14 ( 1 ) ( 2018 ) [i6] 让·古堡-拉雷克 :
一种概率性和非确定性的呼叫推送值语言。 CoRR公司 abs/1812.11573 ( 2018 ) 2017 [公元21年] 杰雷米·杜布特 , 埃里克·古堡 , 让·古堡-拉雷克 :
定向同调理论和Eilenberg-Steenrod公理。 申请。 分类结构。 25 ( 5 ) : 775-807 ( 2017 ) [公元20年] 让·古堡-拉雷克 , 吴国敏 :
关于正式舞会的几点注意事项。 日志。 方法计算。 科学。 13 ( 4 ) ( 2017 ) [公元19年] 让·古堡-拉雷克 :
混合选择模型之间的同构定理。 数学。 结构。 计算。 科学。 27 ( 6 ) : 1032-1067 ( 2017 ) [第52条] 迈克尔·布隆丁 , 阿兰·芬克尔 , 让·古堡-拉雷克 :
WSTS的正向分析,第三部分:Karp-Miller树。 FSTTCS公司 2017 : 16:1-16:15 [i5] 迈克尔·布隆丁 , 阿兰·芬克尔 , 让·古堡-拉雷克 :
WSTS的正向分析,第三部分:Karp-Miller树。 CoRR公司 abs/1710.07258 ( 2017 ) 2016 [第51条] 杰雷米·杜布特 , 埃里克·古堡 , 让·古堡-拉雷克 :
P-可及范畴模型中的互模拟和展开。 CONCUR公司 2016 : 25:1-25:14 [公元50年] 杰雷米·杜布特 , 埃里克·古堡 , 让·古堡-拉雷克 :
定向同伦假说。 CSL公司 2016 : 9:1-9:16 [公元49年] 让·古堡-拉雷克 , 西尔万·施密茨 :
确定正则树语言的分段可测试可分性。 ICALP公司 2016 : 97:1-97:15 [公元48年] 让·古堡-拉雷克 , Jean-Philippe拉康 :
兰花特征监测的复杂性。 右心室 2016 : 169-184 [i4] 让·古堡-拉雷克 , 莫妮卡·塞森伯格 , 维克托·塞利瓦诺夫 , 安德烈亚斯·魏尔曼 :
计算机科学中的良好准序(Dagstuhl研讨会16031)。 达格斯图尔报告 6 ( 1 ) : 69-98 ( 2016 ) 2015 [公元18年] 让·古堡-拉雷克 :
PCF I的非确定性和概率扩展的完全抽象:天使案例。 J.日志。 代数方法程序。 84 ( 1 ) : 155-184 ( 2015 ) [公元17年] 让·古堡-拉雷克 :
Schröder-Simpson定理的简短证明。 数学。 结构。 计算。 科学。 25 ( 1 ) : 1-5 ( 2015 ) [公元47年] 杰雷米·杜布特 , 埃里克·古堡 , 让·古堡-拉雷克 :
自然同源性。 伊拉克石油公司(2) 2015 : 171-183 2014 [公元16年] 让·古堡-拉雷克 :
指数流和前置流。 申请。 分类结构。 22 ( 三 ) : 515-549 ( 2014 ) [公元46年] 让·古堡-拉雷克 , 罗伯托·塞加拉 :
随机可测量选择。 心灵的地平线 2014 : 343-362 [公元45年] 让·古堡-拉雷克 , 阿奇姆·荣格 :
QRB、QFS和概率功率域。 MFPS公司 2014 : 167-182 2013 【b1】 让·古堡-拉雷克 :
非豪斯道夫拓扑和域理论-点集拓扑中的选定主题。 新数学专著 22, 剑桥大学出版社 2013 ,十亿 978-1-107-03413-6 第I-VI页,1-491页 [公元44年] 让·古堡-拉雷克 , Jean-Pierre Jouannaud女士 :
有限语义树的开花。 编程逻辑 2013 : 90-122 [公元43年] 让·古堡-拉雷克 , 朱利安·奥利文 :
数学在入侵检测中的效率:网络熵案例。 FPS(FPS) 2013 : 3-16 [公元42年] 让·古堡-拉雷克 :
拓扑Kruskal定理的构造性证明。 MFCS公司 2013 : 22-41 [公元41年] 阿萨勒·阿吉 , 奥利维尔·布伊索 , 让·古堡-拉雷克 , 埃里克·古堡 , 西尔维·普托 :
具有不精确概率输入的程序的静态分析。 VSTTE公司 2013 : 22-47 2012 [公元15年] 奥利维尔·布伊索 , 埃里克·古堡 , 让·古堡-拉雷克 , 西尔维·普托 :
将p-盒推广到仿射算法。 计算 94 ( 2-4 ) : 189-201 ( 2012 ) [公元14年] 让·古堡-拉雷克 :
QRB-域和概率功率域。 日志。 方法计算。 科学。 8 ( 1 ) ( 2012 ) [j13] 阿兰·芬克尔 , 让·古堡-拉雷克 :
WSTS的正向分析,第二部分:完成WSTS。 日志。 方法计算。 科学。 8 ( 三 ) ( 2012 ) [公元40年] 阿兰·芬克尔 , 让·古堡-拉雷克 :
WSTS理论:完整WSTS案例。 Petri网 2012 : 3-31 [i3] 阿萨勒·阿吉 , 让·古堡-拉雷克 :
具有非确定性和随机输入的程序的具体语义。 CoRR公司 abs/1210.2605 ( 2012 ) 2011 [公元12年] 让·古堡-拉雷克 , 克劳斯·凯梅尔 :
非豪斯多夫空间的Choquet-Kendall-Matheron定理。 数学。 结构。 计算。 科学。 21 ( 三 ) : 511-561 ( 2011 ) [公元11年] 让·古堡-拉雷克 :
围绕相互作用和连贯的几何学进行思考。 西奥。 计算。 科学。 412 ( 20 ) : 1998-2014 ( 2011 ) [公元39年] 让·古堡-拉雷克 , 丹尼尔·瓦拉卡 :
连续随机变量。 低收入国家 2011 : 97-106 2010 [公元10年] 让·古堡-拉雷克 :
形式安全证明的有限模型。 J.计算。 安全。 18 ( 6 ) : 1247-1299 ( 2010 ) [公元9年] 让·古堡-拉雷克 :
德格罗特的二元性和选择模型:天使、恶魔和自然。 数学。 结构。 计算。 科学。 20 ( 2 ) : 169-237 ( 2010 ) [公元38年] 赫迪·本西纳 , 让·古堡-拉雷克 :
关于虚拟化系统安全和监视器的一些想法。 DPM/SETOP公司 2010 : 244-258 [公元37年] 让·古堡-拉雷克 :
验证中的诺瑟空间。 伊拉克石油公司(2) 2010 : 2-21 [公元36年] 让·古堡-拉雷克 :
omega-QRB-域和概率功率域。 低收入国家 2010 : 352-361
2000 – 2009
2009 [公元35年] 让·古堡-拉雷克 :
“逻辑获胜!”。 亚洲的 2009 : 1-16 [公元34年] 阿兰·芬克尔 , 让·古堡-拉雷克 :
WSTS的正向分析,第二部分:完成WSTS。 伊拉克石油公司(2) 2009 : 188-199 [公元33年] 阿兰·芬克尔 , 让·古堡-拉雷克 :
WSTS的正向分析,第一部分:完井。 STACS公司 2009 : 433-444 [i2] 阿兰·芬克尔 , 让·古堡-拉雷克 :
WSTS的正向分析,第一部分:完井。 CoRR公司 abs/0902.1587 ( 2009 ) 2008 [j8] 让·古堡-拉雷克 , 斯拉沃米尔·拉索塔 , 大卫·诺瓦 :
一元类型的逻辑关系。 数学。 结构。 计算。 科学。 18 ( 6 ) : 1169-1217 ( 2008 ) [c32] 让·古堡-拉雷克 :
自动生成正式可检查的安全证明。 CSF公司 2008 : 224-238 [公元31年] 让·古堡-拉雷克 :
模拟无限状态随机游戏之间的半米。 FoSSaCS公司 2008 : 50-65 [公元30年] 让·古堡-拉雷克 :
Prevision Domains和凸幂锥。 FoSSaCS公司 2008 : 318-333 [公元29年] 让·古堡-拉雷克 , 朱利安·奥利文 :
兰花的味道。 右心室 2008 : 1-20 2007 [j7] 库马尔·内拉杰·维尔马 , 让·古堡-拉雷克 :
交替双向交流树自动机。 Inf.计算。 205 ( 6 ) : 817-869 ( 2007 ) [公元28年] 让·古堡-拉雷克 , 帕拉米德斯猫 , 安吉洛·特洛伊纳 :
概率应用圆周率微积分。 阿普拉斯 2007 : 175-190 [公元27年] 埃利·布尔斯泰因 , 让·古堡-拉雷克 :
评估网络对故障和攻击的恢复能力的逻辑框架。 亚洲的 2007 : 212-227 [公元26年] 让·古堡-拉雷克 :
持续预防。 CSL公司 2007 : 542-557 [公元25年] 让·古堡-拉雷克 :
连续状态空间上的连续容量。 ICALP公司 2007 : 764-776 [公元24年] 让·古堡-拉雷克 :
关于Noetherian空间。 低收入国家 2007 : 453-462 2005 [j6] 库马尔·内拉杰·维尔马 , 让·古堡-拉雷克 :
VASS分支扩展的Karp-Miller树。 谨慎。 数学。 西奥。 计算。 科学。 7 ( 1 ) : 217-230 ( 2005 ) [j5] 让·古堡-拉雷克 :
决定 H(H) 1 通过决议。 Inf.流程。 莱特。 95 ( 三 ) : 401-408 ( 2005 ) 【j4】 让·古堡-拉雷克 , 穆里尔·罗杰 , 库马尔·尼拉杰·维尔马 :
抽象和解析模AC:如何自动验证Diffie-Hellman类协议。 J.日志。 代数方法程序。 64 ( 2 ) : 219-251 ( 2005 ) [j3] 让·古堡-拉雷克 :
估价延期。 数学。 结构。 计算。 科学。 15 ( 2 ) : 271-297 ( 2005 ) 【c23】 朱利安·奥利文 , 让·古堡-拉雷克 :
Orchids入侵检测工具。 CAV汽车 2005 : 286-290 [公元22年] 让·古堡-拉雷克 , Fabrice Parrennes公司 :
实C码的密码协议分析。 VMCAI公司 2005 : 363-379 [i1] 让·古堡-拉雷克 , 斯拉沃米尔·拉索塔 , 大卫·诺瓦 :
一元类型的逻辑关系。 CoRR公司 abs/cs/0511006 ( 2005 ) 2004 【c21】 让·古堡-拉雷克 , 斯拉沃米尔·拉索塔 , 大卫·诺瓦 , 于章 :
密码Lambda-Calculi的完全Lax逻辑关系。 CSL公司 2004 : 400-414 2003 [电子1] 让·古堡-拉雷克 :
《密码协议验证的逻辑方面》,LACPV 2001,与CAV 2001相关,法国巴黎,2001年7月23日。 理论计算机科学电子笔记 55(1), 爱思维尔 2003 [目录] 2002 [公元20年] 让·古堡-拉雷克 :
高阶正集约束。 CSL公司 2002 : 473-489 [第19条] 让·古堡-拉雷克 , 斯拉沃米尔·拉索塔 , 大卫·诺瓦 :
一元类型的逻辑关系。 CSL公司 2002 : 553-568 2001 [第18条] 穆里尔·罗杰 , 让·古堡-拉雷克 :
通过模型检查记录审核。 CSFW公司 2001 : 220-234 [第17条] 让·古堡-拉雷克 :
基础良好的递归关系。 CSL公司 2001 : 484-497 [第16条] Xavier对手 , 让·古堡-拉雷克 :
Coq中有限树自动机的实验。 TPHOL公司 2001 : 362-377 [第15条] 让·古堡-拉雷克 :
前言。 CAV下的LACPV 2001 : 101-102 2000 [注2] Healfdene Goguen公司 , 让·古堡-拉雷克 :
序列组合子:lambda演算的Hilbert系统。 数学。 结构。 计算。 科学。 10 ( 1 ) : 1-79 ( 2000 ) [第14条] 库马尔·内拉杰·维尔马 , 让·古堡-拉雷克 , 桑吉瓦·普拉萨德 , S.Arun-Kumar公司 :
在Coq中反映BDD。 亚洲的 2000 : 162-181 [c13] 让·古堡-拉雷克 :
一种自动密码协议验证方法。 IPDPS研讨会 2000 : 977-984
1990 – 1999
1999 [第12条] 让·古堡-拉雷克 :
具有自由构造函数的一阶逻辑简单序列系统。 TABLEAUX公司 1999 : 202-216 1998 [第11条] 让·古堡-拉雷克 :
连接类型和SKInT。 类型 1998 : 106-120 1997 [第10条] 让·古堡-拉雷克 :
Ramified高阶统一。 低收入国家 1997 : 410-421 【c9】 彼得·施密特 , 让·古堡-拉雷克 :
线性时间时序逻辑表系统。 TACAS公司 1997 : 130-144 1996 【c8】 让·古堡-拉雷克 :
类型lambda-sigma-Calculi弱终止的证明。 类型 1996 : 134-153 1995 [j1] 让·古堡 :
基于BDD的简化和Skolemization过程。 日志。 J.IGPL公司 三 ( 6 ) : 827-855 ( 1995 ) 1994 【c7】 让·古堡 :
使用BDD和信息控制进行证明。 学员 1994 : 499-513 【c6】 让·古堡 , 约阿希姆·波塞加 :
BDD和自动扣除。 ISMIS系统 1994 : 541-550 【c5】 让·古堡 :
刚性E-Unifibility是DEXPTIME-Complete。 低收入国家 1994 : 498-506 【c4】 让·古堡 :
高阶刚性E-Unification。 LPAR公司 1994 : 129-143 【c3】 让·古博 :
广义装箱、同余和部分内联。 SAS公司 1994 : 147-161 【c2】 让·古堡 :
基于资源的一阶经典逻辑的复杂性。 STACS公司 1994 : 59岁至70岁 1993 【c1】 让·古堡 :
基于规则的刚性E-Unification算法。 库尔特·哥德尔座谈会 1993 : 202-210