Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-2212-11626,
  author       = {Jens H. Weber},
  editor       = {Reiko Heckel and
                  Christopher M. Poskitt},
  title        = {A Foundation for Functional Graph Programs: The Graph Transformation
                  Control Algebra {(GTA)}},
  booktitle    = {Proceedings of the Thirteenth International Workshop on Graph Computation
                  Models, GCM@STAF 2022, Nantes, France, 6th July 2022},
  series       = {{EPTCS}},
  volume       = {374},
  pages        = {45--58},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.374.5},
  doi          = {10.4204/EPTCS.374.5},
  timestamp    = {Tue, 21 Mar 2023 21:05:11 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-11626.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2212-11627,
  author       = {Hans{-}J{\"{o}}rg Kreowski and
                  Sabine Kuske and
                  Aaron Lye and
                  Aljoscha Windhorst},
  editor       = {Reiko Heckel and
                  Christopher M. Poskitt},
  title        = {A Graph-Transformational Approach for Proving the Correctness of Reductions
                  between NP-Problems},
  booktitle    = {Proceedings of the Thirteenth International Workshop on Graph Computation
                  Models, GCM@STAF 2022, Nantes, France, 6th July 2022},
  series       = {{EPTCS}},
  volume       = {374},
  pages        = {76--93},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.374.7},
  doi          = {10.4204/EPTCS.374.7},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-11627.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2212-11629,
  author       = {Sebastian Ehmes and
                  Maximilian Kratz and
                  Andy Sch{\"{u}}rr},
  editor       = {Reiko Heckel and
                  Christopher M. Poskitt},
  title        = {Graph-Based Specification and Automated Construction of {ILP} Problems},
  booktitle    = {Proceedings of the Thirteenth International Workshop on Graph Computation
                  Models, GCM@STAF 2022, Nantes, France, 6th July 2022},
  series       = {{EPTCS}},
  volume       = {374},
  pages        = {3--22},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.374.3},
  doi          = {10.4204/EPTCS.374.3},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-11629.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2212-11630,
  author       = {Robert S{\"{o}}ldner and
                  Detlef Plump},
  editor       = {Reiko Heckel and
                  Christopher M. Poskitt},
  title        = {Towards Mechanised Proofs in Double-Pushout Graph Transformation},
  booktitle    = {Proceedings of the Thirteenth International Workshop on Graph Computation
                  Models, GCM@STAF 2022, Nantes, France, 6th July 2022},
  series       = {{EPTCS}},
  volume       = {374},
  pages        = {59--75},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.374.6},
  doi          = {10.4204/EPTCS.374.6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-11630.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2212-11637,
  author       = {Brian Courtehoute and
                  Detlef Plump},
  editor       = {Reiko Heckel and
                  Christopher M. Poskitt},
  title        = {Time and Space Measures for a Complete Graph Computation Model},
  booktitle    = {Proceedings of the Thirteenth International Workshop on Graph Computation
                  Models, GCM@STAF 2022, Nantes, France, 6th July 2022},
  series       = {{EPTCS}},
  volume       = {374},
  pages        = {23--44},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.374.4},
  doi          = {10.4204/EPTCS.374.4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-11637.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2212-10975,
  editor       = {Reiko Heckel and
                  Christopher M. Poskitt},
  title        = {Proceedings of the Thirteenth International Workshop on Graph Computation
                  Models, GCM@STAF 2022, Nantes, France, 6th July 2022},
  series       = {{EPTCS}},
  volume       = {374},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.374},
  doi          = {10.4204/EPTCS.374},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-10975.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}