Journal of Automated Reasoning
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 Université Paris Cité (1).
- Countries: Germany (1) and France (1).
| Date | Title | Journal | Authors | Affiliations |
|---|---|---|---|---|
| 2026-10-15 | Automatic Data Dependence Analysis by Deductive Verification | Journal of Automated Reasoning | 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 | Journal of Automated Reasoning | 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
@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}
}