Mark Reynolds (The University of Western Australia)

Identifiers

• name variant Mark Reynolds (The University of Western Australia) 0.60 · backfill

Papers (3)

1. A Parallel Linear Temporal Logic Tableau cs.LO · 2017 · author #2
2. Hourglass Automata cs.FL · 2014 · author #3
3. A Faster Tableau for CTL* cs.LO · 2013 · author #1

Mentions

• 1408.5965 #3 · backfill · confidence 0.70 Mark Reynolds (The University of Western Australia)
• 1307.4468 #1 · backfill · confidence 0.70 Mark Reynolds (The University of Western Australia)

Frequent Coauthors

• Harry Smallbone (The University of Western Australia) 1 shared papers
• John C. McCabe-Dansted 1 shared papers
• Tim French (The University of Western Australia) 1 shared papers
• Yuki Osada (The University of Western Australia) 1 shared papers