Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:conf/gtvmt:"
@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} }
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.