Search dblp for Publications

export results for "toc:db/journals/eceasst/eceasst41.bht:"

 download as .bib file

@article{DBLP:journals/eceasst/BlumeBFK11,
  author       = {Christoph Blume and
                  H. J. Sander Bruggink and
                  Martin Friedrich and
                  Barbara K{\"{o}}nig},
  title        = {Treewidth, Pathwidth and Cospan Decompositions},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {41},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.41.643},
  doi          = {10.14279/TUJ.ECEASST.41.643},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BlumeBFK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/BoronatM11,
  author       = {Artur Boronat and
                  Jos{\'{e}} Meseguer},
  title        = {Automated Model Synchronization: {A} Case Study on {UML} with Maude},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {41},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.41.644},
  doi          = {10.14279/TUJ.ECEASST.41.644},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BoronatM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/BottoniF11,
  author       = {Paolo Bottoni and
                  Andrew Fish},
  title        = {A visual language for temporal specifications based on Spider diagrams},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {41},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.41.579},
  doi          = {10.14279/TUJ.ECEASST.41.579},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BottoniF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/BrugginkH11,
  author       = {H. J. Sander Bruggink and
                  Mathias H{\"{u}}lsbusch},
  title        = {Decidability and Expressiveness of Finitely Representable Recognizable
                  Graph Languages},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {41},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.41.580},
  doi          = {10.14279/TUJ.ECEASST.41.580},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BrugginkH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/DuvalEP11,
  author       = {Dominique Duval and
                  Rachid Echahed and
                  Fr{\'{e}}d{\'{e}}ric Prost},
  title        = {Categorical Abstract Rewriting Systems and Functoriality of Graph
                  Transformation},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {41},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.41.612},
  doi          = {10.14279/TUJ.ECEASST.41.612},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/DuvalEP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/EhrigHSB11,
  author       = {Hartmut Ehrig and
                  Frank Hermann and
                  Hanna Sch{\"{o}}lzel and
                  Christoph Brandt},
  title        = {Propagation of Constraints along Model Transformations Based on Triple
                  Graph Grammars},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {41},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.41.581},
  doi          = {10.14279/TUJ.ECEASST.41.581},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/EhrigHSB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/GadducciM11,
  author       = {Fabio Gadducci and
                  Leonardo Mariani},
  title        = {Preface},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {41},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.41.671.686},
  doi          = {10.14279/TUJ.ECEASST.41.671.686},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/GadducciM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/GogollaHXZ11,
  author       = {Martin Gogolla and
                  Lars Hamann and
                  Jie Xu and
                  Jun Zhang},
  title        = {Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {41},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.41.573},
  doi          = {10.14279/TUJ.ECEASST.41.573},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/GogollaHXZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/HeckelKM11,
  author       = {Reiko Heckel and
                  Tamim Ahmed Khan and
                  Rodrigo Machado},
  title        = {Towards Test Coverage Criteria for Visual Contracts},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {41},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.41.667},
  doi          = {10.14279/TUJ.ECEASST.41.667},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/HeckelKM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Krause11,
  author       = {Christian Krause},
  title        = {Distributed Port Automata},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {41},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.41.568},
  doi          = {10.14279/TUJ.ECEASST.41.568},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Krause11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/VandinL11,
  author       = {Andrea Vandin and
                  Alberto Lluch{-}Lafuente},
  title        = {Towards a Maude Tool for Model Checking Temporal Graph Properties},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {41},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.41.640},
  doi          = {10.14279/TUJ.ECEASST.41.640},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/VandinL11.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.