Journal Report

JOURNAL OF AUTOMATED REASONING

Download PDF
Journal Information
Journal Title
JOURNAL OF AUTOMATED REASONING
Publisher
SPRINGER
ISSN
0168-7433
E-ISSN
1573-0670
Database
Clarivate
Domain
Physical Sciences, Social Sciences
Classification History
Year A+ A B C
2026 ✓ ✓
2025 ✓ ✓
2024 ✓ ✓
2023 ✓ ✓
2021/2022 ✓ ✓
2020 ✓ ✓
2019 ✓ ✓
2018 ✓
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles
Automatic Data Dependence Analysis by Deductive Verification
Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle
2026-10-15 Vol. 70 Issue 2
DOI: 10.1007/s10817-026-09769-6
A Formalization of the Ionescu-Tulcea Theorem in Mathlib
Etienne Marion
2026-10-8 Vol. 70 Issue 2
DOI: 10.1007/s10817-026-09766-9
A Continuation-Based Solution of the Linearity Challenge
Luca Padovani, Claudia Raffaelli
2026-9-19 Vol. 70 Issue 2
DOI: 10.1007/s10817-026-09765-w
Formally Verified Matching of Regular Expressions
Christoph Walther
2026-9-6 Vol. 70 Issue 2
DOI: 10.1007/s10817-026-09761-0
Formalizing Multi-graded Brenner–Schröer Proj Schemes and Dilatations of Rings in Lean4
Arnaud Mayeux, Jujian Zhang
2026-9-3 Vol. 70 Issue 2
DOI: 10.1007/s10817-026-09764-x
Proving Total Correctness of Top-Down Solvers with Widening and Narrowing
Sarah Tilscher, Alexandra Graß, Helmut Seidl et al.
2026-8-24 Vol. 70 Issue 2
DOI: 10.1007/s10817-026-09756-x
A Rocq Prover STL Formalization with Transformations for Mission Planning
Danil Berrah, François Pessaux, Alexandre Chapoutot
2026-8-24 Vol. 70 Issue 2
DOI: 10.1007/s10817-026-09763-y
Geometric Interpretation and Application of Non-degenerate Conditions in Geometric Theorem Proving
Xicheng Peng, Jingzhong Zhang, Mao Chen et al.
2026-8-3 Vol. 70 Issue 2
DOI: 10.1007/s10817-026-09760-1
$${SL}^{\lambda }$$: A Scalable Algorithm for Register Automata Learning
Simon Dierl, Paul Fiterău-Broştean, Falk Howar et al.
2026-8-3 Vol. 70 Issue 2
DOI: 10.1007/s10817-026-09758-9
The Relative Strength of #SAT Proof Systems
Olaf Beyersdorff, Johannes K. Fichte, Markus Hecher et al.
2026-7-20 Vol. 70 Issue 2
DOI: 10.1007/s10817-026-09757-w
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 7, 2026 03:06