Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/gg/icgt2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/gg/BaldanEKMP23,
author = {Paolo Baldan and
Richard Eggert and
Barbara K{\"{o}}nig and
Timo Matt and
Tommaso Padoan},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {A Monoidal View on Fixpoint Checks},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {3--21},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_1},
doi = {10.1007/978-3-031-36709-0\_1},
timestamp = {Fri, 21 Jul 2023 17:56:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BaldanEKMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BanachB23,
author = {Richard Banach and
John W. Baugh Jr.},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Formalisation, Abstraction and Refinement of Bond Graphs},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {145--162},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_8},
doi = {10.1007/978-3-031-36709-0\_8},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BanachB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BehrH23,
author = {Nicolas Behr and
Russ Harmer},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {A Living Monograph for Graph Transformation},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {281--291},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_15},
doi = {10.1007/978-3-031-36709-0\_15},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BehrH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/DuvalEP23,
author = {Dominique Duval and
Rachid Echahed and
Fr{\'{e}}d{\'{e}}ric Prost},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {A Rule-Based Procedure for Graph Query Solving},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {163--183},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_9},
doi = {10.1007/978-3-031-36709-0\_9},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/DuvalEP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/FritscheKMS23,
author = {Lars Fritsche and
Jens Kosiol and
Adrian M{\"{o}}ller and
Andy Sch{\"{u}}rr},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Advanced Consistency Restoration with Higher-Order Short-Cut Rules},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {184--203},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_10},
doi = {10.1007/978-3-031-36709-0\_10},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/FritscheKMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/GadducciLT23,
author = {Fabio Gadducci and
Andrea Laretto and
Davide Trotta},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Specification and Verification of a Linear-Time Temporal Logic for
Graph Transformation},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {22--42},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_2},
doi = {10.1007/978-3-031-36709-0\_2},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/GadducciLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/KosiolSTZ23,
author = {Jens Kosiol and
Daniel Str{\"{u}}ber and
Gabriele Taentzer and
Steffen Zschaler},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Finding the Right Way to Rome: Effect-Oriented Graph Transformation},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {43--63},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_3},
doi = {10.1007/978-3-031-36709-0\_3},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/KosiolSTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/KrauterRKL23,
author = {Tim Kr{\"{a}}uter and
Adrian Rutle and
Harald K{\"{o}}nig and
Yngve Lamo},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Formalization and Analysis of {BPMN} Using Graph Transformation Systems},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {204--222},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_11},
doi = {10.1007/978-3-031-36709-0\_11},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/KrauterRKL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/KreowskiKLW23,
author = {Hans{-}J{\"{o}}rg Kreowski and
Sabine Kuske and
Aaron Lye and
Aljoscha Windhorst},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Moving a Derivation Along a Derivation Preserves the Spine},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {64--80},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_4},
doi = {10.1007/978-3-031-36709-0\_4},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/KreowskiKLW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/MachowczykH23,
author = {Adam Machowczyk and
Reiko Heckel},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Graph Rewriting for Graph Neural Networks},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {292--301},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_16},
doi = {10.1007/978-3-031-36709-0\_16},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/MachowczykH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/OverbeekE23,
author = {Roy Overbeek and
J{\"{o}}rg Endrullis},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Termination of Graph Transformation Systems Using Weighted Subgraph
Counting},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {81--101},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_5},
doi = {10.1007/978-3-031-36709-0\_5},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gg/OverbeekE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/RauRS23,
author = {Jannik Rau and
David Richerby and
Ansgar Scherp},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Computing k-Bisimulations for Large Graphs: {A} Comparison and Efficiency
Analysis},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {223--242},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_12},
doi = {10.1007/978-3-031-36709-0\_12},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/RauRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/RossetOE23,
author = {Alo{\"{\i}}s Rosset and
Roy Overbeek and
J{\"{o}}rg Endrullis},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Fuzzy Presheaves are Quasitoposes},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {102--122},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_6},
doi = {10.1007/978-3-031-36709-0\_6},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/RossetOE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/SanoU23,
author = {Jin Sano and
Kazunori Ueda},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Implementing the {\(\lambda\)} \({}_{\mbox{GT}}\) Language: {A} Functional
Language with Graphs as First-Class Data},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {263--277},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_14},
doi = {10.1007/978-3-031-36709-0\_14},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/SanoU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/SoldnerP23,
author = {Robert S{\"{o}}ldner and
Detlef Plump},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Mechanised {DPO} Theory: Uniqueness of Derivations and Church-Rosser
Theorem},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {123--142},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_7},
doi = {10.1007/978-3-031-36709-0\_7},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/SoldnerP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/YangXT23,
author = {Kaiyuan Yang and
Li Xia and
Y. C. Tay},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {243--260},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_13},
doi = {10.1007/978-3-031-36709-0\_13},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/YangXT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/2023,
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0},
doi = {10.1007/978-3-031-36709-0},
isbn = {978-3-031-36708-3},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-31 13:49 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
