Marina Gelastou

According to our database, Marina Gelastou authored at least 2 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

On the Application of Formal Methods for Specifying and Verifying Distributed Protocols.

Marina Gelastou, Chryssis Georgiou, Anna Philippou

Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

2006

The Power of the Defender.

Marina Gelastou, Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis

Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006