📰 Journal of Automated Reasoning 2013 — papers

The works of Journal of Automated Reasoning published in 2013 that our library holds (publisher: Springer Science+Business Media): 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

Most cited papers

By their OpenAlex citations; a paper with our summary links to its page here, the others to the original.

1. The Incredible ELK ↗Yevgeny Kazakov, Markus Krötzsch, František Simančík230 citations
2. Extending Sledgehammer with SMT Solvers ↗Jasmin Christian Blanchette, Sascha Böhme, Lawrence Charles Paulson158 citations
3. Premise Selection for Mathematics by Corpus Analysis and Kernel MethodsJesse Alama, Tom Heskes, Daniel Kühlwein et al.128 citations · our summary
4. Locales: A Module System for Mathematical Theories ↗Clemens Ballarin88 citations
5. Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency Pairs ↗Lars Noschinski, Fabian Emmes, Jürgen Giesl49 citations
6. Finite-valued Semantics for Canonical Labelled Calculi ↗Matthias Baaz A, Ori Lahav, Anna Zamansky35 citations
7. Anti-unification for Unranked Terms and Hedges ↗Temur Kutsia, Jordi Levy, Mateu Villaret33 citations
8. Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems ↗Chad E. Brown33 citations
9. Cutting to the Chase ↗Dejan Jovanović, Leonardo de Moura29 citations
10. Formalization of Shannon’s Theorems ↗Reynald Affeldt, Manabu Hagiwara, Jonas Sénizergues27 citations

All works of the year (25)

The most cited first; 1 with our summary link to their page here, the others to the original.

1. The Incredible ELK ↗Yevgeny Kazakov, Markus Krötzsch, František Simančík230 citations
2. Extending Sledgehammer with SMT Solvers ↗Jasmin Christian Blanchette, Sascha Böhme, Lawrence Charles Paulson158 citations
3. Premise Selection for Mathematics by Corpus Analysis and Kernel MethodsJesse Alama, Tom Heskes, Daniel Kühlwein et al.128 citations · our summary
4. Locales: A Module System for Mathematical Theories ↗Clemens Ballarin88 citations
5. Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency Pairs ↗Lars Noschinski, Fabian Emmes, Jürgen Giesl49 citations
6. Finite-valued Semantics for Canonical Labelled Calculi ↗Matthias Baaz A, Ori Lahav, Anna Zamansky35 citations
7. Anti-unification for Unranked Terms and Hedges ↗Temur Kutsia, Jordi Levy, Mateu Villaret33 citations
8. Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems ↗Chad E. Brown33 citations
9. Cutting to the Chase ↗Dejan Jovanović, Leonardo de Moura29 citations
10. Formalization of Shannon’s Theorems ↗Reynald Affeldt, Manabu Hagiwara, Jonas Sénizergues27 citations
11. A Framework for the Verification of Certifying Computations ↗Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn et al.24 citations
12. Using Isabelle/HOL to Verify First-Order Relativity Theory ↗Mike Stannett, Istvàn Németi14 citations
13. Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution ↗Matthew Gwynne, Oliver Kullmann13 citations
14. The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry ↗Marta R. Hidalgo, Robert Joan‐Arinyo11 citations
15. Array Theory of Bounded Elements and its Applications ↗Min Qi Zhou, Fei He, Bow-Yaw Wang et al.10 citations
16. “Decision Procedures: An Algorithmic Point of View,” by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008 ↗Clark Barrett10 citations
17. A Goal-Directed Decision Procedure for Hybrid PDL ↗Mark Kaminski, Gert Smolka6 citations
18. Mechanizing Metatheory Without Typing Contexts ↗Jong‐Hyun Park, Jeongbong Seo, Sungwoo Park et al.6 citations
19. Finite Reasons for Safety ↗Alexei Lisitsa5 citations
20. Formally Verified Tableau-Based Reasoners for a Description Logic ↗María-José Hidalgo, José A. Alonso-Jiménez, Joaquín Borrego‐Díaz et al.5 citations
21. Terminating Calculi for Propositional Dummett Logic with Subformula Property ↗Guido Fiorino5 citations
22. A Connection-based Characterization of Bi-intuitionistic Validity ↗Didier Galmiche, Daniel Méry4 citations
23. On Automation in the Verification of Software Barriers: Experience Report ↗Alexander Malkis, Anindya Banerjee3 citations
24. Preface: Special Issue of Selected Extended Papers of CADE-23 ↗Nikolaj Bjørner, Viorica Sofronie-Stokkermans1 citation
25. Theorem of Three Circles in Coq ↗Julianna Zsidó1 citation

📄 Works with our summary in our library (1)

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

1. MizAR 40 for Mizar 40Journal of Automated ReasoningCezary Kaliszyk, Josef Urban2013 · 112 citations

🧭 Top topics

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

🧮Reasoning (1)

📚 Fields

🖥️Computer Science (1)

🧑‍🔬 Top authors

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

🏛️ Top institutions

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

🎓Radboud University NijmegenNijmegen · Netherlands1 work here🎓Universität InnsbruckInnsbruck · Austria1 work here

works and citations from OpenAlex and our library.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/2013/