Journal of Automated Reasoning (JAR), Volume 36

Volume 36, Numbers 1-2, January 2006

• Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò:
  Automated Reasoning for Security Protocol Analysis. 1-3
  
• Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson:
  Verifying the SET Purchase Protocols. 5-37
  
• Rohit Chadha, Steve Kremer, Andre Scedrov:
  Formal Analysis of Multiparty Contract Signing. 39-83
  
• Stéphanie Delaune, Florent Jacquemard:
  Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks. 85-124
  
• Hans Hüttel, Jirí Srba:
  Decidability Issues for Extended Ping-Pong Protocols. 125-147
  
• Graham Steel, Alan Bundy:
  Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. 149-176
  

Volume 36, Number 3, April 2006

• Gilles Audemard, Belaid Benhamou, Laurent Henocque:
  Predicting and Detecting Symmetries in FOL Finite Model Search. 177-212
  
• Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard:
  Deciding Boolean Algebra with Presburger Arithmetic. 213-239
  
• Nick C. Fiala, Keith M. Agre:
  Searching for Shortest Single Axioms for Groups of Exponent 6. 241-257
  
• Carlos Simpson:
  Explaining Gabriel-Zisman Localization to the Computer. 259-285
  

Volume 36, Number 4, April 2006

• Bernd Fischer, Geoff Sutcliffe, Stephan Schulz:
  Empirically Successful Automated Reasoning: Systems Issue. 287
  
• Bernd Löchner:
  Things to Know when Implementing KBO. 289-310
  
• Michael Beeson:
  Mathematical Induction in Otter-Lambda. 311-344
  
• Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
  Answer Set Programming Based on Propositional Satisfiability. 345-377
  
• Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes:
  An Integrated Approach to High Integrity Software Verification. 379-410
  

Last update Tue Feb 14 04:20:00 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page