1.Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability

作　　者：Christel Baier ;Nathalie Bertrand ;Marcus Größer

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;3:3-16.doi:10.4204/EPTCS.3.1

出版社：Open Publishing Association

文章 ID：83119700

文章详细全文下载

2.Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

作　　者：Christel Baier ;Marcus Daum ;Benjamin Engel 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;102:156-166.doi:10.4204/EPTCS.102.14

出版社：Open Publishing Association

文章 ID：83120654

文章详细全文下载

3.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Christel Baier ;Ioannis Chatzigiannakis ;Paola Flocchini 等

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

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

文章 ID：238892135

文章详细全文下载

4.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Christel Baier ;Jean Goubault-Larrecq

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183::i-:xx.doi:10.4230/LIPIcs.CSL.2021.0

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

文章 ID：258514162

文章详细全文下载

5.On Skolem-Hardness and Saturation Points in Markov Decision Processes

作　　者：Jakob Piribauer ;Christel Baier

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:138:1-138:17.doi:10.4230/LIPIcs.ICALP.2020.138

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

文章 ID：255823173

文章详细全文下载

6.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

文章详细全文下载

7.Reachability in Dynamical Systems with Rounding

作　　者：Christel Baier ;Florian Funke ;Simon Jantsch 等

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

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

文章 ID：257805106

文章详细全文下载

8.Recurrence and Transience for Probabilistic Automata

作　　者：Mathieu Tracol ;Christel Baier ;Marcus Gr{\"o}sser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:395-406.doi:10.4230/LIPIcs.FSTTCS.2009.2335

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

文章 ID：186845618

文章详细全文下载

9.Probabilistic Models for Reo Connector Circuits

作　　者：Christel Baier

出　　处：Journal of Universal Computer Science. 2005 ;11(10):1718-1748.

出版社：Graz University of Technology and Know-Center

文章 ID：186875759

文章详细

10.Composition of Stochastic Transition Systems Based on Spans and Couplings

作　　者：Daniel Gburek ;Christel Baier ;Sascha Kl{\"u}ppelholz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:102:1-102:15.doi:10.4230/LIPIcs.ICALP.2016.102

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

文章 ID：186847699

文章详细全文下载

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

	Christel Baier	10篇
	Nathalie Bertrand	2篇
	Amaury Pouly	1篇
	Benjamin Engel	1篇
	Daniel Gburek	1篇

	David Purser	1篇
	Engel Lefaucheux	1篇
	Florian Funke	1篇
	Hendrik Tews	1篇
	Hermann Härtig	1篇
	Ioannis Chatzigiannakis	1篇
	Jakob Piribauer	1篇
	Jean Goubault-Larrecq	1篇
	Joachim Klein	1篇
	Marcin Jurdzinski	1篇
	Marcus Daum	1篇
	Marcus Groesser	1篇
	Marcus Gr{\"o}sser	1篇
	Marcus Größer	1篇
	Marcus Völp	1篇
	Markus A. Whiteland	1篇
	Mathieu Tracol	1篇
	Ouaknine, Joël	1篇
	Paola Flocchini	1篇
	Patricia Bouyer	1篇
	Quentin Menet	1篇
	Sascha Kl{\"u}ppelholz	1篇
	Sascha Klüppelholz	1篇
	Simon Jantsch	1篇
	Stefano Leonardi	1篇
	Steffen Märcker	1篇
	Thomas Brihaye	1篇
	Toghrul Karimov	1篇

	德国	7篇
	澳大利亚	2篇
	奥地利	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Christel Baier")))) )) ) )"

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