---
title: "IJCAR (A): papers and universities"
description: "IJCAR (International Joint Conference on Automated Reasoning) is rated A by the CORE Conference Rankings (ICORE2026); OpenAlex lists 97 of its papers from 2024–2026 (48 in 2024, 49 in 2026; 2025 not in OpenAlex yet). By the countries of the authors' institutions, the most papers come from Germany (26), Austria (22) and the United States (19)."
url: https://scholar4ai.com/proceedings/ijcar
markdown_url: https://scholar4ai.com/proceedings/ijcar.md
license: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/)
share_text: "IJCAR (International Joint Conference on Automated Reasoning) is rated A by the CORE Conference Rankings (ICORE2026); OpenAlex lists 97 of its papers from 2024–2026 (48 in 2024, 49 in 2026; 2025 not in OpenAlex yet). (as of 2026-11-02)"
data_url: https://scholar4ai.com/data/rankings.json
updated: 2026-11-02T12:20:52+09:00
window: 2026-10-04 to 2026-11-02
source: OpenAlex (CC0)
---

# IJCAR: International Joint Conference on Automated Reasoning — papers and institutions, 2024–2026

Papers of IJCAR, International Joint Conference on Automated Reasoning (CORE rank A; field: Artificial intelligence, Software engineering, Theory of computation), 2024–2026: per year, the institutions, countries and topics, and the most-cited papers. Ranks are those of the CORE Conference Rankings, edition ICORE2026 (portal.core.edu.au), applied to every year shown. Papers are the works OpenAlex lists for the conference's proceedings, or for the issues of a conference-linked journal that publishes its papers (such as PACMPL, PVLDB or ACM TOG), by publication year; workshops, companion volumes, posters and Findings are left out. A paper counts once for each institution and country among its authors' affiliations as OpenAlex assigns them; papers without affiliations in OpenAlex count for none. For conferences published in book series that OpenAlex files as one source (LNCS, LIPIcs, SIAM and IOS Press proceedings), the papers are found by DOI: those of the volumes with the conference's title in Crossref, or LIPIcs DOIs, which name the conference. Conferences without DOIs (PMLR, USENIX, OpenReview) are listed without counts. A dash (–) for a year means OpenAlex has no papers of the conference for it yet: the proceedings are not published or indexed yet, or the conference did not meet that year (some meet every other year). 2026 counts what OpenAlex had indexed by 2026-11-02.

All conferences: https://scholar4ai.com/proceedings.md

## Key findings

- IJCAR (International Joint Conference on Automated Reasoning) is rated A by the CORE Conference Rankings (ICORE2026); OpenAlex lists 97 of its papers from 2024–2026 (48 in 2024, 49 in 2026; 2025 not in OpenAlex yet).
- By the countries of the authors' institutions, the most papers come from Germany (26), Austria (22) and the United States (19).
- The institutions with the most papers are TU Wien (12), Centre National de la Recherche Scientifique (9) and Carnegie Mellon University (7).
- Its most-cited paper of these years is “Equivalence Checking of Quantum Circuits by Model Counting” (2024), with 15 citations.

## Papers per year

*IJCAR papers per publication year in OpenAlex (–: not in OpenAlex yet)*

| Year | Papers | With affiliations |
|---|---:|---:|
| 2024 | 48 | 47 |
| 2025 | – | – |
| 2026 | 49 | 49 |

## Sources

*Where OpenAlex lists the papers*

