1.Recognizing well-parenthesized expressions in the streaming model

作　　者：Frederic Magniez ;Claire Mathieu ;Ashwin Nayak

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

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

文章 ID：88774519

文章详细全文下载
2.Streaming Complexity of Checking Priority Queues

作　　者：Nathanaël François ;Frederic Magniez

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

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

文章 ID：88774662

文章详细全文下载
3.Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey

作　　者：Marcos Kiwi ;Frederic Magniez ;Miklos Santha Exact 等

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

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

文章 ID：47146990

文章详细全文下载
4.Probabilistic abstraction for model checking: An approach based on property testing

作　　者：Sophie Laplante ;Richard Lassaigne ;Frederic Magniez 等

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

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

文章 ID：47147027

文章详细全文下载
5.Streaming Property Testing of Visibly Pushdown Languages

作　　者：Nathanaël François ;Frederic Magniez ;Olivier Serre 等

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

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

文章 ID：174712851

文章详细全文下载
6.Streaming Communication Protocols

作　　者：Lucas Boczkowski ;Iordanis Kerenidis ;Frederic Magniez

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

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

文章 ID：215687099

文章详细全文下载

	Frederic Magniez	6篇
	Michel de Rougemont	2篇
	Nathanaël François	2篇
	Approximate Testing/Correcting	1篇
	Ashwin Nayak	1篇

	Claire Mathieu	1篇
	Iordanis Kerenidis	1篇
	Lucas Boczkowski	1篇
	Marcos Kiwi	1篇
	Miklos Santha Exact	1篇
	Olivier Serre	1篇
	Richard Lassaigne	1篇
	Sophie Laplante	1篇
	Sylvain Peyronnet	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Frederic Magniez")))) )) ) )"

	2016	1篇
	2015	1篇
	2012	1篇
	2009	1篇
	2001	2篇