Journal of Automated Reasoning

Papers
(The H4-Index of Journal of Automated Reasoning is 8. 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-04-01 to 2024-04-01.)
ArticleCitations
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs15
TacticToe: Learning to Prove with Tactics14
Extensional Higher-Order Paramodulation in Leo-III13
Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover11
Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL9
Certified Quantum Computation in Isabelle/HOL9
Multi-cost Bounded Tradeoff Analysis in MDP8
Superposition with Lambdas8
0.05914306640625