Clare Dixon

Identifiers

• name variant Clare Dixon 0.60 · backfill

Papers (4)

1. Multi-Scale Verification of Distributed Synchronisation cs.LO · 2018 · author #3
2. The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators cs.DC · 2017 · author #3
3. Clausal Resolution for Modal Logics of Confluence cs.LO · 2014 · author #3
4. 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