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}
}

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.