EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


Editor: Ehrig, H.
 Home Policy Brochure Browse Search User Area Contact Help

Number of items: 12.

2010

Corradini, A. and de Mol, M.J. (2010) ICGT 2010 Doctoral Symposium [Preface]. In: Proceedings of the Fifth Internal Conference on Graph Transformations (ICGT 2010), 27 Sep - 02 Oct 2010, Enschede, Netherlands. pp. 379-380. Lecture Notes in Computer Science 6372. Springer Verlag. ISBN 978-3-642-15927-5
Ehrig, H. and Rensink, A. and Rozenberg, G. and Schürr, A., ed. (2010) Graph Transformations: 5th International Conference. Lecture Notes in Computer Science 6372. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-642-15927-5
Ehrig, H. and Rensink, A. and Rozenberg, G. and Schürr, A. (2010) Graph Transformationcs (ICGT 2010) - Preface. In: International Conference on Graph Transformationcs (ICGT 2010), 27 Sep - 2 Oct 2010, Enschede. V-VI. Lecture Notes in Computer Science 6372. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15927-5
Zambon, Eduardo (2010) Using Graph Transformations and Graph Abstractions for Software Verification. In: Fifth International Conference on Graph Transformations (ICGT 2010), 27 Sep - 02 Oct 2010, Enschede, NL. pp. 416-418. Lecture Notes in Computer Science 6372. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15927-5

2009

Boneva, I. and Kreiker, J. and Kurban, M.E. and Rensink, A. (2009) Graph Abstraction for a Modal Logic. Bulletin of the European Association for Theoretical Computer Science, 97. pp. 106-116. ISSN 0252-9742

2008

Bauer, J. and Boneva, I.B. and Kurban, M.E. and Rensink, A. (2008) A Modal-Logic Based Graph Abstraction. In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK. pp. 321-335. Lecture Notes in Computer Science 5214. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-87404-1
Rensink, A. and Van Gorp, P. (2008) Graph-Based Tools: The Contest. In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK. pp. 463-466. Lecture Notes in Computer Science 5214. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-87404-1

2006

Habel, A. and Pennemann, K.-H. and Rensink, A. (2006) Weakest Preconditions for High-Level Programs. In: Graph Transformations (ICGT), 19-21 Sep 2006, Natal, Brazil. pp. 445-460. Lecture Notes in Computer Science 4178. Springer Verlag. ISBN 3-540-38870-2
Rensink, A. (2006) Nested Quantification in Graph Transformation Rules. (Invited) In: Graph Transformations (ICGT), 19-21 Sep 2006, Natal, Brazil. pp. 1-13. Lecture Notes in Computer Science 4178. Springer Verlag. ISBN 3-540-38870-2

2004

Rensink, A. and Schmidt, A. and Varró, D. (2004) Model Checking Graph Transformations: A Comparison of Two Approaches. In: International Conference on Graph Transformations (ICGT). pp. 226-241. Lecture Notes in Computer Science 3256. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-23207-0
Rensink, A. (2004) Representing First-Order Logic Using Graphs. In: International Conference on Graph Transformations (ICGT). pp. 319-335. Lecture Notes in Computer Science 3256. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-23207-0

2003

Eshuis, H. and Wieringa, R.J. (2003) Comparing Petri Net and Activity Diagram Variants for Workflow Modelling: A Quest for Reactive Petri Nets. In: Petri Net Technology for Communication-Based Systems: Advances in Petri Nets. Lecture Notes in Computer Science 2472. Springer, Berlin/Heidelberg, Germany, pp. 321-351. ISSN 0302-9743 ISBN 9783540205388

This list was generated on Thu May 24 06:08:46 CEST 2012.