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