首页期刊浏览 2024年11月27日星期三

登录注册

全文

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

出版年度

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

	2016	1篇
	2013	1篇
	2012	1篇
	2011	2篇
	2009	1篇

作者

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

	Sophie Pinchinat	3篇
	Aniello Murano	2篇
	Bastien Maubert	2篇
	Loredana Sorrentino	2篇
	Axel Legay	1篇
	C{\'e}sar S{\'a}nchez	1篇
	Giuseppe Perelli	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	10篇
	Electronic Proceedings in Theoretical Computer Science	3篇
	Logical Methods in Computer Science	1篇

学科主题

计算技术、计算机技术

14篇

语种

英文

14篇

国别/地区

	德国	11篇
	澳大利亚	3篇

检索条件:"( ( 高级检索(( ((AU:(("Laura Bozzelli")))) )) ) )"

共 14 条记录

排序：全选导出：

1.The Complexity of Synthesizing Uniform Strategies

作　　者：Bastien Maubert ;Sophie Pinchinat ;Laura Bozzelli

出　　处：Electronic Proceedings in Theoretical Computer Science. 2013 ;112:115-122.doi:10.4204/EPTCS.112.17

出版社：Open Publishing Association

文章 ID：85356991

文章详细全文下载
2.Opacity Issues in Games with Imperfect Information

作　　者：Bastien Maubert ;Sophie Pinchinat ;Laura Bozzelli

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:87-101.doi:10.4204/EPTCS.54.7

出版社：Open Publishing Association

文章 ID：83120161

文章详细全文下载
3.New results on pushdown module checking with imperfect information

作　　者：Laura Bozzelli

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:162-177.doi:10.4204/EPTCS.54.12

出版社：Open Publishing Association

文章 ID：83120166

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

作　　者：Laura Bozzelli ;Aniello Murano ;Giuseppe Perelli 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:6:1-6:17.doi:10.4230/LIPIcs.TIME.2017.6

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

文章 ID：202421999

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

文章详细全文下载
10.On Timed Alternating Simulation for Concurrent Timed Games

作　　者：Laura Bozzelli ;Axel Legay ;Sophie Pinchinat

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:85-96.doi:10.4230/LIPIcs.FSTTCS.2009.2309

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

文章 ID：186845592

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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