- V Bilò and M. Mavronicolas, "Complexity of rational and irrational Nash equilibria", Journal of Theory of Computing Systems, Springer US, Vol. 54 (3), pp. 491-527, April 2014.
- Evgenia Christoforou, Antonio Fernandez Anta, Chryssis Georgiou, and Miguel A. Mosteiro, Algorithmic Mechanism Design for Reliable Master-Worker Internet-based Computing, in IEEE Transactions on Computers (TC), Volume 63, Issue 1, pages 179-195, IEEE Computer Society, January 2014.

- Seda Davtyan, Roberto De Prisco, Chryssis Georgiou, and Alexander A.Shvartsman, Coordinated Cooperative Work Using Undependable Processors with Unreliable Broadcast, in Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2014), accepted, Turin, Italy, 2014.
- Mauricio Toro, Anna Philippou, Christina Kassara, Spyros Sfenthourakis: Synchronous Parallel Composition in a Process Calculus for Ecological Models. In Proc. of the 11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2014), Lecture Notes in Computer Science, 8687: 424-44, 2014.

- Irene Kilanioti, Chryssis Georgiou, and George Pallis, Scaling Rich Media Content Through Social Networks, Advanced Content Delivery and Streaming in the Cloud, Edited by M. Pathan, R.K. Sitaraman, and D. Robinson, In Press, Wiley, 2013.

- Evgenia Christoforou, Antonio Fernandez Anta, Chryssis Georgiou, Miguel A. Mosteiro, and Angel Sanchez, Applying the Dynamics of Evolution to Achieve Reliability in Master-Worker Computing, in Concurrency and Computation: Practice and Experience (CCPE) [Special Issue of Euro-Par 2012 best papers], Volume 25, Issue 17, pages 2363-2380, Wiley, December 2013.
- Evgenia Christoforou, Antonio Fernandez Anta, Chryssis Georgiou, Miguel A. Mosteiro, and Angel Sanchez, Crowd Computing as a Cooperation Problem: An Evolutionary Approach, in Journal of Statistical Physics (JSP), Volume 151, Issue 3, pp. 654-672, Springer, January 2013.
- Chryssis Georgiou, Seth Gilbert, Rachid Guerraoui, and Dariusz R. Kowalski, Asynchronous Gossip, in Journal of the ACM (JACM), Volume 60, Issue 2, Article 11, 42 pages, ACM, April 2013.
- Stefan Kowalewski, Anna Philippou, Jörg Brauer: Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009. STTT 15(4): 287-289 (2013).
- M. Mavronicolas, B. Monien and V. P. Lesta, "How many attackers can selfish defenders catch?", Journal of Discrete Applied Mathematics, North-Holland, Vol. 161 (16), pp. 2563-2586, November 2013.
- Anna Philippou, Mauricio Toro, Margarita Antonaki: Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models. Sci. Ann. Comp. Sci. 23(1): 119-167 (2013)

- Chrysovalandis Agathangelou, Chryssis Georgiou, and Marios Mavronicolas, A Distributed Algorithm for Gathering Many Fat Mobile Robots in the Plane, in Proc. of the 32nd ACM Symposium on Principles of Distributed Computing (PODC 2013), pp. 250-259, Montreal, Canada, 2013.
- Evgenia Christoforou, Antonio Fernandez Anta, Chryssis Georgiou, Miguel A. Mosteiro, and Angel Sanchez, Reputation-based Mechanisms for Evolutionary Master-Worker Computing, in Proc. of the 17th International Conference on Principles of Distributed Systems (OPODIS 2013), Nice, France, 2013.
- Antonio Fernandez Anta, Chryssis Georgiou, Dariusz R. Kowalski, JoergWidmer, and Elli Zavou, Measuring the Impact of Adversarial Errors on Packet Scheduling Strategies, in Proc. of the 20th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2013), Ischia, Italy, 2013.
- Antonio Fernandez Anta, Chryssis Georgiou, Dariusz R. Kowalski, JoergWidmer, and Elli Zavou, Relative Throughput: Measuring the Impact of Adversarial Errors on Packet Scheduling Strategies, in Proc. of the 9thInternational Workshop on Foundations of Mobile Computing (FOMC 2013), Jerusalem, Israel, 2013.
- Antonio Fernandez Anta, Chryssis Georgiou, Dariusz R. Kowalski, and ElliZavou, Online Parallel Scheduling of Non-uniform Tasks: Trading Failures for Energy, in Proc. of the 19th International Symposium on Fundamentals of Computation Theory (FCT 2013), pp. 145-158, Liverpool, UK, 2013.
- Chryssis Georgiou, Peter M. Musial, and Christos Ploutarchou, Tempo-toolkit: Tempo to Java Translation Module, in Proc. of the 12th IEEE International Symposium on Network Computing and Applications (NCA 2013), accepted, Cambridge, MA, 2013.
- Dimitrios Kouzapas, Anna Philippou: A Typing System for Privacy. SEFM Workshops 2013: 56-68
- Anna Philippou, Mauricio Toro: Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. SEFM Workshops 2013: 345-361

