Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlap/AcetoAFIK20,
  author       = {Luca Aceto and
                  Antonis Achilleos and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  S{\ae}var {\"{O}}rn Kjartansson},
  title        = {Determinizing monitors for {HML} with recursion},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {111},
  pages        = {100515},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2019.100515},
  doi          = {10.1016/J.JLAMP.2019.100515},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/AcetoAFIK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/BenevidesM20,
  author       = {Mario R. F. Benevides and
                  Alexandre Madeira},
  title        = {DaL{\'{\i}} - Dynamic Logic, new trends and applications},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {111},
  pages        = {100514},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2019.100514},
  doi          = {10.1016/J.JLAMP.2019.100514},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/BenevidesM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/DownenJA20,
  author       = {Paul Downen and
                  Philip Johnson{-}Freyd and
                  Zena M. Ariola},
  title        = {Abstracting models of strong normalization for classical calculi},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {111},
  pages        = {100512},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2019.100512},
  doi          = {10.1016/J.JLAMP.2019.100512},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/DownenJA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/DuranMR20,
  author       = {Francisco Dur{\'{a}}n and
                  Jos{\'{e}} Meseguer and
                  Camilo Rocha},
  title        = {Ground confluence of order-sorted conditional specifications modulo
                  axioms},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {111},
  pages        = {100513},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2019.100513},
  doi          = {10.1016/J.JLAMP.2019.100513},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/DuranMR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/NicolaFPT20,
  author       = {Rocco De Nicola and
                  Gian{-}Luigi Ferrari and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  title        = {A formal approach to the engineering of domain-specific distributed
                  systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {111},
  pages        = {100511},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2019.100511},
  doi          = {10.1016/J.JLAMP.2019.100511},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/NicolaFPT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/RodriguezRR20,
  author       = {Ismael Rodr{\'{\i}}guez and
                  Fernando Rosa{-}Velardo and
                  Fernando Rubio},
  title        = {Introducing complexity to formal testing},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {111},
  pages        = {100502},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2019.100502},
  doi          = {10.1016/J.JLAMP.2019.100502},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/RodriguezRR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}