Nathalie Bertrand;雨果·弗兰肯;尼古拉斯·马基 同步下的单词长期贷款约束。 (英语) Zbl 07691951号 信息处理。莱特。 182,文章ID 106392,第7页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,《信息处理》。莱特。182,文章ID 106392,7 p.(2023;Zbl 07691951) 全文: 内政部
亚伦·波希;维罗尼克·布鲁埃;Jean-François拉斯金;Nathalie Bertrand 单调马尔可夫决策过程中平均路径和最短路径的符号算法。 (英语) Zbl 1378.68122号 学报信息。 54,第6号,545-587(2017).MSC公司:87年第68季度 68第05页 60年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Bohy}等人,《学报》第54期,第6期,第545--587页(2017年;Zbl 1378.68122) 全文: 内政部 arXiv公司
Nathalie Bertrand;阿梅利·施泰纳;蒂埃里·杰伦;莫伊斯·克里钦 确定时间自动机的博弈方法。 (英语) Zbl 1323.68337号 形式方法系统。设计。 46,第1期,42-80(2015).MSC公司:65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,《形式方法系统》。设计。46,第1号,42--80(2015;Zbl 1323.68337) 全文: 内政部 哈尔
Nathalie Bertrand;Legay、Axel;苏菲·平奇纳特;Jean-Baptiste Raclet女士 基于定时组件设计的模态事件块规范。 (英语) Zbl 1264.68053号 科学。计算。程序。 77,第12期,1212-1234(2012).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,科学。计算。程序。77,第12号,1212--1234(2012;Zbl 1264.68053) 全文: 内政部
Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;阿梅利·施泰纳 正频率时间自动机中的空性和普适性问题。 (英语) Zbl 1333.68158号 Aceto,Luca(编辑)等人,《自动化,语言和编程》。2011年7月4日至8日,瑞士苏黎世,第38届国际学术讨论会,ICALP 2011。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学课堂讲稿6756,246-257(2011)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,Lect。票据计算。科学。6756,246--257(2011;Zbl 1333.68158) 全文: 内政部 arXiv公司
Nathalie Bertrand;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 非确定性时间自动机的离线测试选择和测试目的。 (英语) Zbl 1315.68082号 Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记660596-111(2011)。MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,Lect。票据计算。科学。660596-111(2011年;Zbl 1315.68082) 全文: 内政部 arXiv公司
Nathalie Bertrand;苏菲·平奇纳特;Jean-Baptiste Raclet女士 定时模式规范的细化和一致性。 (英语) Zbl 1234.68250号 Dediu,Adrian Horia(编辑)等人,《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00981-5/pbk)。计算机科学课堂讲稿5457152-163(2009)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,Lect。票据计算。科学。54571952-163(2009年;兹比尔12346.8250) 全文: 内政部