default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 36

> Home > Journals > Journal of Automated Reasoning (JAR)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 36, Numbers 1-2, January 2006

- view
  authority control:
- export record
  dblp key:
  - journals/jar/ArmandoBCRV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ArmandoBCRV06
Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò:
Automated Reasoning for Security Protocol Analysis. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BellaMP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BellaMP06
Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson:
Verifying the SET Purchase Protocols. 5-37
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChadhaKS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChadhaKS06
Rohit Chadha, Steve Kremer, Andre Scedrov:
Formal Analysis of Multiparty Contract Signing. 39-83
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DelauneJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DelauneJ06
Stéphanie Delaune, Florent Jacquemard:
Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks. 85-124
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HuttelS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HuttelS06
Hans Hüttel, Jirí Srba:
Decidability Issues for Extended Ping-Pong Protocols. 125-147
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SteelB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SteelB06
Graham Steel, Alan Bundy:
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. 149-176

Volume 36, Number 3, April 2006

- view
  authority control:
- export record
  dblp key:
  - journals/jar/AudemardBH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AudemardBH06
Gilles Audemard, Belaid Benhamou, Laurent Henocque:
Predicting and Detecting Symmetries in FOL Finite Model Search. 177-212
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KuncakNR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KuncakNR06
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard:
Deciding Boolean Algebra with Presburger Arithmetic. 213-239
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FialaA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FialaA06
Nick C. Fiala, Keith M. Agre:
Searching for Shortest Single Axioms for Groups of Exponent 6. 241-257
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Simpson06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Simpson06
Carlos Simpson:
Explaining Gabriel-Zisman Localization to the Computer. 259-285

Volume 36, Number 4, April 2006

Empirically Successful Automated Reasoning: Systems Issue

- view
  authority control:
- export record
  dblp key:
  - journals/jar/FischerSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FischerSS06
Bernd Fischer, Geoff Sutcliffe, Stephan Schulz:
Empirically Successful Automated Reasoning: Systems Issue. 287
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Lochner06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Lochner06
Bernd Löchner:
Things to Know when Implementing KBO. 289-310
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Beeson06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Beeson06
Michael Beeson:
Mathematical Induction in Otter-Lambda. 311-344
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GiunchigliaLM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GiunchigliaLM06
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
Answer Set Programming Based on Propositional Satisfiability. 345-377
- view
  authority control:
- export record
  dblp key:
  - journals/jar/IrelandECCB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/IrelandECCB06
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes:
An Integrated Approach to High Integrity Software Verification. 379-410

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.