Lower Time and Processor Bounds for Efficient Mapping of Uniform Dependence Algorithms into Systolic Arrays. - Theodore Andronikos; Nectarios Koziris; Zacharias Tsiatsoulis; George K. Papakonstantinou; Panayotis Tsanakas (Parallel Algorithms Appl., 1997)

Specification composition for the verification of message passing program composition. - John Yiannis Cotronis; Zacharias Tsiatsoulis (Microprocess. Microsystems, 1998)

Testing and debugging message passing applications based on the synergy of program and specification executions. - Zacharias Tsiatsoulis; John Yiannis Cotronis; Evangelos Floros (PDP, 1999)

Associating composition of Petri net specifications with application designs in GRADE. - Zacharias Tsiatsoulis; Gábor Dózsa; John Yiannis Cotronis; Péter Kacsuk (PDP, 1999)

Composition of Message Passing Applications On-Demand. - John Yiannis Cotronis; Zacharias Tsiatsoulis; C. Kouniakis (PVM/MPI, 2000)

Testing and Debugging Message Passing Programs in Synergy with their Specifications. - Zacharias Tsiatsoulis; John Yiannis Cotronis (Fundam. Informaticae, 2000)

Modular MPI and PVM Components. - John Yiannis Cotronis; Zacharias Tsiatsoulis (PVM/MPI, 2002)

Μέθοδοι και τεχνικές για την ανάπτυξη παράλληλων και κατανεμημένων εφαρμογών - Zacharias Tsiatsoulis (2005)