Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlap/AlonsoHO25,
  author       = {Ander Alonso and
                  Montserrat Hermo and
                  Josu Oca},
  title        = {Towards an efficient implementation of a tableau method for reactive
                  safety specifications},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {142},
  pages        = {101003},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.jlamp.2024.101003},
  doi          = {10.1016/J.JLAMP.2024.101003},
  timestamp    = {Thu, 12 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/AlonsoHO25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/BarbaneraBD25,
  author       = {Franco Barbanera and
                  Viviana Bono and
                  Mariangiola Dezani{-}Ciancaglini},
  title        = {Partially typed multiparty sessions with internal delegation},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {142},
  pages        = {101018},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.jlamp.2024.101018},
  doi          = {10.1016/J.JLAMP.2024.101018},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/BarbaneraBD25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/BarkallahJ25,
  author       = {Manel Barkallah and
                  Jean{-}Marie Jacquet},
  title        = {On the expressiveness and efficiency of guarded lists in Bach},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {142},
  pages        = {101017},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.jlamp.2024.101017},
  doi          = {10.1016/J.JLAMP.2024.101017},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/BarkallahJ25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/BarrioFHME25,
  author       = {Luis Eduardo Bueso de Barrio and
                  Lars{-}{\AA}ke Fredlund and
                  {\'{A}}ngel Herranz and
                  Julio Mari{\~{n}}o and
                  Clara Benac Earle},
  title        = {Executable contracts for Elixir},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {142},
  pages        = {101019},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.jlamp.2024.101019},
  doi          = {10.1016/J.JLAMP.2024.101019},
  timestamp    = {Tue, 22 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/BarrioFHME25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/Cerone25,
  author       = {Antonio Cerone},
  title        = {Multifaceted formal methods and their interdisciplinary role - From
                  the cathedral of 'components as coalgebras' to the {HCI} context and
                  the open source software bazaar},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {142},
  pages        = {101006},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.jlamp.2024.101006},
  doi          = {10.1016/J.JLAMP.2024.101006},
  timestamp    = {Tue, 22 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/Cerone25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/GalindoPS25,
  author       = {Carlos Galindo and
                  Sergio P{\'{e}}rez and
                  Josep Silva},
  title        = {The expression dependence graph},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {142},
  pages        = {101016},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.jlamp.2024.101016},
  doi          = {10.1016/J.JLAMP.2024.101016},
  timestamp    = {Tue, 15 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/GalindoPS25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/HeuvelP25,
  author       = {Bas van den Heuvel and
                  Jorge A. P{\'{e}}rez},
  title        = {Comparing session type systems derived from linear logic},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {142},
  pages        = {101004},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.jlamp.2024.101004},
  doi          = {10.1016/J.JLAMP.2024.101004},
  timestamp    = {Thu, 03 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/HeuvelP25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/MorenoR25,
  author       = {Gin{\'{e}}s Moreno and
                  Jos{\'{e}} A. Riaza},
  title        = {Tuning similarity-based fuzzy logic programs},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {142},
  pages        = {101020},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.jlamp.2024.101020},
  doi          = {10.1016/J.JLAMP.2024.101020},
  timestamp    = {Fri, 22 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/MorenoR25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/RubioR25,
  author       = {Rub{\'{e}}n Rubio and
                  Adri{\'{a}}n Riesco},
  title        = {Maude2Lean: Theorem proving for Maude specifications using Lean},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {142},
  pages        = {101005},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.jlamp.2024.101005},
  doi          = {10.1016/J.JLAMP.2024.101005},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/RubioR25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/Zhang25,
  author       = {Wenhui Zhang},
  title        = {First order B{\"{u}}chi automata and their application to verification
                  of {LTL} specifications},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {142},
  pages        = {101021},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.jlamp.2024.101021},
  doi          = {10.1016/J.JLAMP.2024.101021},
  timestamp    = {Fri, 22 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/Zhang25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}