Search dblp for Publications

export results for "toc:db/journals/entcs/entcs109.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.