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

登录注册

全文

有本地全文

20篇

出版年度

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

	2015	1篇
	2014	1篇
	2013	1篇
	2012	2篇
	2011	1篇
	2010	1篇
	2007	1篇

作者

	Thomas A. Henzinger	20篇
	Krishnendu Chatterjee	6篇
	Jan Otop	5篇
	Guy Avni	4篇
	Bernhard Kragl	2篇

	Laurent Doyen	2篇
	Udi Boker	2篇
	Ali Sezgin	1篇
	Ana Sokolova	1篇
	Andreas Haas	1篇
	Andreas Holzer	1篇
	Anuj Dawar	1篇
	Arjun Radhakrishna	1篇
	Cezara Dragoi	1篇
	Christoph M. Kirsch	1篇
	Damian Niwiński	1篇
	Damien Zufferey	1篇
	Dorde Zikelic	1篇
	Hannes Payer	1篇
	Helmut Veith	1篇
	Jan Kretinsky	1篇
	Jean-Francois Raskin	1篇
	Jean-Fran{\c{c}}ois Raskin	1篇
	Martin Chmelík	1篇
	Michael Lippautz	1篇
	Milad Aghajohari	1篇
	Pavol Černý	1篇
	Przemyslaw Daca	1篇
	Roopsha Samanta	1篇
	Shaz Qadeer	1篇
	Tatjana Petrov	1篇
	Thomas Ferr{`e}re	1篇
	Ventsislav Chonev	1篇

来源期刊

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

学科主题

计算技术、计算机技术

20篇

语种

英文

20篇

国别/地区

	德国	19篇
	澳大利亚	1篇

检索条件:"( ( 高级检索(( ((AU:(("Thomas A. Henzinger")))) )) ) )"

共 20 条记录

排序：全选导出：

1.Interface Simulation Distances

作　　者：Pavol Černý ;Martin Chmelík ;Thomas A. Henzinger 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;96:29-42.doi:10.4204/EPTCS.96.3

出版社：Open Publishing Association

文章 ID：83120585

文章详细全文下载
2.Algorithms for Omega-Regular Games with Imperfect Information

作　　者：Jean-Francois Raskin ;Krishnendu Chatterjee ;Laurent Doyen 等

出　　处：Logical Methods in Computer Science. 2007 ;3(03).doi:10.2168/LMCS-3(3:4)2007

出版社：Technical University of Braunschweig

文章 ID：46838667

文章详细全文下载
3.Monitoring Event Frequencies

作　　者：Thomas Ferr{`e}re ;Thomas A. Henzinger ;Bernhard Kragl

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-16.doi:10.4230/LIPIcs.CSL.2020.20

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

文章 ID：243494221

文章详细全文下载
4.Determinacy in Discrete-Bidding Infinite-Duration Games

作　　者：Milad Aghajohari ;Guy Avni ;Thomas A. Henzinger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.20

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

文章 ID：238891928

文章详细全文下载
5.Long-Run Average Behavior of Vector Addition Systems with States

作　　者：Krishnendu Chatterjee ;Thomas A. Henzinger ;Jan Otop

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.27

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

文章 ID：238891935

文章详细全文下载
6.Bidding Mechanisms in Graph Games

作　　者：Guy Avni ;Thomas A. Henzinger ;Dorde Zikelic

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-13.doi:10.4230/LIPIcs.MFCS.2019.11

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

文章 ID：238891961

文章详细全文下载
7.Bidirectional Nested Weighted Automata

作　　者：Krishnendu Chatterjee ;Thomas A. Henzinger ;Jan Otop

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:5:1-5:16.doi:10.4230/LIPIcs.CONCUR.2017.5

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

文章 ID：200735171

文章详细全文下载
8.Infinite-Duration Bidding Games

作　　者：Guy Avni ;Thomas A. Henzinger ;Ventsislav Chonev

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:21:1-21:18.doi:10.4230/LIPIcs.CONCUR.2017.21

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

文章 ID：200735187

文章详细全文下载
9.A Survey of Bidding Games on Graphs (Invited Paper)

作　　者：Guy Avni ;Thomas A. Henzinger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:2:1-2:21.doi:10.4230/LIPIcs.CONCUR.2020.2

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

文章 ID：255822861

文章详细全文下载
10.Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States

作　　者：Krishnendu Chatterjee ;Thomas A. Henzinger ;Jan Otop

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:23:1-23:22.doi:10.4230/LIPIcs.CONCUR.2020.23

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

文章 ID：255822882

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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