---
title: "Journal of Automated Reasoning — journal, papers and authors"
description: "Journal of Automated Reasoning: 4 works in the Elamur Research library (2011–2018), 486 citations; its topics, authors and institutions."
canonical: "https://research.elamur.ai/free/en/venues/journal-of-automated-reasoning/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/journal-of-automated-reasoning/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / Journal of Automated Reasoning

# Journal of Automated Reasoning

Journal Published by [Springer Science+Business Media](https://md.research.elamur.ai/free/en/publishers/springer-science-business-media/)

- [Website](http://www.springer.com/computer/theoretical+computer+science/journal/10817)
- [OpenAlex](https://openalex.org/S99781599)
- [Wikidata](https://www.wikidata.org/wiki/Q6294821)
- [ISSN 0168-7433](https://portal.issn.org/resource/ISSN/0168-7433)

[**4** works in our library](https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/#works) · [**486** citations of these works](https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/#works) · [**76** citations in our library](https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/#works) · [**2011–2018** years of the works here](#years)

## Works by year

Works in our library by year 4 dated works from 2011 to 2018; the busiest year is 2011 with 1.

**The numbers**

| Year | Works |
| --- | --- |
| 2018 | 1 |
| 2013 | 1 |
| 2012 | 1 |
| 2011 | 1 |

## Volumes by year

Each year with works in our library has its page: the place and dates where known, its works, topics, authors and institutions.

### 2010s

[**2018** 1 paper](https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/2018/) · [**2013** 1 paper](https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/2013/) · [**2012** 1 paper](https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/2012/) · [**2011** 1 paper](https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/2011/)

## Top topics

Topics of its works in our library, with the number of works on each.

[Reasoning (4)](https://md.research.elamur.ai/free/en/topics/reasoning/)

## Fields

[Computer Science (4)](https://md.research.elamur.ai/free/en/shelves/computer-science/)

## Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

[🧑‍🔬**Josef Urban**4 works here · 486 citations](https://md.research.elamur.ai/free/en/authors/josef-urban/) · [🧑‍🔬**Cezary Kaliszyk**3 works here · 334 citations](https://md.research.elamur.ai/free/en/authors/cezary-kaliszyk/) · [🧑‍🔬**Michael Norrish**1 work here · 57 citations](https://md.research.elamur.ai/free/en/authors/michael-norrish/) · [🧑‍🔬**Ramana Kumar**1 work here · 57 citations](https://md.research.elamur.ai/free/en/authors/ramana-kumar/) · [🧑‍🔬**Thibault Gauthier**1 work here · 57 citations](https://md.research.elamur.ai/free/en/authors/thibault-gauthier/)

## Top institutions

Institutions on the bylines of its works here, by the number of works.

[🎓**Radboud University Nijmegen** Nijmegen · Netherlands 3 works here](https://md.research.elamur.ai/free/en/universities/radboud-university-nijmegen/) · [🎓**Universität Innsbruck** Innsbruck · Austria 3 works here](https://md.research.elamur.ai/free/en/universities/universitat-innsbruck/) · [🎓**University of Lisbon** Lisbon · Portugal 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-lisbon/) · [🔬**Data61** Sydney · Australia 1 work here](https://md.research.elamur.ai/free/en/labs/data61/) · [🎓**Czech Technical University in Prague** Prague · Czechia 1 work here](https://md.research.elamur.ai/free/en/universities/czech-technical-university-in-prague/) · [🎓**Universidade Nova de Lisboa** Lisbon · Portugal 1 work here](https://md.research.elamur.ai/free/en/universities/universidade-nova-de-lisboa/)

## Works in our library (4)

The most cited first (OpenAlex citations plus our library's).

1. **[Learning-Assisted Automated Reasoning with Flyspeck](https://md.research.elamur.ai/free/en/papers/kaliszyk-2012-learning-assisted-automated-reasoning-flyspeck/) Journal of Automated Reasoning**Cezary Kaliszyk, Josef Urban*2012 · 165 citations*
2. **[Premise Selection for Mathematics by Corpus Analysis and Kernel Methods](https://md.research.elamur.ai/free/en/papers/alama-2011-premise-selection-mathematics-corpus-analysis/) Journal of Automated Reasoning**Jesse Alama, Tom Heskes, Daniel Kühlwein, et al.*2011 · 152 citations*
3. **[MizAR 40 for Mizar 40](https://md.research.elamur.ai/free/en/papers/kaliszyk-2013-mizar-40-mizar-40/) Journal of Automated Reasoning**Cezary Kaliszyk, Josef Urban*2013 · 112 citations*
4. **[TacticToe: Learning to Prove with Tactics](https://md.research.elamur.ai/free/en/papers/gauthier-2018-tactictoe-learning-prove-tactics/) Journal of Automated Reasoning**Thibault Gauthier, Cezary Kaliszyk, Josef Urban, et al.*2018 · 57 citations*

Venues, publishers and identifiers from OpenAlex (2026-10-14) and the ACL Anthology; yearly proceedings are counted as one series.