- Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening. Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. Journal of Automated Reasoning, 65(2):157-203, 2021.
- Andrei Popescu 0001, Peter Lammich, Ping Hou. CoCon: A Conference Management System with Formally Verified Document Confidentiality. Journal of Automated Reasoning, 65(2):321-356, 2021.
- Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan. A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties. Journal of Automated Reasoning, 65(4):479-520, 2021.
- Maximiliano Cristiá, Gianfranco Rossi. Automated Proof of Bell-LaPadula Security Properties. Journal of Automated Reasoning, 65(4):463-478, 2021.
- Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan. Building Strategies into QBF Proofs. Journal of Automated Reasoning, 65(1):125-154, 2021.
- Danijela Simic, Filip Maric, Pierre Boutry. Formalization of the Poincaré Disc Model of Hyperbolic Geometry. Journal of Automated Reasoning, 65(1):31-73, 2021.
- Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu 0003, Koh Chuen Hoa, Jin Song Dong. An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model. Journal of Automated Reasoning, 65(4):569-598, 2021.
- Marco Voigt. * First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates. Journal of Automated Reasoning, 65(3):357-423, 2021.
- Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish. TacticToe: Learning to Prove with Tactics. Journal of Automated Reasoning, 65(2):257-286, 2021.
- Hing-Lun Chan, Michael Norrish. Mechanisation of the AKS Algorithm. Journal of Automated Reasoning, 65(2):205-256, 2021.