Research output per year
Research output per year
Search results
-
2021
Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs
Attiya, H., Enea, C. & Welch, J. L., 2021Technion - Israel Institute of Technology
Research output: Other contribution
-
2018
Nesting-Safe Recoverable Linearizability: Modular Constructions for Non-Volatile Memory
Attiya, H., Ben-Baruch, O. & Hendler, D., 2018Technion - Israel Institute of Technology
Research output: Other contribution › peer-review
-
Separating Lock-Freedom from Wait-Freedom
Attiya, H., Castaneda, A., Hendler, D. & Perrin, M., 2018Technion - Israel Institute of Technology
Research output: Other contribution › peer-review
-
2016
Specification and Complexity of Collaborative Text Editing
Attiya, H., Burckhardt, S., Gotsman, A., Morrison, A., Yang, H. & Zawirski, M., 2016Technion - Israel Institute of Technology
Research output: Other contribution › peer-review