- V. Bilò and M. Mavronicolas, "The complexity of decision problems about nash equilibria in win-lose games", Book: Algorithmic Game Theory, Springer Berlin Heidelberg, pp. 37-48, January 2012.
- A. Goscinski, M. Mavronicolas, W. Shi and T. Y. Meng, "Topic 8: Distributed Systems and Algorithms", Book: Euro-Par 2012 Parallel Processing, Springer Berlin Heidelberg, pp. 401-402, January 2012.
- M. Mavronicolas and B. Monien, "Minimizing expectation plus variance", Book: Algorithmic Game Theory, Springer Berlin Heidelberg, pp. 239-250, January 2012.

- Antonio Fernandez Anta, Chryssis Georgiou, Luis Lopez, and Agustin Santos, Reliable Internet-Based Master-Worker Computing in the Presence of Malicious Workers, in Parallel Processing Letters (PPL), Volume 22, No. 1, World Scientific, March 2012.
- Anna Philippou, Insup Lee, Oleg Sokolsky: PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. Theor. Comput. Sci. 413(1): 2-20 (2012)

- Margarita Antonaki, Anna Philippou: A Process Calculus for Spatially-explicit Ecological Models. In Proc. of 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, (MeCBIC 2012), EPTCS, pp. 14-28, 2012
- Evgenia Christoforou, Antonio Fernandez Anta, Chryssis Georgiou, Miguel A. Mosteiro, and Angel Sanchez, Achieving Reliability in Master-Worker Computing via Evolutionary Dynamics, in Proc. of the 18th International Conference on Parallel Processing (Euro-Par 2012), pp. 451-463, Rhodes, Greece, 2012.
- Evgenia Christoforou, Antonio Fernandez Anta, Chryssis Georgiou, Miguel A. Mosteiro, and Angel Sanchez, Brief Announcement: Achieving Reliability in Master-Worker Computing via Evolutionary Dynamics, in Proc. of the 31st ACM Symposium on Principles of Distributed Computing (PODC 2012), Madeira, Portugal, 2012.
- George Christodoulou, Chryssis Georgiou, and George Pallis, The Role of Twitter in YouTube Videos Diffusion, in Proc. of the 13th International Conference on Web Information System Engineering (WISE 2012), to appear, Paphos, Cyprus, 2012.
- Nicolas Nicolaou and Chryssis Georgiou, On the Practicality of Atomic MWMR Register Implementations, in Proc. of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2012), Leganes, Madrid, Spain, 2012.

- Chryssis Georgiou and Alexander A. Shvartsman, Cooperative Task-Oriented Computing: Algorithms and Complexity, Synthesis Lectures on Distributed Computing Theory, ISBN: 9781608452873 (paperback) / 9781608452880 (ebook), Morgan & Claypool Publishers, July 2011.

- Chryssis Georgiou, Seth Gilbert, and Dariusz R. Kowalski, Meeting the Deadline: On the Complexity of Fault-Tolerant Continuous Gossip, in Distributed Computing (DC), Volume 24, No. 5, pp. 223-244, Springer, December 2011.
- M. Mavronicolas, "Preface: Algorithmic Game Theory", Journal of Theory of Computing Systems, Springer New York, Vol. 49 (1), pp. 1-2, July 2011.

