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 2021-10-01 to 2025-10-01.)
ArticleCitations
Use and Abuse of Instance Parameters in the Lean Mathematical Library14
Unifying Splitting9
Synthesising Programs with Non-trivial Constants8
Optimal Deterministic Controller Synthesis from Steady-State Distributions8
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq7
SAT Meets Tableaux for Linear Temporal Logic Satisfiability7
Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic6
Formalized Functional Analysis with Semilinear Maps6
Formalization of the Prime Number Theorem with a Remainder Term6
Correction to: Differential Dynamic Logic for Hybrid Systems6
Certified First-Order AC-Unification and Applications6
Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL6
0.21124196052551