Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/BakFPR15,
  author       = {Christopher Bak and
                  Glyn Faulkner and
                  Detlef Plump and
                  Colin Runciman},
  editor       = {Arend Rensink and
                  Eduardo Zambon},
  title        = {A Reference Interpreter for the Graph Programming Language {GP} 2},
  booktitle    = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
                  2015},
  series       = {{EPTCS}},
  volume       = {181},
  pages        = {48--64},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.181.4},
  doi          = {10.4204/EPTCS.181.4},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BakFPR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/HeussnerPCM15,
  author       = {Alexander Heu{\ss}ner and
                  Christopher M. Poskitt and
                  Claudio Corrodi and
                  Benjamin Morandi},
  editor       = {Arend Rensink and
                  Eduardo Zambon},
  title        = {Towards Practical Graph-Based Verification for an Object-Oriented
                  Concurrency Model},
  booktitle    = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
                  2015},
  series       = {{EPTCS}},
  volume       = {181},
  pages        = {32--47},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.181.3},
  doi          = {10.4204/EPTCS.181.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HeussnerPCM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/HochMS15,
  author       = {Nicklas Hoch and
                  Ugo Montanari and
                  Matteo Sammartino},
  editor       = {Arend Rensink and
                  Eduardo Zambon},
  title        = {Dynamic Programming on Nominal Graphs},
  booktitle    = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
                  2015},
  series       = {{EPTCS}},
  volume       = {181},
  pages        = {80--96},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.181.6},
  doi          = {10.4204/EPTCS.181.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HochMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/KissingerZ15,
  author       = {Aleks Kissinger and
                  Vladimir Zamdzhiev},
  editor       = {Arend Rensink and
                  Eduardo Zambon},
  title        = {!-graphs with trivial overlap are context-free},
  booktitle    = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
                  2015},
  series       = {{EPTCS}},
  volume       = {181},
  pages        = {16--31},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.181.2},
  doi          = {10.4204/EPTCS.181.2},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/KissingerZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/KulcsarDLVS15,
  author       = {G{\'{e}}za Kulcs{\'{a}}r and
                  Frederik Deckwerth and
                  Malte Lochau and
                  Gergely Varr{\'{o}} and
                  Andy Sch{\"{u}}rr},
  editor       = {Arend Rensink and
                  Eduardo Zambon},
  title        = {Improved Conflict Detection for Graph Transformation with Attributes},
  booktitle    = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
                  2015},
  series       = {{EPTCS}},
  volume       = {181},
  pages        = {97--112},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.181.7},
  doi          = {10.4204/EPTCS.181.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KulcsarDLVS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Moreau15,
  author       = {Luc Moreau},
  editor       = {Arend Rensink and
                  Eduardo Zambon},
  title        = {Aggregation by Provenance Types: {A} Technique for Summarising Provenance
                  Graphs},
  booktitle    = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
                  2015},
  series       = {{EPTCS}},
  volume       = {181},
  pages        = {129--144},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.181.9},
  doi          = {10.4204/EPTCS.181.9},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Moreau15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/RadwanH15,
  author       = {Marwan Radwan and
                  Reiko Heckel},
  editor       = {Arend Rensink and
                  Eduardo Zambon},
  title        = {Detecting and Refactoring Operational Smells within the Domain Name
                  System},
  booktitle    = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
                  2015},
  series       = {{EPTCS}},
  volume       = {181},
  pages        = {113--128},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.181.8},
  doi          = {10.4204/EPTCS.181.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/RadwanH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/ValletKPM15,
  author       = {Jason Vallet and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Bruno Pinaud and
                  Guy Melan{\c{c}}on},
  editor       = {Arend Rensink and
                  Eduardo Zambon},
  title        = {A Visual Analytics Approach to Compare Propagation Models in Social
                  Networks},
  booktitle    = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
                  2015},
  series       = {{EPTCS}},
  volume       = {181},
  pages        = {65--79},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.181.5},
  doi          = {10.4204/EPTCS.181.5},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ValletKPM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Wijs15,
  author       = {Anton Wijs},
  editor       = {Arend Rensink and
                  Eduardo Zambon},
  title        = {Confluence Detection for Transformations of Labelled Transition Systems},
  booktitle    = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
                  2015},
  series       = {{EPTCS}},
  volume       = {181},
  pages        = {1--15},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.181.1},
  doi          = {10.4204/EPTCS.181.1},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Wijs15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/RensinkZ15,
  editor       = {Arend Rensink and
                  Eduardo Zambon},
  title        = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
                  2015},
  series       = {{EPTCS}},
  volume       = {181},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.181},
  doi          = {10.4204/EPTCS.181},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/RensinkZ15.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.