James R. Wilcox
University of Washington(US)Seattle University(US)
Publications by Year
Research Areas
Distributed systems and fault tolerance, Formal Methods in Verification, Security and Verification in Computing, Parallel Computing and Optimization Techniques, Logic, programming, and type systems
Most-Cited Works
- → Information-centric networking(2011)321 cited
- → Verdi: a framework for implementing and formally verifying distributed systems(2015)260 cited
- → Automatically improving accuracy for floating point expressions(2015)160 cited
- → Planning for change in a formal verification of the raft consensus protocol(2016)125 cited
- → Programming and proving with distributed protocols(2017)101 cited
- → Intelligent design enables architectural evolution(2011)65 cited
- → Modularity for decidability of deductive verification with applications to distributed systems(2018)49 cited