首页期刊浏览 2025年02月17日星期一

登录注册

全文

	有本地全文	26篇
	有全文链接	1篇

出版年度

	2020	1篇
	2019	1篇
	2018	1篇
	2014	2篇
	2013	2篇

	2012	2篇
	2011	4篇
	2010	2篇
	2009	7篇
	2008	2篇
	2007	2篇
	2006	1篇

作者

	Reiko Heckel	27篇
	Paolo Torrini	4篇
	Tamim Ahmed Khan	3篇
	Abdullah M. Alshanqiti	2篇
	Adwoa Donyina	2篇

	Barbara König	2篇
	Benjamin Cabrera	2篇
	Hartmut Ehrig	2篇
	Jean-Marie Favre	2篇
	Olga Runge	2篇
	Rodrigo Machado	2篇
	Tom Mens	2篇
	Ajab Khan	1篇
	Andrea Corradini	1篇
	Artur Boronat	1篇
	Barbara K{\"o}nig	1篇
	Carlos Matos	1篇
	Claudia Ermel	1篇
	Computer Science	1篇
	Dánes Bisztray	1篇
	Dénes Bisztray	1篇
	Fawad Qayum	1篇
	Gabor Bergmann	1篇
	Istvan Rath	1篇
	Juan de Lara	1篇
	Leen Lambers	1篇
	Leila Ribeiro	1篇
	Maryam Ghaffari Saadat	1篇
	Mayur Bapodra	1篇
	Mudhafar Hussein	1篇
	Niaz Arijo	1篇
	Paolo Baldan	1篇
	Pawel Sobocinski	1篇
	Rebecca Bernemann	1篇
	Tamim Khan	1篇
	Tobias Heindel	1篇
	Vincent Danos	1篇

文章类型

Research Article

13篇

来源期刊

	Electronic Communications of the EASST	20篇
	Electronic Proceedings in Theoretical Computer Science	4篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Logical Methods in Computer Science	1篇

学科主题

计算技术、计算机技术

27篇

语种

英文

27篇

国别/地区

	德国	23篇
	澳大利亚	4篇

检索条件:"( ( 高级检索(( ((AU:(("Reiko Heckel")))) )) ) )"

共 27 条记录

排序：全选导出：

1.Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

作　　者：Paolo Torrini ;Reiko Heckel

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;12:99-115.doi:10.4204/EPTCS.12.7

出版社：Open Publishing Association

文章 ID：83119790

文章详细全文下载
2.Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars

作　　者：Rodrigo Machado ;Reiko Heckel ;Leila Ribeiro

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;21:39-50.doi:10.4204/EPTCS.21.4

出版社：Open Publishing Association

文章 ID：83119857

文章详细全文下载
3.Resource-Bound Quantification for Graph Transformation

作　　者：Paolo Torrini ;Reiko Heckel

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;22:14-25.doi:10.4204/EPTCS.22.2

出版社：Open Publishing Association

文章 ID：83119865

文章详细全文下载
4.Visual Contracts as Test Oracle in AGG 2.0

作　　者：Tamim Ahmed Khan ;Olga Runge ;Reiko Heckel

出　　处：Electronic Communications of the EASST. 2012 ;47.

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

文章 ID：100465411

文章详细全文下载
5.Preface

作　　者：Reiko Heckel ;Jean-Marie Favre ;Tom Mens

出　　处：Electronic Communications of the EASST. 2006 ;3(0).

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

文章 ID：100465463

文章详细全文下载
6.Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008)

作　　者：Claudia Ermel ;Juan de Lara ;Reiko Heckel

出　　处：Electronic Communications of the EASST. 2008 ;10.

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

文章 ID：100465514

文章详细全文下载
7.Test Case Generation Using Visual Contracts

作　　者：Olga Runge ;Tamim Ahmed Khan ;Reiko Heckel

出　　处：Electronic Communications of the EASST. 2013 ;58.

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

文章 ID：100465537

文章详细全文下载
8.Modelling Adaptive Networks: The Case of the Petrified Voters

作　　者：Mudhafar Hussein ;Reiko Heckel ;Vincent Danos 等

出　　处：Electronic Communications of the EASST. 2014 ;67(0).

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

文章 ID：100465572

文章详细全文下载
9.Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques

作　　者：Artur Boronat ;Reiko Heckel

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

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

文章 ID：100465574

文章详细全文下载
10.Towards Test Coverage Criteria for Visual Contracts

作　　者：Reiko Heckel ;Tamim Ahmed Khan ;Rodrigo Machado

出　　处：Electronic Communications of the EASST. 2011 ;41.

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

文章 ID：100465618

文章详细全文下载

1 2 3 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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