作　　者：Lorenzo Clemente ;Piotr Hofman ;Patrick Totzke

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.15

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

文章 ID：238891923

文章详细全文下载

2.Separability of Reachability Sets of Vector Addition Systems

作　　者：Lorenzo Clemente ;Wojciech Czerwinski ;Slawomir Lasota 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:24:1-24:14.doi:10.4230/LIPIcs.STACS.2017.24

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

文章 ID：191698353

文章详细全文下载

3.Regular Separability of Parikh Automata

作　　者：Lorenzo Clemente ;Wojciech Czerwinski ;Slawomir Lasota 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:117:1-117:13.doi:10.4230/LIPIcs.ICALP.2017.117

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

文章 ID：198372071

文章详细全文下载

4.Determinisability of One-Clock Timed Automata

作　　者：Lorenzo Clemente ;S{\l}awomir Lasota ;Rados{\l}aw Pi{\'o}rkowski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:42:1-42:17.doi:10.4230/LIPIcs.CONCUR.2020.42

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

文章 ID：255822901

文章详细全文下载

5.Cost Automata, Safe Schemes, and Downward Closures

作　　者：David Barozzini ;Lorenzo Clemente ;Thomas Colcombet 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:109:1-109:18.doi:10.4230/LIPIcs.ICALP.2020.109

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

文章 ID：255823144

文章详细全文下载

6.Timed Games and Deterministic Separability

作　　者：Lorenzo Clemente ;SÅ,awomir Lasota ;RadosÅ,aw Pi{'o}rkowski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:121:1-121:16.doi:10.4230/LIPIcs.ICALP.2020.121

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

文章 ID：255823156

文章详细全文下载

7.Binary Reachability of Timed Pushdown Automata via Quantifier Elimination and Cyclic Order Atoms

作　　者：Lorenzo Clemente ;Slawomir Lasota

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:118:1-118:14.doi:10.4230/LIPIcs.ICALP.2018.118

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

文章 ID：220014909

文章详细

8.Sex is determined by XX/XY sex chromosomes in Australasian side-necked turtles (Testudines: Chelidae)

作　　者：Sofia Mazzoleni ;Barbora Augstenová ;Lorenzo Clemente 等

出　　处：Scientific Reports. 2020 ;10(1):1-11.doi:10.1038/s41598-020-61116-w

出版社：Springer Nature

文章 ID：259923149

文章详细全文下载

9.Author Correction: Sex is determined by XX/XY sex chromosomes in Australasian side-necked turtles (Testudines: Chelidae)

作　　者：Sofa Mazzoleni ;Barbora Augstenová ;Lorenzo Clemente 等

出　　处：Scientific Reports. 2020 ;10(1):1-3.doi:10.1038/s41598-020-63116-2

出版社：Springer Nature

文章 ID：259924813

文章详细全文下载

10.Stochastic Parity Games on Lossy Channel Systems

作　　者：Parosh Abdulla ;Lorenzo Clemente ;Richard Mayr 等

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:21)2014

出版社：Technical University of Braunschweig

文章 ID：264692157

文章详细全文下载

	有本地全文	11篇
	有全文链接	2篇

	2022	1篇
	2020	5篇
	2019	1篇
	2018	1篇
	2017	2篇

	2015	2篇
	2014	1篇

	Lorenzo Clemente	13篇
	Slawomir Lasota	4篇
	Barbora Augstenová	2篇
	Charles Paperman	2篇
	Lukáš Kratochvíl	2篇

	Markus Auer	2篇
	Michail Rovatsos	2篇
	Peter Praschag	2篇
	Petr Velenský	2篇
	Tomáš Protiva	2篇
	Uwe Fritz	2篇
	Wojciech Czerwinski	2篇
	David Barozzini	1篇
	Igor Walukiewicz	1篇
	Parosh Abdulla	1篇
	Patrick Totzke	1篇
	Pawel Parys	1篇
	PaweÅ, Parys	1篇
	Piotr Hofman	1篇
	Rados{\l}aw Pi{\'o}rkowski	1篇
	RadosÅ,aw Pi{'o}rkowski	1篇
	Radosław Piórkowski	1篇
	Richard Mayr	1篇
	Sofa Mazzoleni	1篇
	Sofia Mazzoleni	1篇
	Sven Sandberg	1篇
	Sylvain Salvati	1篇
	S{\l}awomir Lasota	1篇
	SÅ,awomir Lasota	1篇
	Sławomir Lasota	1篇
	Thomas Colcombet	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Lorenzo Clemente")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	9篇
	Logical Methods in Computer Science	2篇
	Scientific Reports	2篇

	计算技术、计算机技术	11篇
	自然科学总论	2篇

	德国	11篇
	英国	2篇