- Carlos Olarte, Peter Csaba Ölveczky. Formal analysis of real-time systems with user-defined strategies in rewriting logic. J. Log. Algebr. Meth. Program., 146:101072, 2025.
- 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.
- Santiago Escobar 0001, Narciso Martí-Oliet. Preface to Rewriting Logic and Its Applications (revised selected papers from WRLA 2020). J. Log. Algebr. Meth. Program., 146:101061, 2025.