1.Sequentializing Parameterized Programs

作　　者：Salvatore La Torre ;P. Madhusudan ;Gennaro Parlato

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;87:34-47.doi:10.4204/EPTCS.87.4

出版社：Open Publishing Association

文章 ID：83120512

文章详细全文下载
2.Reachability in Concurrent Uninterpreted Programs

作　　者：Salvatore La Torre ;Madhusudan Parthasarathy

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-16.doi:10.4230/LIPIcs.FSTTCS.2019.46

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

文章 ID：241519900

文章详细全文下载
3.Complexity of Qualitative Timeline-Based Planning

作　　者：Dario Della Monica ;Nicola Gigante ;Salvatore La Torre 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;178:16:1-16:13.doi:10.4230/LIPIcs.TIME.2020.16

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

文章 ID：255822674

文章详细全文下载
4.Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width

作　　者：Salvatore La Torre ;Gennaro Parlato

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:173-184.doi:10.4230/LIPIcs.FSTTCS.2012.173

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

文章 ID：186846200

文章详细全文下载
5.Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable

作　　者：Salvatore La Torre ;Anca Muscholl ;Igor Walukiewicz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:72-84.doi:10.4230/LIPIcs.CONCUR.2015.72

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

文章 ID：186847001

文章详细全文下载

	Salvatore La Torre	5篇
	Gennaro Parlato	2篇
	Anca Muscholl	1篇
	Angelo Montanari	1篇
	Dario Della Monica	1篇

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Salvatore La Torre")))) )) ) )"

	Igor Walukiewicz	1篇
	Madhusudan Parthasarathy	1篇
	Nicola Gigante	1篇
	P. Madhusudan	1篇

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

	2020	1篇
	2019	1篇
	2015	1篇
	2012	2篇