1.The Complexity of Intersecting Finite Automata Having Few Final States

作　　者：Michael Blondin ;Andreas Krebs ;Pierre McKenzie

出　　处：Electronic Colloquium on Computational Complexity. 2012 ;2012.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：88774624

文章详细全文下载
2.Expressive Power of Broadcast Consensus Protocols

作　　者：Michael Blondin ;Javier Esparza ;Stefan Jaax

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

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

文章 ID：238891939

文章详细全文下载
3.Succinct Population Protocols for Presburger Arithmetic

作　　者：Michael Blondin ;Javier Esparza ;Blaise Genest 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:40:1-40:15.doi:10.4230/LIPIcs.STACS.2020.40

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

文章 ID：255823579

文章详细全文下载
4.Large Flocks of Small Birds: on the Minimal Size of Population Protocols

作　　者：Michael Blondin ;Javier Esparza ;Stefan Jaax

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:16:1-16:14.doi:10.4230/LIPIcs.STACS.2018.16

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

文章 ID：220015251

文章详细
5.Forward Analysis for WSTS, Part III: Karp-Miller Trees

作　　者：Michael Blondin ;Alain Finkel ;Jean Goubault-Larrecq

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:16:1-16:15.doi:10.4230/LIPIcs.FSTTCS.2017.16

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

文章 ID：220015401

文章详细
6.Affine Extensions of Integer Vector Addition Systems with States

作　　者：Michael Blondin ;Christoph Haase ;Filip Mazowiecki

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.14

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

文章 ID：230213326

文章详细全文下载
7.Automatic Analysis of Expected Termination Time for Population Protocols

作　　者：Michael Blondin ;Javier Esparza ;Anton{\'i}n Kucera

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-16.doi:10.4230/LIPIcs.CONCUR.2018.33

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

文章 ID：230213345

文章详细全文下载

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

	Anton{\'i}n Kucera	1篇
	Blaise Genest	1篇
	Christoph Haase	1篇
	Filip Mazowiecki	1篇
	Jean Goubault-Larrecq	1篇
	Martin Helfrich	1篇
	Pierre McKenzie	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Michael Blondin")))) )) ) )"

	Michael Blondin	7篇
	Javier Esparza	4篇
	Stefan Jaax	3篇
	Alain Finkel	1篇
	Andreas Krebs	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	6篇
	Electronic Colloquium on Computational Complexity	1篇

	2020	1篇
	2019	1篇
	2018	4篇
	2012	1篇