Journal of Automated Reasoning, Volume 46

Volume 46, Number 1, January 2011

• Carlos Areces, Daniel Gorín:
  Resolution with Order and Selection for Hybrid Logics. 1-42
  
• Szymon Klarman, Ulle Endriss, Stefan Schlobach:
  ABox Abduction in the Description Logic ALC. 43-80
  
• 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

• Ole J. Mengshoel, Dan Roth, David C. Wilkins:
  Portfolios in Stochastic Local Search: Efficiently Computing Most Probable Explanations in Bayesian Networks. 103-160
  
• Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
  Closed-Form Upper Bounds in Static Cost Analysis. 161-203
  
• 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

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

Last update Sat May 18 20:39:06 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page