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-04-01 to 2025-04-01.)
ArticleCitations
Combining Stable Infiniteness and (Strong) Politeness14
Optimal Deterministic Controller Synthesis from Steady-State Distributions8
Investigations into Proof Structures8
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences8
Automated Reasoning with Restricted Intensional Sets7
Human-Centered Automated Proof Search7
Predicate Transformer Semantics for Hybrid Systems6
0.71548199653625