Skip to contents

Ehrig, Hartmut [Editor] ; ICGT 2 2004 Rom

Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 3256
Corradini, Andrea [Editor] ; ICGT 1 2002 Barcelona

Graph transformation : first international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2505
Schürr, Andy [Other]; Nagl, Manfred [Other]; Zündorf, Albert [Other]; Schürr, Andreas [Editor] ; AGTIVE 3 2007 Kassel

Applications of graph transformations with industrial relevance : third international symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 ; revised selected and invited papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5088
Corradini, Andrea [Editor] ; ICGT 3 2006 Natal, Rio Grande do Norte

Graph transformations : third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4178
Kreowski, Hans-Jörg [Editor]; Montanari, Ugo [Other]; Orejas, Fernando [Other]; Rozenberg, Grzegorz [Other]; Taentzer, Gabriele [Other]; Ehrig, Hartmut [Honoree]

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3393
Nagl, Manfred [Editor] ; AGTIVE 1 1999 Kerkrade

Applications of graph transformations with industrial relevance : proceedings ; international workshop

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2000

Published in: Lecture notes in computer science ; 1779
Ehrig, Hartmut [Editor]; Rensink, Arend [Other]; Rozenberg, Grzegorz [Other]; Schürr, Andy [Other] ; ICGT 5 2010 Enschede

Graph transformations : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6372
Degano, Pierpaolo [Editor]; Montanari, Ugo [Honoree]; De Nicola, Rocco [Other]; Meseguer, José [Other]

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5065
Engels, Gregor [Editor]; Nagl, Manfred [Honoree]

Graph transformations and model-driven engineering : essays dedicated to Manfred Nagl on the occasion of his 65th birthday

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 5765
Pfaltz, John L. [Editor]; Nagl, Manfred [Other] ; AGTIVE 2 2003 Charlottesville, Va

Applications of graph transformations with industrial relevance : second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003 ; revised selected and invited papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 3062
Flotterer, Boris [Author]; Maximova, Maria [Author]; Schneider, Sven [Author]; Dyck, Johannes [Author]; Zöllner, Christian [Author]; Giese, Holger [Author]; Hély, Christelle [Author]; Gaucherel, Cédric [Author] ; Hasso-Plattner-Institut für Digital Engineering, Universitätsverlag Potsdam

Modeling and formal analysis of meta-ecosystems with dynamic structure using Graph Transformation

View online
Schließen

Access

https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-547643

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Potsdam: Universitätsverlag Potsdam, 2022

Published in: Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 147
Depke, Ralph [Author]

Visuelle Modellierung agentenbasierter Systeme

View online
Schließen

Access

https://d-nb.info/974937002/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Winetzhammer, Sabine [Author] ; Westfechtel, Bernhard [Degree supervisor]

Modellgetriebene Entwicklung mit Graphtransformationen

View online
Schließen

Access

https://d-nb.info/1075807832/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bayreuth: Universität Bayreuth, 2015
Weinell, Erhard Herbert [Author] ; Nagl, Manfred [Degree supervisor]

Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen

View online
Schließen

Access

Full access (via DOI)

https://publications.rwth-aachen.de/record/62966

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2022
Hutchison, David [Other]; Pandu Rangan, C. [Other]; Schürr, Andy [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Zündorf, Albert [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Nagl, Manfred [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]

Applications of Graph Transformations with Industrial Relevance : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

Published in: Lecture notes in computer science ; 5088
Weinell, Erhard Herbert [Author] ; Nagl, Manfred [Degree supervisor]

Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen

View online
Schließen

Access

https://d-nb.info/1256349089/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2022
Kreowski, Hans-Jörg [Other]; Montanari, Ugo [Other]; Orejas, Fernando [Other]; Rozenberg, Grzegorz [Other]; Taentzer, Gabriele [Other]

Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3393
Ehrig, Hartmut [Author] ; Engels, Gregor [Other]; Parisi-Presicce, Francesco [Other]; Rozenberg, Grzegorz [Other]

Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Published in: Lecture notes in computer science ; 3256
Schairer, Axel [Author]

Transformations of specifications and proofs to support an evolutionary formal software development

View online
Schließen

Access

https://d-nb.info/981172156/34

kostenfrei

http://scidok.sulb.uni-saarland.de/volltexte/2006/665/index.html

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Engels, Gregor [Author] ; Lewerentz, Claus [Other]; Schäfer, Wilhelm [Other]; Schürr, Andy [Other]; Westfechtel, Bernhard [Other]

Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 5765

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication