Clare Dixon
Identifiers
- name variant Clare Dixon 0.60 · backfill
Papers (4)
- Multi-Scale Verification of Distributed Synchronisation cs.LO · 2018 · author #3
- The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators cs.DC · 2017 · author #3
- Clausal Resolution for Modal Logics of Confluence cs.LO · 2014 · author #3
- Efficient First-Order Temporal Logic for Infinite-State Systems cs.LO · 2007 · author #1
Mentions
- 1405.0293 #3 · backfill · confidence 0.70 Clare Dixon
Frequent Coauthors
- Michael Fisher 3 shared papers
- Paul Gainer 2 shared papers
- Sven Linker 2 shared papers
- Ullrich Hustadt 2 shared papers
- Alexei Lisitsa 1 shared papers
- Boris Konev 1 shared papers
- Cl\'audia Nalon 1 shared papers
- Jo\~ao Marcos 1 shared papers