简朴的乔科；雷米·杜伦斯；帕斯卡·弗雷德特 保留属性的方面。 （英语） Zbl 1243.68143号 科学。计算。程序。 77，第3期，393-422（2012）.MSC公司：68甲19 第68季度55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Djoko-Djoko}等人，科学。计算。程序。77，第3号，393--422（2012；Zbl 1243.68143） 全文： 内政部
帕斯卡·弗雷德特；哈，Stéphane Hong Tuan 可用性方面。强制执行定时属性以防止拒绝服务。 （英语） Zbl 1211.68070号 科学。计算。程序。 75，第7期，516-542（2010）.MSC公司：68甲19 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Fradet}和\textit{S.H.T.Ha}，科学。计算。程序。75，编号7，516--542（2010；Zbl 1211.68070） 全文： 内政部
Jean-Pierre，Banátre；帕斯卡·弗雷德特；亚恩·拉德纳克 化学模型中的经典配位机制。 （英语） Zbl 1194.68098号 Bertot，Yves（编辑）等人，《从语义学到计算机科学》。纪念吉尔斯·卡恩的文章。剑桥：剑桥大学出版社（ISBN 978-0-521-51825-3/hbk）。29-50 (2009).MSC公司：68甲19 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Banátre}等人，in：从语义学到计算机科学。纪念吉尔斯·卡恩的文章。剑桥：剑桥大学出版社。29-50（2009年；Zbl 1194.68098）
帕斯卡·弗雷德特；哈，Stéphane Hong Tuan 网络融合。 （英语） 兹比尔1116.68383 Chin，Wei Ngan（编辑），《编程语言与系统》。第二届亚洲研讨会，APLAS 2004，台湾台北，2004年11月4日至6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23724-0/pbk）。计算机科学讲座笔记3302，21-40（2004）。MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Fradet}和\textit{S.H.T.Ha}，Lect。票据计算。科学。3302、21--40（2004年；Zbl 1116.68383） 全文： 内政部
雷米·杜伦斯；帕斯卡·弗雷德特；马里奥·苏霍尔特 用于检测和解决方面交互的框架。 （英语） Zbl 1028.68727号 Batory，Don（编辑）等人，《生成编程和组件工程》，ACM SIGPLAN/SIGSOFT会议，2002年GPCE，宾夕法尼亚州匹兹堡，美国，2002年10月6-8日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2487, 173-188 (2002).MSC公司：68单位99 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Douence}等人，Lect。票据计算。科学。2487、173--188（2002年；Zbl 1028.68727） 全文： 链接
托马斯·科尔科姆贝特；帕斯卡·弗雷德特 通过程序转换强制跟踪属性。 （英语） Zbl 1323.68355号 2000年1月19日至21日，美国马萨诸塞州波士顿，POPL'00，第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-125-9）。54-66 (2000).MSC公司：第68季度55 68甲19 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Colcombet}和\textit{P.Fradet}，摘自：第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'00，美国马萨诸塞州波士顿，2000年1月19日至21日。纽约州纽约市：计算机协会（ACM）。54-66（2000年；Zbl 1323.68355） 全文： 内政部 链接