Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/AlbertAGP11,
  author       = {Elvira Albert and
                  Puri Arenas and
                  Samir Genaim and
                  Germ{\'{a}}n Puebla},
  title        = {Closed-Form Upper Bounds in Static Cost Analysis},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {2},
  pages        = {161--203},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10817-010-9174-1},
  doi          = {10.1007/S10817-010-9174-1},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/AlbertAGP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ArecesG11,
  author       = {Carlos Areces and
                  Daniel Gor{\'{\i}}n},
  title        = {Resolution with Order and Selection for Hybrid Logics},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {1},
  pages        = {1--42},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10817-010-9167-0},
  doi          = {10.1007/S10817-010-9167-0},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ArecesG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ArsacBCC11,
  author       = {Wihem Arsac and
                  Giampaolo Bella and
                  Xavier Chantry and
                  Luca Compagna},
  title        = {Multi-Attacker Protocol Validation},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {3-4},
  pages        = {353--388},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10817-010-9185-y},
  doi          = {10.1007/S10817-010-9185-Y},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ArsacBCC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BauerEHV11,
  author       = {Lujo Bauer and
                  Sandro Etalle and
                  Jerry den Hartog and
                  Luca Vigan{\`{o}}},
  title        = {Preface of Special Issue on "Computer Security: Foundations and Automated
                  Reasoning"},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {3-4},
  pages        = {223--224},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10817-010-9184-z},
  doi          = {10.1007/S10817-010-9184-Z},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BauerEHV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CortierKW11,
  author       = {V{\'{e}}ronique Cortier and
                  Steve Kremer and
                  Bogdan Warinschi},
  title        = {A Survey of Symbolic Methods in Computational Analysis of Cryptographic
                  Systems},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {3-4},
  pages        = {225--259},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10817-010-9187-9},
  doi          = {10.1007/S10817-010-9187-9},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CortierKW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CourantDELL11,
  author       = {Judica{\"{e}}l Courant and
                  Marion Daubignard and
                  Cristian Ene and
                  Pascal Lafourcade and
                  Yassine Lakhnech},
  title        = {Automated Proofs for Asymmetric Encryption},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {3-4},
  pages        = {261--291},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10817-010-9186-x},
  doi          = {10.1007/S10817-010-9186-X},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CourantDELL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/HernandoRL11,
  author       = {Antonio Hernando and
                  Eugenio Roanes{-}Lozano and
                  Luis M. Laita},
  title        = {A Polynomial Model for Logics with a Prime Power Number of Truth Values},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {2},
  pages        = {205--221},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10817-010-9191-0},
  doi          = {10.1007/S10817-010-9191-0},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/HernandoRL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KanovichRS11,
  author       = {Max I. Kanovich and
                  Paul D. Rowe and
                  Andre Scedrov},
  title        = {Collaborative Planning with Confidentiality},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {3-4},
  pages        = {389--421},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10817-010-9190-1},
  doi          = {10.1007/S10817-010-9190-1},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KanovichRS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KlarmanES11,
  author       = {Szymon Klarman and
                  Ulle Endriss and
                  Stefan Schlobach},
  title        = {ABox Abduction in the Description Logic \emph{ALC}},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {1},
  pages        = {43--80},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10817-010-9168-z},
  doi          = {10.1007/S10817-010-9168-Z},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KlarmanES11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KustersT11,
  author       = {Ralf K{\"{u}}sters and
                  Tomasz Truderung},
  title        = {Reducing Protocol Analysis with {XOR} to the XOR-Free Case in the
                  Horn Theory Based Approach},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {3-4},
  pages        = {325--352},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10817-010-9188-8},
  doi          = {10.1007/S10817-010-9188-8},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KustersT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/LarrosaNOR11,
  author       = {Javier Larrosa and
                  Robert Nieuwenhuis and
                  Albert Oliveras and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {A Framework for Certified Boolean Branch-and-Bound Optimization},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {1},
  pages        = {81--102},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10817-010-9176-z},
  doi          = {10.1007/S10817-010-9176-Z},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/LarrosaNOR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/MartinhoR11,
  author       = {Joana Martinho and
                  Ant{\'{o}}nio Ravara},
  title        = {Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {3-4},
  pages        = {293--323},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10817-010-9189-7},
  doi          = {10.1007/S10817-010-9189-7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/MartinhoR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/MengshoelRW11,
  author       = {Ole J. Mengshoel and
                  Dan Roth and
                  David C. Wilkins},
  title        = {Portfolios in Stochastic Local Search: Efficiently Computing Most
                  Probable Explanations in Bayesian Networks},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {2},
  pages        = {103--160},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10817-010-9170-5},
  doi          = {10.1007/S10817-010-9170-5},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/MengshoelRW11.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.