1.Planification stratégique et asymétries territoriales. Grenoble et le Grand Genève, deux régions urbaines alpines à l’épreuve de la cohérence.

作　　者：Bertrand, Nathalie ;Cremer-Schulte, Dominik ;Perrin, Mathieu

出　　处：Revue de Geographie Alpine. 2015 ;(103-3):1-16.doi:10.4000/rga.3104

出版社：Revue de Geographie Alpine

文章 ID：251021093

文章详细全文下载
2.Les paysages périurbains montagnards à la croisée des regards des sciences écologiques et des sciences socio-économiques

作　　者：Bertrand, Nathalie ;Vanpeene-Bruhier, Sylvie

出　　处：Revue de Geographie Alpine. 2007 ;(95-4):57-68.doi:10.4000/rga.357

出版社：Revue de Geographie Alpine

文章 ID：251021268

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

作　　者：Majumdar, Anirban ;Bouyer, Patricia ;Bertrand, Nathalie

出　　处：Logical Methods in Computer Science. 2021 ;17(1):1-19.

出版社：Technical University of Braunschweig

文章 ID：1035318231

文章详细全文下载
4.CONCUR Test-Of-Time Award 2021 (Invited Paper)

作　　者：Bertrand, Nathalie ;de Alfaro, Luca ;van Glabbeek, Rob 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.1

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

文章 ID：1037088709

文章详细
5.Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms

作　　者：Bertrand, Nathalie ;Thomas, Bastien ;Widder, Josef

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.15

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

文章 ID：1037088723

文章详细
6.Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking

作　　者：Piribauer, Jakob ;Baier, Christel ;Bertrand, Nathalie 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.7

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

文章 ID：1037088732

文章详细

	有全文链接	3篇
	有本地全文	3篇

	Palamidessi, Catuscia	1篇
	Perrin, Mathieu	1篇
	Piribauer, Jakob	1篇
	Sankur, Ocan	1篇
	Thomas, Bastien	1篇
	Vanpeene-Bruhier, Sylvie	1篇
	Widder, Josef	1篇
	Yoshida, Nobuko	1篇
	de Alfaro, Luca	1篇
	van Glabbeek, Rob	1篇

	计算技术、计算机技术	4篇
	自然地理学	2篇

	英文	4篇
	法文	2篇

	德国	4篇
	法国	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Bertrand, Nathalie")))) )) ) )"

	Bertrand, Nathalie	6篇
	Baier, Christel	1篇
	Bouyer, Patricia	1篇
	Cremer-Schulte, Dominik	1篇
	Majumdar, Anirban	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Revue de Geographie Alpine	2篇
	Logical Methods in Computer Science	1篇

	2021	4篇
	2015	1篇
	2007	1篇