首页期刊浏览 2024年12月02日星期一

登录注册

全文

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

出版年度

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

	2016	4篇
	2015	4篇
	2014	2篇
	2011	2篇
	2010	1篇
	2008	1篇
	2004	1篇
	2002	1篇
	1998	1篇

作者

	Patricia Bouyer	26篇
	Nicolas Markey	11篇
	Nathalie Bertrand	5篇
	Anirban Majumdar	3篇
	Mickael Randour	3篇

	Daniel Stan	2篇
	James Worrell	2篇
	Jo{\"e}l Ouaknine	2篇
	Kim G. Larsen	2篇
	Luca Aceto	2篇
	Michael Ummels	2篇
	Patricia Bouyer-Decitre	2篇
	Patrick Gardy	2篇
	Pierre Vandenhove	2篇
	Romain Brenguier	2篇
	Thomas Brihaye	2篇
	Vincent Jug{\'e	2篇
	Youssouf Oualhadj	2篇
	Alexandra Silva	1篇
	Arnaud Sangnier	1篇
	Ashutosh Trivedi	1篇
	Augusto Burgueno	1篇
	B{\'e}atrice B{\'e}rard	1篇
	Christel Baier	1篇
	Emmanuel Fleury	1篇
	Erwin Fang	1篇
	Franck Cassez	1篇
	Holger Hermanns	1篇
	Jos Baeten	1篇
	Lakshmi Manasa	1篇
	Marcin Jurdzinski	1篇
	Marcus Groesser	1篇
	Nathan Thomasset	1篇
	Ocan Sankur	1篇
	Paul Hunter	1篇
	Philippe Schnoebelen	1篇
	Pierre Carlier	1篇
	Quentin Menet	1篇
	S. Akshay	1篇
	Samy Jaziri	1篇

文章类型

Research Article

4篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	21篇
	BRICS Report Series	3篇
	Logical Methods in Computer Science	3篇
	Electronic Communications of the EASST	1篇

学科主题

计算技术、计算机技术

28篇

语种

英文

28篇

国别/地区

	德国	25篇
	丹麦	3篇

检索条件:"( ( 高级检索(( ((AU:(("Patricia Bouyer")))) )) ) )"

共 28 条记录

排序：全选导出：

1.The Power of Reachability Testing for Timed Automata

作　　者：Luca Aceto ;Patricia Bouyer ;Augusto Burgueno 等

出　　处：BRICS Report Series. 1998 ;5(48).

出版社：Aarhus University

文章 ID：101759857

文章详细全文下载
2.On the Computation of Nash Equilibria in Games on Graphs (Invited Talk)

作　　者：Patricia Bouyer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;147:1-3.doi:10.4230/LIPIcs.TIME.2019.3

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

文章 ID：240116378

文章详细全文下载
3.Reconfiguration and Message Losses in Parameterized Broadcast Networks

作　　者：Nathalie Bertrand ;Patricia Bouyer ;Anirban Majumdar

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

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

文章 ID：238891940

文章详细全文下载
4.Nash Equilibria in Games over Graphs Equipped with a Communication Mechanism

作　　者：Patricia Bouyer ;Nathan Thomasset

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

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

文章 ID：238891959

文章详细全文下载
5.Concurrent Parameterized Games

作　　者：Nathalie Bertrand ;Patricia Bouyer ;Anirban Majumdar

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-15.doi:10.4230/LIPIcs.FSTTCS.2019.31

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

文章 ID：241519885

文章详细全文下载
6.Unbounded Product-Form Petri Nets

作　　者：Patricia Bouyer ;Serge Haddad ;Vincent Jug{\'e

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

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

文章 ID：200735197

文章详细全文下载
7.CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)

作　　者：Luca Aceto ;Jos Baeten ;Patricia Bouyer-Decitre 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:5:1-5:3.doi:10.4230/LIPIcs.CONCUR.2020.5

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

文章 ID：255822864

文章详细全文下载
8.Games Where You Can Play Optimally with Arena-Independent Finite Memory

作　　者：Patricia Bouyer ;Stphane Le Roux ;Youssouf Oualhadj 等

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

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

文章 ID：255822883

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

文章详细
10.Stochastic Timed Automata

作　　者：Nathalie Bertrand ;Patricia Bouyer ;Thomas Brihaye 等

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

出版社：Technical University of Braunschweig

文章 ID：264692158

文章详细全文下载

1 2 3 下一页尾页

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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