Home People Projects & Funding Publications Links

.

  

2008

 

 

Book Chapters

 

 

(1) M. Mavronicolas, V. Papadopoulou and P. Spirakis, "Algorithmic Game Theory and Applications", in Handbook of Applied Algorithms: Solving Scientific, Engineering, and Practical Problems, A. Nayak and I. Stojmenovic eds., John Wiley and Sons, pp. 287-316, March 2008.

 

Journals

   (Including ones to appear)

 

(1)  D. Fotakis, S. Kontogiannis, E. Koutsoupias, M. Mavronicolas and P. Spirakis, "The Structure and Complexity of Nash Equilibria for a Selfish Routing Game" Theoretical Computer Science, December 2007, accepted.

 

(2)  C. Georgiou, N. Nicolaou, and A. A. Shvartsman, "Fault-Tolerant SemiFast Implementations of Atomic Read/Write Registers", Journal of Parallel and Distributed Computing, Elsevier, June 2008, accepted.

 

(3) M. Mavronicolas, M. Merritt and G. Taubenfeld, "Sequentially Consistent versus Linearizable Counting Networks", Distributed Computing, February 2008, accepted. 

 

(4)  M. Mavronicolas, L. Michael and P. Spirakis, "Computing on a Partially Eponymous Ring", Theoretical Computer Science, Special Issue with selected papers from the 10th International Conference On Principles Of Distributed Systems (OPODIS 2006), (Bordeaux, France, December 2006), A. A. Shvartsman guest ed.,  January 2008, accepted.

 

(5) M. Mavronicolas, P. Panagopoulou and P. Spirakis, "A Cost Mechanism for Fair Pricing of Resource Usage", Algorithmica, Special Issue with selected papers from the First Workshop on Internet and Network Economics (WINE 2005) (Hong Kong, China, December 2005), X. Deng and Y. Ye guest eds., September 2006, accepted.

 

(6) M. Mavronicolas, V. Papadopoulou, A. Philippou and P. Spirakis, "A Network Game with Attackers and a Defender", Algorithmica, Special Issue with selected papers from the 16th Annual International Symposium on Algorithms and Computation (ISAAC 2005) (Hainan, China, December 2005), X. Deng and D. Du guest eds., Vol. 51, No. 3, pp. 315-341, July 2008. 

 

(7) M. Mavronicolas, V. Papadopoulou, A. Philippou and P. Spirakis, "A Graph-Theoretic Network Security Game", International Journal of Autonomous and Adaptive Communications, Special Issue on "Algorithmic Game Theory", R. Kannan and C. Busch, eds., June 2008, accepted.

 

Conference Proceedings

 

    

(1)  R. Feldmann, M. Mavronicolas and A. Pieris, "Facets of the Fully Mixed Nash Equilibrium Conjecture", Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT 2008), B. Monien, U. P. Schroeder eds., pp. 145-157, Vol. 4997, Lecture Notes in Computer Science, Springer-Verlag, Paderborn, Germany, April/May 2008.

 

(2) A. Fernandez, C. Georgiou and M. Mosteiro, "Designing Mechanisms for Reliable Internet-based Computing", Proceedings of the 7th IEEE International Symposium on Network Computing and Applications (NCA 2008), Cambridge, USA, July 2008, to appear.

 

(3)  M. Gelastou, C. Georgiou, and A. Philippou, "On the Application of Formal Methods for Specifying and Verifying Distributed Protocols", Proceedings of the 7th IEEE International Symposium on Network Computing and Applications (NCA 2008), Cambridge, USA, July 2008, to appear.

 

(4)  C. Georgiou, S. Gilbert, D. Kowalski, and R. Guerraoui, "On the Complexity of Asynchronous Gossip", Proceedings of the 27th ACM Symposium on Principles of Distributed Computing (PODC 2008), Toronto, Canada, August 2008, to appear.

 

(5) C. Georgiou, P. Musial, A. A. Shvartsman, and E. Sonderegger, "An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets", Proceedings of the 7th IEEE International Symposium on Network Computing and Applications (NCA 2008), Cambridge, USA, July 2008, to appear.

 

