维普中文期刊产品整合服务
18篇 您的检索式:作者名="FOURNET M"
    题名 作者 年代 出处 被引量
1Influence of surface on chemical kinetic of pyrocarbon deposition obtained by propane pyrolysis显示文摘Ziegler I Fournet R Marquaire P M 2005J Anal Appl Pyrolysis2005,73,1:1
2Automatic verification of selected equivalences for security protocols 显示文摘BLANCHET B ABADI M FOURNET C 2008Journal of Logic and AIgebraio Programming2008,75,1:1
3Prognostic value of left atrial reservoir function in patients with severe aortic stenosis:a2D speckle-tracking echocardiographic study显示文摘GALLI E FOURNET M CHABANNE C 2015Eur Heart J Cardiovasc Imaging2015,8,2:1
4Influence of surface on chemical kinetic of pyrocarbon deposition obtained by propane pyrolysis显示文摘Ziegler I Fournet R Marquaire P M 2005J Anal Appl Pyrolysis2005,73,:1
5Prognostic value of left atrialreservoir function in patients with severe aortic stenosis : a 2D speckle -tracking echocardiographic study显示文摘Galli E Fournet M Chabanne C Eur Heart J Cardiovasc Imaging0,17,5:1
6Private authentication显示文摘ABADI M FOURNET C 2004Theoret Comput Sci2004,322,:1
7Just fast keying in the Pi calculus 显示文摘ABADI M BLANCHET B FOURNET C 2007ACM Trans on Information and system Security2007,10,3:1
8Just fast keying in the pi calculus显示文摘ABADI M BLANCHET B FOURNET C 2007ACM Transactions on Information and System Security (TISSEC)2007,10,3:1
9Just fast keying in the pi calculus显示文摘ABADI M BLANCHET B FOURNET C 2007ACM Transactions on Information and System Security (TISSEC)2007,10,3:1
10Automatic verification of selected equivalences for security protocols显示文摘Blanchet B Abadi M Fournet C 2008Journal of Logic and Algebraic Programming2008,75,1:1
11Just fast keying in the Pi calculus 显示文摘ABADI M BLANCHET B FOURNET C 2007ACM Transactions on Information and System Securi- ty2007,10,3:1
12Thermal decomposition of n-dodecane:Experiments and kinetic modeling显示文摘HERBINET O MARQUAIRE P M FREDERIQUE B L FOURNET R 2007J Anal App Pyrolysis2007,78,2:1
13Structure of an exocellular polysaccharide produced by Streptococcus thermophilus显示文摘Doco T Wieruszeski J M Fournet B 1990Carbohydr Res1990,198,2:1
14Automated verification of selected equivalences for security protocols显示文摘Blancheta B Abadib M Fournet C 2008Journal of Logic and Algebraic Programming2008,75,1:1
15Pyrolysis of propane for CVI of pyrocarbon:Part Ⅲ:Experimental and modeling study of the formation of pyrocarbon显示文摘Ziegler I Fournet R Marquaire P M 2007Journal of Analytical and Applied Pyrolysis2007,79,12:1
16Just fast keying in the picalculus显示文摘ABADI M BLANCHET B FOURNET C 2007ACM Transactions on Information and System Security2007,10,3:1
17SecPAL: Design and semantics of a decentralized authorization language显示文摘Becker M Y Fournet C Gordon A D 2010Journal of Computer Security2010,18,4:1
18Private authentication 显示文摘Abadi M Fournet C 2004Theoretical Computer Science2004,322,3:1
返回顶部 每页显示:
共1页 首页 上一页 第1页 下一页 末页 /1 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费