×

找到38个文档（结果1-38）

最新的 引文 关联
贝内迪克特·博利格;阿兰·芬克尔;阿姆丽塔·苏雷什

分支-well结构过渡系统和延伸。 （英语） Zbl 1499.68221号

Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。2022年6月13日至17日，第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，DisCoTec 2022，意大利卢卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273, 50-66 (2022).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，Lect。注释计算。科学。13273，50-66（2022；Zbl 1499.68221）
全文： 内政部 arXiv公司
伊戈尔·赫梅尔尼茨基;尼尔，丹尼尔;罗伊，拉贾什;谢、宣;巴伯，贝诺;贝内迪克特·博利格;阿兰·芬克尔;谢尔盖·哈达德;马丁·勒克;Ye，莉娜

递归神经网络的属性定向验证和鲁棒性证明。 （英语） Zbl 1497.68311号

Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 364-380 (2021).
MSC公司：60年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{I.Khmelnitsky}等人，Lect。注释计算。科学。12971、364--380（2021年；Zbl 1497.68311）
全文： 内政部
阿兰·芬克尔

从结构良好的过渡系统到程序验证。 （英语） Zbl 07453189号

Fribourg，Laurent（ed.）等人，第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录，VPT/HCVS 2020，爱尔兰都柏林，2020年4月25日至26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）320、44-49（2020）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}，电子。程序。西奥。计算。科学。（EPTCS）320、44-49（2020；Zbl 07453189）
全文： arXiv公司 链接
阿兰·芬克尔;M·普拉文。

验证扁平FIFO系统。 （英语） Zbl 07649920号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第12条，第17页（2019年）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}和\textit{M.Praveen}，LIPIcs——莱布尼茨国际程序。通知。140，第12条，第17页（2019年；Zbl 07649920）
全文： 内政部
阿兰·芬克尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷

具有一次测试和一次重置功能的两台计数器的可达性。 （英语） Zbl 1528.68219号

Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第31条，第14页（2018年）。
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}等人，LIPIcs——莱布尼茨国际程序。通知。122，第31条，第14页（2018；Zbl 1528.68219）
全文： 内政部
迈克尔·布隆丁;阿兰·芬克尔;让·古鲍特·拉雷克

WSTS的正向分析。三： 卡普·米勒树。 （英语） Zbl 1491.68118号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第16条，第15页（2018年）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Blondin}等人，LIPIcs——莱布尼茨国际程序。通知。93，第16条，第15页（2018；Zbl 1491.68118）
全文： 内政部
阿兰·芬克尔;艾蒂安·洛兹

通信有限状态机的同步性是不可判定的。 （英语） Zbl 1442.68138号

Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第122条，第14页（2017年）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}和\textit{E.Lozes}，LIPIcs——莱布尼茨国际程序。通知。80，第122条，第14页（2017年；Zbl 1442.68138）
全文： 内政部 arXiv公司
迈克尔·布隆丁;阿兰·芬克尔;克里斯托夫·哈斯;谢尔盖·哈达德

持续处理可覆盖性问题。 （英语） Zbl 1420.68144号

Chechik，Marsha（编辑）等人，《系统构建和分析的工具和算法》。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016，是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9636, 480-496 (2016).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Blondin}等人，Lect。注释计算。科学。9636480-496（2016；Zbl 1420.68144）
全文： 内政部 arXiv公司
雷米发动机盖;阿兰·芬克尔;M·普拉文。

将Rackoff技术扩展到仿射网。 （英语） Zbl 1354.68190号

D’Souza，Deepak（ed.）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，301-312（2012）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bonnet}等人，LIPIcs——莱布尼茨国际程序。通知。18、301-312（2012；Zbl 1354.68190）
全文： 内政部
皮埃尔·香巴特;阿兰·芬克尔;西尔万·施密茨

有迹WSTS的正向分析和模型检查。 （英语） Zbl 1330.68197号

Kristensen，Lars M.（编辑）等人，《Petri网的应用和理论》。2011年6月20日至24日，英国纽卡斯尔，第32届国际会议，PETRI NETS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21833-0/pbk）。计算机科学课堂讲稿670949-68（2011）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Chambart}等人，Lect。注释计算。科学。6709、49-68（2011年；Zbl 1330.68197）
全文： 内政部 arXiv公司
雷米发动机罩;阿兰·芬克尔;谢尔盖·哈达德;费尔南多·罗莎·维拉尔多

结构良好的过渡系统的表达性的序理论。 （英语） 兹比尔1326.68198

