Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs330.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2003-11010,
  author       = {Nicolas Behr and
                  Maryam Ghaffari Saadat and
                  Reiko Heckel},
  editor       = {Berthold Hoffmann and
                  Mark Minas},
  title        = {Commutators for Stochastic Rewriting Systems: Theory and Implementation
                  in {Z3}},
  booktitle    = {Proceedings of the Eleventh International Workshop on Graph Computation
                  Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
  series       = {{EPTCS}},
  volume       = {330},
  pages        = {126--144},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.330.8},
  doi          = {10.4204/EPTCS.330.8},
  timestamp    = {Tue, 12 Jan 2021 15:30:06 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-11010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2012-01655,
  author       = {Nils Weidmann and
                  Anthony Anjorin and
                  James Cheney},
  editor       = {Berthold Hoffmann and
                  Mark Minas},
  title        = {VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based
                  Systems},
  booktitle    = {Proceedings of the Eleventh International Workshop on Graph Computation
                  Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
  series       = {{EPTCS}},
  volume       = {330},
  pages        = {1--12},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.330.1},
  doi          = {10.4204/EPTCS.330.1},
  timestamp    = {Tue, 12 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-01655.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2012-01656,
  author       = {Christian Sandmann},
  editor       = {Berthold Hoffmann and
                  Mark Minas},
  title        = {Graph Repair and its Application to Meta-Modeling},
  booktitle    = {Proceedings of the Eleventh International Workshop on Graph Computation
                  Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
  series       = {{EPTCS}},
  volume       = {330},
  pages        = {13--34},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.330.2},
  doi          = {10.4204/EPTCS.330.2},
  timestamp    = {Tue, 12 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-01656.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2012-01657,
  author       = {Okan {\"{O}}zkan},
  editor       = {Berthold Hoffmann and
                  Mark Minas},
  title        = {Modeling Adverse Conditions in the Framework of Graph Transformation
                  Systems},
  booktitle    = {Proceedings of the Eleventh International Workshop on Graph Computation
                  Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
  series       = {{EPTCS}},
  volume       = {330},
  pages        = {35--54},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.330.3},
  doi          = {10.4204/EPTCS.330.3},
  timestamp    = {Tue, 12 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-01657.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2012-01658,
  author       = {Dominique Duval and
                  Rachid Echahed and
                  Fr{\'{e}}d{\'{e}}ric Prost},
  editor       = {Berthold Hoffmann and
                  Mark Minas},
  title        = {An Algebraic Graph Transformation Approach for {RDF} and {SPARQL}},
  booktitle    = {Proceedings of the Eleventh International Workshop on Graph Computation
                  Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
  series       = {{EPTCS}},
  volume       = {330},
  pages        = {55--70},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.330.4},
  doi          = {10.4204/EPTCS.330.4},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-01658.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2012-01659,
  author       = {Hans{-}J{\"{o}}rg Kreowski and
                  Aaron Lye},
  editor       = {Berthold Hoffmann and
                  Mark Minas},
  title        = {Graph Surfing in Reaction Systems from a Categorial Perspective},
  booktitle    = {Proceedings of the Eleventh International Workshop on Graph Computation
                  Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
  series       = {{EPTCS}},
  volume       = {330},
  pages        = {71--87},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.330.5},
  doi          = {10.4204/EPTCS.330.5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-01659.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2012-01660,
  author       = {Tikhon Pshenitsyn},
  editor       = {Berthold Hoffmann and
                  Mark Minas},
  title        = {Weak Greibach Normal Form for Hyperedge Replacement Grammars},
  booktitle    = {Proceedings of the Eleventh International Workshop on Graph Computation
                  Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
  series       = {{EPTCS}},
  volume       = {330},
  pages        = {108--125},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.330.7},
  doi          = {10.4204/EPTCS.330.7},
  timestamp    = {Tue, 12 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-01660.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2012-01661,
  author       = {Russ Harmer and
                  Eugenia Oshurko},
  editor       = {Berthold Hoffmann and
                  Mark Minas},
  title        = {Reversibility and Composition of Rewriting in Hierarchies},
  booktitle    = {Proceedings of the Eleventh International Workshop on Graph Computation
                  Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
  series       = {{EPTCS}},
  volume       = {330},
  pages        = {145--162},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.330.9},
  doi          = {10.4204/EPTCS.330.9},
  timestamp    = {Tue, 12 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-01661.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2012-01662,
  author       = {Gia Septiana Wulandari and
                  Detlef Plump},
  editor       = {Berthold Hoffmann and
                  Mark Minas},
  title        = {Verifying Graph Programs with First-Order Logic},
  booktitle    = {Proceedings of the Eleventh International Workshop on Graph Computation
                  Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
  series       = {{EPTCS}},
  volume       = {330},
  pages        = {181--200},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.330.11},
  doi          = {10.4204/EPTCS.330.11},
  timestamp    = {Wed, 02 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-01662.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2012-02192,
  author       = {Andrea Corradini and
                  Maryam Ghaffari Saadat and
                  Reiko Heckel},
  editor       = {Berthold Hoffmann and
                  Mark Minas},
  title        = {Encoding Incremental NACs in Safe Graph Grammars using Complementation},
  booktitle    = {Proceedings of the Eleventh International Workshop on Graph Computation
                  Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
  series       = {{EPTCS}},
  volume       = {330},
  pages        = {88--107},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.330.6},
  doi          = {10.4204/EPTCS.330.6},
  timestamp    = {Tue, 12 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-02192.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2012-02193,
  author       = {Brian Courtehoute and
                  Detlef Plump},
  editor       = {Berthold Hoffmann and
                  Mark Minas},
  title        = {A Fast Graph Program for Computing Minimum Spanning Trees},
  booktitle    = {Proceedings of the Eleventh International Workshop on Graph Computation
                  Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
  series       = {{EPTCS}},
  volume       = {330},
  pages        = {163--180},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.330.10},
  doi          = {10.4204/EPTCS.330.10},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-02193.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2012-01181,
  editor       = {Berthold Hoffmann and
                  Mark Minas},
  title        = {Proceedings of the Eleventh International Workshop on Graph Computation
                  Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
  series       = {{EPTCS}},
  volume       = {330},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.330},
  doi          = {10.4204/EPTCS.330},
  timestamp    = {Tue, 12 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-01181.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.