|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 271 occurrences of 179 keywords
|
|
|
Results
Found 784 publication records. Showing 784 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
61 | Gabor Karsai, Aditya Agrawal |
Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: 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, pp. 243-259, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
formal specifications, model-driven architecture, graph transformations, Graph grammars, Model-Integrated Computing, domain-specific modeling languages |
57 | Gabriele Taentzer, Martin Beyer |
Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 380-394, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
54 | Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel |
Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 1-5, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
54 | Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer |
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 121-140, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
54 | Barbara König 0001, Ugo Montanari, Philippa Gardner |
04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems ![In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004, 2004, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
49 | Ansgar Schleicher |
Formalizing UML-Based Process Models Using Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings, pp. 341-357, 1999, Springer, 3-540-67658-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, Process Modeling, Graph Transformations, Process Enactment |
46 | Maciej Paszynski, Anna Paszynska |
Graph Transformations for Modeling Parallel hp-Adaptive Finite Element Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers, pp. 1313-1322, 2007, Springer, 978-3-540-68105-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
CP-graph grammar, Parallel computations, Finite Element Method, graph transformations, hp adaptivity |
44 | Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg |
Workshop on Petri Nets and Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings, pp. 442-444, 2004, Springer, 3-540-23207-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Carsten Amelunxen, Elodie Legros, Andy Schürr, Ingo Stürmer |
Checking and Enforcement of Modeling Guidelines with Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, pp. 313-328, 2007, Springer, 978-3-540-89019-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (eds.) |
Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![Springer, 978-3-642-17321-9 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Wilhelm Schäfer, Heike Wehrheim |
Model-Driven Development with Mechatronic UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 533-554, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Peter Klein |
The Architecture Description Language MoDeL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 249-273, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Holger Giese, Stephan Hildebrandt, Stefan Neumann 0002 |
Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 555-579, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Adam Borkowski, Barbara Siemiatkowska, Jacek Szklarski |
Towards Semantic Navigation in Mobile Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 719-748, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Roberto Bruni, Andrea Corradini 0001, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari |
On GS-Monoidal Theories for Graphs with Nesting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 59-86, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich |
Model Checking Programmable Router Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 473-491, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Reiko Heckel, Paolo Torrini |
Stochastic Modelling and Simulation of Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 87-101, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Gabor Karsai |
Lessons Learned from Building a Graph Transformation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 202-223, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Gregor Engels, Stefan Sauer 0001 |
A Meta-Method for Defining Software Engineering Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 411-440, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | André Marburger, Bernhard Westfechtel |
Graph-Based Structural Analysis for Telecommunication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 363-392, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Arend Rensink |
The Edge of Graph Transformation - Graphs for Behavioural Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 6-32, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Felix Klar, Marius Lauder, Alexander Königs, Andy Schürr |
Extended Triple Graph Grammars with Efficient and Compatible Graph Translators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 141-174, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Matthias Jarke, Ralf Klamma, Klaus Pohl, Ernst Sikora |
Requirements Engineering in Complex Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 602-620, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Ri Hai, Manfred Theißen, Wolfgang Marquardt |
An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 655-682, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Josée Tassé, Nazim H. Madhavji, Amandeep Azad |
Techniques for Merging Views of Software Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 441-472, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Esther Guerra, Juan de Lara, Fernando Orejas |
Controlling Reuse in Pattern-Based Model-to-Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 175-201, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Simon M. Becker, Anne-Thérèse Körtgen |
Integration Tools for Consistency Management between Design Documents in Development Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 683-718, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Mark Minas, Hans Jürgen Schneider |
Graph Transformation by Computational Category Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 33-58, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Ulrich Epple |
Model Driven Engineering in Operative Industrial Process Control Environments - - Overview -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 749-765, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Jürgen Börstler |
Using Role-Play Diagrams to Improve Scenario Role-Play. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 309-334, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Thomas Heer, Markus Heller, Bernhard Westfechtel, René Wörzberger |
Tool Support for Dynamic Development Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 621-654, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Albert Zündorf, Leif Geiger, Ralf Gemmerich, Ruben Jubeh, Jürgen Leohold, Dieter Müller, Carsten Reckord, Christian Schneider 0001, Sven Semmelrodt |
Using Graph Grammars for Modeling Wiring Harnesses - An Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 512-532, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Jürgen Ebert, Daniel Bildhauer |
Reverse Engineering Using Graph Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 335-362, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Stefan Jablonski |
Do We Really Know How to Support Processes? Considerations and Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 393-410, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Aditya A. Shah, Aleksandr A. Kerzhner, Dirk Schaefer, Christiaan J. J. Paredis |
Multi-view Modeling to Support Embedded Systems Engineering in SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 580-601, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Hans-Jörg Kreowski, Sabine Kuske |
Autonomous Units and Their Semantics - The Concurrent Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 102-120, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth 0001, István Majzik, András Pataricza, Balázs Polgár, István Ráth, Dániel Varró, Gergely Varró |
Workflow-Driven Tool Integration Using Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 224-248, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Marcel Bennicke, Claus Lewerentz |
Towards Managing Software Architectures with Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 274-308, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Mauro Caporuscio, Marco Funaro, Carlo Ghezzi |
Architectural Issues of Adaptive Pervasive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 492-511, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Barbara König 0001, Ugo Montanari, Philippa Gardner (eds.) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems ![IBFI, Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
41 | Paolo Baldan, Barbara König 0001, Arend Rensink |
Summary 2: Graph Grammar Verification through Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems ![In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004, 2004, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
41 | Pawel Sobocinski 0001 |
Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems ![In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004, 2004, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
41 | Roberto Bruni, Ivan Lanese |
Summary 3: On Graph(ic) Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems ![In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004, 2004, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
41 | Hans Jürgen Schneider, Hartmut Ehrig (eds.) |
Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![Springer, 3-540-57787-4 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
41 | Ewa Grabska |
Graphs and Designing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 188-202, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Stefan Arnborg |
Decomposability Helps for Deciding Logics of Knowledge and Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 37-50, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Martin Korff |
Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 234-264, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Andrea Corradini 0001, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi 0001 |
Abstract Graph Derivations in the Double Pushout Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 86-103, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Kunio Aizawa, Akira Nakamura |
Path-Controlled Graph Grammars for Mutliresolution Image Processing and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 1-18, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Hartmut Ehrig, Hans-Jörg Kreowski, Gabriele Taentzer |
Canonical Derivaitons for High-Level Replacement Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 153-169, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Manfred Nagl |
Uniform-Modelling in Graph Grammar Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 296-311, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Marc Gemis, Jan Paredaens, Peter Peelman, Jan Van den Bussche |
A Computational Model for Generic Graph Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 170-187, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Jean-Claude Raoult, Frédéric Voisin |
Set-Theoretic Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 312-325, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Ugo Montanari, Francesca Rossi 0001 |
Contextual Occurence Nets and Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 280-295, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Dirk Janssens |
ESM Systems and the Composition of Their Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 203-217, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Andy Schürr |
Logic Based Structure Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 341-357, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Andrea Maggiolo-Schettini, Adriano Peron |
Semantics of Full Statecharts Based on Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 265-279, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 358-379, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Marc Andries, Gregor Engels |
Syntax and Semantics of Hybrid Database Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 19-36, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Bruno Courcelle, Jens Lagergren |
Recognizable Sets of Graphs of Bounded Tree-Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 138-152, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Klaus Barthelmann, Georg Schied |
Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 71-85, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Erik Barendsen, Sjaak Smetsers |
Extending Graph Rewriting with Copying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 51-70, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Georg Schied |
On Relating Rewriting Systems and Graph Grammars to Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 326-340, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Andrea Corradini 0001, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi 0001 |
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 119-137, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Yasuo Kawahara, Yoshihiro Mizoguchi |
Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 218-233, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
40 | Bruno Courcelle, David Janin |
Workshop on Logic, Graph Transformations, Finite and Infinite Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings, pp. 448-450, 2004, Springer, 3-540-23207-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Mark Minas |
AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: 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, pp. 491-492, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Bruno Courcelle |
Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, pp. 90-91, 1999, Springer, 3-540-66201-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Anna Paszynska, Maciej Paszynski, Ewa Grabska |
Graph Transformations for Modeling hp-Adaptive Finite Element Method with Triangular Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (3) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III, pp. 604-613, 2008, Springer, 978-3-540-69388-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski |
High-Level Nets with Nets and Rules as Tokens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings, pp. 268-288, 2005, Springer, 3-540-26301-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
High-level net models, algebraic high-level nets, nets and rules as tokens, integration of net theory and graph transformations, case study: House of Philosophers, graph grammars and Petri net transformations, algebraic specifications |
36 | Paolo Baldan, Barbara König 0001 |
Workshop on Petri Nets and Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 467-469, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg |
Workshop on Petri Nets and Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 467-469, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Fabian Büttner, Martin Gogolla |
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 398-413, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Tobias Rötschke |
Re-engineering a Medical Imaging System Using Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: 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, pp. 185-201, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim |
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, pp. 17-31, 2007, Springer, 978-3-540-89019-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
UML Activities, visual contracts, web services, Business processes, graph transformations |
36 | Boris Böhlen |
Specific Graph Models and Their Mappings to a Common Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: 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, pp. 45-60, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Gabriele Taentzer |
AGG: A Graph Transformation Environment for Modeling and Validation of Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: 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, pp. 446-453, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Anna Paszynska, Maciej Paszynski, Ewa Grabska |
Graph Transformations for Modeling hp-Adaptive Finite Element Method with Mixed Triangular and Rectangular Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (2) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part II, pp. 875-884, 2009, Springer, 978-3-642-01972-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001 |
Towards a compositional approach to model transformation for software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 468-475, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Ion Petre, Grzegorz Rozenberg |
Summary of the Workshop on Natural Computing and Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 470-472, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Mark Heffernan, Kent D. Wilken |
Data-Dependency Graph Transformations for Instruction Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 8(5), pp. 427-451, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
compiler scheduling, graph transformation, instruction scheduling, optimal scheduling |
34 | Tom Mens |
On the Use of Graph Transformations for Model Refactoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GTTSE ![In: Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers, pp. 219-257, 2005, Springer, 3-540-45778-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Enrico Biermann, Claudia Ermel, Gabriele Taentzer |
Precise Semantics of EMF Model Transformations by Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 53-67, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Eclipse Modeling Framework, model transformation, graph transformation, Model-driven software development |
33 | Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer |
Specifying Integrated Refactoring with Distributed Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: 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, pp. 220-235, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam |
Planning Geometric Constraint Decomposition via Optimal Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings, pp. 309-324, 1999, Springer, 3-540-67658-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Francesc Rosselló, Gabriel Valiente |
Analysis of Metabolic Pathways by Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings, pp. 70-82, 2004, Springer, 3-540-23207-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | G. N. Mangalam, Sanjiv Narayan, Paul van Besouw, LaNae J. Avra, Anmol Mathur, Sanjeev Saluja |
Graph Transformations for Improved Tree Height Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 16th International Conference on VLSI Design (VLSI Design 2003), 4-8 January 2003, New Delhi, India, pp. 474-479, 2003, IEEE Computer Society, 0-7695-1868-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Mark Heffernan, Kent D. Wilken, Ghassan Shobaki |
Data-Dependency Graph Transformations for Superblock Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 9-13 December 2006, Orlando, Florida, USA, pp. 77-88, 2006, IEEE Computer Society, 0-7695-2732-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Bruno Courcelle |
The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Graph Grammars ![In: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, pp. 313-400, 1997, World Scientific, 9810228848. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
31 | Hartmut Ehrig, Julia Padberg |
Graph Grammars and Petri Net Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 496-536, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Hoda Fahmy, Richard C. Holt |
Using Graph Rewriting to Specify Software Architectural Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000, pp. 187-196, 2000, IEEE Computer Society, 0-7695-0710-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Maneesh K. Yadav, Brian P. Kelley, Steven M. Silverman |
The Potential of a Chemical Graph Transformation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings, pp. 83-95, 2004, Springer, 3-540-23207-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
A graph-based formalism for RBAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 5(3), pp. 332-365, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Access control in information systems, decentralized administration, permission management, role-based access control, correctness, graph transformations |
29 | Ulrike Ranger, Thorsten Hermes |
Ensuring Consistency Within Distributed Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 368-382, 2007, Springer, 978-3-540-71288-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Peter Vanbekbergen, Bill Lin 0001, Gert Goossens, Hugo De Man |
A generalized state assignment theory for transformations on signal transition graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 7(1-2), pp. 101-115, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
29 | Leszek Kotulski, Barbara Strug |
Using Graph Transformations in Distributed Adaptive Design System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCVG ![In: Computer Vision and Graphics, International Conference, ICCVG 2008, Warsaw, Poland, November 10-12, 2008, Revised Papers, pp. 477-486, 2008, Springer, 978-3-642-02344-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
adaptive design, distributed grammar systems, computer aided design, graph transformations |
28 | Eduardo Zambon |
Using Graph Transformations and Graph Abstractions for Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings, pp. 416-418, 2010, Springer, 978-3-642-15927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Hawley K. Rising |
MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: 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, pp. 369-382, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Gabor Karsai, Gabriele Taentzer |
Third international workshop on graph and model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume, pp. 1055-1056, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model transformations, model-driven development, graph transformations |
28 | Alexander Filatov, Alexander Gitis, Igor Kil |
Graph-based handwritten digit string recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 845-848, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
graph based handwritten digit string recognition, handwritten digit string recognition algorithm, input subgraph matching, prototype symbol graphs, acceptable graph transformations, handwritten symbols, structure recognition methods, handwritten symbol topology, handwritten digit string recognition system, handwriting recognition |
Displaying result #1 - #100 of 784 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|