|
|||||||||
|
|
|
|
 |
|
 |
||
 |
Jason Hickey
Selected Publications “Building Reliable, High-Performance Communications Systems from Components,” X. Liu C. Kreitz, R. van Renesse, J. Hickey, M. Hayden, R. Constable, and K. Birman, Published as “Operating Systems Review” in the 17th ACM Symposium on Operating Systems Principles, Vol. 34(5), pp. 80–92, 1999. “The Horus and Ensemble Projects: Accomplishments and Limitations,” K. Birman, R. Constable, M. Hayden, J. Hickey, C. Kreitz, R. van Renesse, O. Rodeh, and W. Vogels, DARPA Information Survivability Conference, Hilton Head, SC, IEEE Computer Society, pp. 149–161, 2000. “Nuprl Class Theory and ITS Applications Foundations of Secure Computation,” R. Constable and J. Hickey, NATO ASI Series, Series F: Computer and System Sciences, edited by F. L. Bauer and R. Steinbrueggen, IOS Press, pp. 91–116, 2001. “Specifications and Proofs for Ensemble Layers,” J. Hickey, N. Lynch, and R. van Renesse, Tools and Algorithms for the Construction and Analysis of Systems, Springer, pp. 119–133, 1999. “Fault-Tolerant Distributed Theorem Proving,” J. Hickey, 16th International Conference on Automated Deduction, Springer, pp. 227–231, Trento, Italy, July 1999. |
|||||||
|