(6)  M. Hadjiona,  C. Georgiou, M. Papa, and V. Vassiliou, "A Hybrid Fault-tolerant Algorithm for MPLS Networks", Proceedings of the 6th International Conference on Wired/Wireless Internet Communications (WWIC 2008), pp. 41-52, Tampere, Finland, May 2008. 

 

(7)  M. Mavronicolas, B. Monien and V. Papadopoulou, F. Schoppmann, "Voronoi Games on Cycle Graphs", Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008), Toruń, Poland, August 2008, to appear.

 

(8) M. Mavronicolas and T. Sauerwald, "The Impact of Randomization in Smoothing Networks", Proceedings of the 27th Annual ACM Symposium on Principles of Distributed Computing (PODC 2008), Toronto, Canada, August 2008, to appear.

 

(9) M. Mavronicolas, B. Monien and V. Papadopoulou, "How Many Attackers Can Selfish Defenders Catch?", CD-ROM Proceedings of the 41st Hawaii International Conference on System Sciences (JHICSS-41), Track on Software Technology, Minitrack on Algorithmic Challenges in Emerging Applications of Computing, Big Island, Hawaii, January 2008.

 

(10)  D. Zeinalipour-Yazti, K. Neocleous, C. Georgiou and M. Dikaiakos, "Identifying Failures in Grids through Monitoring and Ranking", Proceedings of the 7th IEEE International Symposium on Network Computing and Applications (NCA 2008), Cambridge, USA, July 2008, to appear.

 

2007

 

Books

 

 

(1) C. Georgiou and  A. A. Shvartsman, "Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity", Research Monograph, ISBN: 978-0-387-30918-7, Springer, November 2007.

 

Journals

   

(1)  C. Busch, M. Magdon-Ismail and M. Mavronicolas, "Efficient Bufferless Packet Switching on Trees and Leveled Networks", Journal of Parallel and Distributed Computing, Vol. 67, No. 11, pp. 11681186, November 2007.  

 

(2) C. Busch, M. Magdon-Ismail and M. Mavronicolas, "Universal Bufferless Packet Switching" SIAM Journal on Computing, Vol. 37, No. 4, pp. 11391162, September 2007.  

 

(3)  C. Georgiou, P. Musial, and A. A. Shvartsman, "Long-Lived Rambo: Trading Knowledge for Communication" (invited), Theoretical Computer Science, Vol. 383, No. 1, pp. 59–85, September 2007.

 

(4) C. Georgiou, A. Russell and A. A. Shvartsman, "Failure-Sensitive Analysis of Parallel Algorithms with Controlled Memory Access Concurrency", Parallel Processing Letters, Vol. 17, No. 2, pp. 153–168, June 2007.

 

(5) D. Koukopoulos, M. Mavronicolas and P. Spirakis, "The Increase of the Instability of Networks due to Quasi-Static Link Capacities" Theoretical Computer Science, Vol. 381, No. 1-3, pp. 4456, August 2007.  

 

(6)  D. Koukopoulos, M. Mavronicolas and P. Spirakis, "Performance and Stability Bounds for Dynamic Networks", Journal of Parallel and Distributed Computing, Vol. 67, No. 4, pp. 386-399, April 2007.

 

(7)  I. Lee, A. Philippou and O. Sokolsky, "Resources in Process Algebra", Journal of Logic and Algebraic Programming, Vol. 72, No. 1, pp. 98-122, May-June 2007.

 

Conference Proceedings

 

 

(1) M. Mavronicolas, I. Milchtaich, B. Monien and K. Tiemann, "Congestion Games with Player-Specific Constants", Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007), pp. 633-644, Vol. 4708, Lecture Notes in Computer Science, Springer-Verlag, Český Krumlov, Czech Republic, August 2007.

 

(2) M. Mavronicolas, B. Monien and K. Wagner, "Weighted Boolean Formula Games", Proceedings of the 3rd International Workshop on Internet and Network Economics (WINE 2007), pp. 469-481, Vol. 4858, Lecture Notes in Computer Science, Springer-Verlag, San Diego, USA, December 2007.

 

(3) D. Zeinalipour-Yazti, K. Neocleous, C. Georgiou and M. Dikaiakos, "FailRank: Towards a Unified Grid Failure Monitoring and Ranking System", CoreGrid Springer Volume of Selected Papers from the CoreGRID Workshop on Grid Programming Models and P2P Systems Architecture, Heraklion, Greece, 2007.

 

