Journal of Automated Reasoning

Papers
(The H4-Index of Journal of Automated Reasoning is 6. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2020-11-01 to 2024-11-01.)
ArticleCitations
Extensional Higher-Order Paramodulation in Leo-III15
Certified Quantum Computation in Isabelle/HOL13
Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL12
Superposition with Lambdas8
The Resolution of Keller’s Conjecture7
Automated Reasoning with Restricted Intensional Sets6
An Automatically Verified Prototype of the Tokeneer ID Station Specification6
Pardinus: A Temporal Relational Model Finder6
0.062911033630371