首页期刊浏览 2024年11月26日星期二

登录注册

全文

有本地全文

9篇

出版年度

	2021	1篇
	2020	1篇
	2017	2篇
	2016	1篇
	2015	1篇

	2012	2篇
	2011	1篇

作者

	Arnaud Sangnier	9篇
	Giorgio Delzanno	3篇
	Benedikt Bollig	2篇
	Gianluigi Zavattaro	2篇
	Nathalie Bertrand	2篇

	Barbara K{\"o}nig	1篇
	Daniel Stan	1篇
	Daniel Thoma	1篇
	Fedor Ryabinin	1篇
	Florian Horn	1篇
	Jan St{\"u}ckrath	1篇
	Karin Quaas	1篇
	Martin Leucker	1篇
	Mickael Randour	1篇
	Nicolas Markey	1篇
	Normann Decker	1篇
	Patricia Bouyer	1篇
	Paulin Fournier	1篇
	Peter Habermehl	1篇
	Riccardo Traverso	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	Electronic Proceedings in Theoretical Computer Science	1篇

学科主题

计算技术、计算机技术

9篇

语种

英文

9篇

国别/地区

	德国	8篇
	澳大利亚	1篇

检索条件:"( ( 高级检索(( ((AU:(("Arnaud Sangnier")))) )) ) )"

共 9 条记录

排序：全选导出：

1.Parameterized Verification of Safety Properties in Ad Hoc Network Protocols

作　　者：Giorgio Delzanno ;Arnaud Sangnier ;Gianluigi Zavattaro

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;60:56-65.doi:10.4204/EPTCS.60.4

出版社：Open Publishing Association

文章 ID：83120227

文章详细全文下载
2.Model-Checking Counting Temporal Logics on Flat Structures

作　　者：Normann Decker ;Peter Habermehl ;Martin Leucker 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:29:1-29:17.doi:10.4230/LIPIcs.CONCUR.2017.29

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735195

文章详细全文下载
3.The Complexity of Flat Freeze LTL

作　　者：Benedikt Bollig ;Karin Quaas ;Arnaud Sangnier

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:33:1-33:16.doi:10.4230/LIPIcs.CONCUR.2017.33

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735199

文章详细全文下载
4.Reachability in Distributed Memory Automata

作　　者：Benedikt Bollig ;Fedor Ryabinin ;Arnaud Sangnier

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:13:1-13:16.doi:10.4230/LIPIcs.CSL.2021.13

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：258514175

文章详细全文下载
5.Deciding the Existence of Cut-Off in Parameterized Rendez-Vous Networks

作　　者：Florian Horn ;Arnaud Sangnier

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:46:1-46:16.doi:10.4230/LIPIcs.CONCUR.2020.46

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822905

文章详细全文下载
6.On the Decidability Status of Reachability and Coverability in Graph Transformation Systems

作　　者：Nathalie Bertrand ;Giorgio Delzanno ;Barbara K{\"o}nig 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:101-116.doi:10.4230/LIPIcs.RTA.2012.101

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846079

文章详细全文下载
7.On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks

作　　者：Giorgio Delzanno ;Arnaud Sangnier ;Riccardo Traverso 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:289-300.doi:10.4230/LIPIcs.FSTTCS.2012.289

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846210

文章详细全文下载
8.Distributed Local Strategies in Broadcast Networks

作　　者：Nathalie Bertrand ;Paulin Fournier ;Arnaud Sangnier

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:44-57.doi:10.4230/LIPIcs.CONCUR.2015.44

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846999

文章详细全文下载
9.Reachability in Networks of Register Protocols under Stochastic Schedulers

作　　者：Patricia Bouyer ;Nicolas Markey ;Mickael Randour 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:106:1-106:14.doi:10.4230/LIPIcs.ICALP.2016.106

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847703

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有