- Evgenia Christoforou, Antonio Fernandez Anta, Chryssis Georgiou and Miguel Mosteiro, Algorithmic Mechanisms for Internet Supercomputing under Unreliable, in Proc. of the 10th IEEE International Symposium on Network Computing and Applications (NCA 2011), Cambridge, MA, 2011.
- Evgenia Christoforou, Antonio Fernandez Anta, Chryssis Georgiou and Miguel Mosteiro, Brief Announcement: Algorithmic Mechanisms for Internet-Based Computing under Unreliable Communication, in Proc. of the 25th International Symposium on Distributed Computing (DISC 2011), Rome, Italy, 2011.
- Chryssis Georgiou, Seth Gilbert, and Dariusz R. Kowalski, ConfidentialGossip, in Proc. of the 31st IEEE International Conference on Distributed Computing Systems (ICDCS 2011), pp. 603-612, Minneapolis, MN, 2011.
- Chryssis Georgiou and Dariusz R. Kowalski, Performing Dynamically Injected Tasks on Processes Prone to Crashes and Restarts, in Proc. of the 25th International Symposium on Distributed Computing (DISC 2011), pp. 165-180, Rome, Italy, 2011.
- Chryssis Georgiou, Nicolas Nicolaou, Alexander Russell, and Alexander A. Shvartsman, Towards Feasible Implementations of Low-Latency Multi-Wirter Atomic Registers, in Proc. of the 10th IEEE International Symposium on Network Computing and Applications (NCA 2011), Cambridge, MA, 2011.
- D. Kouzapas and A. Philippou, "A Process Calculus for Dynamic Networks". Proceedings of FMOODS & FORTE 2011, 2011. A full version is also available as Technical Report TR-10-01, Department of Computer Science, University of Cyprus.

- C. Busch and M. Mavronicolas, "An efficient counting network", Journal of Theoretical Computer Science, Elsevier, Vol. 411 (34), pp. 3001-3030, July 2010.
- R. Feldmann, M. Mavronicolas and A. Pieris, "Facets of the Fully Mixed Nash Equilibrium Conjecture", Journal of Theory of Computing Systems, Vol. 47 (1), pp. 60-112, Springer-Verlag, July 2010.
- M. Gairing, T. Lücking, M. Mavronicolas and B. Monien, "Computing nash equilibria for scheduling on restricted parallel links", Journal of Theory of Computing Systems, Springer-Verlag, Vol. 47 (2), pp. 405-432, August 2010.
- M. Mavronicolas, "Some Algorithmic Questions About Nash Equilibria", Journal of Bulletin of the EATCS, Vol. 100, pp. 35-51, 2010.
- M. Mavronicolas and T. Sauerwald, "The impact of randomization in smoothing networks", Journal of Distributed Computing, Springer-Verlag, Vol. 22 (5-6), pp. 381-411, August 2010.

- Antonio Fernandez Anta, Chryssis Georgiou, and Miguel Mosteiro, Algorithmic Mechanisms for Internet-based Master-Worker Computing with Untrusted and Selfish Workers, in Proc. of the 24th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2010), Atlanta, GA, 2010.
- Chryssis Georgiou, Seth Gilbert, and Dariusz R. Kowalski, Meeting the Deadline: On the Complexity of Fault-Tolerant Continuous Gossip, in Proc. of the 29th ACM Symposium on Principles of Distributed Computing (PODC 2010), pp. 247-256, Zurich, Switzerland, 2010.
- Chryssis Georgiou, Procopis Hadjiprocopiou, Peter Musial, On the Automated Implementation of Timed-based Paxos Using the IOA Compiler, in Proc. of the 14th International Conference on Principles of Distributed Systems (OPODIS 2010),pp. 235-252, Tozeur, Tunisia, 2010.
- A. Philippou, I. Lee, O. Sokolsky, and J.-Y. Choi, "A Process Algebraic Framework for Modeling Resource Demand and Supply". In K. Chatterjee and T. A. Henzinger, editors, Proceedings of of the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), LNCS 6246, pages 183-197. Springer, 2010.

