Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "graph transformation"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"005 - Computer programming, programs & data"
language:"English"
Showing
1
-
20
of
74
Search:
'"graph transformation"'
,
query time: 0.20s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Graph
Transformations
: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
...A Benchmark Evaluation of Incremental Pattern Matching in
Graph
Transformation
-- 15 Years...
”
Read Now
2
Graph
Transformations
: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
...Categorical Foundations of Distributed
Graph
Transformation
-- Dynamic
Graph
Transformation
Systems...
”
Read Now
3
Graph
Transformations
and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
...
Graph
Transformations
and Model-Driven Engineering: The Merits of Manfred Nagl --
Graph
...
”
Read Now
4
Applications of
Graph
Transformations
with Industrial Relevance...
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
...Relational Growth Grammars – A Parallel
Graph
Transformation
Approach with Applications in Biology...
”
Read Now
5
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
...
Graph
Transformation
-- On the Concurrent Semantics of Algebraic Graph Grammars -- From
Graph
...
”
Read Now
6
Fundamental Approaches to Software Engineering : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS...
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... --
Graph
Transformation
-- Incremental Service Composition Based on Partial Matching of Visual Contracts...
”
Read Now
7
Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Published 2016
Springer International Publishing
Table of Contents:
“
... Symbolic Verification of
Graph
Transformations
with Off-The-Shelf Hardware Model Checkers -- Testing-Based...
”
Read Now
8
Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Pap...
Published 2016
Springer International Publishing
Table of Contents:
“
... technology -- Testing and formal analysis --
Graph
transformations
and model transformations -- Model driven...
”
Read Now
9
Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... -- Nondeterministic Trajectories -- Binary Patterns in Infinite Binary Words --
Graph
Transformations
-- A Sight...
”
Read Now
10
Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Published 2014
Springer Berlin Heidelberg
Table of Contents:
“
...
Graph
Transformations
in the Bulk Synchronous Parallel Model -- Modularizing Triple Graph Grammars Using...
”
Read Now
11
Recent Trends in Algebraic Development Techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
...Contributed Papers -- A Temporal Graph Logic for Verification of
Graph
Transformation
Systems...
”
Read Now
12
Theory and Practice of Model Transformations : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... -- Synthesis of OCL Pre-conditions for
Graph
Transformation
Rules -- From State- to Delta-Based Bidirectional...
”
Read Now
13
Objects, Agents, and Features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... -- Modelling and Analysis of Agents’ Goal-Driven Behavior Using
Graph
Transformation
-- Giving Life to Agent...
”
Read Now
14
Transactions on Aspect-Oriented Software Development VI : Special Issue on Aspects and Model-Driven Engineering
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... -- Constraint-Based Model Weaving -- MATA: A Unified Approach for Composing UML Aspect Models Based on
Graph
...
”
Read Now
15
Transactions on Large-Scale Data- and Knowledge-Centered Systems LIII
Published 2023
Springer Berlin Heidelberg
Table of Contents:
“
...-constrained Extractive Question Answering with Heterogeneous
Graph
Transformer
-- FAPFID: A Fairness-aware...
”
Read Now
16
Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
Published 2020
Springer International Publishing
Table of Contents:
“
...The Road Ahead for Supervisor Synthesis -- Reentrancy? Yes. Reentrancy bug? No --
Graph
...
”
Read Now
17
Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Successfully While Being Conservative -- Confluence of
Graph
Transformation
Revisited -- Compositional...
”
Read Now
18
Global Computing : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
...Symbolic Equivalences for Open Systems -- Specifying and Verifying UML Activity Diagrams Via
Graph
...
”
Read Now
19
Rewriting Techniques and Applications : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... Pushout Approach to Term-
Graph
Transformation
-- An Explicit Framework for Interaction Nets -- Dual...
”
Read Now
20
Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of S...
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... Bisimulation Theory for Computations and Values -- Checking Bisimilarity for Attributed
Graph
Transformation
...
”
1
2
3
4
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Clear Filter
Language: English
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
003 - Systems
3
004 - Data processing & computer science
2
Language
English
Collection
Springer eBooks 2005-
56
Springer Book Archives -2004
17
O'Reilly
1
Author
Ehrig, Hartmut
3
Schürr, Andy
3
Astesiano, Egidio
2
Bruel, Jean-Michel
2
Chen, Xiaofeng
2
Gogolla, Martin
2
more ...
Lämmel, Ralf
2
Montanari, Ugo
2
Rensink, Arend
2
Rozenberg, Grzegorz
2
Saraiva, João
2
Taentzer, Gabriele
2
Varró, Dániel
2
Visser, Joost
2
Abramsky, Samson
1
Aichernig, Bernhard K.
1
Al-Begain, Khalid
1
Araújo, João
1
Asahi, Yumi
1
Baldissera, Thais A.
1
Ben Othmane, Lotfi
1
Beydeda, Sami
1
Beyer, Dirk
1
Bhalla, Subhash
1
Book, Matthias
1
Brauer, Wilfried
1
Bravetti, Mario
1
Butler, Michael
1
Camarinha-Matos, Luis M.
1
Cavalcanti, Ana
1
Cerioli, Maura
1
Chaudron, Michel R. V.
1
Chitchyan, Ruzanna
1
Ciancarini, Paolo
1
Corradini, Andrea
1
Cortellessa, Vittorio
1
Cousot, Radhia
1
Cuppens, Frédéric
1
Czarnecki, Krzysztof
1
Dahl, Verónica
1
Desmarais, Michel C.
1
Di Orio, Giovanni
1
Dwyer, Matthew B.
1
Ehrich, Hans-Dieter
1
Engels, Gregor
1
Fiadeiro, Jose L.
1
Fiadeiro, José Luiz
1
Fiems, Dieter
1
Fitzgerald, John S.
1
Furia, Carlo A.
1
Gavoille, Cyril
1
Giese, Holger
1
Gnesi, Stefania
1
Gottlob, Georg
1
Graf, Susanne
1
Gruhn, Volker
1
Guerra, Esther
1
Guo, Danhuai
1
Gupta, Aarti
1
Hameurlain, Abdelkader
1
Hammond, Tony
1
Hammoudi, Slimane
1
Haxthausen, Anne E.
1
Heckel, Reiko
1
Hermanns, Holger
1
Hierons, Robert M.
1
Honsell, Furio
1
Hu, Di
1
Huisman, Marieke
1
Hölzl, Matthias
1
Jazayeri, Mehdi
1
Karhumäki, Juhani
1
Katz, Shmuel
1
Kirchner, Claude
1
Knottenbelt, William
1
Kobryn, Cris
1
Kreowski, Hans-Jörg
1
Lewerentz, Claus
1
Liu, Zheli
1
Lopes, Antonia
1
Luo, Bo
1
Luo, Yuhua
1
Maibaum, Tom
1
Malik, Sharad
1
Malizia, Alessio
1
Margaria-Steffen, Tiziana
1
Marques, Francisco
1
Meng, Xiaofeng
1
Merayo, Mercedes G.
1
Meyer auf der Heide, Friedhelm
1
Meyer, Bertrand
1
Meyer, John-Jules Ch
1
Miculan, Marino
1
Middeldorp, Aart
1
Milazzo, Paolo
1
Misra, Jayadev
1
Moreira, Ana
1
Mori, Hirohiko
1
Mosbah, Mohamed
1
Nagl, Manfred
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&filter%5B%5D=language%3A%22English%22&lookfor=%22graph+transformation%22&type=AllFields
Send by Email
×
Loading...