Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eceasst/Gabriel12,
  author       = {Karsten Gabriel},
  title        = {Process Evolution based on Transformation of Algebraic High-Level
                  Nets with Applications to Communication Platforms},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {51},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.51.762},
  doi          = {10.14279/TUJ.ECEASST.51.762},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Gabriel12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/GottmannNH12,
  author       = {Susann Gottmann and
                  Nico Nachtigall and
                  Kathrin Hoffmann},
  title        = {On Modelling Communication in Ubiquitous Computing Systems using Algebraic
                  Higher Order Nets},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {51},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.51.778},
  doi          = {10.14279/TUJ.ECEASST.51.778},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/GottmannNH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Konig12,
  author       = {Barbara K{\"{o}}nig},
  title        = {Conditions in Reactive Systems and in Graph Rewriting},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {51},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.51.776},
  doi          = {10.14279/TUJ.ECEASST.51.776},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Konig12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/MaximovaEE12,
  author       = {Maria Maximova and
                  Hartmut Ehrig and
                  Claudia Ermel},
  title        = {Transfer of Local Confluence and Termination between Petri Net and
                  Graph Transformation Systems Based on M-Functors},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {51},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.51.758},
  doi          = {10.14279/TUJ.ECEASST.51.758},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/MaximovaEE12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Padberg12,
  author       = {Julia Padberg},
  title        = {Abstract Interleaving Semantics for Reconfigurable Petri Nets},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {51},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.51.775},
  doi          = {10.14279/TUJ.ECEASST.51.775},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Padberg12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/PadbergH12,
  author       = {Julia Padberg and
                  Kathrin Hoffmann},
  title        = {Preface},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {51},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.51.779.762},
  doi          = {10.14279/TUJ.ECEASST.51.779.762},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/PadbergH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Varro-Gyapay12,
  author       = {Szilvia Varr{\'{o}}{-}Gyapay},
  title        = {Optimization in Graph Transformation Systems with Time Using Petri
                  Net Based Techniques},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {51},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.51.757},
  doi          = {10.14279/TUJ.ECEASST.51.757},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Varro-Gyapay12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}