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.Automata-based Static Analysis of XML Document Adaptation

作　　者：Alessandro Solimando ;Giorgio Delzanno ;Giovanna Guerrini

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;96:85-98.doi:10.4204/EPTCS.96.7

出版社：Open Publishing Association

文章 ID：83120589

文章详细全文下载
3.A Flexible IoT Stream Processing Architecture Based on Microservices

作　　者：Luca Bixio ;Giorgio Delzanno ;Stefano Rebora 等

出　　处：Information. 2020 ;11(12):565-583.doi:10.3390/info11120565

出版社：MDPI Publishing

文章 ID：257514190

文章详细全文下载
4.Adaptive Real Time IoT Stream Processing in Microservices Architecture

作　　者：Luca Bixio ;Giorgio Delzanno ;Stefano Rebora 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2020 ;86:1-20.doi:10.4230/OASIcs.Gabbrielli.12

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

文章 ID：257805142

文章详细全文下载
5.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

文章详细全文下载
6.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

文章详细全文下载
7.Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols

作　　者：Giorgio Delzanno ;Javier Esparza ;Jirí Srba

出　　处：BRICS Report Series. 2006 ;13(14).

出版社：Aarhus University

文章 ID：186804964

文章详细全文下载

	Giorgio Delzanno	7篇
	Arnaud Sangnier	3篇
	Gianluigi Zavattaro	2篇
	Luca Bixio	2篇
	Matteo Rulli	2篇

	Stefano Rebora	2篇
	Alessandro Solimando	1篇
	Barbara K{\"o}nig	1篇
	Giovanna Guerrini	1篇
	Jan St{\"u}ckrath	1篇
	Javier Esparza	1篇
	Jirí Srba	1篇
	Nathalie Bertrand	1篇
	Riccardo Traverso	1篇

	德国	3篇
	澳大利亚	2篇
	丹麦	1篇
	瑞士	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Giorgio Delzanno")))) )) ) )"

	Electronic Proceedings in Theoretical Computer Science	2篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	BRICS Report Series	1篇
	Information	1篇
	OASIcs : OpenAccess Series in Informatics	1篇

	2020	2篇
	2012	3篇
	2011	1篇
	2006	1篇