- Jean-Christophe Filliâtre. Simpler proofs with decentralized invariants. J. Log. Algebr. Meth. Program., 121:100645, 2021.
- Jaime Ramos, João Rasga, Cristina Sernadas, Luca Viganò 0001. Event-Based Time-Stamped Claim Logic. J. Log. Algebr. Meth. Program., 121:100684, 2021.
- Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci. On checking equivalence of simulation scripts. J. Log. Algebr. Meth. Program., 120:100640, 2021.
- Vlad Rusu, David Nowak. (Co)inductive proof systems for compositional proofs in reachability logic. J. Log. Algebr. Meth. Program., 118:100619, 2021.
- Antonio González-Burgueño, Peter Csaba Ölveczky. Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL. J. Log. Algebr. Meth. Program., 122:100685, 2021.
- Raul Fervari, Francisco Trucco, Beta Ziliani. Verification of dynamic bisimulation theorems in Coq. J. Log. Algebr. Meth. Program., 120:100642, 2021.
- Salvador Lucas. Applications and extensions of context-sensitive rewriting. J. Log. Algebr. Meth. Program., 121:100680, 2021.
- Imed Eddine Bennour. Formal verification of timed synchronous dataflow graphs using Lustre. J. Log. Algebr. Meth. Program., 121:100678, 2021.
- Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto. Composition and decomposition of multiparty sessions. J. Log. Algebr. Meth. Program., 119:100620, 2021.
- Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer. Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. J. Log. Algebr. Meth. Program., 119:100633, 2021.