---
title: "Journal of Automated Reasoning: 2 papers, last 30 days"
description: "Journal of Automated Reasoning published 2 papers in the last 30 days (2026-09-28 to 2026-10-27), ranking #238 of 339 journals."
url: https://scholar4ai.com/journals/journal-of-automated-reasoning
markdown_url: https://scholar4ai.com/journals/journal-of-automated-reasoning.md
license: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/)
share_text: "Journal of Automated Reasoning published 2 papers in the last 30 days (2026-09-28 to 2026-10-27), ranking #238 of 339 journals."
data_url: https://scholar4ai.com/data/rankings.json
updated: 2026-10-27T14:11:44+09:00
window: 2026-09-28 to 2026-10-27
source: OpenAlex (CC0)
---

# Journal of Automated Reasoning

- 0 papers in the last 7 days
- category: AI
- publisher: Springer Science+Business Media
- ISSN 0168-7433

Back to the ranking: https://scholar4ai.com/rankings/journals.md

## Key findings

- Journal of Automated Reasoning published 2 papers in the last 30 days (2026-09-28 to 2026-10-27), ranking #238 of 339 journals.
- Leading institutions: Karlsruhe Institute of Technology (1), Technische Universität Darmstadt (1) and Mathématiques Appliquées à Paris 5 (1).
- Countries: Germany (1) and France (1).
- From Oct 2023 to Sep 2026, Journal of Automated Reasoning published 81 papers (2 a month on average, by publication date in OpenAlex).
- Its most frequent keywords over that period were “formal verification” (16), “Coq” (9) and “automated theorem proving” (9).
- Its most-cited paper of the period is “Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification” (2025-02-05), with 18 citations.

## The last 36 months

*Papers by publication date, Oct 2023 to Sep 2026*

| Oct 23–Sep 24 | Oct 24–Sep 25 | Oct 25–Sep 26 | 36 months |
|---:|---:|---:|---:|
| 25 | 31 | 25 | 81 |

*Most frequent keywords, Oct 2023 to Sep 2026*

| # | Keyword | Papers |
|---:|---|---:|
| 1 | formal verification | 16 |
| 2 | Coq | 9 |
| 3 | automated theorem proving | 9 |
| 4 | Isabelle/HOL | 7 |
| 5 | formalization | 5 |
| 6 | proof assistants | 5 |
| 7 | soundness and completeness | 5 |
| 8 | termination proofs | 5 |
| 9 | compiler verification | 4 |
| 10 | decision procedures | 4 |

*Most-cited papers published Oct 2023 to Sep 2026*

| # | Citations | Per month | Title | Journal | Published | Authors |
|---:|---:|---:|---|---|---|---|
| 1 | 18 | 0.9 | [Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification](https://doi.org/10.1007/s10817-024-09702-9) | [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | 2025-02-05 | Dirk Beyer, Nian-Ze Lee, Philipp Wendler |
| 2 | 7 | 0.3 | [Verifying the Generalization of Deep Learning to Out-of-Distribution Domains](https://doi.org/10.1007/s10817-024-09704-7) | [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | 2024-08-03 | Guy Amir, Osher Maayan, Tom Zelazny et al. |
| 3 | 7 | 0.4 | [A Sound and Complete Projection for Global Types](https://doi.org/10.1007/s10817-025-09726-9) | [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | 2025-05-28 | Dawit Tirore, Jesper Bengtson, Marco Carbone |
| 4 | 6 | 0.2 | [SAT Meets Tableaux for Linear Temporal Logic Satisfiability](https://doi.org/10.1007/s10817-023-09691-1) | [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | 2024-03-15 | Luca Geatti, Nicola Gigante, Angelo Montanari et al. |
| 5 | 6 | 0.2 | [Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL](https://doi.org/10.1007/s10817-024-09697-3) | [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | 2024-06-27 | Asta Halkjær From, Frederik Krogsdal Jacobsen |

*Papers, newest first.*

| Date | Title | Journal | Authors | Affiliations |
|---|---|---|---|---|
| 2026-10-15 | [Automatic Data Dependence Analysis by Deductive Verification](https://doi.org/10.1007/s10817-026-09769-6) | [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle | Karlsruhe Institute of Technology; Technische Universität Darmstadt |
| 2026-10-08 | [A Formalization of the Ionescu-Tulcea Theorem in Mathlib](https://doi.org/10.1007/s10817-026-09766-9) | [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | Etienne Marion | École Normale Supérieure de Lyon; Université Paris Cité; Mathématiques Appliquées à Paris 5 |

## Cite this page

Scholar4AI. (2026). Journal of Automated Reasoning. Journal Research Rankings. Retrieved October 27, 2026, from https://scholar4ai.com/journals/journal-of-automated-reasoning

```bibtex
@misc{scholar4ai-journals-journal-of-automated-reasoning,
  author = {{Scholar4AI}},
  title = {Journal of Automated Reasoning},
  year = {2026},
  howpublished = {\url{https://scholar4ai.com/journals/journal-of-automated-reasoning}},
  urldate = {2026-10-27},
  note = {Journal Research Rankings; data from OpenAlex (CC0); licensed CC BY-NC 4.0}
}
```

License: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/).