马丁·霍夫曼（编辑），《软件科学和计算结构基础》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议FOSSACS 2011，是欧洲软件理论与实践联合会议ETAPS 2011的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19804-5/pbk）。计算机科学讲座笔记6604153-167（2011）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bonnet}等人，Lect。注释计算。科学。6604153-167（2011年；Zbl 1326.68198）
全文： 内政部
雷米发动机盖;阿兰·芬克尔;杰罗姆·勒鲁;马克·泽顿

具有一个零检验的向量加法系统的有界性。 （英语） Zbl 1245.68131号

Lodaya，Kamal（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010），2010年12月15日至18日，印度钦奈。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-23-1）。LIPIcs–莱布尼茨国际信息学会议录8192-203，仅电子版（2010年）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bonnet}等人，LIPIcs——莱布尼茨国际程序。通知。8192-203（2010；Zbl 1245.68131）
全文： 内政部 链接
佛罗伦萨Bouchy;阿兰·芬克尔;阿诺德·桑尼尔

定时计数器系统的可达性。 （英语） 兹比尔1347.68255

Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239167-178（2009）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bouchy}等人，《电子》。注释Theor。计算。科学。239167--178（2009年；Zbl 1347.68255）
全文： 内政部
埃曼纽尔·恩克雷纳兹;阿兰·芬克尔

具有排名功能的计数器系统的自动验证。 （英语） Zbl 1347.68223号

Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239，85-103（2009）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Encrenaz}和\textit{A.Finkel}，电子。注释Theor。计算。科学。23985--103（2009年；Zbl 1347.68223）
全文： 内政部
阿兰·芬克尔;让·古鲍特·拉雷克

WSTS的正向分析。一： 完工。 （英语） Zbl 1236.68183号

Albers，Susanne（编辑）等人，STACS 2009。2009年2月26日至28日，德国弗莱堡，第26届计算机科学理论方面国际研讨会。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-09-5）。LIPIcs–莱布尼茨国际信息学会议录3，433-444，仅电子版（2009年）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}和\textit{J.Goubault-Larrecq}，LIPIcs——莱布尼茨国际程序。通知。3433-444（2009年；Zbl 1236.68183）
全文： 内政部 链接
阿兰·芬克尔;爱蒂安·洛兹;阿诺德·桑尼尔

面向带有列表的模型检查程序。 （英语） Zbl 1258.68094号

玛格丽特·阿奇博尔德（编辑）等人，《逻辑和计算中的无限》。2007年11月3日至5日在南非开普敦举行的2007年国际劳工大会国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03091-8/pbk）。计算机科学课堂讲稿5489。人工智能课堂讲稿，56-86（2009）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}等人，Lect。注释计算。科学。5489，56-86（2009年；兹比尔1258.68094）
全文： 内政部
阿兰·芬克尔;让·古鲍特·拉雷克

WSTS的正向分析。二： 完成WSTS。 （英语） Zbl 1248.68352号

Albers，Susanne（编辑）等人，《自动化，语言和编程》。2009年7月5日至12日，第36届国际学术讨论会，ICALP 2009，希腊罗兹。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-02929-5/pbk）。计算机科学讲座笔记5556188-199（2009）。
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}和\textit{J.Goubault-Larrecq}，莱克特。注释计算。科学。5556188-199（2009年；Zbl 1248.68352）
全文： 内政部 arXiv公司
阿兰·芬克尔;阿诺德·桑尼尔

重新访问反向边界计数器。 （英语） Zbl 1173.68562号

Ochmaánski，Edward（编辑）等人，《2008年计算机科学数学基础》。2008年8月25日至29日，第33届国际研讨会，MFCS 2008，波兰托伦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85237-7/pbk）。计算机科学课堂讲稿5162323-334（2008）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}和\textit{A.Sangnier}，莱克特。注释计算。科学。5162、323--334（2008年；Zbl 1173.68562）
全文： 内政部
德姆里，S。;芬克尔，A。;V.戈兰科。;范·德里姆伦（G.van Drimmelen）。

走向计数器系统的模型检查器。 （英语） Zbl 1161.68563号

Graf，Susanne（编辑）等人，《验证和分析自动化技术》。2006年10月23日至26日，第四届国际研讨会，ATVA 2006，中国北京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-47237-7/pbk）。计算机科学课堂讲稿4218493-507（2006）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Demri｝等人，Lect。注释计算。科学。4218493-507（2006年；兹bl 1161.68563）
全文： 内政部 哈尔
克里斯托夫·达洛特;阿兰·芬克尔;劳伦特·范·贝京

关于快速和TReX公司加速。 （英语） Zbl 1272.68238号

