Rance Cleaveland

Identifiers

• name variant Rance Cleaveland 0.60 · backfill

Papers (4)

1. DisQ: A Model of Distributed Quantum Processors (Extended Version) quant-ph · 2024 · author #3
2. Notions of Centralized and Decentralized Opacity in Linear Systems cs.SY · 2019 · author #2
3. An extensible formal semantics for UML activity diagrams cs.LO · 2016 · author #2
4. The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix) cs.FL · 2014 · author #2

Mentions

• 1903.06869 #2 · arxiv_oai · confidence 0.70 Rance Cleaveland
• 1408.6104 #2 · backfill · confidence 0.70 Rance Cleaveland

Frequent Coauthors

• Bhaskar Ramasubramanian 1 shared papers
• Le Chang 1 shared papers
• Liyi Li 1 shared papers
• Peter Fontana 1 shared papers
• Runzhou Tao 1 shared papers
• Saitej Yavvari 1 shared papers
• Samik Basu 1 shared papers
• Steven I. Marcus 1 shared papers
• Zamira Daw 1 shared papers