首页期刊浏览 2024年11月26日星期二

登录注册

全文

	有本地全文	16篇
	有全文链接	4篇

出版年度

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

	2016	1篇
	2015	2篇
	2012	2篇
	2011	1篇
	2010	1篇
	2003	1篇

作者

	Angelo Montanari	20篇
	Adriano Peron	8篇
	Pietro Sala	8篇
	Guido Sciavicco	7篇
	Laura Bozzelli	7篇

	Alberto Molinari	4篇
	Dario Della Monica	4篇
	Andrea Brunello	3篇
	Davide Bresolin	2篇
	Gabriele Puppis	2篇
	Mark Reynolds	2篇
	Nicola Gigante	2篇
	Valentin Goranko	2篇
	Andrea Orlandini	1篇
	Aniello Murano	1篇
	David de Frutos-Escrig	1篇
	Enrico Marzano	1篇
	Gian Luigi Gigli	1篇
	Marta Cialdea Mayer	1篇
	Nicola Saccomanno	1篇
	Salvatore La Torre	1篇
	andrea Bernardini	1篇

文章类型

Research Article

1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	12篇
	Electronic Proceedings in Theoretical Computer Science	2篇
	Journal of Universal Computer Science	2篇
	Logical Methods in Computer Science	2篇
	Computers	1篇

Scientific Data

1篇

学科主题

计算技术、计算机技术

19篇

语种

英文

20篇

国别/地区

	德国	14篇
	奥地利	2篇
	澳大利亚	2篇
	瑞士	1篇

检索条件:"( ( 高级检索(( ((AU:(("Angelo Montanari")))) )) ) )"

共 20 条记录

排序：全选导出：

1.An Optimal Decision Procedure for MPNL over the Integers

作　　者：Davide Bresolin ;Angelo Montanari ;Pietro Sala 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:192-206.doi:10.4204/EPTCS.54.14

出版社：Open Publishing Association

文章 ID：83120168

文章详细全文下载
2.Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

作　　者：Davide Bresolin ;Dario Della Monica ;Angelo Montanari 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;96:155-168.doi:10.4204/EPTCS.96.12

出版社：Open Publishing Association

文章 ID：83120594

文章详细全文下载
3.Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions

作　　者：Andrea Brunello ;Angelo Montanari ;Mark Reynolds

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

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

文章 ID：240116392

文章详细全文下载
4.Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic

作　　者：Laura Bozzelli ;Angelo Montanari ;Adriano Peron

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

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

文章 ID：240116393

文章详细全文下载
5.Interval Temporal Logic for Visibly Pushdown Systems

作　　者：Laura Bozzelli ;Angelo Montanari ;Adriano Peron

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

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

文章 ID：241519887

文章详细全文下载
6.Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains

作　　者：Laura Bozzelli ;Angelo Montanari ;Adriano Peron

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

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

文章 ID：241519888

文章详细全文下载
7.Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

作　　者：Laura Bozzelli ;Alberto Molinari ;Angelo Montanari 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:120:1-120:14.doi:10.4230/LIPIcs.ICALP.2017.120

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

文章 ID：198372074

文章详细全文下载
8.Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking

作　　者：Dario Della Monica ;David de Frutos-Escrig ;Angelo Montanari 等

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

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

文章 ID：202422004

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

文章详细全文下载
10.On a Temporal Logic of Prefixes and Infixes

作　　者：Laura Bozzelli ;Angelo Montanari ;Adriano Peron 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:21:1-21:14.doi:10.4230/LIPIcs.MFCS.2020.21

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

文章 ID：255822931

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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