default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning, Volume 65

> Home > Journals > Journal of Automated Reasoning

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 65, Number 1, January 2021

- view
  authority control:
- export record
  dblp key:
  - journals/jar/GuanZWLSL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GuanZWLSL21
Yong Guan, Jingzhi Zhang, Guohui Wang, Ximeng Li, Zhiping Shi, Yongdong Li:
Formalization of Euler-Lagrange Equation Set Based on Variational Calculus in HOL Light. 1-29
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SimicMB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SimicMB21
Danijela Simic, Filip Maric, Pierre Boutry:
Formalization of the Poincaré Disc Model of Hyperbolic Geometry. 31-73
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AmbalLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AmbalLS21
Guillaume Ambal, Sergueï Lenglet, Alan Schmitt:
HOπ in Coq. 75-124
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/BeyersdorffBM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BeyersdorffBM21
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan:
Building Strategies into QBF Proofs. 125-154

Volume 65, Number 2, February 2021

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Blanchette21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Blanchette21
Jasmin Blanchette:
Message from the New Editor-in-Chief. 155
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/CattaruzzaASK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CattaruzzaASK21
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening:
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. 157-203
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChanN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChanN21
Hing-Lun Chan, Michael Norrish:
Mechanisation of the AKS Algorithm. 205-256
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GauthierKUKN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GauthierKUKN21
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish:
TacticToe: Learning to Prove with Tactics. 257-286
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/FarberKU21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FarberKU21
Michael Färber, Cezary Kaliszyk, Josef Urban:
Machine Learning Guidance for Connection Tableaux. 287-320
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/PopescuLH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/PopescuLH21
Andrei Popescu, Peter Lammich, Ping Hou:
CoCon: A Conference Management System with Formally Verified Document Confidentiality. 321-356

Volume 65, Number 3, March 2021

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Voigt21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Voigt21
Marco Voigt:
Decidable ∃ ^*∀ ^* First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates. 357-423
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/GhilardiP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GhilardiP21
Silvio Ghilardi, Elena Pagani:
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems. 425-460
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/BeyerDW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BeyerDW21
Dirk Beyer, Matthias Dangl, Philipp Wendler:
Correction to: A Unifying View on SMT-Based Software Verification. 461

Volume 65, Number 4, April 2021

- view
  authority control:
- export record
  dblp key:
  - journals/jar/CristiaR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CristiaR21
Maximiliano Cristiá, Gianfranco Rossi:
Automated Proof of Bell-LaPadula Security Properties. 463-478
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CortierDS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CortierDS21
Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan:
A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties. 479-520
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/ButlerLAG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ButlerLAG21
David Butler, Andreas Lochbihler, David Aspinall, Adrià Gascón:
Formalising $\varSigma$-Protocols and Commitment Schemes Using CryptHOL. 521-567
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HouSTLHD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HouSTLHD21
Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa, Jin Song Dong:
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model. 569-598

Volume 65, Number 5, June 2021

- view
  authority control:
- export record
  dblp key:
  - journals/jar/CernaLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CernaLL21
David M. Cerna, Alexander Leitsch, Anela Lolic:
Schematic Refutations of Formula Schemata. 599-645
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Wernhard21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Wernhard21
Christoph Wernhard:
Craig Interpolation with Clausal First-Order Tableaux. 647-690
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BordgLH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BordgLH21
Anthony Bordg, Hanna Lachnitt, Yijun He:
Certified Quantum Computation in Isabelle/HOL. 691-709

Volume 65, Number 6, August 2021

- view
  authority control:
- export record
  dblp key:
  - journals/jar/PengCZC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/PengCZC21
Xicheng Peng, Qihang Chen, Jingzhong Zhang, Mao Chen:
Automated Discovery of Geometric Theorems Based on Vector Equations. 711-726
- view
  authority control:
- export record
  dblp key:
  - journals/jar/VallatiCMH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/VallatiCMH21
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey, Frank Hutter:
On the Importance of Domain Model Configuration for Automated Planning Engines. 727-773
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SteenB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SteenB21
Alexander Steen, Christoph Benzmüller:
Extensional Higher-Order Paramodulation in Leo-III. 775-807
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CristiaR21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CristiaR21a
Maximiliano Cristiá, Gianfranco Rossi:
Automated Reasoning with Restricted Intensional Sets. 809-890

Volume 65, Number 7, October 2021

Special Issue: Selected Extended Papers of CADE 2019

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Fontaine21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Fontaine21
Pascal Fontaine:
Preface: Special Issue of Selected Extended Papers of CADE 2019. 891-892
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/BentkampBTVW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BentkampBTVW21
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann:
Superposition with Lambdas. 893-940
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/CalvaneseGGMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CalvaneseGGMR21
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Uniform Interpolants and Superposition Calculus. 941-969
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HavlenaHLV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HavlenaHLV21
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Automata Terms in a Lazy WSkS Decision Procedure. 971-999
- view
  authority control:
- export record
  dblp key:
  - journals/jar/NiemetzP0ZBT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/NiemetzP0ZBT21
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli:
Towards Satisfiability Modulo Parametric Bit-vectors. 1001-1025
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/0001T21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/0001T21
Andrei Popescu, Dmitriy Traytel:
Distilling the Requirements of Gödel's Incompleteness Theorems with a Proof Assistant. 1027-1070
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/TrentinS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/TrentinS21
Patrick Trentin, Roberto Sebastiani:
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers. 1071-1096

Volume 65, Number 8, December 2021

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/ClaessenL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ClaessenL21
Koen Claessen, Ann Lillieström:
Handling Transitive Relations in First-Order Automated Reasoning. 1097-1124
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CristiaR21b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CristiaR21b
Maximiliano Cristiá, Gianfranco Rossi:
An Automatically Verified Prototype of the Tokeneer ID Station Specification. 1125-1151
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SiegD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SiegD21
Wilfried Sieg, Farzaneh Derakhshan:
Human-Centered Automated Proof Search. 1153-1190
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Lucas21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Lucas21
Salvador Lucas:
Derivational Complexity and Context-Sensitive Rewriting. 1191-1229
- view
  authority control:
- export record
  dblp key:
  - journals/jar/LimaGAA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LimaGAA21
Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón:
Formalization of Ring Theory in PVS. 1231-1263
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KohlhaseR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KohlhaseR21
Michael Kohlhase, Florian Rabe:
Experiences from Exporting Major Proof Assistant Libraries. 1265-1298

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.