Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eceasst/EchahedHM12,
  author       = {Rachid Echahed and
                  Annegret Habel and
                  Mohamed Mosbah},
  title        = {Graph Computation Models 2012},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {61},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.61.826.830},
  doi          = {10.14279/TUJ.ECEASST.61.826.830},
  timestamp    = {Tue, 11 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/EchahedHM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/ErmlerKLT12,
  author       = {Marcus Ermler and
                  Sabine Kuske and
                  Melanie Luderer and
                  Caroline von Totth},
  title        = {A Graph Transformational View on Reductions in {NP}},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {61},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.61.832},
  doi          = {10.14279/TUJ.ECEASST.61.832},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/ErmlerKLT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/FaithfullPH12,
  author       = {Alexander John Faithfull and
                  Gian Perrone and
                  Thomas T. Hildebrandt},
  title        = {Big Red: {A} Development Environment for Bigraphs},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {61},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.61.835},
  doi          = {10.14279/TUJ.ECEASST.61.835},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/FaithfullPH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Flick12,
  author       = {Nils Erik Flick},
  title        = {Derivation Languages of Graph Grammars},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {61},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.61.829},
  doi          = {10.14279/TUJ.ECEASST.61.829},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Flick12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Hoffmann12,
  author       = {Berthold Hoffmann},
  title        = {Graph Rewriting with Contextual Refinement},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {61},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.61.828},
  doi          = {10.14279/TUJ.ECEASST.61.828},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Hoffmann12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/KniemeyerK12,
  author       = {Ole Kniemeyer and
                  Winfried Kurth},
  title        = {{XL4C4D} - Adding the Graph Transformation Language {XL} to {CINEMA}
                  4D},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {61},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.61.834},
  doi          = {10.14279/TUJ.ECEASST.61.834},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/KniemeyerK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/MantzTL12,
  author       = {Florian Mantz and
                  Gabriele Taentzer and
                  Yngve Lamo},
  title        = {Co-Transformation of Type and Instance Graphs Supporting Merging of
                  Types and Retyping},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {61},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.61.833},
  doi          = {10.14279/TUJ.ECEASST.61.833},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/MantzTL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/PoskittP12,
  author       = {Christopher M. Poskitt and
                  Detlef Plump},
  title        = {Verifying Total Correctness of Graph Programs},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {61},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.61.827},
  doi          = {10.14279/TUJ.ECEASST.61.827},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/PoskittP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Radke12,
  author       = {Hendrik Radke},
  title        = {HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order
                  Graph Formulas},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {61},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.61.831},
  doi          = {10.14279/TUJ.ECEASST.61.831},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Radke12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/SmolenovaKC12,
  author       = {Katar{\'{\i}}na Smolenov{\'{a}} and
                  Winfried Kurth and
                  Paul{-}Henry Courn{\`{e}}de},
  title        = {Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural
                  Factorization of Virtual Vegetation},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {61},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.61.830},
  doi          = {10.14279/TUJ.ECEASST.61.830},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/SmolenovaKC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}