| OpenAlex source | Which papers |
|---|---|
| [S106296714](https://openalex.org/S106296714) | Papers of the volumes titled “Automated Reasoning” (LNAI, every other year), found by DOI through Crossref |

## Who publishes there

*Institutions with the most IJCAR papers, 2024–2026*

| # | Institution | Papers |
|---:|---|---:|
| 1 | TU Wien | 12 |
| 2 | [Centre National de la Recherche Scientifique](https://scholar4ai.com/institutions/centre-national-de-la-recherche-scientifique.md) | 9 |
| 3 | Carnegie Mellon University | 7 |
| 4 | Johannes Kepler University of Linz | 6 |
| 5 | [University of Birmingham](https://scholar4ai.com/institutions/university-of-birmingham.md) | 5 |
| 6 | RWTH Aachen University | 5 |
| 7 | [Stanford University](https://scholar4ai.com/institutions/stanford-university.md) | 5 |
| 8 | Karlsruhe Institute of Technology | 4 |
| 9 | University of Iowa | 4 |
| 10 | Universität Innsbruck | 4 |

*Countries with the most IJCAR papers, 2024–2026*

| # | Country | Papers |
|---:|---|---:|
| 1 | Germany | 26 |
| 2 | Austria | 22 |
| 3 | United States | 19 |
| 4 | France | 13 |
| 5 | United Kingdom | 12 |
| 6 | Czechia | 6 |
| 7 | Italy | 6 |
| 8 | Australia | 5 |
| 9 | Brazil | 5 |
| 10 | Netherlands | 5 |

*Keywords with the most IJCAR papers, 2024–2026*

| # | Keyword | Papers |
|---:|---|---:|
| 1 | automated theorem proving | 16 |
| 2 | SMT solvers | 11 |
| 3 | automated reasoning | 10 |
| 4 | formal verification | 9 |
| 5 | decidability | 8 |
| 6 | sequent calculus | 8 |
| 7 | soundness and completeness | 8 |
| 8 | first-order logic | 6 |
| 9 | cut elimination | 5 |
| 10 | equational theories | 5 |

## Most-cited papers

*Most-cited IJCAR papers of 2024–2026 (citations counted by OpenAlex)*

| # | Citations | Title | Published | Authors |
|---:|---:|---|---|---|
| 1 | 15 | [Equivalence Checking of Quantum Circuits by Model Counting](https://doi.org/10.1007/978-3-031-63501-4_21) | 2024-01-01 | Jingyi Mei, Tim J. Coopmans, Marcello Bonsangue et al. |
| 2 | 15 | [Stepping Stones in the TPTP World](https://doi.org/10.1007/978-3-031-63498-7_3) | 2024-01-01 | Geoff Sutcliffe |
| 3 | 12 | [A Higher-Order Vampire (Short Paper)](https://doi.org/10.1007/978-3-031-63498-7_5) | 2024-01-01 | Ahmed Bhayat, Martin Suda |
| 4 | 8 | [Synthesis of Recursive Programs in Saturation](https://doi.org/10.1007/978-3-031-63498-7_10) | 2024-01-01 | Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú et al. |
| 5 | 8 | [Regularization in Spider-Style Strategy Discovery and Schedule Construction](https://doi.org/10.1007/978-3-031-63498-7_12) | 2024-01-01 | Filip Bártek, Karel Chvalovský, Martin Suda |
| 6 | 7 | [Certifying Phase Abstraction](https://doi.org/10.1007/978-3-031-63498-7_17) | 2024-01-01 | Nils Froleyks, Emily Yu, Armin Biere et al. |
| 7 | 7 | [Uniform Substitution for Differential Refinement Logic](https://doi.org/10.1007/978-3-031-63501-4_11) | 2024-01-01 | Enguerrand Prebet, André Platzer |
| 8 | 6 | [Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL](https://doi.org/10.1007/978-3-031-63501-4_3) | 2024-01-01 | Hugo Férée, Iris van der Giessen, Sam van Gool et al. |
| 9 | 6 | [Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic](https://doi.org/10.1007/978-3-031-63498-7_6) | 2024-01-01 | Johannes Niederhauser, Chad E. Brown, Cezary Kaliszyk |
| 10 | 6 | [Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper)](https://doi.org/10.1007/978-3-031-63498-7_14) | 2024-01-01 | Nils Lommen, Éléanore Meyer, Jürgen Giesl |

## Cite this page

Scholar4AI. (2026). IJCAR: International Joint Conference on Automated Reasoning — papers and institutions, 2024–2026. Journal and Conference Research Rankings. Retrieved November 2, 2026, from https://scholar4ai.com/proceedings/ijcar

```bibtex
@misc{scholar4ai-proceedings-ijcar,
  author = {{Scholar4AI}},
  title = {IJCAR: International Joint Conference on Automated Reasoning — papers and institutions, 2024–2026},
  year = {2026},
  howpublished = {\url{https://scholar4ai.com/proceedings/ijcar}},
  urldate = {2026-11-02},
  note = {Journal and Conference 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/).