- Sarah Sigley, Olaf Beyersdorff. Proof Complexity of Modal Resolution. Journal of Automated Reasoning, 66(1):1-41, 2022.
- Sadegh Dalvandi, Brijesh Dongol, Simon Doherty, Heike Wehrheim. Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL. Journal of Automated Reasoning, 66(1):141-171, 2022.
- Jonathan Julián Huerta y Munive, Georg Struth. Predicate Transformer Semantics for Hybrid Systems. Journal of Automated Reasoning, 66(1):93-139, 2022.
- Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero. A Coq Formalization of Lebesgue Integration of Nonnegative Functions. Journal of Automated Reasoning, 66(2):175-213, 2022.
- Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar. Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs. Journal of Automated Reasoning, 66(1):43-91, 2022.
- André Platzer. Correction to: Differential Dynamic Logic for Hybrid Systems. Journal of Automated Reasoning, 66(1):173, 2022.
- Piotr J. Wojciechowski, K. Subramani, R. Chandrasekaran. Analyzing Read-Once Cutting Plane Proofs in Horn Systems. Journal of Automated Reasoning, 66(2):239-274, 2022.
- Robert Y. Lewis, Minchao Wu. A Bi-Directional Extensible Interface Between Lean and Mathematica. Journal of Automated Reasoning, 66(2):215-238, 2022.
- 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.
- Maximiliano Cristiá, Gianfranco Rossi. An Automatically Verified Prototype of the Tokeneer ID Station Specification. Journal of Automated Reasoning, 65(8):1125-1151, 2021.