- Hitoshi Furusawa, Walter Guttmann, Georg Struth. On the inner structure of multirelations. J. Log. Algebr. Meth. Program., 148:101094, 2026.
- Kyungmin Bae, Santiago Escobar 0001, Raúl López-Rueda, José Meseguer 0001, Julia Sapiña. DM-Check: Verifying invariants of concurrent systems by deductive model checking. J. Log. Algebr. Meth. Program., 149:101107, 2026.
- Hongxia Sun, Zhi-Ping Shi 0002, Shanyan Chen, Guohui Wang, Ximeng Li 0003, Yong Guan. Formal reasoning about Bernstein-Vazirani algorithm. J. Log. Algebr. Meth. Program., 149:101108, 2026.
- Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott. Verification of time-bounded multiset rewriting properties. J. Log. Algebr. Meth. Program., 150:101124, 2026.
- Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón. Rule and constraint based debugging of DBpedia queries. J. Log. Algebr. Meth. Program., 150:101113, 2026.
- Damian Arellanes. Compositional separation of control flow and data flow. J. Log. Algebr. Meth. Program., 150:101125, 2026.
- Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001. Combining sequential test cases into an equivalent set of adaptive test cases. J. Log. Algebr. Meth. Program., 148:101092, 2026.
- Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam. Hoare-style logic for unstructured programs. J. Log. Algebr. Meth. Program., 149:101099, 2026.
- Carlos Olarte, Carlos Ramírez 0002, Camilo Rocha, Frank Valencia. Unified opinion formation analysis in rewriting logic. J. Log. Algebr. Meth. Program., 148:101095, 2026.
- Seyed Hossein Haeri, Peter Van Roy, Heinrich Apfelmus, Peter Thompson 0002, Neil J. Davies, Magne Haveraaen, Mikhail Barash, Kevin Hammond, James Chapman 0001, Artjoms Sinkarovs. Algebraic reasoning for timeliness-guided system design. J. Log. Algebr. Meth. Program., 148:101093, 2026.