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 2022-08-01 to 2026-08-01.)
ArticleCitations
Unifying Splitting12
Optimal Deterministic Controller Synthesis from Steady-State Distributions11
Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL8
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq7
Use and Abuse of Instance Parameters in the Lean Mathematical Library7
Formalized Functional Analysis with Semilinear Maps6
SAT Meets Tableaux for Linear Temporal Logic Satisfiability6
Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols6
Synthesising Programs with Non-trivial Constants6
2.4593830108643