Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlap/AbarcaB21,
  author       = {Aldo Iv{\'{a}}n Ram{\'{\i}}rez Abarca and
                  Jan M. Broersen},
  title        = {Stit semantics for epistemic notions based on information disclosure
                  in interactive settings},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {123},
  pages        = {100708},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jlamp.2021.100708},
  doi          = {10.1016/J.JLAMP.2021.100708},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/AbarcaB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/CotoGT21,
  author       = {Alex Coto and
                  Roberto Guanciale and
                  Emilio Tuosto},
  title        = {An abstract framework for choreographic testing},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {123},
  pages        = {100712},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jlamp.2021.100712},
  doi          = {10.1016/J.JLAMP.2021.100712},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/CotoGT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/DuranRS21,
  author       = {Francisco Dur{\'{a}}n and
                  Camilo Rocha and
                  Gwen Sala{\"{u}}n},
  title        = {Resource provisioning strategies for {BPMN} processes: Specification
                  and analysis using Maude},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {123},
  pages        = {100711},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jlamp.2021.100711},
  doi          = {10.1016/J.JLAMP.2021.100711},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/DuranRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/KrasanakisS21,
  author       = {Emmanouil Krasanakis and
                  Andreas L. Symeonidis},
  title        = {Defining behaviorizeable relations to enable inference in semi-automatic
                  program synthesis},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {123},
  pages        = {100714},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jlamp.2021.100714},
  doi          = {10.1016/J.JLAMP.2021.100714},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/KrasanakisS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/RubioMPV21,
  author       = {Rub{\'{e}}n Rubio and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Isabel Pita and
                  Alberto Verdejo},
  title        = {Strategies, model checking and branching-time properties in Maude},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {123},
  pages        = {100700},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jlamp.2021.100700},
  doi          = {10.1016/J.JLAMP.2021.100700},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/RubioMPV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/Rusu21,
  author       = {Vlad Rusu},
  title        = {Guest Editor's foreword},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {123},
  pages        = {100716},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jlamp.2021.100716},
  doi          = {10.1016/J.JLAMP.2021.100716},
  timestamp    = {Fri, 15 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/Rusu21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/Thiemann21,
  author       = {Ren{\'{e}} Thiemann},
  title        = {A Perron-Frobenius theorem for deciding matrix growth},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {123},
  pages        = {100699},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jlamp.2021.100699},
  doi          = {10.1016/J.JLAMP.2021.100699},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/Thiemann21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}