2006

 

 

Journals

   

 

(1)  J. Aspens, C. Bush, S. Dolev, P. Fatourou, C. Georgiou, A. A. Shvartsman, P. Spirakis, and R. Wattenhofer, "Eight Open Problems in Distributed Computing" (invited), Bulletin of the European Association for Theoretical Computer Science, No. 90, pp. 109-126, October 2006.

 

(2)  C. Busch, M. Magdon-Ismail, M. Mavronicolas and P. Spirakis, "Direct Routing: Algorithms and Complexity", Algorithmica, Special Issue with selected papers from the 12th Annual European Symposium on Algorithms (ESA 2004) (Bergen, Norway, September 2004), S. Albers and T. Radzik guest eds., Vol. 45, No. 1, pp.45-68, June 2006. 

 

(3)  D. Fotakis, S. Nikoletseas, V. Papadopoulou,, P. Spirakis, "Radiocolorings in Periodic Planar Graphs: PSPACE-Completeness and Efficient Approximations for the Optimal Range of Frequencies", Journal of Discrete Algorithms, Vol. 4, No. 3, pp. 433-454, December 2006.

 

(4) M. Gairing, T. Lucking, M. Mavronicolas and B. Monien, "The Price of Anarchy for Polynomial Social Cost", Theoretical Computer Science, Vol. 369, No. 1-3, pp. 116-135, December 2006.

 

(5)  M. Gairing, T. Lucking, M. Mavronicolas and B. Monien, "The Price of Anarchy for Restricted Parallel Links", Parallel Processing Letters, Vol. 16, No. 1, pp. 117-132, March 2006.

 

(6)  I. Lee, J. Choi, H. Kwak, A. Philippou, and O. Sokolsky, "A Family of Resource-Bound Real-time Process Algebras", Electronic Notes in Theoretical Computer Science, Vol. 162, pp. 221-226, September 2006.

 

(7) V. Papadopoulou, "A Game on a Distributed Network'', Bulletin of the European Association for Theoretical Computer Science, No 89, pp. 97–116, June 2006.

 

Conference Proceedings

 

 

(1) A. Fernandez, C. Georgiou, L. Lopez and A. Santos, "Reliably Executing Tasks in the Presence of Untrusted Entities", Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), pp. 39-50, Leeds, UK, October 2006.

 

(2)  M. Gelastou, M. Mavronicolas, V. Papadopoulou, A. Philippou and P. Spirakis, "The Power of the Defender", CD-ROM Proceedings of the 2nd International Workshop on Incentive-Based Computing (IBC 2006), in conjunction with the 26th IEEE International Conference on Distributed Computing (ICDCS 2006), Lisboa, Portugal, July 2006. (6 pages)

 

(3)  C. Georgiou, N. Nicolaou, and A. A. Shvartsman, "Fault-Tolerant SemiFast Implementations of Atomic Read/Write Registers", Proceedings of the 18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006), pp. 281-290, Cambridge, USA, July/August 2006.

 

(4)  C. Georgiou, A. Philippou, and Th. Pavlides,  "Network Uncertainty in Selfish Routing", CD-ROM Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006),  Rhodes, Greece, April 2006.  

 

(5)  M. Mavronicolas, L. Michael, V. Papadopoulou, A. Philippou and P. Spirakis, "The Price of Defense", Proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science (MFCS 2006), R. Kralovic and P. Urzyczyn eds., pp. 717-728, Vol. 4162, Lecture Notes in Computer Science, Springer-Verlag, Bratislava, Slovakia, August/September 2006.

 

(6)  M. Mavronicolas, L. Michael and P. Spirakis, "Computing on a Partially Eponymous Ring", Proceedings of the 10th International Conference On Principles Of Distributed Systems (OPODIS 2006), A. A. Shvartsman ed., pp. 380-394, Vol. 4305, Lecture Notes in Computer Science, Springer-Verlag, Bordeaux, France, December 2006.

 

