Search dblp for Publications

export results for "toc:db/journals/jar/jar56.bht:"

 download as .bib file

@article{DBLP:journals/jar/Arthan16,
  author       = {Rob Arthan},
  title        = {On Definitions of Constants and Types in {HOL}},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {3},
  pages        = {205--219},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-016-9366-4},
  doi          = {10.1007/S10817-016-9366-4},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Arthan16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/AvigadLR16,
  author       = {Jeremy Avigad and
                  Robert Y. Lewis and
                  Cody Roux},
  title        = {A Heuristic Prover for Real Inequalities},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {3},
  pages        = {367--386},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9356-y},
  doi          = {10.1007/S10817-015-9356-Y},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AvigadLR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BaumgartnerBW16,
  author       = {Peter Baumgartner and
                  Wolfgang Bibel and
                  Richard Waldinger},
  title        = {In Memory of Mark Stickel},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {2},
  pages        = {95--98},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9347-z},
  doi          = {10.1007/S10817-015-9347-Z},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BaumgartnerBW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BengtsonPW16,
  author       = {Jesper Bengtson and
                  Joachim Parrow and
                  Tjark Weber},
  title        = {Psi-Calculi in Isabelle},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {1},
  pages        = {1--47},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9336-2},
  doi          = {10.1007/S10817-015-9336-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BengtsonPW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BlanchetteBFSS16,
  author       = {Jasmin Christian Blanchette and
                  Sascha B{\"{o}}hme and
                  Mathias Fleury and
                  Steffen Juilf Smolka and
                  Albert Steckermeier},
  title        = {Semi-intelligible Isar Proofs from Machine-Generated Proofs},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {2},
  pages        = {155--200},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9335-3},
  doi          = {10.1007/S10817-015-9335-3},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BlanchetteBFSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BlazyLP16,
  author       = {Sandrine Blazy and
                  Vincent Laporte and
                  David Pichardie},
  title        = {Verified Abstract Interpretation Techniques for Disassembling Low-level
                  Self-modifying Code},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {3},
  pages        = {283--308},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9359-8},
  doi          = {10.1007/S10817-015-9359-8},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BlazyLP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BonacinaP16,
  author       = {Maria Paola Bonacina and
                  David A. Plaisted},
  title        = {Semantically-Guided Goal-Sensitive Reasoning: Model Representation},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {2},
  pages        = {113--141},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9334-4},
  doi          = {10.1007/S10817-015-9334-4},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BonacinaP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BourkeGH16,
  author       = {Timothy Bourke and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {Mechanizing a Process Algebra for Network Protocols},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {3},
  pages        = {309--341},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9358-9},
  doi          = {10.1007/S10817-015-9358-9},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BourkeGH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/DoczkalS16,
  author       = {Christian Doczkal and
                  Gert Smolka},
  title        = {Completeness and Decidability Results for {CTL} in Constructive Type
                  Theory},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {3},
  pages        = {343--365},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-016-9361-9},
  doi          = {10.1007/S10817-016-9361-9},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/DoczkalS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/DrossCKP16,
  author       = {Claire Dross and
                  Sylvain Conchon and
                  Johannes Kanig and
                  Andrei Paskevich},
  title        = {Adding Decision Procedures to {SMT} Solvers Using Axioms with Triggers},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {4},
  pages        = {387--457},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9352-2},
  doi          = {10.1007/S10817-015-9352-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/DrossCKP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/GagneLLS16,
  author       = {Martin Gagn{\'{e}} and
                  Pascal Lafourcade and
                  Yassine Lakhnech and
                  Reihaneh Safavi{-}Naini},
  title        = {Automated Proofs of Block Cipher Modes of Operation},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {1},
  pages        = {49--94},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9341-5},
  doi          = {10.1007/S10817-015-9341-5},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/GagneLLS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KleinG16,
  author       = {Gerwin Klein and
                  Ruben Gamboa},
  title        = {Interactive Theorem Proving - Preface of the Special Issue},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {3},
  pages        = {201--203},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-016-9363-7},
  doi          = {10.1007/S10817-016-9363-7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KleinG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KumarAMO16,
  author       = {Ramana Kumar and
                  Rob Arthan and
                  Magnus O. Myreen and
                  Scott Owens},
  title        = {Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and
                  a Verified Implementation},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {3},
  pages        = {221--259},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9357-x},
  doi          = {10.1007/S10817-015-9357-X},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KumarAMO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Loveland16,
  author       = {Donald W. Loveland},
  title        = {Mark Stickel: His Earliest Work},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {2},
  pages        = {99--112},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9342-4},
  doi          = {10.1007/S10817-015-9342-4},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Loveland16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/MatichukMW16,
  author       = {Daniel Matichuk and
                  Toby C. Murray and
                  Makarius Wenzel},
  title        = {Eisbach: {A} Proof Method Language for Isabelle},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {3},
  pages        = {261--282},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9360-2},
  doi          = {10.1007/S10817-015-9360-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/MatichukMW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/SlivovskyS16,
  author       = {Friedrich Slivovsky and
                  Stefan Szeider},
  title        = {Quantifier Reordering for {QBF}},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {4},
  pages        = {459--477},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9353-1},
  doi          = {10.1007/S10817-015-9353-1},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/SlivovskyS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Zhang16,
  author       = {Hantao Zhang},
  title        = {An Experiment with Satisfiability Modulo {SAT}},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {2},
  pages        = {143--154},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9354-0},
  doi          = {10.1007/S10817-015-9354-0},
  timestamp    = {Tue, 17 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/Zhang16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.