首页期刊浏览 2025年02月19日星期三

登录注册

全文

有本地全文

10篇

出版年度

	2019	1篇
	2018	3篇
	2017	4篇
	1999	2篇

作者

	Romeo Rizzi	10篇
	Massimo Cairo	5篇
	Luke Hunsberger	3篇
	Carlo Combi	2篇
	Carlo Comin	2篇

	Matteo Zavatteri	2篇
	Roberto Posenato	2篇
	Alessio Conte	1篇
	Alexandru I. Tomescu	1篇
	Andrea Marino	1篇
	Luca Versari	1篇
	Luca Vigan{`o	1篇
	Nidia Obscura Acosta	1篇
	Paul Medvedev	1篇
	Roberto Grossi	1篇

文章类型

Research Article

2篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	BRICS Report Series	2篇

学科主题

计算技术、计算机技术

10篇

语种

英文

10篇

国别/地区

	德国	8篇
	丹麦	2篇

检索条件:"( ( 高级检索(( ((AU:(("Romeo Rizzi")))) )) ) )"

共 10 条记录

排序：全选导出：

1.Linear Time Recognition of P4-Indifferent Graphs

作　　者：Romeo Rizzi

出　　处：BRICS Report Series. 1999 ;6(38).

出版社：Aarhus University

文章 ID：101759800

文章详细全文下载
2.On the Steiner Tree 3/2-Approximation for Quasi-Bipartite Graphs

作　　者：Romeo Rizzi

出　　处：BRICS Report Series. 1999 ;6(39).

出版社：Aarhus University

文章 ID：101759903

文章详细全文下载
3.Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions

作　　者：Matteo Zavatteri ;Carlo Combi ;Romeo Rizzi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;147:1-17.doi:10.4230/LIPIcs.TIME.2019.16

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

文章 ID：240116391

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

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

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

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

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

文章详细全文下载
9.On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier

作　　者：Carlo Comin ;Romeo Rizzi

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

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

文章 ID：230213261

文章详细全文下载
10.Listing Subgraphs by Cartesian Decomposition

作　　者：Alessio Conte ;Roberto Grossi ;Andrea Marino 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-16.doi:10.4230/LIPIcs.MFCS.2018.84

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

文章 ID：230213439

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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