1.Lossy Channel Games under Incomplete Information

作　　者：Rayna Dimitrova ;Bernd Finkbeiner

出　　处：Electronic Proceedings in Theoretical Computer Science. 2013 ;112:43-51.doi:10.4204/EPTCS.112.9

出版社：Open Publishing Association

文章 ID：85356983

文章详细全文下载

2.Reactive Safety

作　　者：Rüdiger Ehlers ;Bernd Finkbeiner

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:178-191.doi:10.4204/EPTCS.54.13

出版社：Open Publishing Association

文章 ID：83120167

文章详细全文下载

3.Translating Asynchronous Games for Distributed Synthesis

作　　者：Raven Beutner ;Bernd Finkbeiner ;Jesko Hecking-Harbusch

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

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

文章 ID：238891934

文章详细全文下载

4.The First-Order Logic of Hyperproperties

作　　者：Bernd Finkbeiner ;Martin Zimmermann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:30:1-30:14.doi:10.4230/LIPIcs.STACS.2017.30

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

文章 ID：191698359

文章详细全文下载

5.Symmetric Synthesis

作　　者：R{\"u}diger Ehlers ;Bernd Finkbeiner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:26:1-26:13.doi:10.4230/LIPIcs.FSTTCS.2017.26

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

文章 ID：220015411

文章详细

6.Synthesis in Distributed Environments

作　　者：Bernd Finkbeiner ;Paul G{\"o}lz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:28:1-28:14.doi:10.4230/LIPIcs.FSTTCS.2017.28

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

文章 ID：220015413

文章详细

7.Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds

作　　者：Lars Kuhtz ;Bernd Finkbeiner

出　　处：Logical Methods in Computer Science. 2012 ;8(4):1.doi:10.2168/LMCS-8(4:10)2012

出版社：Technical University of Braunschweig

文章 ID：264691873

文章详细全文下载

8.Detecting Unrealizability of Distributed Fault-tolerant Systems

作　　者：Bernd Finkbeiner ;Leander Tentrup

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

出版社：Technical University of Braunschweig

文章 ID：264692083

文章详细全文下载

9.Abstraction Refinement for Games with Incomplete Information

作　　者：Rayna Dimitrova ;Bernd Finkbeiner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:175-186.doi:10.4230/LIPIcs.FSTTCS.2008.1751

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

文章 ID：186845497

文章详细全文下载

10.Deciding Hyperproperties

作　　者：Bernd Finkbeiner ;Christopher Hahn

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:13:1-13:14.doi:10.4230/LIPIcs.CONCUR.2016.13

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

文章 ID：186847572

文章详细全文下载

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

	德国	8篇
	澳大利亚	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Bernd Finkbeiner")))) )) ) )"

	Bernd Finkbeiner	10篇
	Rayna Dimitrova	2篇
	Christopher Hahn	1篇
	Jesko Hecking-Harbusch	1篇
	Lars Kuhtz	1篇

	Leander Tentrup	1篇
	Martin Zimmermann	1篇
	Paul G{\"o}lz	1篇
	Raven Beutner	1篇
	R{\"u}diger Ehlers	1篇
	Rüdiger Ehlers	1篇

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