- Bineet Ghosh, Étienne André. Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model. Logical Methods in Computer Science, 20(1), 2024.
- Thomas Powell. Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language. Logical Methods in Computer Science, 20(1), 2024.
- Dylan McDermott, Alan Mycroft. Galois connecting call-by-value and call-by-name. Logical Methods in Computer Science, 20(1), 2024.
- Leroy Chew, Friedrich Slivovsky. Towards Uniform Certification in QBF. Logical Methods in Computer Science, 20(1), 2024.
- Kiraku Shintani, Nao Hirokawa. Compositional Confluence Criteria. Logical Methods in Computer Science, 20(1), 2024.
- Michael Blondin, Javier Esparza. Separators in Continuous Petri Nets. Logical Methods in Computer Science, 20(1), 2024.
- Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann 0002. A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. Logical Methods in Computer Science, 20(1), 2024.
- Christel Baier, Jakob Piribauer, Robin Ziemek. Foundations of probability-raising causality in Markov decision processes. Logical Methods in Computer Science, 20(1), 2024.
- Delia Kesner, Loïc Peyrot, Daniel Ventura. Node Replication: Theory And Practice. Logical Methods in Computer Science, 20(1), 2024.
- Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen. revTPL: The Reversible Temporal Process Language. Logical Methods in Computer Science, 20(1), 2024.