default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 42

> 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 42, Number 1, January 2009

- view
  authority control:
- export record
  dblp key:
  - journals/jar/HasanT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HasanT09
Osman Hasan, Sofiène Tahar:
Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL. 1-33
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Johnson09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Johnson09
C. A. Johnson:
Computing Only Minimal Answers in Disjunctive Deductive Databases. 35-76
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SamerS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SamerS09
Marko Samer, Stefan Szeider:
Backdoor Sets of Quantified Boolean Formulas. 77-97
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Bjork09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Bjork09
Magnus Björk:
First Order Stålmarck. 99-122

Volume 42, Numbers 2-4, April 2009

Operating System Verification

- view
  authority control:
- export record
  dblp key:
  - journals/jar/KleinHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KleinHS09
Gerwin Klein, Ralf Huuck, Bastian Schlich:
Operating System Verification. 123-124
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Tuch09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Tuch09
Harvey Tuch:
Formal Verification of C Systems Code. 125-187
- view
  authority control:
- export record
  dblp key:
  - journals/jar/TewsVW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/TewsVW09
Hendrik Tews, Marcus Völp, Tjark Weber:
Formal Memory Models for the Verification of Low-Level Operating-System Code. 189-227
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GallardoMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GallardoMS09
María-del-Mar Gallardo, Pedro Merino, David Sanán:
Model Checking Dynamic Memory Allocation in Operating Systems. 229-264
- view
  authority control:
- export record
  dblp key:
  - journals/jar/TliliD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/TliliD09
Syrine Tlili, Mourad Debbabi:
Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code. 265-300
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FengSGD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FengSGD09
Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong:
Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. 301-347
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DaumDW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DaumDW09
Matthias Daum, Jan Dörrenbächer, Burkhart Wolff:
Proving Fairness and Implementation Correctness of a Microkernel Scheduler. 349-388
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AlkassarHLSST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AlkassarHLSST09
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban:
Balancing the Load. 389-454

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.