Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlap/BackhouseO23,
  author       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {On difunctions},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {134},
  pages        = {100878},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100878},
  doi          = {10.1016/J.JLAMP.2023.100878},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/BackhouseO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/BlazquezMS23,
  author       = {Jorge Bl{\'{a}}zquez and
                  Manuel Montenegro and
                  Clara Segura},
  title        = {Verification of mutable linear data structures and iterator-based
                  algorithms in Dafny},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {134},
  pages        = {100875},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100875},
  doi          = {10.1016/J.JLAMP.2023.100875},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/BlazquezMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/BrownPHF23,
  author       = {Kristopher Brown and
                  Evan Patterson and
                  Tyler Hanks and
                  James P. Fairbanks},
  title        = {Computational category-theoretic rewriting},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {134},
  pages        = {100888},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100888},
  doi          = {10.1016/J.JLAMP.2023.100888},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/BrownPHF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/CardelliSTTV23,
  author       = {Luca Cardelli and
                  Giuseppe Squillace and
                  Mirco Tribastone and
                  Max Tschaikowski and
                  Andrea Vandin},
  title        = {Formal lumping of polynomial differential equations through approximate
                  equivalences},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {134},
  pages        = {100876},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100876},
  doi          = {10.1016/J.JLAMP.2023.100876},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/CardelliSTTV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/EkerMMRV23,
  author       = {Steven Eker and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Rub{\'{e}}n Rubio and
                  Alberto Verdejo},
  title        = {The Maude strategy language},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {134},
  pages        = {100887},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100887},
  doi          = {10.1016/J.JLAMP.2023.100887},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/EkerMMRV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/Meseguer23,
  author       = {Jos{\'{e}} Meseguer},
  title        = {Variants and satisfiability in the infinitary unification wonderland},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {134},
  pages        = {100877},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100877},
  doi          = {10.1016/J.JLAMP.2023.100877},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/Meseguer23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/PeyroneW23,
  author       = {Neda Peyrone and
                  Duangdao Wichadakul},
  title        = {A formal model for blockchain-based consent management in data sharing},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {134},
  pages        = {100886},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100886},
  doi          = {10.1016/J.JLAMP.2023.100886},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/PeyroneW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}