1.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

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

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

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

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

文章详细全文下载
6.A Model Checking Procedure for Interval Temporal Logics based on Track Representatives

作　　者：Alberto Molinari ;Angelo Montanari ;Adriano Peron

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:193-210.doi:10.4230/LIPIcs.CSL.2015.193

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

文章 ID：186847047

文章详细全文下载
7.Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison

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

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:26:1-26:14.doi:10.4230/LIPIcs.FSTTCS.2016.26

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

文章 ID：186848146

文章详细全文下载
8.SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION

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

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-25.doi:10.46298/lmcs-18(1:24)2022

出版社：Technical University of Braunschweig

文章 ID：1038046963

文章详细

	有本地全文	7篇
	有全文链接	1篇

	Adriano Peron	8篇
	Angelo Montanari	8篇
	Laura Bozzelli	7篇
	Alberto Molinari	4篇
	Pietro Sala	4篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Adriano Peron")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	7篇
	Logical Methods in Computer Science	1篇

	2022	1篇
	2020	1篇
	2019	3篇
	2017	1篇
	2016	1篇