- R. Feldmann, M. Mavronicolas and B. Monien, "Nash equilibria for Voronoi games on transitive graphs", Book: Internet and Network Economics, Springer Berlin Heidelberg, pp. 280-291, January 2009.

- D. Fotakis, S. Kontogiannis, E. Koutsoupias, M. Mavronicolas and P. Spirakis, "The structure and complexity of Nash equilibria for a selfish routing game", Journal of Theoretical Computer Science, Elsevier, Vol. 410 (36), pp. 3305-3326, August 2009.
- Chryssis Georgiou, Peter Musial, and Alex A. Shvartsman, Developing a Consistent Domain-Oriented Distributed Object Service, in IEEE Transactions of Parallel and Distributed Systems (TPDS), Volume 20, No. 11, pp. 1567-1585, IEEE Computer Society, November 2009.
- Chryssis Georgiou, Nancy Lynch, Panayiotis Mavrommatis, and Joshua A. Tauber, Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language, in International Journal on Software Tools for Technology Transfer (STTT), Volume 11, No. 2, pp. 153-171, Springer, April 2009.
- Chryssis Georgiou, Theophanis Pavlides, and Anna Philippou, Selfish Routing in the Presence of Network Uncertainty, in Parallel Processing Letters (PPL), Volume 19, No. 1, pp. 141-157, World Scientific, March 2009.
- Chryssis Georgiou, Nicolas C. Nicolaou, and Alex A. Shvartsman, Fault-Tolerant SemiFast Implementations of Atomic Read/Write Registers, in Journal of Parallel and Distributed Computing (JPDC), Volume 69, No. 1, pp. 62-79, Elsevier, January 2009.
- M. Mavronicolas, "Graphs, Games and Computation Dedicated to Professor Burkhard Monien on the Occasion of his 65th Birthday Preface", Journal of Theoretical Computer Science, ELSEVIER SCIENCE BV, Vol. 410 (36), pp. 3303-3304, August 2009.
- M. Mavronicolas, "Review of design and analysis of randomized algorithms: introduction to design paradigms by Juraj Hromkovic (Published by Springer)", Journal of ACM SIGACT News, ACM, Vol. 40 (2), pp. 25-27, June 2009.
- M. Mavronicolas and L. Michael, "A substitution theorem for graceful trees and its applications", Journal of Discrete Mathematics, North-Holland, Vol. 309 (12), pp. 3757-3766, July 2009.
- M. Mavronicolas, L. Michael and P. Spirakis, "Computing on a partially eponymous ring", Journal of Theoretical Computer Science, Elsevier Vol. 410 (6), pp. 595-613, February 2009.
- M Mavronicolas and P. G. Spirakis, "A glimpse at Christos H. Papadimitriou", Journal of Computer Science Review, Elsevier, Vol. 3 (2), pp. 55-63, May 2009.
- P. G. Spirakis, M. Mavronicolas and S. C. Kontogiannis, "Internet and Network Economics: WINE 2006", Elsevier, 2009.

- "Algorithmic Game Theory: Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009, Proceedings", Springer, Vol. 5814, September 2009.
- Burkhard Englert, Chryssis Georgiou, Peter Musial, Nicolas Nicolaou, and Alexander A. Shvartsman, On the Efficiency of Atomic Multi-Reader, Multi-Writer Distributed Memory, in Proc. of the 13th International Conference on Principles of Distributed Systems (OPODIS 2009), pp. 240-254, Nimes, France, 2009.
- Chryssis Georgiou, Nicolas Hadjiprocopiou, and Peter Musial, Evaluating a Dependable Sharable Atomic Data Service on a Planetary-Scale Network, in the Proc. of the 9th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2009), pp. 580-592, Taipei, Taiwan, 2009.
- Chryssis Georgiou, Sotirios Kentros, Nicolas Nicolaou, and Alexander A. Shvartsman, Analyzing the Number of Slow Reads for Semifast Atomic Read/Write Register Implementations, in the Proc. of the 21st International Conference on Parallel and Distributed Computing and Systems (PDCS 2009), pp. 229-236, Cambridge, MA, 2009.
- M. Mavronicolas and T. Sauerwald, "A randomized, o (log w)-depth 2 smoothing network", Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures, ACM, pp. 178-187, August 2009.

