Omar I. Al-Bataineh

Identifiers

• name variant Omar I. Al-Bataineh 0.60 · backfill

Papers (2)

1. Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology cs.SE · 2012 · author #1
2. Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols cs.LO · 2010 · author #1

Mentions

• 1201.3416 #1 · backfill · confidence 0.70 Omar I. Al-Bataineh
• 1010.2287 #1 · backfill · confidence 0.70 Omar I. Al-Bataineh

Frequent Coauthors

• Mark Reynolds 1 shared papers
• Ron van der Meyden 1 shared papers