1.On the Expressiveness and Complexity of ATL

作　　者：François Laroussinie ;Nicolas Markey ;Ghassan Oreiby

出　　处：Logical Methods in Computer Science. 2008 ;4(02).doi:10.2168/LMCS-4(2:7)2008

出版社：Technical University of Braunschweig

文章 ID：46838695

文章详细全文下载

2.Temporal Logics for Multi-Agent Systems (Invited Talk)

作　　者：Nicolas Markey

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:84:1-84:3.doi:10.4230/LIPIcs.MFCS.2017.84

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

文章 ID：205510157

文章详细全文下载

3.Dependences in Strategy Logic

作　　者：Patrick Gardy ;Patricia Bouyer ;Nicolas Markey

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:34:1-34:15.doi:10.4230/LIPIcs.STACS.2018.34

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

文章 ID：220015269

文章详细

4.Quantified CTL: Expressiveness and Complexity

作　　者：François Laroussinie ;Nicolas Markey

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

出版社：Technical University of Braunschweig

文章 ID：264692159

文章详细全文下载

5.Pure Nash Equilibria in Concurrent Deterministic Games

作　　者：Patricia Bouyer ;Romain Brenguier ;Nicolas Markey 等

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

出版社：Technical University of Braunschweig

文章 ID：264692236

文章详细全文下载

6.Dynamic Network Congestion Games

作　　者：Nathalie Bertrand ;Nicolas Markey ;Suman Sadhukhan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-16.doi:10.4230/LIPIcs.FSTTCS.2020.40

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

文章 ID：257805110

文章详细全文下载

7.On Termination for Faulty Channel Machines

作　　者：Patricia Bouyer ;Nicolas Markey ;Jo{\"e}l Ouaknine 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;1:121-132.doi:10.4230/LIPIcs.STACS.2008.1339

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

文章 ID：186845442

文章详细全文下载

8.ATL with Strategy Contexts: Expressiveness and Model Checking

作　　者：Arnaud Da Costa ;Fran{\c{c}}ois Laroussinie ;Nicolas Markey

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:120-132.doi:10.4230/LIPIcs.FSTTCS.2010.120

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

文章 ID：186845764

文章详细全文下载

9.Computing Rational Radical Sums in Uniform TC^0

作　　者：Paul Hunter ;Patricia Bouyer ;Nicolas Markey 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:308-316.doi:10.4230/LIPIcs.FSTTCS.2010.308

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

文章 ID：186845780

文章详细全文下载

10.Shrinking Timed Automata

作　　者：Ocan Sankur ;Patricia Bouyer ;Nicolas Markey

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:90-102.doi:10.4230/LIPIcs.FSTTCS.2011.90

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

文章 ID：186845870

文章详细全文下载

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

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

	Nicolas Markey	20篇
	Patricia Bouyer	11篇
	Daniel Stan	2篇
	François Laroussinie	2篇
	James Worrell	2篇

	Jo{\"e}l Ouaknine	2篇
	Michael Ummels	2篇
	Ocan Sankur	2篇
	Patrick Gardy	2篇
	Romain Brenguier	2篇
	Am{\'e}lie David	1篇
	Arnaud Da Costa	1篇
	Arnaud Sangnier	1篇
	Erwin Fang	1篇
	Francois Laroussinie	1篇
	Fran{\c{c}}ois Laroussinie	1篇
	Ghassan Oreiby	1篇
	Kim G. Larsen	1篇
	Laurent Doyen	1篇
	Laurent Fribourg	1篇
	Line Juhl	1篇
	Loïc Hélouët	1篇
	Mahsa Shirmohammadi	1篇
	Mickael Randour	1篇
	Nathalie Bertrand	1篇
	Paul Hunter	1篇
	Philippe Schnoebelen	1篇
	Ritam Raha	1篇
	Samy Jaziri	1篇
	Suman Sadhukhan	1篇
	Ulrich K{\"u}hne	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	14篇
	Logical Methods in Computer Science	3篇
	Electronic Communications of the EASST	1篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	OASIcs : OpenAccess Series in Informatics	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Nicolas Markey")))) )) ) )"

	德国	19篇
	澳大利亚	1篇