(7)  M. Mavronicolas, V. Papadopoulou, G. Persiano, A. Philippou and P. Spirakis, "The Price of Defense and Fractional Matchings", Proceedings of the 8th International Conference on Distributed Computing and Networking (ICDCN 2006), S. Chaudhuri, S. R. Das, H. Sekhar  and S. Tirthapura eds., pp. 115-126, Vol. 4308, Lecture Notes in Computer Science, Springer-Verlag, Guwahati, India, December 2006.

 

(8) M. Mavronicolas, V. Papadopoulou, A. Philippou and P. Spirakis, "A Network Game with Attackers and a  Defender: A Survey", CD-ROM Proceedings of the 2nd European Conference on Complex Systems 2006 (ECCS 2006), Oxford, Great Britain, September 2006.  

(9) A. Philippou and G. Michael, "Verification Techniques for Distributed Algorithms", Proceedings of the 10th International Conference On Principles Of Distributed Systems (OPODIS 2006), A. A. Shvartsman ed., pp. 172-186, Vol. 4305, Lecture Notes in Computer Science, Springer-Verlag, Bordeaux, France, December 2006.

 

2005

 

 

Journals

 

 

(1)  C. Busch, M. Mavronicolas and P. Spirakis, "The Cost of Concurrent, Low-Contention Read-Modify-Write", Theoretical Computer Science, Special Issue with invited papers from 10th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2003) (Umeå, Sweden, June 2003), J. F. Sibeyn and D. Peleg guest eds., Vol. 333, No. 3, pp. 373-400, March 2005.

 

(2)  C. Busch, M. Mavronicolas and P. Spirakis, "An Application of the Monotone Linearizability Lemma", Bulletin of the European Association for Theoretical Computer Science, No. 85, pp. 70-80, February 2005.

 

(3)  P. Fatourou, M. Mavronicolas and P. Spirakis, "Efficiency of Oblivious versus Nonoblevious Schedulers for Optimistic, Rate-Based Flow Control", SIAM Journal on Computing, Vol. 34, No. 5, pp. 1216-1252, July 2005.

 

(4) P. Fatourou, M. Mavronicolas and P. Spirakis, "Max Min Fair Flow Control Sensitive to Priorities", Journal of Interconnection Networks, Vol. 6, No. 2, pp. 85-114, June 2005.

 

(5) A. Fernandez, C. Georgiou, A. Russell, and A. A. Shvartsman, "The Do-All Problem with Byzantine Processor Failures", Theoretical Computer Science, Vol. 333, No. 3, pp. 433-454, March 2005.

 

(6)  D. Fotakis, S. Nikoletseas, V. Papadopoulou and P. Spirakis, ``Radiocoloring in Planar Graphs: Complexity and Approximations'', Theoretical Computer Science, Vol. 340, No. 3, pp. 514-538, 2005.

 

(7) M. Gairing, T. Lucking, M. Mavronicolas, B. Monien and P. Spirakis, "Structure and Complexity of Extreme Nash Equilibria", Theoretical Computer Science (Special Issue titled "Game Theory Meets Theoretical Computer Science", M. Mavronicolas and S. Abramsky guest eds.), Vol. 343, Nos. 1-2, pp. 133-157, October 2005.

(8)  C. Georgiou, D. Kowalski, and A. A. Shvartsman, "Efficient Gossip and Robust Distributed Computation", Theoretical Computer Science, Vol. 347, Nos. 1-2, pp. 130-166, November 2005.

(9) C. Georgiou, A. Russell, and A. A. Shvartsman, "Work-Competitive Scheduling for Co-operative Computing with Dynamic Groups", SIAM Journal of Computing, Vol. 34, No. 4, pp. 848-862, April/May 2005.

(10)  D. Koukopoulos, M. Mavronicolas, S. Nikoletseas and P. Spirakis, "The Impact of Network Structure on the Stability of Greedy Protocols", Theory of Computing Systems, Special Issue with invited papers from 5th Italian Conference on Algorithms and Complexity (CIAC 2003) (Rome, Italy, May 2003), G. Persiano guest ed., Vol. 39, No. 4, pp. 425-460, July 2005.

 

Conference Proceedings

 

 

(1)  C. Busch, M. Mavronicolas and P. Spirakis, "Monotone Operations and Monotone Groups", Proceedings of the 1st International Conference on Algebraic Informatics 2005, S. Bozapalidis, A. Kalampakas and G. Rahonis eds., pp. 175-195, Aristotle University of Thessaloniki, Thessaloniki, Greece, October 2005.

