- Florian Steinberg 0001, Laurent Théry, Holger Thies. Computable analysis and notions of continuity in Coq. Logical Methods in Computer Science, 17(2), 2021.
- Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten. Interface Modeling for Quality and Resource Management. Logical Methods in Computer Science, 17(2), 2021.
- Étienne André, Didier Lime, Mathias Ramparison. Parametric updates in parametric timed automata. Logical Methods in Computer Science, 17(2), 2021.
- Mikolaj Bojanczyk, Martin Grohe, Michal Pilipczuk. Definable decompositions for graphs of bounded linear cliquewidth. Logical Methods in Computer Science, 17(1), 2021.
- Tao Gu, Fabio Zanasi. Coalgebraic Semantics for Probabilistic Logic Programming. Logical Methods in Computer Science, 17(2), 2021.
- Ryu Hasegawa. Complete Call-by-Value Calculi of Control Operators II: Strong Termination. Logical Methods in Computer Science, 17(1), 2021.
- Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba. Stubborn Set Reduction for Two-Player Reachability Games. Logical Methods in Computer Science, 17(1), 2021.
- Cristian Ene, Laurent Mounier, Marie-Laure Potet. Output-sensitive Information flow analysis. Logical Methods in Computer Science, 17(1), 2021.
- Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier. Synthesis of Data Word Transducers. Logical Methods in Computer Science, 17(1), 2021.
- Bin Wang 0061, Jun Shen, Shutao Zhang, Zhizheng Zhang. On the Strong Equivalences for LPMLN Programs. Logical Methods in Computer Science, 17(1), 2021.