1.Phosphorylation of the CENP-A amino-terminus in mitotic centromeric chromatin is required for kinetochore function

作　　者：Damien Goutte-Gattat ;Muhammad Shuaib ;Khalid Ouararhni 等

出　　处：Proceedings of the National Academy of Sciences. 2013 ;110(21):8579-8584.doi:10.1073/pnas.1302955110

出版社：The National Academy of Sciences of the United States of America

文章 ID：86905613

文章详细全文下载
2.Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software

作　　者：Loïc Besnard ;Thierry Gautier ;Julien Ouy 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;20:80-87.doi:10.4204/EPTCS.20.9

出版社：Open Publishing Association

文章 ID：83119851

文章详细全文下载
3.Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

作　　者：Loïc Besnard ;Thierry Gautier ;Matthieu Moy 等

出　　处：Electronic Communications of the EASST. 2009 ;23.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100465626

文章详细全文下载
4.Towards SMV Model Checking of Signal (multi-clocked) Specifications

作　　者：Julio C. Peralta ;Thierry Gautier

出　　处：Electronic Communications of the EASST. 2009 ;23.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100466030

文章详细全文下载

	Thierry Gautier	4篇
	Jean-Pierre Talpin	2篇
	Loïc Besnard	2篇
	Alexandre Cortier	1篇
	Ali Hamiche	1篇

	Ana-Elena Rugina	1篇
	Damien Goutte-Gattat	1篇
	Dimitrios A. Skoufias	1篇
	Fabien Dagnat	1篇
	Florence Maraninchi	1篇
	Gérald Garcia	1篇
	Jean-Paul Bodeveix	1篇
	Julien Ouy	1篇
	Julio C. Peralta	1篇
	Jérémy Buisson	1篇
	Kenneth Johnson	1篇
	Khalid Ouararhni	1篇
	Marc Pantel	1篇
	Martin Strecker	1篇
	Matthieu Moy	1篇
	Muhammad Shuaib	1篇
	Stefan Dimitrov	1篇

	计算技术、计算机技术	3篇
	自然科学总论	1篇

	德国	2篇
	澳大利亚	1篇
	美国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Thierry Gautier")))) )) ) )"

	Electronic Communications of the EASST	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Proceedings of the National Academy of Sciences	1篇

	2013	1篇
	2009	3篇