EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Editor: Varro, D.

Home Policy Brochure Browse Search User Area Contact Help

Number of items: 5.

2011

Rensink, A. and Zambon, Eduardo (2011) Neighbourhood Abstraction in GROOVE. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, NL. pp. 1-13. Electronic Communications of the EASST 32. European Association for the Study of Science and Technology. ISSN 1863-2122

2010

Rensink, A. and Zambon, Eduardo (2010) Neighbourhood Abstraction in GROOVE - Tool Paper. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, NL. pp. 55-61. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672

Blom, S.C.C. and Kant, G. and Rensink, A. (2010) Distributed Graph-Based State Space Generation. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, The Netherlands. pp. 118-130. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672

Ghamarian, A.H. and Rensink, A. and Jalali, A. (2010) Incremental Pattern Matching in Graph-Based State Space Exploration. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sept 2010, Enschede, The Netherlands. pp. 144-154. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672

2008

Rensink, A. and Nederpel, R. (2008) Graph Transformation Semantics for a QVT Language. In: International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), Apr 2006, Vienna, Austria. pp. 51-62. Electronic Notes in Theoretical Computer Science 211. Elsevier. ISSN 1571-0661

This list was generated on Thu May 24 08:32:35 CEST 2012.