马丁·德·沃尔夫;劳伦特·多恩;Jean-François拉斯金 解不完全信息博弈的格理论。 （英文） Zbl 1178.93072号 Hespanha，João（编辑）等人，《混合系统：计算和控制》。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33170-0/pbk）。《计算机科学讲义》3927153-168（2006）。MSC公司：93立方 65年第68季度 91A05型 91年10月 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人，Lect。注释计算。科学。3927153--168（2006年；Zbl 1178.93072） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;鲁帕克·马朱姆达尔;Jean-François拉斯金 符号转换系统的分类。 （英文） Zbl 1367.68193号 ACM事务处理。计算。日志。 6，第1期，1-32页（2005年）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人，ACM Trans。计算。日志。6，第1号，1--32（2005；Zbl 1367.68193） 全文： 内政部
劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。;Jean-François拉斯金 仿射混合系统的自动矩形精化。 （英文） Zbl 1175.68243号 Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三次国际会议，FORMATS 2005，瑞典乌普萨拉，2005年9月26日至28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿3829144-161（2005）。MSC公司：65年第68季度 60年第68季度 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人，Lect。注释计算。科学。3829144-161（2005；Zbl 1175.68243） 全文： 内政部
马丁·德·沃尔夫;劳伦特·多恩;Jean-François拉斯金 几乎ASAP语义：从定时模型到定时实现。 （英文） Zbl 1101.68670号 正式Asp。计算。 17，第3期，319-341（2005）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人，正式Asp。计算。17，第3号，319--341（2005；Zbl 1101.68670） 全文： 内政部
弗兰克·卡塞兹;托马斯·亨辛格（Thomas A.Henzinger）。;Jean-François拉斯金 定时系统和混合系统控制问题的比较。 （英文） Zbl 1044.93518号 Tomlin，Claire J.（编辑）等人，《混合系统：计算与控制》。2002年3月25日至27日在美国加利福尼亚州斯坦福举行的2002年HSCC第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43321-X）。勒克特。注释计算。科学。2289, 134-148 (2002).MSC公司：93立方 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人，Lect。注释计算。科学。2289、134--148（2002年；Zbl 1044.93518） 全文： 链接
托马斯·亨辛格（Thomas A.Henzinger）。;Jean-François拉斯金 定时和混合系统的鲁棒不确定性。 （英文） Zbl 0944.93018号 Lynch，Nancy（编辑）等人，《混合系统：计算和控制》。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1790, 145-159 (2000). 审核人：D.Franke（汉堡） MSC公司：93立方 93元65角 65年第68季度 93C73号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{J.-F.Raskin}，莱克特。注释计算。科学。1790、145--159（2000；Zbl 0944.93018）