1.Optimal Omnitig Listing for Safe and Complete Contig Assembly

作　　者：Massimo Cairo ;Paul Medvedev ;Nidia Obscura Acosta 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;78:29:1-29:12.doi:10.4230/LIPIcs.CPM.2017.29

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

文章 ID：198371952

文章详细全文下载
2.Dynamic Controllability Made Simple

作　　者：Massimo Cairo ;Romeo Rizzi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:8:1-8:16.doi:10.4230/LIPIcs.TIME.2017.8

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

文章 ID：202422001

文章详细全文下载
3.Incorporating Decision Nodes into Conditional Simple Temporal Networks

作　　者：Massimo Cairo ;Carlo Combi ;Carlo Comin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:9:1-9:18.doi:10.4230/LIPIcs.TIME.2017.9

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

文章 ID：202422002

文章详细全文下载
4.A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results

作　　者：Massimo Cairo ;Luke Hunsberger ;Roberto Posenato 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:10:1-10:19.doi:10.4230/LIPIcs.TIME.2017.10

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

文章 ID：202422003

文章详细全文下载
5.Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty

作　　者：Massimo Cairo ;Luke Hunsberger ;Romeo Rizzi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;120:1-16.doi:10.4230/LIPIcs.TIME.2018.8

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

文章 ID：230213259

文章详细全文下载

	Massimo Cairo	5篇
	Romeo Rizzi	5篇
	Luke Hunsberger	3篇
	Roberto Posenato	2篇
	Alexandru I. Tomescu	1篇

	Carlo Combi	1篇
	Carlo Comin	1篇
	Matteo Zavatteri	1篇
	Nidia Obscura Acosta	1篇
	Paul Medvedev	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Massimo Cairo")))) )) ) )"

	2018	1篇
	2017	4篇