Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eceasst/AnjorinLS15,
  author       = {Anthony Anjorin and
                  Erhan Leblebici and
                  Andy Sch{\"{u}}rr},
  title        = {20 Years of Triple Graph Grammars: {A} Roadmap for Future Research},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {73},
  year         = {2015},
  url          = {https://doi.org/10.14279/tuj.eceasst.73.1031},
  doi          = {10.14279/TUJ.ECEASST.73.1031},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/AnjorinLS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/BottoniNP15,
  author       = {Paolo Bottoni and
                  Roberto Navigli and
                  Francesco Parisi{-}Presicce},
  title        = {Conditions, constraints and contracts: On the use of annotations for
                  policy modeling},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {73},
  year         = {2015},
  url          = {https://doi.org/10.14279/tuj.eceasst.73.1033},
  doi          = {10.14279/TUJ.ECEASST.73.1033},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BottoniNP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Flick15,
  author       = {Nils Erik Flick},
  title        = {Proving Correctness of Graph Programs Relative to Recursively Nested
                  Conditions},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {73},
  year         = {2015},
  url          = {https://doi.org/10.14279/tuj.eceasst.73.1037},
  doi          = {10.14279/TUJ.ECEASST.73.1037},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Flick15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/LoweT15,
  author       = {Michael L{\"{o}}we and
                  Marius Tempelmeier},
  title        = {On Single-Pushout Rewriting of Partial Algebras},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {73},
  year         = {2015},
  url          = {https://doi.org/10.14279/tuj.eceasst.73.1036},
  doi          = {10.14279/TUJ.ECEASST.73.1036},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/LoweT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/MackieS15,
  author       = {Ian Mackie and
                  Shinya Sato},
  title        = {Parallel Evaluation of Interaction Nets: Case Studies and Experiments},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {73},
  year         = {2015},
  url          = {https://doi.org/10.14279/tuj.eceasst.73.1034},
  doi          = {10.14279/TUJ.ECEASST.73.1034},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/MackieS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/PeuserH15,
  author       = {Christoph Peuser and
                  Annegret Habel},
  title        = {Composition of M, N-adhesive Categories with Application to Attribution
                  of Graphs},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {73},
  year         = {2015},
  url          = {https://doi.org/10.14279/tuj.eceasst.73.1035},
  doi          = {10.14279/TUJ.ECEASST.73.1035},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/PeuserH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Plump15,
  author       = {Detlef Plump},
  title        = {Preface},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {73},
  year         = {2015},
  url          = {https://doi.org/10.14279/tuj.eceasst.73.1028.1016},
  doi          = {10.14279/TUJ.ECEASST.73.1028.1016},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Plump15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Zaytsev15,
  author       = {Vadim Zaytsev},
  title        = {Cotransforming Grammars with Shared Packed Parse Forests},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {73},
  year         = {2015},
  url          = {https://doi.org/10.14279/tuj.eceasst.73.1032},
  doi          = {10.14279/TUJ.ECEASST.73.1032},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Zaytsev15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}