Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/gg/0001DG20,
  author       = {Sven Schneider and
                  Johannes Dyck and
                  Holger Giese},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Formal Verification of Invariants for Attributed Graph Transformation
                  Systems Based on Nested Attributed Graph Conditions},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {257--275},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_15},
  doi          = {10.1007/978-3-030-51372-6\_15},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/0001DG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/0001P20,
  author       = {Graham Campbell and
                  Detlef Plump},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Confluence up to Garbage},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {20--37},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_2},
  doi          = {10.1007/978-3-030-51372-6\_2},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/0001P20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/ArchibaldCS20,
  author       = {Blair Archibald and
                  Muffy Calder and
                  Michele Sevegnani},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Conditional Bigraphs},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_1},
  doi          = {10.1007/978-3-030-51372-6\_1},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/ArchibaldCS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/BehrK20,
  author       = {Nicolas Behr and
                  Jean Krivine},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Rewriting Theory for the Life Sciences: {A} Unifying Theory of {CTMC}
                  Semantics},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {185--202},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_11},
  doi          = {10.1007/978-3-030-51372-6\_11},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/BehrK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/Bruggink0MNS20,
  author       = {H. J. Sander Bruggink and
                  Barbara K{\"{o}}nig and
                  Marleen Matjeka and
                  Dennis Nolte and
                  Lara Stoltenow},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {A Flexible and Easy-to-Use Library for the Rapid Development of Graph
                  Tools in Java},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {297--306},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_17},
  doi          = {10.1007/978-3-030-51372-6\_17},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Bruggink0MNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/BruniMS20,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Matteo Sammartino},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Algebras for Tree Decomposable Graphs},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {203--220},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_12},
  doi          = {10.1007/978-3-030-51372-6\_12},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/BruniMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/ChiapperiniMP20,
  author       = {Alessio Chiapperini and
                  Marino Miculan and
                  Marco Peressotti},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Computing Embeddings of Directed Bigraphs},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {38--56},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_3},
  doi          = {10.1007/978-3-030-51372-6\_3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/ChiapperiniMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/DrewesHM20,
  author       = {Frank Drewes and
                  Berthold Hoffmann and
                  Mark Minas},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Graph Parsing as Graph Transformation - Correctness of Predictive
                  Top-Down Parsers},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {221--238},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_13},
  doi          = {10.1007/978-3-030-51372-6\_13},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/DrewesHM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/GenoveseS20,
  author       = {Fabrizio Genovese and
                  David I. Spivak},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {A Categorical Semantics for Guarded Petri Nets},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {57--74},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_4},
  doi          = {10.1007/978-3-030-51372-6\_4},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/GenoveseS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/KonigS20,
  author       = {Harald K{\"{o}}nig and
                  Patrick St{\"{u}}nkel},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Single Pushout Rewriting in Comprehensive Systems},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {91--108},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_6},
  doi          = {10.1007/978-3-030-51372-6\_6},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/KonigS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/Kosiol0TZ20,
  author       = {Jens Kosiol and
                  Daniel Str{\"{u}}ber and
                  Gabriele Taentzer and
                  Steffen Zschaler},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Graph Consistency as a Graduated Property - Consistency-Sustaining
                  and -Improving Graph Transformations},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {239--256},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_14},
  doi          = {10.1007/978-3-030-51372-6\_14},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Kosiol0TZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/Kurth20,
  author       = {Winfried Kurth},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Multiscale Graph Grammars Can Generate Cayley Graphs of Groups and
                  Monoids},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {307--315},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_18},
  doi          = {10.1007/978-3-030-51372-6\_18},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Kurth20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/LambersO20,
  author       = {Leen Lambers and
                  Fernando Orejas},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Initial Conflicts for Transformation Rules with Nested Application
                  Conditions},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {109--127},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_7},
  doi          = {10.1007/978-3-030-51372-6\_7},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/LambersO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/McCreeshP020,
  author       = {Ciaran McCreesh and
                  Patrick Prosser and
                  James Trimble},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {The Glasgow Subgraph Solver: Using Constraint Programming to Tackle
                  Hard Subgraph Isomorphism Problem Variants},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {316--324},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_19},
  doi          = {10.1007/978-3-030-51372-6\_19},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/McCreeshP020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/OverbeekE20,
  author       = {Roy Overbeek and
                  J{\"{o}}rg Endrullis},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Patch Graph Rewriting},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {128--145},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_8},
  doi          = {10.1007/978-3-030-51372-6\_8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/OverbeekE20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/Pshenitsyn20,
  author       = {Tikhon Pshenitsyn},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Hypergraph Basic Categorial Grammars},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {146--162},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_9},
  doi          = {10.1007/978-3-030-51372-6\_9},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Pshenitsyn20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/SaadatHO20,
  author       = {Maryam Ghaffari Saadat and
                  Reiko Heckel and
                  Fernando Orejas},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Unfolding Symbolic Attributed Graph Grammars},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {75--90},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_5},
  doi          = {10.1007/978-3-030-51372-6\_5},
  timestamp    = {Fri, 26 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/SaadatHO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/SchneiderSMG20,
  author       = {Sven Schneider and
                  Lucas Sakizloglou and
                  Maria Maximova and
                  Holger Giese},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal
                  Graph Logic},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {276--294},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_16},
  doi          = {10.1007/978-3-030-51372-6\_16},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/SchneiderSMG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/WolterMR20,
  author       = {Uwe Wolter and
                  Fernando Mac{\'{\i}}as and
                  Adrian Rutle},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Multilevel Typed Graph Transformations},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {163--182},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_10},
  doi          = {10.1007/978-3-030-51372-6\_10},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/WolterMR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/ZollnerBMSG20,
  author       = {Christian Z{\"{o}}llner and
                  Matthias Barkowsky and
                  Maria Maximova and
                  Melanie Schneider and
                  Holger Giese},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {A Simulator for Probabilistic Timed Graph Transformation Systems with
                  Complex Large-Scale Topologies},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {325--334},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_20},
  doi          = {10.1007/978-3-030-51372-6\_20},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/ZollnerBMSG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/gg/2020,
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6},
  doi          = {10.1007/978-3-030-51372-6},
  isbn         = {978-3-030-51371-9},
  timestamp    = {Fri, 26 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/2020.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.