- Thanh-Hai Tran 0002, Igor Konnov 0001, Josef Widder. A case study on parametric verification of failure detectors. Logical Methods in Computer Science, 19(1), 2023.
- Rocco De Nicola, Hernán C. Melgratti. Multiparty testing preorders. Logical Methods in Computer Science, 19(1), 2023.
- Richard Garner. Stream processors and comodels. Logical Methods in Computer Science, 19(1), 2023.
- Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino. Sound approximate and asymptotic probabilistic bisimulations for PCTL. Logical Methods in Computer Science, 19(1), 2023.
- Bruno Dinis, Étienne Miquey. Stateful Realizers for Nonstandard Analysis. Logical Methods in Computer Science, 19(2), 2023.
- Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli. Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala. Logical Methods in Computer Science, 19(1), 2023.
- Raven Beutner, Bernd Finkbeiner. HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems. Logical Methods in Computer Science, 19(2), 2023.
- Franco Barbanera, Ivan Lanese, Emilio Tuosto. A Theory of Formal Choreographic Languages. Logical Methods in Computer Science, 19(3), 2023.
- Jos C. M. Baeten, Cesare Carissimo, Bas Luttik. Pushdown Automata and Context-Free Grammars in Bisimulation Semantics. Logical Methods in Computer Science, 19(1), 2023.
- Johannes Doleschal, Benny Kimelfeld, Wim Martens. The Complexity of Aggregates over Extractions by Regular Expressions. Logical Methods in Computer Science, 19(3), 2023.