default search action
Search dblp for Publications
export results for "toc:db/journals/jar/jar46.bht:"
@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 = {Sun, 04 Aug 2024 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 = {Sun, 06 Oct 2024 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} }
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.