Alastair F. Donaldson (Imperial College London)

Identifiers

• name variant Alastair F. Donaldson (Imperial College London) 0.60 · backfill

Papers (2)

1. Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software cs.DC · 2014 · author #1
2. Automatic Verification of Message-Based Device Drivers cs.OS · 2012 · author #5

Mentions

• 1406.3313 #1 · backfill · confidence 0.70 Alastair F. Donaldson (Imperial College London)
• 1211.6185 #5 · backfill · confidence 0.70 Alastair F. Donaldson (Imperial College London)

Frequent Coauthors

• Alexander Legg (NICTA 1 shared papers
• Leonid Ryzhyk (NICTA 1 shared papers
• Peter Chubb (NICTA 1 shared papers
• Sidney Amani (NICTA 1 shared papers
• UNSW) 1 shared papers
• Vasco T. Vasconcelos (University of Lisbon) 1 shared papers
• Yanjin Zhu (NICTA 1 shared papers