(2) R. Elsasser, M. Gairing, T. Lucking, M. Mavronicolas and B. Monien, "A Simple Graph-Theoretic Model for Selfish Restricted Scheduling", Proceedings of the First Workshop on Internet and Network Economics (WINE 2005), X. Deng and Y. Ye eds., pp. 195-209, Vol. 3828, Lecture Notes in Computer Science, Springer-Verlag, Hong Kong, China, December 2005.

Slide show presentation available (pdf).

 

(3)  A. Fernandez, C. Georgiou, L. Lopez and A. Santos, "Reliably Executing Tasks in the Presence of Malicious Processors" (short paper), Proceedings of the 19th International Symposium on DIStributed Computing (DISC 2005), P. Fraigniaud ed., pp. 490-492, Vol. 3724, Lecture Notes in Computer Science, Springer-Verlag, Cracow, Poland, September 2005.

(4) C. Georgiou, N. Lynch, P. Mavrommatis, and J. Tauber, "Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language", Proceedings of the 18th International Conference on Parallel and Distributed Computing Systems (PDCS 2005), M. J. Oudshoorn and S. Rajasekaran eds., pp. 128-134, Las Vegas, USA, September 2005.

(5)  C. Georgiou, P. Musial, and A. A. Shvartsman, "Developing a Consistent Domain-Oriented Distributed Object Service", Proceedings of the 4th IEEE International Symposium on Network Computing and Applications (NCA 2005), pp. 149-158, Cambridge, USA, July 2005.

(6)  I. Lee, A. Philippou and O. Sokolsky, "Resources in Process Algebra", Proceedings of the 2nd Workshop on Algebraic Process-Calculi (PA-2005). Technical Report NS-05-3, pages 151-164. BRICS Notes Series, Bertinoro, Italy, August 2005.

(7)  M. Mavronicolas, P. Panagopoulou and P. Spirakis, "A Cost Mechanism for Fair Pricing of Resource Usage", Proceedings of the First Workshop on Internet and Network Economics (WINE 2005), X. Deng and Y. Ye eds., pp. 210-224, Vol. 3828, Lecture Notes in Computer Science, Springer-Verlag, Hong Kong, China, December 2005.

(8)  M. Mavronicolas, P. Panagopoulou and P. Spirakis, "Cost Sharing Mechanisms for Fair Pricing of Resources Usage", Proceedings of the Dagstuhl Seminar on Algorithmic Aspects of Large and Complex Networks (Dagstuhl Seminar Series 05361), September 2005.

Slide show presentation available (pdf)

(9)  M. Mavronicolas, V. Papadopoulou, A. Philippou and P. Spirakis, "A Graph-Theoretic Network Security Game", Proceedings of the First Workshop on Internet and Network Economics (WINE 2005), X. Deng and Y. Ye eds., pp. 969-978, Vol. 3828, Lecture Notes in Computer Science, Springer-Verlag, Hong Kong, China, December 2005.

Slide show presentation available (ppt) (pdf)

 

(10) M. Mavronicolas, V. Papadopoulou, A. Philippou and P. Spirakis, "A Network Game with Attacker and Protector Entities", Proceedings of the 16th Annual International Symposium on Algorithms and Computation (ISAAC 2005), X. Deng and D. Du eds., pp. 288-297, Vol. 3827, Lecture Notes in Computer Science, Springer-Verlag, Hainan, China, December 2005.

Slide show presentation available (ppt) (pdf)

 

 

2004

 

 

Book Chapters

 

 

(1)  C. Busch, N. Demetriou, M. Herlihy and M. Mavronicolas, "A Combinatorial Characterization of Properties Preserved by Antitokens", Current Trends in Theoretical Computer Science, Vol. I: Algorithms And Complexity, G. Paun, G. Rozenberg and A. Salomaa eds., pp. 297-314, World Scientific Publishing, 2004.

 

(2) M. Mavronicolas, "Stability in Routing: Networks and Protocols" Current Trends in Theoretical Computer Science, Vol. I: Algorithms And Complexity, G. Paun, G. Rozenberg and A. Salomaa eds., pp. 435-450, World Scientific Publishing, 2004.

 

