- André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi. Variable binding and substitution for (nameless) dummies. Logical Methods in Computer Science, 20(1), 2024.
- 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.
- Renaud Vilmart. Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing. 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.
- Jamie Tucker-Foltz. Inapproximability of Unique Games in Fixed-Point Logic with Counting. Logical Methods in Computer Science, 20(2), 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.
- Eduardo Bonelli, Delia Kesner, Andrés Viso. A Strong Bisimulation for a Classical Term Calculus. Logical Methods in Computer Science, 20(2), 2024.