Short Vertex Disjoint Paths and Multiconnectivity in Random Graphs: Reliable Network Computing. C.T.I. [Technical Report] TR. 93.11.41

by Palem, K., Yung, M., Νικολετσέας, Σωτήρης Ε., Σπυράκης, Παύλος Γ.
Published 1993

Compining Tentative and Definite Executions for Very Fast Dependable Parallel Computing. [C.T.I. Technical Report] TR. 90.12.35

by Kedem, Z.M, Palem, K.V, Raghunathan, A., Σπυράκης, Παύλος Γ.
Published 1990