1.Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

作　　者：Davide Bresolin ;Pietro Sala ;Guido Sciavicco

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;25:72-88.doi:10.4204/EPTCS.25.10

出版社：Open Publishing Association

文章 ID：83119905

文章详细全文下载

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

文章详细全文下载

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

文章详细全文下载

4.Customizing BPMN Diagrams Using Timelines

作　　者：Carlo Combi ;Barbara Oliboni ;Pietro Sala

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

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

文章 ID：240116380

文章详细全文下载

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

文章详细全文下载

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

文章详细全文下载

7.A decidable weakening of Compass Logic based on cone-shaped cardinal directions

作　　者：Angelo Montanari ;Gabriele Puppis ;Pietro Sala

出　　处：Logical Methods in Computer Science. 2015 ;11(4):1.doi:10.2168/LMCS-11(4:7)2015

出版社：Technical University of Braunschweig

文章 ID：264692111

文章详细全文下载

8.Decidability of the Interval Temporal Logic ABB over the Natural Numbers

作　　者：Angelo Montanari ;Gabriele Puppis ;Pietro Sala 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:597-608.doi:10.4230/LIPIcs.STACS.2010.2488

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

文章 ID：186845676

文章详细

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

文章详细全文下载

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

文章详细

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

	德国	7篇
	澳大利亚	3篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Pietro Sala")))) )) ) )"

	Pietro Sala	10篇
	Angelo Montanari	8篇
	Adriano Peron	4篇
	Guido Sciavicco	4篇
	Laura Bozzelli	4篇

	Alberto Molinari	3篇
	Davide Bresolin	3篇
	Gabriele Puppis	2篇
	Barbara Oliboni	1篇
	Carlo Combi	1篇
	Dario Della Monica	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	5篇
	Electronic Proceedings in Theoretical Computer Science	3篇
	Logical Methods in Computer Science	2篇