Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eceasst/Biermann11,
  author       = {Enrico Biermann},
  title        = {Local Confluence Analysis of Consistent {EMF} Transformations},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {38},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.38.639},
  doi          = {10.14279/TUJ.ECEASST.38.639},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Biermann11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Blume11,
  author       = {Christoph Blume},
  title        = {Efficient Implementation of Automaton Functors for the Verification
                  of Graph Transformation Systems},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {38},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.38.572},
  doi          = {10.14279/TUJ.ECEASST.38.572},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Blume11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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

@article{DBLP:journals/eceasst/DonyinaH11a,
  author       = {Adwoa Donyina and
                  Reiko Heckel},
  title        = {Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {38},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.38.569},
  doi          = {10.14279/TUJ.ECEASST.38.569},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/DonyinaH11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Hulsbusch11,
  author       = {Mathias H{\"{u}}lsbusch},
  title        = {Application Conditions for Reactive Systems with Applications to Bisimulation
                  Theory},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {38},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.38.571},
  doi          = {10.14279/TUJ.ECEASST.38.571},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Hulsbusch11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Jiresch11,
  author       = {Eugen Jiresch},
  title        = {Realizing Impure Functions in Interaction Nets},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {38},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.38.637},
  doi          = {10.14279/TUJ.ECEASST.38.637},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Jiresch11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/QayumH11,
  author       = {Fawad Qayum and
                  Reiko Heckel},
  title        = {Search-Based Refactoring using Unfolding of Graph Transformation Systems},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {38},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.38.577},
  doi          = {10.14279/TUJ.ECEASST.38.577},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/QayumH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/UjhelyiHV11,
  author       = {Zolt{\'{a}}n Ujhelyi and
                  {\'{A}}kos Horv{\'{a}}th and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Static Type Checking of Model Transformation Programs},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {38},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.38.567},
  doi          = {10.14279/TUJ.ECEASST.38.567},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/UjhelyiHV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/ZambonR11,
  author       = {Eduardo Zambon and
                  Arend Rensink},
  title        = {Using Graph Transformations and Graph Abstractions for Software Verification},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {38},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.38.560},
  doi          = {10.14279/TUJ.ECEASST.38.560},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/ZambonR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}