EEMCS

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

EEMCS EPrints Service


Editor: Rozenberg, G.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 18.

2012

Rensink, A. and Zambon, Eduardo (2012) Pattern-Based Graph Abstraction. In: International Conference on Graph Transformation (ICGT 2012), 24-29 Sep 2012, Bremen, Germany. pp. 66-80. Lecture Notes in Computer Science 7562. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33653-9
Ghamarian, A.H. and Rensink, A. (2012) Generalised compositionality in graph transformation. In: 6th International Conference on Graph Transformation (ICGT 2012), 24-29 Sep 2012, Bremen, Germany. pp. 234-248. Lecture Notes in Computer Science 7562. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33653-9

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

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 978-3-540-20538-8

1996

Asveld, P.R.J. (1996) Towards Robustness in Parsing -- Fuzzifying Context-Free Language Recognition. In: Developments in Language Theory II -- At the Crossroads of Mathematics, Computer Science and Biology, 17-21 July 1995, Magdeburg, Germany. pp. 443-453. World Scientific. ISBN 981-02-2682-9
Sikkel, K. and Nijholt, A. (1996) Parsing of Context-free Languages. In: Handbook of Formal Languages, Vol. II. Linear Modeling: Background and Application. Springer Verlag, Berlin, pp. 61-100. ISBN 3-540-60648-3

1993

Asveld, P.R.J. (1993) An Algebraic Approach to Incomparable Families of Formal Languages. Memorandum Informatica 93-48, Dept. of Computer Science, University of Twente. ISSN 0924-3755

1992

Asveld, P.R.J. (1992) An Algebraic Approach to Incomparable Families of Formal Languages. In: Lindenmayer Systems -- Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology. Springer-Verlag, Berlin, pp. 455-475. ISBN 3 540 55320 7

1982

Nijholt, A. (1982) An annotated bibliography of pumping (First edition, June 1982). EATCS-Bulletin, 17. pp. 34-53. ISSN 0252-9742

This list was generated on Fri May 26 06:03:54 CEST 2017.