UNSW)
Identifiers
- name variant UNSW) 0.60 · backfill
Papers (7)
- Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned cs.SE · 2016 · author #3
- The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results cs.LO · 2016 · author #10
- Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System cs.LO · 2015 · author #2
- Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency cs.AI · 2013 · author #7
- Automatic Verification of Message-Based Device Drivers cs.OS · 2012 · author #2
- Proceedings Seventh Conference on Systems Software Verification cs.SE · 2012 · author #3
- A search for high redshift molecular absorption lines toward millimetre-loud, optically faint quasars astro-ph · 2003 · author #2
Mentions
- 1511.04170 #2 · backfill · confidence 0.70 UNSW)
- 1303.0787 #7 · backfill · confidence 0.70 UNSW)
- 1211.6185 #2 · backfill · confidence 0.70 UNSW)
- 1211.5873 #3 · backfill · confidence 0.70 UNSW)
Frequent Coauthors
- Leonid Ryzhyk (Samsung Research America) 2 shared papers
- Adam Walker (Independent Researcher) 1 shared papers
- Adam Walker (NICTA 1 shared papers
- Alastair F. Donaldson (Imperial College London) 1 shared papers
- Alexander Legg (Data 61 1 shared papers
- Alexander Legg (NICTA 1 shared papers
- Andrea Loreggia (University of Padova) 1 shared papers
- Ayrat Khalimov (Graz University of Technology) 1 shared papers
- Bastian Schlich (ABB) 1 shared papers
- Carroll Morgan (NICTA 1 shared papers
- Corey Lewis (NICTA) 1 shared papers
- CSIRO (formerly NICTA) 1 shared papers
- Felix Klein (Saarland University) 1 shared papers
- Francesca Rossi (University of Padova) 1 shared papers
- Franck Cassez (NICTA) 1 shared papers
- Gerwin Klein (NICTA 1 shared papers
- Guillermo A. P\'erez (Universit\'e Libre de Bruxelles) 1 shared papers
- IHMC) 1 shared papers
- IRISA) 1 shared papers
- Jean-Fran\c{c}ois Raskin (Universit\'e Libre de Bruxelles) 1 shared papers