Journals

 

 

(1) C. Georgiou, A. Russell, and A. A. Shvartsman, "The Complexity of the Synchronous Iterative Do-All with Crashes", Distributed Computing, Vol. 17, No. 1, pp. 47-63, February 2004.

 

(2) T. Lucking, M. Mavronicolas, B. Monien and M. Rode, "A New Model for Selfish Routing", Theoretical Computer Science, Special Issue on Algorithmic Aspects of Global Computing, Ch. Kaklamanis guest ed., 2004, accepted.

 

Conference Proceedings

 

 

(1) C. Busch, M. Magdon-Ismail and M. Mavronicolas, "Universal Bufferless Routing", Proceedings of the 2nd Workshop on Approximation and Online Algorithms (WAOA 2004), G. Persiano and R. Solis-Oba eds., pp. 239-252, Vol. 3351,  Lecture Notes in Computer Science, Springer-Verlag, Bergen, Norway, September 2004.

Slideshow presentation available (ppt) (pdf)

 

(2)  C. Busch, M. Magdon-Ismail, M. Mavronicolas and P. Spirakis, "Direct Routing: Algorithms and Complexity", Proceedings of the 12th Annual European Symposium on Algorithms (ESA 2004), S. Albers and T. Radzik eds., pp. 134-145, Vol. 3221, Lecture Notes in Computer Science, Springer-Verlag, Bergen, Norway, September 2004.

 

(3)  C. Busch, M. Magdon-Ismail, M. Mavronicolas and R. Wattenhofer, "Near-Optimal Hot-Potato Routing on Trees", Proceedings of the 10th European Conference on Parallel Processing (Euro-Par 2004), M. Danelutto, M. Vanneschi and D. Laforenza eds., pp. 820-827, Vol. 3149, Lecture Notes in Computer Science, Springer-Verlag, Pisa, Italy, August/September 2004.

 

(4)  M. Gairing, T. Lücking, M. Mavronicolas and B. Monien, "The Price of Anarchy for Poly-nomial Social Cost", Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science (MFCS 2004), J. Fiala, V. Koubek and J. Kratochvil eds., pp. 574-585, Vol. 3153, Lecture Notes in Computer Science, Springer-Verlag, Prague, Czech Republic, August 2004.

 

(5)  M. Gairing, T. Lücking, M. Mavronicolas and B. Monien, "Computing Nash Equilibria for Scheduling on Restricted Parallel Links", Proceedings of the 36th Annual ACM Symposium on Theory of Computing (STOC 2005), pp. 613-622, June 2004.

   

(6)  M. Gairing, T. Lücking, M. Mavronicolas, B. Monien and M. Rode, "Nash Equilibria in Discrete Routing Games with Convex Latency Functions", Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP 2004), J. Diaz, J. Karhumäki, A. Lepistö, D. Sanella eds., pp. 645-657, Vol. 3142, Lecture Notes in Computer Science, Springer-Verlag, Turku, Finland, July 2004.

(7)  C. Georgiou, P. Musial, and A. A. Shvartsman, "Long-Lived Rambo: Trading Knowledge for Communication", Proceedings of the 11th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2004), R. Kralovic and O. Sykora eds. pp. 185-196, Vol. 3104, Lecture Notes in Computer Science, Springer-Verlag, Bratislava, Slovakia, May 2004.

(8)  D. Koukopoulos, M. Mavronicolas, and P. Spirakis, "Performance and Stability Bounds for Dynamic Networks", Proceedings of the 7th International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN 2004), pp. 239-246, Hong Kong, SAR, China, May 2004.

 

(9)  T. Lücking, M. Mavronicolas, B. Monien and M. Rode, "A New Model for Selfish Routing", Proceedings of the 21st International Symposium on Theoretical Aspects Of Computer Science (STACS 2004), V. Diekert and M. Habib eds., pp. 547-558, Vol. 2996, Lecture Notes in Computer Science, Springer-Verlag, Montpellier, France, March 2004.

 

 

Technical Reports

 

 

(1)  A. Eliades and A. Philippou,  "Model-checking Extended Continuous Markov Chains", TR-2004-7, Department of Computer Science, University of Cyprus, 2004.

 

