- Víctor García, Santiago Escobar 0001, Kazuhiro Ogata 0001. Formalization and analysis of the post-quantum signature scheme FALCON with Maude. J. Log. Algebr. Meth. Program., 143:101034, 2025.
- Wenhui Zhang. First order Büchi automata and their application to verification of LTL specifications. J. Log. Algebr. Meth. Program., 142:101021, 2025.
- Laura Panizo. Preface to selected papers from 22nd Workshop on Programming and Languages (PROLE 2023). J. Log. Algebr. Meth. Program., 145:101060, 2025.
- Rubén Rubio, Adrián Riesco 0001. Maude2Lean: Theorem proving for Maude specifications using Lean. J. Log. Algebr. Meth. Program., 142:101005, 2025.
- Ginés Moreno, José A. Riaza. Tuning similarity-based fuzzy logic programs. J. Log. Algebr. Meth. Program., 142:101020, 2025.
- Manel Barkallah, Jean-Marie Jacquet. On the expressiveness and efficiency of guarded lists in Bach. J. Log. Algebr. Meth. Program., 142:101017, 2025.
- Naoki Nishida 0001, Misaki Kojima, Ayuka Matsumi. A nesting-preserving transformation of SIMP programs into logically constrained term rewrite systems. J. Log. Algebr. Meth. Program., 144:101045, 2025.
- Carlos Galindo 0002, Sergio Pérez, Josep Silva. The expression dependence graph. J. Log. Algebr. Meth. Program., 142:101016, 2025.
- Ignacio Ballesteros, Clara Benac Earle, Julio Mariño, Lars-Åke Fredlund, Ángel Herranz. Generation of algebraic data type values using evolutionary algorithms. J. Log. Algebr. Meth. Program., 143:101022, 2025.
- Ander Alonso, Montserrat Hermo, Josu Oca. Towards an efficient implementation of a tableau method for reactive safety specifications. J. Log. Algebr. Meth. Program., 142:101003, 2025.