- M. Mavronicolas and A. Pieris, "The Cubic Maximum Social Cost Verifies the Fully Mixed Nash Equilibrium Conjecture", Technical report, 2009.

- 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.

- Stefan Kowalewski, Anna Philippou (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5505, Springer 2009, ISBN 978-3-642-00767-5 2008
- Demetrios Zeinalipour-Yazti, Kyriakos Neocleous, Chryssis Georgiou, and Marios Dikaiakos, FailRank: Towards a Unified Grid Failure Monitoring and Ranking System, Making Grids Work, Edited by M. Danelutto, P.Fragopoulou, and V. Getov, ISBN-13 :978-0-387-78447-2, Springer, 2008.

- 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.
- M. Gairing, T. Lücking, M. Mavronicolas, B. Monien and M. Rode, "Nash equilibria in discrete routing games with convex latency functions", Journal of Computer and System Sciences, Academic Press, Vol. 74 (7), pp. 1199-1225, November 2008.
- 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.
- T. Lücking, M. Mavronicolas, B. Monien and M. Rode, "A new model for selfish routing", Journal of Theoretical Computer Science, Elsevier, Vol. 406 (3), pp. 187-206, October 2008.
- M. Mavronicolas, M. Merritt and G. Taubenfeld, "Sequentially Consistent versus Linearizable Counting Networks", Distributed Computing, February 2008.
- 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.
- 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.
- 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.
- 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

- 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, May 2008.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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), Torun, Poland, August 2008.
- 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.
- 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.
- 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.

- 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.
- K. Busch and M. Mavronicolas, "Counting Networks", Book, ISBN:0387329919, Springer-Verlag New York, Inc., NJ, USA, May 2007.

- A. Philippou and O. Sokolsky, "Process-Algebraic Analysis of Timing and Schedulability Properties". Handbook of Real-Time and Embedded Systems, pages 31-1 - 31-20, Chapman and Hall, 2007.

- 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. 1168-1186, November 2007.
- C. Busch, M. Magdon-Ismail and M. Mavronicolas, "Universal Bufferless Packet Switching", SIAM Journal on Computing, Vol. 37, No. 4, pp. 1139-1162, September 2007.
- 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.
- 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.
- 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. 44-56, August 2007.
- 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.
- 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.
- M. Mavronicolas and P. Spirakis, "The price of selfish routing", Journal of Algorithmica, Springer-Verlag, Vol. 48 (1), pp. 91-126, May 2007.

- 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, Ceský Krumlov, Czech Republic, August 2007.
- 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.
- 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.

- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- V. Papadopoulou, "A Game on a Distributed Network'', Bulletin of the European Association for Theoretical Computer Science, No 89, pp. 97-116, June 2006.

- 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.
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.

- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.

- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.

- 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.
- 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.

- 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.
- 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.

- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.

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

- 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.
- 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.
- M. Mavronicolas and N. Papadakis, "Trade-off Results for Connection Management", Theoretical Computer Science, Vol. 290, No. 1, pp.1-57, January 2003.

- 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.
- 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.)
- 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.
- 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.
- 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.
- 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ás eds., pp. 551-561, Vol. 2747, Lecture Notes in Computer Science, Springer-Verlag, Bratislava, Slovak Republic, August 2003.
- A. Philippou, O. Sokolsky, I. Lee, and K. Christou, "Model Checking PowerAware RealTime 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.

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

- 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.

- 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.
- 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.
- 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.
- I. Lee, A. Philippou and O. Sokolsky, "A General Resource Framework for RealTime 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.

- M. Mavronicolas, "Stability in Routing: Networks and Protocols", Bulletin of the European Association for Theoretical Computer Science, No. 74, pp. 119-133, June 2001.
- M. Mavronicolas, "Distributed Computing Theory To Date", Bulletin of the European Association for Theoretical Computer Science, No. 73, pp. 99-106, February 2001.
- 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.
- 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.

- 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.
- 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.
- 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.
- 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.