Annabelle McIver (Macquarie University)

Identifiers

• name variant Annabelle McIver (Macquarie University) 0.60 · backfill

Papers (1)

1. Probabilistic Concurrent Kleene Algebra cs.LO · 2013 · author #1

Mentions

• 1306.2697 #1 · backfill · confidence 0.70 Annabelle McIver (Macquarie University)

Frequent Coauthors

• Georg Struth (University of Sheffield) 1 shared papers
• Tahiry Rabehaja (Macquarie University 1 shared papers
• University of Sheffield) 1 shared papers