2003

 

 

Journals

 

 

(1) I. Chatzigiannakis, T. Dimitriou, M. Mavronicolas, S. Nikoletseas and P. Spirakis, "A Comparative Study of Protocols for Efficient Data Propagation in Smart Dust Networks", Parallel Processing Letters, Special Issue with invited papers from 9th European Conference on Parallel Processing (Euro-Par 2003), (Klagenfurt, Austria, August 2003), H. Kosch, L. Böszörményi and H. Hellwagner guest eds., Vol. 13, No. 4 pp. 615-627, November 2003.

 

(2)  E. Koutsoupias, M. Mavronicolas and P. Spirakis, "Approximate Equilibria and Ball Fusion", Theory of Computing Systems, Special Issue with invited papers from 9th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2002) (Andros, Greece, June 2002), Ch. Kaklamanis and L. M. Kirousis guests eds., Vol. 36, No. 6, pp.683-693, November 2003.

 

(3) M. Mavronicolas and N. Papadakis, "Trade-off Results for Connection Management", Theoretical Computer Science, Vol. 290, No. 1, pp.1-57, January 2003.

 

Conference Proceedings

 

 

(1)  C. Busch, M. Mavronicolas and P. Spirakis, "The Cost of Concurrent, Low-Contention Read-Modify-Write", Proceedings of the 10th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2003), J. F. Sibeyn ed., pp. 57-72, Proceedings in Informatics 17, Carleton Scientific Press, Umeå, Sweden, June 2003.

 

(2) I. Chatzigiannakis, T. Dimitriou, M. Mavronicolas, S. Nikoletseas and P. Spirakis, "A Comparative Study of Protocols for Efficient Data Propagation in Smart Dust Networks", Proceedings of the 9th European Conference on Parallel Processing (Euro-Par 2003), H. Kosch, L. Böszörményi and H. Hellwagner eds., pp. 1003-1016, Vol. 2790, Lecture Notes in Computer Science, Springer-Verlag, Klagenfurt, Austria, August 2003. (Note: Accepted as distinguished paper.)

 

(3) M. Gairing, T. Lücking, M. Mavronicolas, B. Monien and P. Spirakis, "Extreme Nash Equilibria", Proceedings of the 8th Italian Conference on Theoretical Computer Science (ICTCS 2003), C. Blundo and C. Laneve eds., pp. 1-20, Vol. 2841, Lecture Notes in Computer Science, Springer-Verlag, Bertinoro, Italy, October 2003.

 

(4)  D. Koukopoulos, M. Mavronicolas, S. Nikoletseas and P. Spirakis, "The Impact of Network Structure on the Stability of Greedy Protocols", Proceedings of the 5th Italian Conference on Algorithms and Complexity (CIAC 2003), R. Petreschi, G. Persiano and R. Silvestri eds., pp. 251-263, Vol. 2653, Lecture Notes in Computer Science, Springer-Verlag, Rome, Italy, May 2003.

 

(5)  D. Koukopoulos, M. Mavronicolas and P. Spirakis, "Instability of Networks with Quasi-Static Link Capacities", Proceedings of the 10th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2003), J. F. Sibeyn ed., pp. 179-194, Proceedings in Informatics 17, Carleton Scientific Press, Umeå, Sweden, June 2003.

 

(6)  T. Lücking, M. Mavronicolas, B. Monien, M. Rode, P. Spirakis and I. Vrto, "Which is the Worst-Case Nash Equilibrium?", Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science (MFCS 2003), B. Rovan and P. Vojtáš eds., pp. 551-561, Vol. 2747, Lecture Notes in Computer Science, Springer-Verlag, Bratislava, Slovak Republic, August 2003.

 

(7)  A. Philippou, O. Sokolsky, I. Lee, and K. Christou, "Model Checking Power­Aware Real­Time Systems", Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003), H. Garavel and J. Hatcliff eds., pp. 409-425, Vol. 2619, Lecture Notes in Computer Science, Springer-Verlag, Warsaw, Poland, April 2003.

 

Technical Reports

 

 

(1) K. Christou, G. Hadjipollas, A. Philippou, "Exponential Distributions in EACSR". Technical Report, TR-2003-5, Department of Computer Science, University of Cyprus, 2003.

 

