首页期刊浏览 2024年11月23日星期六

登录注册

全文

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

出版年度

	2020	2篇
	2019	5篇
	2017	1篇
	2016	3篇
	2015	4篇

	2014	2篇
	2012	1篇
	2010	3篇
	2009	1篇
	2008	1篇

作者

	Nobuko Yoshida	23篇
	Raymond Hu	4篇
	Alceste Scalas	2篇
	Andi Bejleri	2篇
	Cristian Cortez	2篇

	Dimitrios Kouzapas	2篇
	José Franco da Silveira	2篇
	Julien Lange	2篇
	Kohei Honda	2篇
	Marco Carbone	2篇
	Alexis Bonfim-Melo	1篇
	Assel Altayeva	1篇
	Carsten Sch{\"u}rmann	1篇
	Claudio Vieira da Silva	1篇
	Damien Zufferey	1篇
	Diana Bahia	1篇
	Eduardo Horjales	1篇
	Elena Giachino	1篇
	Esteban M. Cordero	1篇
	Esteban Mauricio Cordero	1篇
	Fabio Mitsuo Lima	1篇
	Fabrizio Montesi	1篇
	Gianluigi Zavattaro	1篇
	Jonathan King	1篇
	Jorge A. P{\'e}rez	1篇
	Julia Gabet	1篇
	Juliana Franco	1篇
	Keigo Imai	1篇
	Lasse Nielsen	1篇
	Laura Bocchi	1篇
	Marcus Pirron	1篇
	Mario Bravetti	1篇
	Martin Berger	1篇
	Michel De Groote	1篇
	Mário Costa Cruz	1篇
	Nicholas Ng	1篇
	Nuno Alves	1篇
	Ornela Dardha	1篇
	Pierre-Malo Denielou	1篇
	Pierre-Malo Deniélou	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	11篇
	Electronic Proceedings in Theoretical Computer Science	5篇
	Logical Methods in Computer Science	4篇
	Scientific Reports	2篇
	OASIcs : OpenAccess Series in Informatics	1篇

学科主题

	计算技术、计算机技术	21篇
	自然科学总论	2篇

语种

英文

23篇

国别/地区

	德国	16篇
	澳大利亚	5篇
	英国	2篇

检索条件:"( ( 高级检索(( ((AU:(("Nobuko Yoshida")))) )) ) )"

共 23 条记录

排序：全选导出：

1.Session-Based Programming for Parallel Algorithms: Expressiveness and Performance

作　　者：Andi Bejleri ;Raymond Hu ;Nobuko Yoshida

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;17:17-29.doi:10.4204/EPTCS.17.2

出版社：Open Publishing Association

文章 ID：83119820

文章详细全文下载
2.Multiparty Symmetric Sum Types

作　　者：Lasse Nielsen ;Nobuko Yoshida ;Kohei Honda

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;41:121-135.doi:10.4204/EPTCS.41.9

出版社：Open Publishing Association

文章 ID：83120077

文章详细全文下载
3.Secure Execution of Distributed Session Programs

作　　者：Nuno Alves ;Raymond Hu ;Nobuko Yoshida 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;69:1-11.doi:10.4204/EPTCS.69.1

出版社：Open Publishing Association

文章 ID：83120323

文章详细全文下载
4.Logical Reasoning for Higher-Order Functions with Local State

作　　者：Nobuko Yoshida ;Kohei Honda ;Martin Berger

出　　处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:2)2008

出版社：Technical University of Braunschweig

文章 ID：47109820

文章详细全文下载
5.Signal peptide recognition in Trypanosoma cruzi GP82 adhesin relies on its localization at protein N-terminus

作　　者：Esteban M. Cordero ;Cristian Cortez ;Nobuko Yoshida 等

出　　处：Scientific Reports. 2019 ;9(1):1-14.doi:10.1038/s41598-019-43743-0

出版社：Springer Nature

文章 ID：235849323

文章详细全文下载
6.A Sound Algorithm for Asynchronous Session Subtyping

作　　者：Mario Bravetti ;Marco Carbone ;Julien Lange 等

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

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

文章 ID：238891946

文章详细全文下载
7.Motion Session Types for Robotic Interactions (Brave New Idea Paper)

作　　者：Rupak Majumdar ;Marcus Pirron ;Nobuko Yoshida 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;134:1-27.doi:10.4230/LIPIcs.ECOOP.2019.28

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

文章 ID：238892106

文章详细全文下载
8.A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming

作　　者：Alceste Scalas ;Ornela Dardha ;Raymond Hu 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;74:24:1-24:31.doi:10.4230/LIPIcs.ECOOP.2017.24

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

文章 ID：197690112

文章详细全文下载
9.Static Race Detection and Mutex Safety and Liveness for Go Programs

作　　者：Julia Gabet ;Nobuko Yoshida

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-30.doi:10.4230/LIPIcs.ECOOP.2020.4

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

文章 ID：256859623

文章详细全文下载
10.Multiparty Session Programming With Global Protocol Combinators

作　　者：Keigo Imai ;Rumyana Neykova ;Nobuko Yoshida 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-30.doi:10.4230/LIPIcs.ECOOP.2020.9

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

文章 ID：256859628

文章详细全文下载

1 2 3 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有