default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning, Volume 46

> 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 46, Number 1, January 2011

- view
  authority control:
- export record
  dblp key:
  - journals/jar/ArecesG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ArecesG11
Carlos Areces, Daniel Gorín:
Resolution with Order and Selection for Hybrid Logics. 1-42
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KlarmanES11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KlarmanES11
Szymon Klarman, Ulle Endriss, Stefan Schlobach:
ABox Abduction in the Description Logic ALC. 43-80
- view
  authority control:
- export record
  dblp key:
  - journals/jar/LarrosaNOR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LarrosaNOR11
Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
A Framework for Certified Boolean Branch-and-Bound Optimization. 81-102

Volume 46, Number 2, February 2011

- view
  authority control:
- export record
  dblp key:
  - journals/jar/MengshoelRW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MengshoelRW11
Ole J. Mengshoel, Dan Roth, David C. Wilkins:
Portfolios in Stochastic Local Search: Efficiently Computing Most Probable Explanations in Bayesian Networks. 103-160
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AlbertAGP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AlbertAGP11
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Closed-Form Upper Bounds in Static Cost Analysis. 161-203
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HernandoRL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HernandoRL11
Antonio Hernando, Eugenio Roanes-Lozano, Luis M. Laita:
A Polynomial Model for Logics with a Prime Power Number of Truth Values. 205-221

Volume 46, Numbers 3-4, April 2011

Special Issue: Computer Security: Foundations and Automated Reasoning

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BauerEHV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BauerEHV11
Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò:
Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning". 223-224
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CortierKW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CortierKW11
Véronique Cortier, Steve Kremer, Bogdan Warinschi:
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems. 225-259
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CourantDELL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CourantDELL11
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech:
Automated Proofs for Asymmetric Encryption. 261-291
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MartinhoR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MartinhoR11
Joana Martinho, António Ravara:
Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation. 293-323
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KustersT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KustersT11
Ralf Küsters, Tomasz Truderung:
Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach. 325-352
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ArsacBCC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ArsacBCC11
Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna:
Multi-Attacker Protocol Validation. 353-388
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KanovichRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KanovichRS11
Max I. Kanovich, Paul D. Rowe, Andre Scedrov:
Collaborative Planning with Confidentiality. 389-421

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.