Huth，Michael R.A.（编辑），《关键系统自动验证第四次国际研讨会论文集》（AVoCS 2004），英国伦敦，2004年9月4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》128，第6期，87-103（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Darrot}等人，《电子》。注释Theor。计算。科学。128，第6号，87--103（2005；Zbl 1272.68238）
全文： 链接
塞巴斯蒂安·巴丁;阿兰·芬克尔;杰罗姆·勒鲁;菲利普·施诺贝伦

符号模型检查中的平加速度。 （英语） Zbl 1170.68507号

Peled，Doron A.（编辑）等人，《验证和分析自动化技术》。2005年10月4日至7日，第三届国际研讨会，ATVA 2005，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29209-8/pbk）。计算机科学课堂讲稿3707，474-488（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bardin}等人，Lect。注释计算。科学。3707474-488（2005年；Zbl 1170.68507）
全文： 内政部
塞巴斯蒂安·巴丁;阿兰·芬克尔;杰罗姆·勒鲁

在实践中加速计数器自动机。 （英语） Zbl 1126.68452号

Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988576-590（2004）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bardin}等人，Lect。注释计算。科学。2988576--590（2004年；Zbl 1126.68452）
全文： 内政部
塞巴斯蒂安·巴丁;阿兰·芬克尔

合成加速度以验证无限异构系统。 （英语） Zbl 1108.68490号

Wang，Farn（编辑），验证和分析自动化技术。2004年10月31日至11月3日，第二届国际会议，ATVA 2004，中华民国台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23610-4/pbk）。计算机科学课堂讲稿3299，248-262（2004）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bardin}和\textit{A.Finkel}，莱克特。注释计算。科学。3299、248--262（2004；Zbl 1108.68490）
全文： 内政部
阿兰·芬克尔;杰罗姆·勒鲁

无限状态模型检查中的图像计算。 （英语） Zbl 1103.68073号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学课堂讲稿3114361-371（2004）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}和\textit{J.Leroux}，莱克特。注释计算。科学。3114361-371（2004；Zbl 1103.68073）
全文： 内政部
芬克尔，A。;J.-F.拉斯金。;萨缪里德斯，M。;范·贝京，L。

Petri网的单调扩展：回顾了向前和向后搜索。 （英语） Zbl 1270.68214号

Kucera，Antonin（编辑）等人，《无限》2002。2002年8月24日，第四届无限状态系统验证国际研讨会（CONCUR 2002卫星研讨会）论文选集，捷克共和国布尔诺。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记68，第6期，85-106（2003）。
MSC公司：68问题85 60年第68季度 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}等人，《电子》。注释Theor。计算。科学。68，第6号，85--106（2003；Zbl 1270.68214）
全文： 链接
弗雷德里克·赫布雷托;弗兰克·卡塞兹;阿兰·芬克尔;奥利维尔·鲁克斯;格雷戈伊尔·萨特雷

嵌入式反应式消防系统的验证。 （英语） Zbl 1059.68586号

Rajsbaum，Sergio（编辑），拉丁语2002：理论信息学。第五届拉丁美洲研讨会，墨西哥坎昆，2002年4月3日至6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43400-3）。莱克特。注释计算。科学。2286, 400-414 (2002).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Herbreteau}等人，Lect。注释计算。科学。2286400-414（2002年；Zbl 1059.68586）
全文： 链接
阿兰·芬克尔;杰罗姆·勒鲁

如何编写Presburger加速：广播协议的应用程序。 （英语） 兹比尔1027.68616

Agrawal，Manindra（编辑）等人，FST TCS 2002：软件技术和理论计算机科学基础。第二十二届会议，印度坎普尔，2002年12月12日至14日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2556, 145-156 (2002).
MSC公司：60年第68季度 68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}和\textit{J.Leroux}，莱克特。注释计算。科学。2556145-156（2002年；Zbl 1027.68616）
全文： 链接
芬克尔，A。;苏特雷，G。

一种为二维重置/传输VASS（扩展抽象）构造半线性后置*的算法。 （英语） Zbl 0996.68522号

尼尔森、莫根斯（编辑）等人，《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1893, 353-362 (2000).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}和\textit{G.Sutre}，莱克特。注释计算。科学。1893，353--362（2000；Zbl 0996.68522）
阿兰·芬克尔;格雷戈伊尔·萨特雷

两计数器自动机类可达性问题的判定。 （英语） Zbl 0953.03050号

Reichel，Horst（编辑）等人，STACS 2000。第17届计算机科学理论方面年度研讨会。2000年2月17日至19日，法国里尔。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1770, 346-357 (2000).
MSC公司：05年3月 65年第68季度 60年第68季度 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}和\textit{G.Sutre}，莱克特。注释计算。科学。1770、346--357（2000年；Zbl 0953.03050）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件