Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlap/GuerraO20,
  author       = {Esther Guerra and
                  Fernando Orejas},
  title        = {Preface to the special issue on the 12th International Conference
                  on Graph Transformation},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {115},
  pages        = {100576},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2020.100576},
  doi          = {10.1016/J.JLAMP.2020.100576},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/GuerraO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/JaberFAKHE20,
  author       = {Mohamad Jaber and
                  Yli{\`{e}}s Falcone and
                  Paul C. Attie and
                  Al{-}Abbass Khalil and
                  Rayan Hallal and
                  Antoine El{-}Hokayem},
  title        = {From global choreographies to verifiable efficient distributed implementations},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {115},
  pages        = {100577},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2020.100577},
  doi          = {10.1016/J.JLAMP.2020.100577},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/JaberFAKHE20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/KosiolFST20,
  author       = {Jens Kosiol and
                  Lars Fritsche and
                  Andy Sch{\"{u}}rr and
                  Gabriele Taentzer},
  title        = {Double-pushout-rewriting in \emph{S}-Cartesian functor categories:
                  Rewriting theory and application to partial triple graphs},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {115},
  pages        = {100565},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2020.100565},
  doi          = {10.1016/J.JLAMP.2020.100565},
  timestamp    = {Fri, 31 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/KosiolFST20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/Krivulin20,
  author       = {Nikolai Krivulin},
  title        = {Algebraic solution of minimax single-facility constrained location
                  problems with Chebyshev and rectilinear distances},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {115},
  pages        = {100578},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2020.100578},
  doi          = {10.1016/J.JLAMP.2020.100578},
  timestamp    = {Tue, 28 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/Krivulin20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}