Journal of Automated Reasoning

Papers
(The H4-Index of Journal of Automated Reasoning is 7. 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 2021-11-01 to 2025-11-01.)
ArticleCitations
Unifying Splitting14
Synthesising Programs with Non-trivial Constants10
Optimal Deterministic Controller Synthesis from Steady-State Distributions9
Use and Abuse of Instance Parameters in the Lean Mathematical Library8
Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols8
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq7
Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL7
0.050390958786011