2002

 

 

Journals

 

 

(1) C. Busch, N. Demetriou, M. Herlihy and M. Mavronicolas, "Threshold Counters with Increments and Decrements", Theoretical Computer Science, Vol. 270, Nos. 1 & 2, pp. 811-826, January 2002.

 

Conference Proceedings

 

 

(1)  D. Fotakis, S. Kontogiannis, E. Koutsoupias, M. Mavronicolas, and P. Spirakis, "The Structure and Complexity of Nash Equilibria for a Selfish Routing Game", Proceedings of the 29th International Colloquium on Automata, Languages and Programming (ICALP 2002), P. Widmayer, F. Triguero, R. Morales, M. Hennessy, S. Eidenbenz and R. Conejo eds., pp. 123-134, Vol. 2380, Lecture Notes in Computer Science, Springer-Verlag, Málaga, Spain, July 2002.

 

(2) D. Koukopoulos, M. Mavronicolas, S. Nikoletseas and P. Spirakis, "On the Stability of Compositions of Universally Stable, Greedy Contention-Resolution Protocols", Proceedings of the 16th International Symposium on DIStibuted Computing (DISC 2002), D. Malkhi ed., pp. 88-102, Vol. 2508, Lecture Notes in Computer Science, Springer-Verlag, Toulouse, France, October 2002.

 

(3)  E. Koutsoupias, M. Mavronicolas, and P. Spirakis, "Approximate Equilibria and Ball Fusion", Proceedings of the 9th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2002), Ch. Kaklamanis and  L. M. Kirousis eds., pp. 223-235, Proceedings in Informatics 13, Carleton Scientific Press, Andros, Greece, June 2002.

(4)  I. Lee, A. Philippou and O. Sokolsky, "A General Resource Framework for Real­Time Systems", Proceedings of the 9th International Workshop on Radical Innovations of Software and Systems Engineering in the Future (RISSEF 2002), M. Wirsing, S. Balsamo and A. Knapp eds., pp. 258-272, Aix-en-Provence, France, September 2002.

 

2001

 

 

Journals

 

 

(1)  M. Mavronicolas, "Stability in Routing: Networks and Protocols", Bulletin of the European Association for Theoretical Computer Science, No. 74, pp. 119-133, June 2001.

 

(2) M. Mavronicolas, "Distributed Computing Theory To Date", Bulletin of the European Association for Theoretical Computer Science, No. 73, pp. 99-106, February 2001.

 

(4) A. Philippou, O. Sokolsky, I. Lee, R. Cleaveland and S. Smolka, "Hiding Resources that Can Fail: An Axiomatic Perspective", Information Processing Letters, Vol. 80, No. 1, pp. 3-13, October 2001.

(3)  A. Philippou and D. Walker, "A Process-Calculus Analysis of Concurrent Operations on B-Trees", Journal of Computer and System Sciences, Vol. 62, No. 1, pp. 73-122, February 2001.

 

Conference Proceedings

 

 

(1)  I. Lee, J. Choi, H. Kwak, A. Philippou, and O. Sokolsky, "A Family of Resource-Bound Real-time Process Algebras", Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), M. Kim, B. Chin, S. Kang and D. Lee eds., pp. 443-458, Kluwer Academic Publishers, Cheju Island, Korea, August 2001.

(2)  I. Lee, A. Philippou, and O. Sokolsky, "Formal Modeling and Analysis of Power-Aware Real-Time Systems", Proceedings of the IEEE Workshop on Real-Time Embedded Systems (RTDS 2001), I. Bate and S. Liu eds.,  pp. 55-62, December 2001.

(3) M. Mavronicolas, A. Mouskos and P. Spirakis, "The Cost of Lack of Coordination in Distributed Network Routing", Proceedings of the 2nd International Workshop on Approximation and Randomized Algorithms in Communication Networks (ARACNE 2001), Ch. Kaklamanis ed., pp. 65-84, Proceedings in Informatics 12, Carleton Scientific, Aarhus, Denmark, August 2001.

(4)  M. Mavronicolas, and P. Spirakis, "The Price of Selfish Routing", Proceedings of the 33rd Annual ACM Symposium on Theory of Computing (STOC 2001), pp. 510-519, July 2001.