Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/AnantharamanLLNR12,
  author       = {Siva Anantharaman and
                  Hai Lin and
                  Christopher Lynch and
                  Paliath Narendran and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Unification Modulo Homomorphic Encryption},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {2},
  pages        = {135--158},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9205-y},
  doi          = {10.1007/S10817-010-9205-Y},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AnantharamanLLNR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BenhamouPS12,
  author       = {Belaid Benhamou and
                  Lionel Paris and
                  Pierre Siegel},
  title        = {Dealing with Satisfiability and n-ary CSPs in a Logical Framework},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {3},
  pages        = {391--417},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9204-z},
  doi          = {10.1007/S10817-010-9204-Z},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BenhamouPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BorrallerasLORR12,
  author       = {Cristina Borralleras and
                  Salvador Lucas and
                  Albert Oliveras and
                  Enric Rodr{\'{\i}}guez{-}Carbonell and
                  Albert Rubio},
  title        = {{SAT} Modulo Linear Arithmetic for Solving Polynomial Constraints},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {1},
  pages        = {107--131},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9196-8},
  doi          = {10.1007/S10817-010-9196-8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/BorrallerasLORR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ChevalierR12,
  author       = {Yannick Chevalier and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Decidability of Equivalence of Symbolic Derivations},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {2},
  pages        = {263--292},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9199-5},
  doi          = {10.1007/S10817-010-9199-5},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ChevalierR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CiobacaDK12,
  author       = {{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and
                  St{\'{e}}phanie Delaune and
                  Steve Kremer},
  title        = {Computing Knowledge in Security Protocols Under Convergent Equational
                  Theories},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {2},
  pages        = {219--262},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9197-7},
  doi          = {10.1007/S10817-010-9197-7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CiobacaDK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Comon-LundhM12,
  author       = {Hubert Comon{-}Lundh and
                  Catherine Meadows},
  title        = {Special Issue on Security and Rewriting Foreword},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {2},
  pages        = {133--134},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-011-9242-1},
  doi          = {10.1007/S10817-011-9242-1},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Comon-LundhM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CortierD12,
  author       = {V{\'{e}}ronique Cortier and
                  St{\'{e}}phanie Delaune},
  title        = {Decidability and Combination Results for Two Notions of Knowledge
                  in Security Protocols},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {4},
  pages        = {441--487},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9208-8},
  doi          = {10.1007/S10817-010-9208-8},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CortierD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/EchenimP12,
  author       = {Mnacho Echenim and
                  Nicolas Peltier},
  title        = {An Instantiation Scheme for Satisfiability Modulo Theories},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {3},
  pages        = {293--362},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9200-3},
  doi          = {10.1007/S10817-010-9200-3},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/EchenimP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/FeltyM12,
  author       = {Amy P. Felty and
                  Alberto Momigliano},
  title        = {Hybrid - {A} Definitional Two-Level Approach to Reasoning with Higher-Order
                  Abstract Syntax},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {1},
  pages        = {43--105},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9194-x},
  doi          = {10.1007/S10817-010-9194-X},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/FeltyM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Guttman12,
  author       = {Joshua D. Guttman},
  title        = {State and Progress in Strand Spaces: Proving Fair Exchange},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {2},
  pages        = {159--195},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9202-1},
  doi          = {10.1007/S10817-010-9202-1},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Guttman12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/JanicicNQ12,
  author       = {Predrag Janicic and
                  Julien Narboux and
                  Pedro Quaresma},
  title        = {The Area Method - {A} Recapitulation},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {4},
  pages        = {489--532},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9209-7},
  doi          = {10.1007/S10817-010-9209-7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/JanicicNQ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KremerMT12,
  author       = {Steve Kremer and
                  Antoine Mercier and
                  Ralf Treinen},
  title        = {Reducing Equational Theories for the Decision of Static Equivalence},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {2},
  pages        = {197--217},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9203-0},
  doi          = {10.1007/S10817-010-9203-0},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KremerMT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Otop12,
  author       = {Jan Otop},
  title        = {E-unification with Constants vs. General E-unification},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {3},
  pages        = {363--390},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9201-2},
  doi          = {10.1007/S10817-010-9201-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Otop12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/VerbeekS12,
  author       = {Freek Verbeek and
                  Julien Schmaltz},
  title        = {Proof Pearl: {A} Formal Proof of Dally and Seitz' Necessary and Sufficient
                  Condition for Deadlock-Free Routing in Interconnection Networks},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {4},
  pages        = {419--439},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9206-x},
  doi          = {10.1007/S10817-010-9206-X},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/VerbeekS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ZucchelliN12,
  author       = {Daniele Zucchelli and
                  Enrica Nicolini},
  title        = {A Decidability Result for the Model Checking of Infinite-State Systems},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {1},
  pages        = {1--42},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9192-z},
  doi          = {10.1007/S10817-010-9192-Z},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ZucchelliN12.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.