A Proof of Menger's Theorem C.T.I. Technical Report TR 92.01.1

ανά Δενδρής, Νίκος, Θηλυκός, Δημήτρης, Καλαφάτης, Ιωάννης, Κυρούσης, Λευτέρης Μ.
Έκδοση 1992

A purely asynchronous, message-efficient distributed algorithm for achieving arc consistency in networks of relations [Technical Report] CTI TR 95.5.21

ανά Κυρούσης, Λευτέρης Μ., Σταματίου, Ι.
Έκδοση 1995

A Survey of Concurrent Readers and Writers [C.T.I. Technical Reports] TR. 89.10.97

ανά Κρανάκης, Ευάγγελος, Κυρούσης, Λευτέρης Μ.
Έκδοση 1989

An Atomicity Criterion for Composite Registers C.T.I. Technical Report TR 91.02.05

ανά Βενέρης, Ανδρέας, Κυρούσης, Λευτέρης Μ., Τσίγκας, Φίλιππας
Έκδοση 1991

An Efficient Parallel Algorithm for Geometrically Characterising Drawings of a Class of 3-D Objects C.T.I. Technical Report TR 92.11.20

ανά Δενδρής, Νίκος, Καλαφάτης, Ιωάννης, Κυρούσης, Λευτέρης Μ.
Έκδοση 1992

An inequality for reducible, increasing properties of randomly generated words* [C.T.I. Technical Reports] TR. 96.10.34

ανά Κυρούσης, Λευτέρης Μ., Σταματίου, Ι.
Έκδοση 1996

Arc-Consistency is Hard to Approximate in Parallel C.T.I. Technical Report TR 94.09.48

ανά Δενδρής, Νίκος, Θηλυκός, Δημήτρης, Κυρούσης, Λευτέρης Μ.
Έκδοση 1994

Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations C.T.I. Technical Report TR 93.01.2

ανά Βενέρης, Ανδρέας, Κυρούσης, Λευτέρης Μ.
Έκδοση 1993

Fugitive-Search Games on Graphs and Related Parameters C.T.I. Technical Report TR 94.02.11

ανά Δενδρής, Νίκος, Θηλυκός, Δημήτρης, Κυρούσης, Λευτέρης Μ.
Έκδοση 1994

HA ISufficient Condition for Fast Parallel Solution of the Constraint Satisfaction Problem C.T.I. Technical Report TR 91.12.29

ανά Κυρούσης, Λευτέρης Μ.
Έκδοση 1991

Labelling Images of the Pottery World C.T.I. Technical Report TR 91.11.26

ανά Δενδρής, Νίκος, Καλαφάτης, Ιωάννης, Κυρούσης, Λευτέρης Μ.
Έκδοση 1991

Linear-time parallel arc consistency with reduced communication requirements [Technical Report] CTI TR 95.5.22

ανά Δενδρής, Νίκος, Κυρούσης, Λευτέρης Μ.
Έκδοση 1995

Lower Bounds and Efficient Algorithms for Multiprocessor Scheduling of Dags With Communication Delays. [C.T.I. Technical Reports] TR 88.09.63

ανά Jung, Hermann, Κυρούσης, Λευτέρης Μ., Σπυράκης, Παύλος Γ.
Έκδοση 1988

Partiality and Approximation Schemes for Local Consistency in Networks of Constraints [Technical Report] CTI TR 95.5.23

ανά Δενδρής, Νίκος, Θηλυκός, Δημήτρης, Κυρούσης, Λευτέρης Μ., Σταματίου, Ι.
Έκδοση 1995

Probabilistic log-space reductions and problems probabilistically hard for P. [C.T.I. Technical Reports] TR 88.01.39

ανά Κυρούσης, Λευτέρης Μ., Σπυράκης, Παύλος Γ.
Έκδοση 1988

Pythia and Tyche:an Eternal Golden Braid [C.T.I. Technical Reports] TR 88.01.43

ανά Κυρούσης, Λευτέρης Μ., Σπυράκης, Παύλος Γ.
Έκδοση 1988

Reading Many Variables in One Atomic Operation Solutions With Linear Complexity C.T.I. Technical Report TR. 90.11.30

ανά Κυρούσης, Λευτέρης Μ., Σπυράκης, Παύλος Γ., Τσίγκας, Φίλιππας
Έκδοση 1990

Simple Atomic Snapshots Linear Complexity Solutions With Unbounded Time-Stamps C.T.I. Technical Report TR. 90.11.31

ανά Κυρούσης, Λευτέρης Μ., Σπυράκης, Παύλος Γ., Τσίγκας, Φίλιππας
Έκδοση 1990

Testing Whether a Graph has a Nontrivial 3-Connected Subgraph is P-Complete Under NC1 Reductions CTI Technical Report TR 76.2.89 [89.2.76]

ανά Serna, Maria, 1959-, Κυρούσης, Λευτέρης Μ., Σπυράκης, Παύλος Γ.
Έκδοση 1989

The Complexity of the Reliable Connectivity Problem C.T.I. Technical Report TR 90.01.01

ανά Καβαδίας, Δημήτρης, Κυρούσης, Λευτέρης Μ., Σπυράκης, Παύλος Γ.
Έκδοση 1991