Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/gtvmt:"
download as .bib file
@proceedings{DBLP:conf/gtvmt/2006,
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/211/suppl/C},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gtvmt/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AutiliP08,
author = {Marco Autili and
Patrizio Pelliccione},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Towards a Graphical Tool for Refining User to System Requirements},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {147--157},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.037},
doi = {10.1016/J.ENTCS.2008.04.037},
timestamp = {Fri, 17 Feb 2023 09:34:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AutiliP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaldanCDFGR08,
author = {Paolo Baldan and
Andrea Corradini and
Fernando Lu{\'{\i}}s Dotti and
Luciana Foss and
Fabio Gadducci and
Leila Ribeiro},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Towards a Notion of Transaction in Graph Rewriting},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {39--50},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.028},
doi = {10.1016/J.ENTCS.2008.04.028},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaldanCDFGR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BottoniPPT08,
author = {Paolo Bottoni and
Francesco Parisi{-}Presicce and
Simone Pulcini and
Gabriele Taentzer},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Maintaining Coherence Between Models With Distributed Rules: From
Theory to Eclipse},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {87--98},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.032},
doi = {10.1016/J.ENTCS.2008.04.032},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BottoniPPT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Braatz08,
author = {Benjamin Braatz},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {251--260},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.047},
doi = {10.1016/J.ENTCS.2008.04.047},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Braatz08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniV08,
author = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Preface},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {1--3},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.024},
doi = {10.1016/J.ENTCS.2008.04.024},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BruniV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DarabosPV08,
author = {Andrea Darabos and
Andr{\'{a}}s Pataricza and
D{\'{a}}niel Varr{\'{o}}},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Towards Testing the Implementation of Graph Transformations},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {75--85},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.031},
doi = {10.1016/J.ENTCS.2008.04.031},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DarabosPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GorpSJ08,
author = {Pieter Van Gorp and
Hans Schippers and
Dirk Janssens},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Copying Subgraphs Within Model Repositories},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {133--145},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.036},
doi = {10.1016/J.ENTCS.2008.04.036},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GorpSJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuerraDL08,
author = {Esther Guerra and
Paloma D{\'{\i}}az and
Juan de Lara},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Visual Specification of Metrics for Domain Specific Visual Languages},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {99--110},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.033},
doi = {10.1016/J.ENTCS.2008.04.033},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuerraDL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HermannET08,
author = {Frank Hermann and
Hartmut Ehrig and
Gabriele Taentzer},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {A Typed Attributed Graph Grammar with Inheritance for the Abstract
Syntax of {UML} Class and Sequence Diagrams},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {261--269},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.048},
doi = {10.1016/J.ENTCS.2008.04.048},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HermannET08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JakobS08,
author = {Johannes Jakob and
Andy Sch{\"{u}}rr},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {View Creation of Meta Models by Using Modified Triple Graph Grammars},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {181--190},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.040},
doi = {10.1016/J.ENTCS.2008.04.040},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JakobS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KoehlerHKRVW08,
author = {Jana Koehler and
Rainer Hauser and
Jochen Malte K{\"{u}}ster and
Ksenia Ryndina and
Jussi Vanhatalo and
Michael Wahler},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {The Role of Visual Modeling and Model Transformations in Business-driven
Development},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {5--15},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.025},
doi = {10.1016/J.ENTCS.2008.04.025},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KoehlerHKRVW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KonigK08,
author = {Barbara K{\"{o}}nig and
Vitali Kozioura},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Augur 2 - {A} New Version of a Tool for the Analysis of Graph Transformation
Systems},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {201--210},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.042},
doi = {10.1016/J.ENTCS.2008.04.042},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KonigK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KovacsG08,
author = {M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Simulation and Formal Analysis of Workflow Models},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {221--230},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.044},
doi = {10.1016/J.ENTCS.2008.04.044},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KovacsG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kunert08,
author = {Andreas Kunert},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Semi-automatic Generation of Metamodels and Models From Grammars and
Programs},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {111--119},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.034},
doi = {10.1016/J.ENTCS.2008.04.034},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kunert08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LambersEO08,
author = {Leen Lambers and
Hartmut Ehrig and
Fernando Orejas},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Efficient Conflict Detection in Graph Transformation Systems by Essential
Critical Pairs},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {17--26},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.026},
doi = {10.1016/J.ENTCS.2008.04.026},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LambersEO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lanese08,
author = {Ivan Lanese},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Exploiting User-definable Synchronizations in Graph Transformation},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {27--38},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.027},
doi = {10.1016/J.ENTCS.2008.04.027},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lanese08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ManningP08,
author = {Greg Manning and
Detlef Plump},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {The York Abstract Machine},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {231--240},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.045},
doi = {10.1016/J.ENTCS.2008.04.045},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ManningP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MinasH08,
author = {Mark Minas and
Berthold Hoffmann},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {An Example of Cloning Graph Transformation Rules for Programming},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {241--250},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.046},
doi = {10.1016/J.ENTCS.2008.04.046},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MinasH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NarayananK08,
author = {Anantha Narayanan and
Gabor Karsai},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Towards Verifying Model Transformations},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {191--200},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.041},
doi = {10.1016/J.ENTCS.2008.04.041},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NarayananK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RensinkN08,
author = {Arend Rensink and
Ronald Nederpel},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Graph Transformation Semantics for a {QVT} Language},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {51--62},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.029},
doi = {10.1016/J.ENTCS.2008.04.029},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RensinkN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SiikarlaS08,
author = {Mika Siikarla and
Tarja Syst{\"{a}}},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Transformational Pattern System - Some Assembly Required},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {63--74},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.030},
doi = {10.1016/J.ENTCS.2008.04.030},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SiikarlaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Varro08,
author = {Gergely Varr{\'{o}}},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Implementing an EJB3-Specific Graph Transformation Plugin by Using
Database Independent Queries},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {121--132},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.035},
doi = {10.1016/J.ENTCS.2008.04.035},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Varro08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Willink08,
author = {Edward D. Willink},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {On Challenges for a Graphical Transformation Notation and the {UMLX}
Approach},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {171--179},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.039},
doi = {10.1016/J.ENTCS.2008.04.039},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Willink08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WinkelmannTEK08,
author = {Jessica Winkelmann and
Gabriele Taentzer and
Karsten Ehrig and
Jochen Malte K{\"{u}}ster},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Translation of Restricted {OCL} Constraints into Graph Constraints
for Generating Meta Model Instances by Graph Grammars},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {159--170},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.038},
doi = {10.1016/J.ENTCS.2008.04.038},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WinkelmannTEK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/XuLW08,
author = {Ke Xu and
Ying Liu and
Cheng Wu},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {{BPSL} Modeler - Visual Notation Language for Intuitive Business Property
Reasoning},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {211--220},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.043},
doi = {10.1016/J.ENTCS.2008.04.043},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/XuLW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AgrawalSK04,
author = {Aditya Agrawal and
Gyula Simon and
Gabor Karsai},
editor = {Reiko Heckel},
title = {Semantic Translation of Simulink/Stateflow Models to Hybrid Automata
Using Graph Transformations},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {43--56},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.055},
doi = {10.1016/J.ENTCS.2004.02.055},
timestamp = {Tue, 13 Dec 2022 10:50:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AgrawalSK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ButtnerG04,
author = {Fabian B{\"{u}}ttner and
Martin Gogolla},
editor = {Reiko Heckel},
title = {Realizing {UML} Metamodel Transformations with {AGG}},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {31--42},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.054},
doi = {10.1016/J.ENTCS.2004.02.054},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ButtnerG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CorradiniH04,
author = {Andrea Corradini and
Dan Hirsch},
editor = {Reiko Heckel},
title = {An Operational Semantics of {COMMUNITY} Based on Graph Transformation
Systems},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {111--124},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.060},
doi = {10.1016/J.ENTCS.2004.02.060},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CorradiniH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GyapaySV04,
author = {Szilvia Gyapay and
{\'{A}}kos Schmidt and
D{\'{a}}niel Varr{\'{o}}},
editor = {Reiko Heckel},
title = {Joint Optimization and Reachability Analysis in Graph Transformation
Systems with Time},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {137--147},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.062},
doi = {10.1016/J.ENTCS.2004.02.062},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GyapaySV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Heckel04,
author = {Reiko Heckel},
editor = {Reiko Heckel},
title = {Preface},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.005},
doi = {10.1016/J.ENTCS.2004.11.005},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Heckel04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HirschM04,
author = {Dan Hirsch and
Ugo Montanari},
editor = {Reiko Heckel},
title = {Shaped Hierarchical Architectural Design},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {97--109},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.059},
doi = {10.1016/J.ENTCS.2004.02.059},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HirschM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JaramilloETE04,
author = {Juan de Lara Jaramillo and
Claudia Ermel and
Gabriele Taentzer and
Karsten Ehrig},
editor = {Reiko Heckel},
title = {Parallel Graph Transformation for Model Simulation applied to Timed
Transition Petri Nets},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {17--29},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.053},
doi = {10.1016/J.ENTCS.2004.02.053},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JaramilloETE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kuster04,
author = {Jochen Malte K{\"{u}}ster},
editor = {Reiko Heckel},
title = {Towards Inconsistency Handling of Object-Oriented Behavioral Models},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {57--69},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.056},
doi = {10.1016/J.ENTCS.2004.02.056},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kuster04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NovikauPP04,
author = {Aliaksei Novikau and
Anna Perini and
Marco Pistore},
editor = {Reiko Heckel},
title = {Graph Rewriting for Agent Oriented Visual Modeling},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {85--96},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.058},
doi = {10.1016/J.ENTCS.2004.02.058},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NovikauPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SantosDR04,
author = {Osmar Marchi dos Santos and
Fernando Lu{\'{\i}}s Dotti and
Leila Ribeiro},
editor = {Reiko Heckel},
title = {Verifying Object-Based Graph Grammars},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {125--136},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.061},
doi = {10.1016/J.ENTCS.2004.02.061},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SantosDR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VarroV04,
author = {Gergely Varr{\'{o}} and
D{\'{a}}niel Varr{\'{o}}},
editor = {Reiko Heckel},
title = {Graph Transformation with Incremental Updates},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {71--83},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.057},
doi = {10.1016/J.ENTCS.2004.02.057},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VarroV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gtvmt/2004,
editor = {Reiko Heckel},
title = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/109/suppl/C},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gtvmt/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VinhB04,
title = {On the Visual Representation of Configuration in Reconfigurable Computing},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {3--15},
publisher = {Elsevier},
year = {2004},
note = {Withdrawn.},
url = {https://doi.org/10.1016/j.entcs.2004.02.052},
doi = {10.1016/J.ENTCS.2004.02.052},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VinhB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gtvmt/2002,
editor = {Paolo Bottoni and
Mark Minas},
title = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/72/issue/3},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gtvmt/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BauderonM03,
author = {Michel Bauderon and
Mohamed Mosbah},
editor = {Paolo Bottoni and
Mark Minas},
title = {A Unified Framework for Designing, Implementing and Visualizing Distributed
Algorithms},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {13--24},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80608-X},
doi = {10.1016/S1571-0661(04)80608-X},
timestamp = {Tue, 13 Dec 2022 10:53:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BauderonM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BottoniM03,
author = {Paolo Bottoni and
Mark Minas},
editor = {Paolo Bottoni and
Mark Minas},
title = {Preface},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {176--177},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80620-6},
doi = {10.1016/S1571-0661(05)80620-6},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BottoniM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraunM03,
author = {Peter Braun and
Frank Marschall},
editor = {Paolo Bottoni and
Mark Minas},
title = {Transforming Object Oriented Models with {BOTL}},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {103--117},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80615-7},
doi = {10.1016/S1571-0661(04)80615-7},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BraunM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CostagliolaDFG03a,
author = {Gennaro Costagliola and
Vincenzo Deufemia and
Filomena Ferrucci and
Carmine Gravino},
editor = {Paolo Bottoni and
Mark Minas},
title = {Exploiting Visual Languages Generation and {UML} Meta Modeling to
Construct Meta-CASE Workbenches},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {25--35},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80609-1},
doi = {10.1016/S1571-0661(04)80609-1},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CostagliolaDFG03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigOBKP03,
author = {Hartmut Ehrig and
Fernando Orejas and
Benjamin Braatz and
Markus Klein and
Martti Piirainen},
editor = {Paolo Bottoni and
Mark Minas},
title = {A Component Framework Based on High-Level Replacement Systems},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {118--132},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80616-9},
doi = {10.1016/S1571-0661(04)80616-9},
timestamp = {Mon, 13 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EhrigOBKP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ErmelB03,
author = {Claudia Ermel and
Roswitha Bardohl},
editor = {Paolo Bottoni and
Mark Minas},
title = {Scenario Views for Visual Behavior Models in GenGED},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {65--77},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80612-1},
doi = {10.1016/S1571-0661(04)80612-1},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ErmelB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FlowerHT03,
author = {Jean Flower and
John Howse and
John Taylor},
editor = {Paolo Bottoni and
Mark Minas},
title = {Nesting in Euler Diagrams},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {93--102},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80614-5},
doi = {10.1016/S1571-0661(04)80614-5},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FlowerHT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GogollaZK03,
author = {Martin Gogolla and
Paul Ziemann and
Sabine Kuske},
editor = {Paolo Bottoni and
Mark Minas},
title = {Towards an Integrated Graph Based Semantics for {UML}},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {160--175},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80619-4},
doi = {10.1016/S1571-0661(04)80619-4},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GogollaZK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HausmannHS03,
author = {Jan Hendrik Hausmann and
Reiko Heckel and
Stefan Sauer},
editor = {Paolo Bottoni and
Mark Minas},
title = {Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia
Sequence Diagrams},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {133--144},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80617-0},
doi = {10.1016/S1571-0661(04)80617-0},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HausmannHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JaramilloVM03,
author = {Juan de Lara Jaramillo and
Hans Vangheluwe and
Manuel Alfonseca Moreno},
editor = {Paolo Bottoni and
Mark Minas},
title = {Using Meta-Modelling and Graph Grammars to Create Modelling Environments},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {36--50},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80610-8},
doi = {10.1016/S1571-0661(04)80610-8},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JaramilloVM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PowerT03,
author = {John Power and
Konstantinos Tourlas},
editor = {Paolo Bottoni and
Mark Minas},
title = {On the Geometric Modelling of Visual Languages},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {1--12},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80607-8},
doi = {10.1016/S1571-0661(04)80607-8},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PowerT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RoubtsovaK03,
author = {Ella E. Roubtsova and
Ruurd Kuiper},
editor = {Paolo Bottoni and
Mark Minas},
title = {Process Semantics for {UML} Component Specifications to Assess Inheritance},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {145--159},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80618-2},
doi = {10.1016/S1571-0661(04)80618-2},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RoubtsovaK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SwobodaA03,
author = {Nik Swoboda and
Gerard Allwein},
editor = {Paolo Bottoni and
Mark Minas},
title = {Using {DAG} Transformations to Verify Euler/Venn Homogeneous and Euler/Venn
{FOL} Heterogeneous Rules of Inference},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {78--92},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80613-3},
doi = {10.1016/S1571-0661(04)80613-3},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SwobodaA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Varro03,
author = {D{\'{a}}niel Varr{\'{o}}},
editor = {Paolo Bottoni and
Mark Minas},
title = {Towards Symbolic Analysis of Visual Modeling Languages},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {51--64},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80611-X},
doi = {10.1016/S1571-0661(04)80611-X},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Varro03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AritaTTY01,
author = {Tomokazu Arita and
Kiyonobu Tomiyama and
Kensei Tsuchida and
Takeo Yaku},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {Application of Attribute {NCE} Graph Grammars to Syntactic Editing
of Tabular Forms},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {282--288},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00180-X},
doi = {10.1016/S1571-0661(04)00180-X},
timestamp = {Tue, 13 Dec 2022 10:53:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AritaTTY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BardohlST01,
author = {Roswitha Bardohl and
Thorsten Schultzke and
Gabriele Taentzer},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {Visual Language Parsing in GenGEd},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {289--294},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00181-1},
doi = {10.1016/S1571-0661(04)00181-1},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BardohlST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaresiPT01,
author = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {Introduction - Graph Transformation and Visual Modeling Techniques
- {GT-VMT} 2001},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {325--326},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80571-7},
doi = {10.1016/S1571-0661(05)80571-7},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaresiPT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BauderonGMMS01,
author = {Michel Bauderon and
Stefan Gruner and
Yves M{\'{e}}tivier and
Mohamed Mosbah and
Afif Sellami},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {Visualization of Distributed Algorithms Based on Graph Relabelling
Systems},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {227--237},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00174-4},
doi = {10.1016/S1571-0661(04)00174-4},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BauderonGMMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BusattoH01,
author = {Giorgio Busatto and
Berthold Hoffmann},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {Comparing Notions of Hierarchical Graph Transformation},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {310--317},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00184-7},
doi = {10.1016/S1571-0661(04)00184-7},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BusattoH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CorradiniDR01,
author = {Andrea Corradini and
Fernando Lu{\'{\i}}s Dotti and
Leila Ribeiro},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {A Graph Transformation View on the Specification of Applications using
Mobile Code},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {238--246},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00175-6},
doi = {10.1016/S1571-0661(04)00175-6},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CorradiniDR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigO01,
author = {Hartmut Ehrig and
Fernando Orejas},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {A Conceptual and Formal Framework for the Integration of Data Type
and Process Modeling Techniques},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {199--226},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00173-2},
doi = {10.1016/S1571-0661(04)00173-2},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EhrigO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FlescaFG01,
author = {Sergio Flesca and
Filippo Furfaro and
Sergio Greco},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {Graph Grammars for Querying Graph-like Data},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {247--256},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00176-8},
doi = {10.1016/S1571-0661(04)00176-8},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FlescaFG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FormisanoS01,
author = {Andrea Formisano and
Marta Simeoni},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {An {AGG} Application Supporting Visual Reasoning},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {302--309},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00183-5},
doi = {10.1016/S1571-0661(04)00183-5},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FormisanoS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeckelK01,
author = {Reiko Heckel and
Jochen Malte K{\"{u}}ster},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {Behavioral Constraints for Visual Models},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {257--265},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00177-X},
doi = {10.1016/S1571-0661(04)00177-X},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeckelK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KothM01,
author = {Oliver K{\"{o}}th and
Mark Minas},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {Abstraction in Graph-Transformation Based Diagram Editors},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {295--301},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00182-3},
doi = {10.1016/S1571-0661(04)00182-3},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KothM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pfaltz01,
author = {John L. Pfaltz},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {Transformations of Concept Graphs: An Approach to Empirical Induction},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {318--324},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00185-9},
doi = {10.1016/S1571-0661(04)00185-9},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pfaltz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Tsiolakis01,
author = {Aliki Tsiolakis},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {Integrating Model Information in {UML} Sequence Diagrams},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {266--274},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00178-1},
doi = {10.1016/S1571-0661(04)00178-1},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Tsiolakis01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VerlindenJ01,
author = {Nico Verlinden and
Dirk Janssens},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {Modeling Petri Nets by Local Action Systems},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {275--281},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00179-3},
doi = {10.1016/S1571-0661(04)00179-3},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VerlindenJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gtvmt/2001,
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/50/issue/3},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gtvmt/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-25 17:22 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
