- Clément Aubert. The correctness of concurrencies in (reversible) concurrent calculi. J. Log. Algebr. Meth. Program., 136:100924, January 2024.
- Chad Nester, Niels F. W. Voorneveld. Protocol choice and iteration for the free cornering. J. Log. Algebr. Meth. Program., 137:100942, February 2024.
- Francisco Durán 0001, Nicolás Pozas, Camilo Rocha. Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. J. Log. Algebr. Meth. Program., 136:100928, January 2024.
- Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian. On proving that an unsafe controller is not proven safe. J. Log. Algebr. Meth. Program., 137:100939, February 2024.
- Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun 0002. Weighted automata extraction and explanation of recurrent neural networks for natural language tasks. J. Log. Algebr. Meth. Program., 136:100907, January 2024.
- Kangfeng Ye, Simon Foster 0001, Jim Woodcock 0001. Formally verified animation for RoboChart using interaction trees. J. Log. Algebr. Meth. Program., 137:100940, February 2024.
- Abdelkrim Abdelli. DBM over-approximation of preemptive real-time systems. J. Log. Algebr. Meth. Program., 136:100927, January 2024.
- Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani. Branching pomsets: Design, expressiveness and applications to choreographies. J. Log. Algebr. Meth. Program., 136:100919, January 2024.
- Sven Schneider 0001, Maria Maximova, Holger Giese. Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic. J. Log. Algebr. Meth. Program., 137:100938, February 2024.
- Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho 0002, Shin-ya Katsumata. Control-data separation and logical condition propagation for efficient inference on probabilistic programs. J. Log. Algebr. Meth. Program., 136:100922, January 2024.