Search dblp for Publications

export results for "toc:db/conf/gg/gcm2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/gg/BottoniNP15,
  author       = {Paolo Bottoni and
                  Roberto Navigli and
                  Francesco Parisi{-}Presicce},
  editor       = {Detlef Plump},
  title        = {Conditions, Constraints and Contracts: On the Use of Annotations for
                  Policy Modeling},
  booktitle    = {Proceedings of the 6th International Workshop on Graph Computation
                  Models co-located with the 8th International Conference on Graph Transformation
                  {(ICGT} 2015) part of the Software Technologies: Applications and
                  Foundations {(STAF} 2015) federation of conferences, L'Aquila, Italy,
                  July 20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1403},
  pages        = {18--33},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1403/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/BottoniNP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/Flick15,
  author       = {Nils Erik Flick},
  editor       = {Detlef Plump},
  title        = {On Correctness of Graph Programs Relative to Recursively Nested Conditions},
  booktitle    = {Proceedings of the 6th International Workshop on Graph Computation
                  Models co-located with the 8th International Conference on Graph Transformation
                  {(ICGT} 2015) part of the Software Technologies: Applications and
                  Foundations {(STAF} 2015) federation of conferences, L'Aquila, Italy,
                  July 20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1403},
  pages        = {97--112},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1403/paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/Flick15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/LoweT15,
  author       = {Michael L{\"{o}}we and
                  Marius Tempelmeier},
  editor       = {Detlef Plump},
  title        = {Single-Pushout Rewriting of Partial Algebras},
  booktitle    = {Proceedings of the 6th International Workshop on Graph Computation
                  Models co-located with the 8th International Conference on Graph Transformation
                  {(ICGT} 2015) part of the Software Technologies: Applications and
                  Foundations {(STAF} 2015) federation of conferences, L'Aquila, Italy,
                  July 20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1403},
  pages        = {82--96},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1403/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/LoweT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/MackieS15,
  author       = {Ian Mackie and
                  Shinya Sato},
  editor       = {Detlef Plump},
  title        = {Parallel Evaluation of Interaction Nets: Some Observations and Examples},
  booktitle    = {Proceedings of the 6th International Workshop on Graph Computation
                  Models co-located with the 8th International Conference on Graph Transformation
                  {(ICGT} 2015) part of the Software Technologies: Applications and
                  Foundations {(STAF} 2015) federation of conferences, L'Aquila, Italy,
                  July 20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1403},
  pages        = {50--65},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1403/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/MackieS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/MaignanS15,
  author       = {Luidnel Maignan and
                  Antoine Spicher},
  editor       = {Detlef Plump},
  title        = {Global Graph Transformations},
  booktitle    = {Proceedings of the 6th International Workshop on Graph Computation
                  Models co-located with the 8th International Conference on Graph Transformation
                  {(ICGT} 2015) part of the Software Technologies: Applications and
                  Foundations {(STAF} 2015) federation of conferences, L'Aquila, Italy,
                  July 20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1403},
  pages        = {34--49},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1403/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/MaignanS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/PeuserH15,
  author       = {Christoph Peuser and
                  Annegret Habel},
  editor       = {Detlef Plump},
  title        = {Attribution of Graphs by Composition of M, N-adhesive Categories},
  booktitle    = {Proceedings of the 6th International Workshop on Graph Computation
                  Models co-located with the 8th International Conference on Graph Transformation
                  {(ICGT} 2015) part of the Software Technologies: Applications and
                  Foundations {(STAF} 2015) federation of conferences, L'Aquila, Italy,
                  July 20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1403},
  pages        = {66--81},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1403/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/PeuserH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/Zaytsev15,
  author       = {Vadim Zaytsev},
  editor       = {Detlef Plump},
  title        = {Coupled Transformations of Shared Packed Parse Forests},
  booktitle    = {Proceedings of the 6th International Workshop on Graph Computation
                  Models co-located with the 8th International Conference on Graph Transformation
                  {(ICGT} 2015) part of the Software Technologies: Applications and
                  Foundations {(STAF} 2015) federation of conferences, L'Aquila, Italy,
                  July 20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1403},
  pages        = {2--17},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1403/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/Zaytsev15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/gg/2015gcm,
  editor       = {Detlef Plump},
  title        = {Proceedings of the 6th International Workshop on Graph Computation
                  Models co-located with the 8th International Conference on Graph Transformation
                  {(ICGT} 2015) part of the Software Technologies: Applications and
                  Foundations {(STAF} 2015) federation of conferences, L'Aquila, Italy,
                  July 20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1403},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1403},
  urn          = {urn:nbn:de:0074-1403-3},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/2015gcm.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.