📰 Journal of Automated Reasoning 2012: all accepted papers

28 papers · the most cited first · ← Journal of Automated Reasoning 2012

1. The HOL Light Theory of Euclidean Space ↗John Harrison101 citations
2. Formalization of Bernstein Polynomials and Applications to Global Optimization ↗Cesar A. Munoz, Anthony Joseph Narkawicz73 citations
3. Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program ↗Sylvie Boldo, François Clément, Jean-Christophe Filliâtre et al.69 citations
4. ATP and Presentation Service for Mizar Formalizations ↗Josef Urban, Piotr Rudnicki, Geoff Sutcliffe68 citations
5. 6 Years of SMT-COMP ↗Clark Barrett, Morgan Deters, Leonardo de Moura et al.56 citations
6. The Mizar Mathematical Library in OMDoc: Translation and Applications ↗Mihnea Iancu, Michael Kohlhase, Florian Rabe et al.48 citations
7. On Rewriting Rules in Mizar ↗Artur Korniłowicz38 citations
8. Methods of Lemma Extraction in Natural Deduction Proofs ↗Karol Pąk31 citations
9. Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models ↗Mauro Ferrari, Camillo Fiorentini, Guido Fiorino28 citations
10. Formal Mathematics for Mathematicians ↗Andrzej Trybulec, Artur Korniłowicz, Adam Naumowicz et al.22 citations
11. Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets ↗Eugenio Giovanni Omodeo, Alexandru Ioan Tomescu21 citations
12. Proof Pearl—A Mechanized Proof of GHC’s Mergesort ↗Christian Sternagel14 citations
13. Uncurrying for Termination and Complexity ↗Nao Hirokawa, Aart Middeldorp, Harald Zankl13 citations
14. Multi-Completion with Termination Tools ↗Sarah Winkler, Haruhiko Sato, Aart Middeldorp et al.11 citations
15. Custom Automations in Mizar ↗Marco B. Caminati, Giuseppe Rosolini9 citations
16. Specification and Verification of Concurrent Programs Through Refinements ↗Sandip Ray, Rob Sumners8 citations
17. A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities ↗Serenella Cerrito, Marta Cialdea Mayer5 citations
18. Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions ↗James P. Bridge, Lawrence Charles Paulson5 citations
19. Preface ↗Benjamin C. Pierce, Stephanie Weirich4 citations
20. Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar ↗Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama3 citations
21. Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints ↗Carles Creus, Adrià Gascón, Guillem Godoy2 citations
22. “Handbook of Practical Logic and Automated Reasoning,” by John R. Harrison, Cambridge University Press, 2009 ↗Freek Wiedijk2 citations
23. A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions ↗David Sabel, Manfred Schmidt-Schauß1 citation
24. Eliciting Implicit Assumptions of Mizar Proofs by Property Omission ↗Jesse Alama1 citation
25. On the Formalization of Theories ↗Jan Mycielski1 citation
26. Non-Linear Rewrite Closure and Weak Normalization ↗Carles Creus, Guillem Godoy, Francesc Massanes et al.
27. SMELS: Satisfiability Modulo Equality with Lazy Superposition ↗Christopher Lynch, Quang-Trung Ta, Duc-Khanh Tran
28. The GOEDEL Program ↗Johan G. F. Belinfante

↑ back to top

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