弗雷德里克·梅斯纳德
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2023 [i18] 山田秋久 , 本杰明·卢西安·卡明斯基 , 迪特尔·霍夫鲍尔 , 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 :
第19届国际终止研讨会(WST 2023):前言、受邀演讲摘要和工具描述。 CoRR公司 abs/2308.09536 ( 2023 ) 2020 [公元15年] 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 , 格尔曼·维达尔 :
(约束)逻辑程序设计中的选择性统一。 芬丹。 信息学 177 ( 3-4 ) : 359-383 ( 2020 ) [公元14年] 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 , 杰曼·维达尔 :
CLP中的酒精测试。 理论与实践。 日志。 程序。 20 ( 5 ) : 671-686 ( 2020 ) [公元39年] 索菲·福茨 , 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 , 吉尔斯·佩鲁因 , 维姆·范霍夫 , 格尔曼·维达尔 :
一种基于SMT的逻辑程序Concolic测试工具。 FLOPS(浮动) 2020 : 215-219 [i17] 索菲·福茨 , 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 , 吉尔斯·佩鲁因 , 维姆·范霍夫 , 格尔曼·维达尔 :
一种基于SMT的逻辑程序Concolic测试工具。 CoRR公司 abs/2002.07115 ( 2020 ) [i16] 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 , 格尔曼·维达尔 :
CLP中的酒精测试。 CoRR公司 abs/2008.00421 ( 2020 )
2010 – 2019
2019 [电子3] 弗雷德·梅斯纳德 , 彼得·J·斯塔基 :
基于逻辑的程序合成与转换——第28届国际研讨会,2018年9月4日至6日,德国法兰克福/梅因,LOPSTR 2018,修订论文集。 计算机科学讲义 11408, 施普林格 2019 ,十亿 978-3-030-13837-0 [目录] 2018 【i15】 弗雷德·梅斯纳德 , 彼得·J·斯塔基 :
第28届基于逻辑的程序合成与转换国际研讨会(LOPSTR 2018)的预发布。 CoRR公司 abs/1808.03326 ( 2018 ) 2017 [公元38年] 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 , 格尔曼·维达尔 :
约束逻辑编程中的选择性统一。 PPDP(PPDP) 2017 : 115-126 2016 [公元37年] 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 , 格尔曼·维达尔 :
逻辑程序逻辑测试中选择统一的完备性。 洛普斯特 2016 : 205-221 [c36] 弗雷德里克·梅斯纳德 , 埃蒂安·佩耶特 , 维姆·范霍夫 :
二进制代码中算法识别的框架。 PPDP(PPDP) 2016 : 202-213 [公元35年] Fonenantsoa Maurica公司 , 弗雷德里克·梅斯纳德 , 埃蒂安·佩耶特 :
使用参数化有理逼近的浮点程序终止分析。 囊 2016 : 1674-1679 [公元34年] Fonenantsoa Maurica公司 , 弗雷德里克·梅斯纳德 , 埃蒂安·佩耶特 :
关于简单浮点循环的线性排序问题。 SAS公司 2016 : 300-316 [第14条] 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 , 格尔曼·维达尔 :
逻辑程序逻辑测试中选择统一的完备性。 CoRR公司 abs/1608.03054 ( 2016 ) 2015 [j13] 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 :
非终结的二阶公式。 信息处理。 莱特。 115 ( 11 ) : 882-885 ( 2015 ) [公元12年] 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 , 格尔曼·维达尔 :
逻辑编程中的一致性测试。 理论与实践。 日志。 程序。 15 ( 4-5 ) : 711-725 ( 2015 ) [c33] 吉尔根·吉斯尔 , 弗雷德里克·梅斯纳德 , 阿尔伯特·鲁比奥 , 雷内·蒂曼 , 约翰内斯·沃尔德曼 :
终止竞争(术语COMP 2015)。 CADE公司 2015 : 105-108 [i13] 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 , 格尔曼·维达尔 :
逻辑编程中的逻辑测试。 CoRR公司 腹肌/1507.05454 ( 2015 ) 2014 [i12] 埃蒂安·佩耶特 , 弗雷德·梅斯纳德 , 福斯托·斯波托 :
Java字节码的非终结性分析。 CoRR公司 abs/1401.5292 ( 2014 ) [i11] 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 :
非终止的二阶公式。 CoRR公司 abs/1412.3271 ( 2014 ) [i10] 埃蒂安·佩耶特 , 弗雷德里克·梅斯纳德 :
通过编译到CLP不终止Dalvik字节码。 CoRR公司 abs/1412.3729 ( 2014 ) 2013 [公元32年] 罗伯托·巴格纳拉 , 弗雷德·梅斯纳德 :
最终线性排名函数。 PPDP(PPDP) 2013 : 229-238 [第九章] 罗伯托·巴格纳拉 , 弗雷德·梅斯纳德 :
最终线性排名函数。 CoRR公司 abs/1306.1901 ( 2013 ) 2012 [公元11年] 罗伯托·巴格纳拉 , 弗雷德·梅斯纳德 , 安德烈亚·佩塞蒂 , 埃娜·扎法内拉 :
线性排序函数自动合成的新观点。 Inf.计算。 215 : 47-67 ( 2012 ) [公元10年] 奥利维尔·普约尔 , 弗雷德里克·梅斯纳德 , 亨利·索瓦基奥 :
机载气象X波段雷达观测中融化层的影响。 IEEE传输。 地质科学。 远程。 传感器。 50 ( 6 ) : 2318-2324 ( 2012 ) 2010 [公元9年] 福斯托·斯波托 , 弗雷德·梅斯纳德 , 埃蒂安·佩耶特 :
基于路径长度的Java字节码终止分析器。 ACM事务处理。 程序。 语言系统。 32 ( 三 ) : 8:1-8:70 ( 2010 ) [j8] 萨尔瓦托·鲁杰里 , 弗雷德·梅斯纳德 :
键入线性约束。 ACM事务处理。 程序。 语言系统。 32 ( 6 ) : 21:1-21:42 ( 2010 ) [公元31年] 萨尔瓦托·鲁杰里 , 弗雷德·梅斯纳德 :
线性约束中的变量范围。 囊 2010 : 2061-2065 [i8] 罗伯托·巴格纳拉 , 弗雷德·梅斯纳德 , 安德烈亚·佩塞蒂 , 埃娜·扎法内拉 :
线性排序函数的自动合成:完整的未删节版本。 CoRR公司 abs/1004.0944 ( 2010 )
2000 – 2009
2009 [j7] 埃蒂安·佩耶特 , 弗雷德里克·梅斯纳德 :
二进制约束逻辑程序的非终止准则。 理论与实践。 日志。 程序。 9 ( 2 ) : 145-164 ( 2009 ) [公元30年] 福斯托·斯波托 , Lunjin路 , 弗雷德·梅斯纳德 :
使用CLP简化改进Java字节码终止分析。 BYTECODE@ETAPS 2009 : 129-144 2008 [j6] 弗雷德里克·梅斯纳德 , 亚历山大·谢列布雷尼克 :
对于CLP(R),仿射级映射的递归是P时间可判定的。 理论与实践。 日志。 程序。 8 ( 1 ) : 111-119 ( 2008 ) [公元29年] 萨尔瓦托·鲁杰里 , 弗雷德里克·梅斯纳德 :
为修改CLP()程序键入线性约束。 SAS公司 2008 : 128-143 [i7] 埃蒂安·佩耶特 , 弗雷德里克·梅斯纳德 :
二进制约束逻辑程序的一种非终止准则。 CoRR公司 abs/0807.3451 ( 2008 ) 2007 [i6] 弗雷德里克·梅斯纳德 , 亚历山大·谢列布雷尼克 :
对于CLP(R),仿射级映射的递归是P时间可判定的。 CoRR公司 abs/cs/0701082 ( 2007 ) 2006 [j5] 埃蒂安·佩耶特 , 弗雷德里克·梅斯纳德 :
逻辑程序的不确定性推理。 ACM事务处理。 程序。 语言系统。 28 ( 2 ) : 256-289 ( 2006 ) 2005 【j4】 弗雷德里克·梅斯纳德 , 罗伯托·巴格纳拉 :
cTI:用于ISO-Prolog的基于约束的终止推理工具。 理论与实践。 日志。 程序。 5 ( 1-2 ) : 243-257 ( 2005 ) [j3] 佛罗伦斯·贝诺伊 , 安迪·金 , 弗雷德里克·梅斯纳德 :
使用线性解算器计算凸包。 理论与实践。 日志。 程序。 5 ( 1-2 ) : 259-271 ( 2005 ) [公元28年] 埃蒂安·佩耶特 , 弗雷德里克·梅斯纳德 :
二进制约束逻辑程序的一种改进的非终止准则。 无线局域网 2005 : 46-60 [i5] 埃蒂安·佩耶特 , 弗雷德里克·梅斯纳德 :
二进制约束逻辑程序的一种改进的非终止准则。 CoRR公司 abs/cs/0508106 ( 2005 ) 2004 [公元27年] 埃蒂安·佩耶特 , 弗雷德里克·梅斯纳德 :
非终结性信息是程序逻辑的一种禁忌。 JFPLC公司 2004 [公元26年] 亚历山大·谢列布雷尼克 , 弗雷德里克·梅斯纳德 :
二进制CLP程序终止时。 不平衡 2004 : 231-244 [公元25年] 亚历山大·谢列布雷尼克 , 弗雷德·梅斯纳德 :
二进制CLP程序终止时。 世界范围 2004 [公元24年] 埃蒂安·佩耶特 , 弗雷德里克·梅斯纳德 :
约束逻辑程序的非终结推理。 SAS公司 2004 : 377-392 [电子2] 弗雷德里克·梅斯纳德 :
Programmation en logique avec containtes,JFPLC 2004,21,22和23 Juin 2004,Angers,France。 爱马仕 2004 ,十亿 2-7462-0937-3 [目录] [i4] 埃蒂安·佩耶特 , 弗雷德里克·梅斯纳德 :
逻辑程序的非终结推理。 CoRR公司 反恐精英。 PL/0406041 ( 2004 ) 2003 [注2] 弗雷德里克·梅斯纳德 , 萨尔瓦托·鲁杰里 :
关于证明约束逻辑程序的左终止。 ACM事务处理。 计算。 日志。 4 ( 2 ) : 207-259 ( 2003 ) 【c23】 维塔利湖 , 弗雷德里克·梅斯纳德 , 彼得·J·斯塔基 :
类型终止分析更准确。 ICLP公司 2003 : 254-268 [电子1] 弗雷德里克·梅斯纳德 , 亚历山大·谢列布雷尼克 :
第十三届逻辑编程环境国际研讨会论文集,塔塔基础研究所,印度孟买,2003年12月8日。 报告 CW371, Katholieke Universiteit Leuven,计算机科学系,Celestijnenlaan 200A,B-3001 Heverlee(比利时) 2003 [目录] [i3] 弗雷德里克·梅斯纳德 , 罗伯托·巴格纳拉 :
cTI:用于ISO-Prolog的基于约束的终止推理工具。 CoRR公司 反恐精英。 PL/0309028 ( 2003 ) [i2] 佛罗伦斯·贝诺伊 , 安迪·金 , 弗雷德里克·梅斯纳德 :
使用线性解算器计算凸包。 CoRR公司 反恐精英。 PL/0311002 ( 2003 ) 2002 [公元22年] 弗雷德里克·梅斯纳德 , 埃蒂安·佩耶特 , 乌尔里希·纽默克尔 :
逻辑程序最佳终止条件的无终止推理。 JFPLC公司 2002 : 87- 【c21】 弗雷德里克·梅斯纳德 , 埃蒂安·佩耶特 , 乌尔里希·纽默克尔 :
检测逻辑程序的最佳终止条件。 SAS公司 2002 : 509-526 [i1] 埃蒂安·佩耶特 , 弗雷德里克·梅斯纳德 :
逻辑程序设计提升引理的推广。 CoRR公司 反恐精英。 LO/0212026 ( 2002 ) 2001 [公元20年] 弗雷德里克·梅斯纳德 , 乌尔里希·纽默克尔 , 埃蒂安·佩耶特 :
cTI:un outil pour l’inérrence de conditions优化了Prolog的最终版本。 JFPLC公司 2001 : 271-286 [第19条] 弗雷德里克·梅斯纳德 , Ulrich Neumerkel公司 :
应用静态分析技术推断逻辑程序的终止条件。 SAS公司 2001 : 93-110 2000 [第18条] 弗雷德里克·梅斯纳德 , 安托万·劳齐 :
Le iota-calcul:《公共秩序》(un langage de containtes d’ordre supérieur)。 JFPLC公司 2000 : 241- [第17条] 谢尔盖·伯克尔 , 塞巴斯蒂安·霍劳 , 弗雷德里克·梅斯纳德 , 乌尔里希·纽默克尔 :
cTI:逻辑程序的自下而上终止推理。 WLP(WLP) 2000 : 123-134 [第16条] 斯特凡·克莱尔 , 弗雷德里克·梅斯纳德 , 乌尔里希·纽默克尔 :
Logikprogrammen中的切片zur Fehlersuche。 WLP(WLP) 2000 : 241-243
1990 – 1999
1999 [第15条] 谢尔盖·科林 , 弗雷德里克·梅斯纳德 , 安托万·劳齐 :
非模块Prolog de mu-calcul booléen:une réalisation par BDD。 JFPLC公司 1999 : 23-38 [第14条] 乌尔里希·纽默克尔 , 弗雷德里克·梅斯纳德 :
定位并解释带有故障片的非终止逻辑程序的原因。 PPDP(PPDP) 1999 : 328-342 1998 [j1] 弗雷德里克·梅斯纳德 , 塞巴斯蒂安·霍劳 , 亚历山大·梅拉德 :
CLP(chi)用于自动证明程序属性。 J.日志。 程序。 37 ( 1-3 ) : 77-93 ( 1998 ) [第13条] 塞巴斯蒂安·霍劳 , 弗雷德里克·梅斯纳德 :
Inférer et compiler la terminaison des programs logiques avec containtes信息与编译程序逻辑术语。 JFPLC公司 1998 : 269-286 [第12条] 塞巴斯蒂安·霍劳 , 弗雷德里克·梅斯纳德 :
约束逻辑程序的推断和编译终止。 不平衡 1998 : 240-254 1996 [第11条] 弗雷德里克·梅斯纳德 , 塞巴斯蒂安·霍劳 , 亚历山大·梅拉德 :
CLP(chi)用于证明程序属性。 FroCoS公司 1996 : 321-338 [第10条] 弗雷德里克·梅斯纳德 :
推断约束逻辑程序的左端查询类。 JICSLP公司 1996 : 7-21 【c9】 塞巴斯蒂安·霍劳 , 弗雷德里克·梅斯纳德 :
PLC(Bool)为出生的变量数提供保护。 JFPLC公司 1996 : 169-184 1995 【c8】 弗雷德里克·梅斯纳德 , 塞巴斯蒂安·霍劳 :
动态控制解决方案为程序逻辑提供了约束。 JFPLC公司 1995 : 259-273 【c7】 弗雷德里克·梅斯纳德 :
CLP(x)程序的自动控制。 洛普斯特 1995 : 106-119 1994 【c6】 弗雷德里克·梅斯纳德 :
《程序逻辑术语汇编》禁止使用近似值。 JFPLC公司 1994 : 205- 1993 【c5】 弗雷德里克·梅斯纳德 :
编程语言中的近似逻辑是有限制的。 JFPL公司 1993 : 319-341 1992 【c4】 弗雷德里克·梅斯纳德 , Jean-Gabriel Ganascia公司 :
CLP(X)用于证明程序属性。 JFPL公司 1992 : 328- 【c3】 弗雷德里克·梅斯纳德 , 让-加布里埃尔·加纳西亚 :
CLP(Q)用于证明争论关系。 元 1992 : 308-320 【c2】 弗雷德里克·梅斯纳德 , 玛丽安·莫里伦 :
CLP(Q)程序有效线性度量的自动生成。 WSA公司 1992 : 29-34 1991 【c1】 弗雷德里克·梅斯纳德 , Jean-Gabriel Ganascia公司 :
一份控制方案提案。 JTASPEFT/WSA公司 1991 : 125-131
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)