1.Playing Muller Games in a Hurry

作　　者：John Fearnley ;Martin Zimmermann

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;25:146-161.doi:10.4204/EPTCS.25.15

出版社：Open Publishing Association

文章 ID：83119910

文章详细全文下载

2.Unique End of Potential Line

作　　者：John Fearnley ;Spencer Gordon ;Ruta Mehta 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-15.doi:10.4230/LIPIcs.ICALP.2019.56

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

文章 ID：238892191

文章详细全文下载

3.Computing Exact Solutions of Consensus Halving and the Borsuk-Ulam Theorem

作　　者：Argyrios Deligkas ;John Fearnley ;Themistoklis Melissourgos 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.138

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

文章 ID：238892273

文章详细全文下载

4.Tree Polymatrix Games Are PPAD-Hard

作　　者：Argyrios Deligkas ;John Fearnley ;Rahul Savani

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:38:1-38:14.doi:10.4230/LIPIcs.ICALP.2020.38

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

文章 ID：255823073

文章详细全文下载

5.Bayesian optimisation of restriction zones for bluetongue control

作　　者：Thomas Spooner ;Anne E. Jones ;John Fearnley 等

出　　处：Scientific Reports. 2020 ;10(1).doi:10.1038/s41598-020-71856-4

出版社：Springer Nature

文章 ID：255832493

文章详细全文下载

6.Reachability Switching Games

作　　者：John Fearnley ;Martin Gairing ;Matthias Mnich 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:124:1-124:14.doi:10.4230/LIPIcs.ICALP.2018.124

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

文章 ID：220014915

文章详细

7.A Faster Algorithm for Finding Tarski Fixed Points

作　　者：John Fearnley ;Savani, Rahul

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;187:29:1-29:16.doi:10.4230/LIPIcs.STACS.2021.29

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

文章 ID：260022919

文章详细全文下载

8.Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width

作　　者：John Fearnley ;Sven Schewe

出　　处：Logical Methods in Computer Science. 2013 ;9(2):1.doi:10.2168/LMCS-9(2:6)2013

出版社：Technical University of Braunschweig

文章 ID：264692046

文章详细全文下载

9.Efficient Approximation of Optimal Control for Continuous-Time Markov Games

作　　者：John Fearnley ;Markus Rabe ;Sven Schewe 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:399-410.doi:10.4230/LIPIcs.FSTTCS.2011.399

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

文章 ID：186845895

文章详细全文下载

10.Bounded Satisfiability for PCTL

作　　者：Nathalie Bertrand ;John Fearnley ;Sven Schewe

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:92-106.doi:10.4230/LIPIcs.CSL.2012.92

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

文章 ID：186846153

文章详细全文下载

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

	Joanne Turner	1篇
	Lijun Zhang	1篇
	Markus Rabe	1篇
	Martin Gairing	1篇
	Martin Zimmermann	1篇
	Matthew Baylis	1篇
	Matthias Mnich	1篇
	Nathalie Bertrand	1篇
	Paul G. Spirakis	1篇
	Ruta Mehta	1篇
	Savani, Rahul	1篇
	Spencer Gordon	1篇
	Themistoklis Melissourgos	1篇
	Thomas Spooner	1篇

	计算技术、计算机技术	9篇
	自然科学总论	1篇

	德国	8篇
	澳大利亚	1篇
	英国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("John Fearnley")))) )) ) )"

	John Fearnley	10篇
	Rahul Savani	4篇
	Sven Schewe	3篇
	Argyrios Deligkas	2篇
	Anne E. Jones	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	7篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Logical Methods in Computer Science	1篇
	Scientific Reports	1篇