弗兰克·卡塞兹;彼得·格约尔·詹森;金·古德斯特兰·拉森 实时程序跟踪抽象的改进。 （英语） 兹比尔1478.68052 Hague，Matthew（编辑）等人，《可达性问题》。2017年9月7日至9日在英国伦敦举行的2017年RP第11届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10506, 42-58 (2017).理学硕士：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人，Lect。注释计算。科学。10506，42-58（2017；Zbl 1478.68052） 全文： 内政部
彼得·布利切夫;弗兰克·卡塞兹;亚历山大·戴维;金·古德斯特兰·拉森;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔 具有最小观测能力的控制器（应用于定时系统）。 （英语） Zbl 1374.68255号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561223-237（2012）。理学硕士：第68季度第45季度 60年第68季度 68问题85 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人，Lect。注释计算。科学。7561、223--237（2012年；Zbl 1374.68255） 全文： 内政部 arXiv公司
弗兰克·卡塞兹;Jan J.杰森。;Larsen，Kim G。;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔 鲁棒和最优控制器的自动综合——工业案例研究。 （英语） Zbl 1237.93058号 Majumdar，Rupak（编辑）等人，《混合系统：计算和控制》。2009年4月13日至15日在美国加利福尼亚州旧金山举行的2009年HSCC第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00601-2/pbk）。计算机科学课堂讲稿5469，90-104（2009）。理学硕士：93亿B51 93亿B50 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛F.Cassez｝等人，Lect。注释计算。科学。5469，90-104（2009年；兹bl 1237.93058） 全文： 内政部
弗兰克·卡塞兹;亚历山大·戴维;Larsen，Kim G。;莱姆，迪迪埃;Jean-François拉斯金 基于观察和断续不变策略的时间控制。 （英语） Zbl 1141.68428号 Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。《计算机科学讲义》4762192-206（2007）。理学硕士：第68季度第45季度 91A80型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人，Lect。注释计算。科学。4762，192--206（2007；Zbl 1141.68428） 全文： 内政部 哈尔
帕特里夏·布耶;弗兰克·卡塞兹;伊曼纽尔·弗勒里;Larsen，Kim G。 使用综合优化策略高超声速. （英语） Zbl 1272.68228号 de Alfaro，L.（编辑），《游戏设计与验证研讨会论文集》（GDV 2004），美国马萨诸塞州波士顿，2004年6月18日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》119，第1期，11-31页（2005年）。理学硕士：60年第68季度 91A55型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，《电子》。注释Theor。计算。科学。119，编号1，11--31（2005；Zbl 1272.68228） 全文： 链接
弗兰克·卡塞兹;亚历山大·戴维;伊曼纽尔·弗勒里;Larsen，Kim G。;莱姆，迪迪埃 用于分析计时游戏的高效实时算法。 （英语） Zbl 1134.68382号 Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山，2005年8月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653，66-80（2005）。理学硕士：第68季度第45季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人，Lect。注释计算。科学。3653，66-80（2005年；兹bl 1134.68382） 全文： 内政部
帕特里夏·布耶;弗兰克·卡塞兹;伊曼纽尔·弗勒里;Larsen，Kim G。 定价时间博弈自动机中的最优策略。 （英语） Zbl 1117.68396号 Lodaya，Kamal（编辑）等人，FSTTCS 2004：软件技术和理论计算机科学基础。第24届国际会议，印度钦奈，2004年12月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24058-6/pbk）。计算机科学课堂讲稿3328148-160（2004）。理学硕士：第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。3328148-160（2004年；Zbl 1117.68396） 全文： 内政部
弗兰克·卡塞兹;金·拉森 秒表令人印象深刻的力量。 （英语） Zbl 0999.68112号 Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1877, 138-152 (2000).理学硕士：第68季度第45季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}和\textit{K.Larsen}，莱克特。注释计算。科学。1877，138--152（2000；Zbl 0999.68112）