J. Autom. Reason. proceedings
Journal of Automated Reasoning
SpringerDeadlines for J. Autom. Reason.
Papers in 2025
32
Papers, all years
1,304
Since
1985
Acceptance rate
not sourced yet
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202532 papers✓ verified
See all of J. Autom. Reason.'s statistics
Free members see everything on this page, and more:
- Every year’s acceptance rate, with sources
- Keywords and research topics over time
- Who publishes here: institutions, countries, funders
- Authors, team sizes and similar venues
Already a member? Sign in