This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies.
For more information visit Aigaion.nl .
?>
?>
[RACTI-RU1-2017-14] Michail, Othon and Spirakis, Paul , Connectivity preserving network transformers , in: Theoretical Computer Science (TCS) Journal, volume 671, pages 36-55, 2017. [DOI]
[RACTI-RU1-2017-10] Michail, Othon and Spirakis, Paul , Network Constructors: A Model for Programmable Matter , in: SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings, pages 15-34, 2017. [DOI]
[RACTI-RU1-2017-6] Michail, Othon , Skretas, George and Spirakis, Paul , On the Transformation Capability of Feasible Mechanisms for Programmable Matter , in: CoRR, volume abs/1703.04381, 2017.
[RACTI-RU1-2016-49] Michail, Othon and Spirakis, Paul , Simple and efficient local codes for distributed stable network construction , in: Distributed Computing, volume 29, number 3, pages 207-237, 2016. [DOI]
[RACTI-RU1-2016-45] Michail, Othon and Spirakis, Paul , Traveling salesman problems in temporal graphs , in: Theoretical Computer Science, volume 634, pages 1-23, 2016. [DOI]
[RACTI-RU1-2016-38] Michail, Othon and Spirakis, Paul , How Many Cooks Spoil the Soup? , in: Structural Information and Communication Complexity - 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers, pages 3-18, Helsinki, Finland, 2016. [DOI]
[RACTI-RU1-2016-27] Michail, Othon and Spirakis, Paul , How Many Cooks Spoil the Soup? , in: CoRR, volume abs/1604.07187, 2016.
[RACTI-RU1-2015-11] Chatzigiannakis, Ioannis , Fotakis, Dimitris , Kontogiannis, Spyros , Michail, Othon , Nikoletseas, Sotiris , Pantziou, Grammati and Zaroliagis, Christos , A Glimpse at Paul G. Spirakis , in: Algorithms, Probability, Networks, and Games - Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday, pages 3-24, Springer, 2015. [DOI]
[RACTI-RU1-2015-10] Michail, Othon , An Introduction to Temporal Graphs: An Algorithmic Perspective , in: Algorithms, Probability, Networks, and Games - Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday, pages 308-343, Springer, 2015. [DOI]
[RACTI-RU1-2015-9] Michail, Othon and Spirakis, Paul , Simple and Efficient Local Codes for Distributed Stable Network Construction , in: Distributed Computing, pages 1-31, ISSN 0178-2770, 2015. [DOI]
[RACTI-RU1-2015-5] Michail, Othon , Chatzigiannakis, Ioannis and Spirakis, Paul , Computing in Dynamic Networks , in: Computational Network Theory: Theoretical Foundations and Applications, First Edition, Wiley-VCH Verlag GmbH & Co. KGaA, 2015.
[RACTI-RU1-2015-4] Michail, Othon , Terminating Distributed Construction of Shapes and Patterns in a Fair Solution of Automata , in: 34th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), pages 37-46, ACM, Donostia-San Sebastián, Spain, 2015.
[RACTI-RU1-2015-3] Michail, Othon and Spirakis, Paul , Terminating Population Protocols via some Minimal Global Knowledge Assumptions , in: Journal of Parallel and Distributed Computing (JPDC), volume 81-82, pages 1-10, 2015. [DOI]
[RACTI-RU1-2014-25] Michail, Othon and Spirakis, Paul , Traveling Salesman Problems in Temporal Graphs , in: 39th International Symposium on Mathematical Foundations of Computer Science (MFCS), Springer Berlin Heidelberg, Budapest, Hungary, 2014.
[RACTI-RU1-2014-6] Michail, Othon , Chatzigiannakis, Ioannis and Spirakis, Paul , Causality, Influence, and Computation in Possibly Disconnected Synchronous Dynamic Networks , in: Journal of Parallel and Distributed Computing (JPDC), volume 74, number 1, pages 2016-2026, 2014. [DOI]
[RACTI-RU1-2014-2] Michail, Othon and Spirakis, Paul , Simple and Efficient Local Codes for Distributed Stable Network Construction , in: 33rd Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), pages 76-85, ACM, Paris, France, 2014. [DOI]
[RACTI-RU1-2013-25] Chatzigiannakis, Ioannis , Michail, Othon , Nikolaou, Stavros and Spirakis, Paul , The Computational Power of Simple Protocols for Self-Awareness on Graphs , in: Theoretical Computer Science, volume 512, pages 98-118, 2013. [DOI]
[RACTI-RU1-2013-8] Michail, Othon , Chatzigiannakis, Ioannis and Spirakis, Paul , Naming and Counting in Anonymous Unknown Dynamic Networks , in: 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pages 281-295, Springer International Publishing Switzerland, Osaka, Japan, 2013.
[RACTI-RU1-2013-2] Mertzios, George , Michail, Othon , Chatzigiannakis, Ioannis and Spirakis, Paul , Temporal Network Optimization Subject to Connectivity Constraints , in: 40th International Colloquium on Automata, Languages and Programming - ICALP 2013, pages 657-668, Springer Berlin Heidelberg, Riga, Latvia, 2013. [DOI]
[RACTI-RU1-2012-26] Michail, Othon , Chatzigiannakis, Ioannis and Spirakis, Paul , Causality, Influence, and Computation in Possibly Disconnected Synchronous Dynamic Networks , in: 16th International Conference On Principles Of DIstributed Systems (OPODIS), pages 269-283, Springer-Verlag Berlin Heidelberg, Rome, Italy, 2012. [DOI]
[RACTI-RU1-2012-25] Michail, Othon , Chatzigiannakis, Ioannis and Spirakis, Paul , Brief Announcement: Naming and Counting in Anonymous Unknown Dynamic Networks , in: 26th international conference on Distributed Computing (DISC), pages 437-438, Springer-Verlag Berlin Heidelberg, Salvador, Brazil, 2012. [DOI]
[RACTI-RU1-2012-24] Michail, Othon , Chatzigiannakis, Ioannis and Spirakis, Paul , Terminating Population Protocols via some Minimal Global Knowledge Assumptions , in: 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012), pages 77-89, Springer-Verlag Berlin Heidelberg, 2012. [DOI]
[RACTI-RU1-2012-8] Chatzigiannakis, Ioannis , Michail, Othon , Mylonas, Georgios and Spirakis, Paul , Myriads of data, myriads of devices: self-awareness of the Ad-hoc , in: Awareness: Self-Awareness in Autonomic Systems, 2012. [DOI]
[RACTI-RU1-2011-34] Chatzigiannakis, Ioannis , Michail, Othon , Nikolaou, Stavros and Spirakis, Paul , The Computational Power of Simple Protocols for Self-Awareness on Graphs , in: 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), pages 135-147, Springer-Verlag Berlin Heidelberg, Grenoble, France, 2011.
[RACTI-RU1-2011-30] Chatzigiannakis, Ioannis , Michail, Othon , Nikolaou, Stavros , Pavlogiannis, Andreas and Spirakis, Paul , Passively Mobile Communicating Machines that Use Restricted Space , in: Theoretical Computer Science, volume 412, number 46, pages 6469-6483, 2011. [DOI]
[RACTI-RU1-2011-16] Chatzigiannakis, Ioannis , Michail, Othon , Nikolaou, Stavros , Pavlogiannis, Andreas and Spirakis, Paul , Passively Mobile Communicating Machines that Use Restricted Space , in: 7th ACM SIGACT/SIGMOBILE International Workshop on Foundations of Mobile Computing (FOMC), pages 6-15, ACM, San Jose, California, USA, 2011. [DOI]
[RACTI-RU1-2011-12] Michail, Othon , Chatzigiannakis, Ioannis and Spirakis, Paul , Mediated Population Protocols , in: Theoretical Computer Science, volume 412, number 22, pages 2434-2450, 2011. [DOI]
[RACTI-RU1-2011-11] Michail, Othon , Chatzigiannakis, Ioannis and Spirakis, Paul , New Models for Population Protocols , Synthesis Lectures on Distributed Computing Theory, N. Lynch Edt, Morgan & Claypool, 2011.
[RACTI-RU1-2011-10] Spirakis, Paul , Michail, Othon and Chatzigiannakis, Ioannis , Population Protocols and Related Models , in: Theoretical Aspects of Distributed Computing in Sensor Networks, pages 109-159, Springer-Verlag, ISBN 978-3-642-14848-4, 2011. [DOI]
[RACTI-RU1-2011-1] Alvarez, Carme , Chatzigiannakis, Ioannis , Duch, Amalia , Gabarro, Joaquim , Michail, Othon , Serna, Maria and Spirakis, Paul , Computational models for networks of tiny artifacts: A survey , in: Computer Science Review, volume 5, number 1, pages 7-25, 2011. [DOI]
[RACTI-RU1-2010-70] Michail, Othon , New Models for Population Protocols , Computer Engineering and Informatics Department, University of Patras, 2010.
[RACTI-RU1-2010-32] Chatzigiannakis, Ioannis , Michail, Othon , Nikolaou, Stavros , Pavlogiannis, Andreas and Spirakis, Paul , Passively Mobile Communicating Logarithmic Space Machines, (FRONTS) , in: CoRR, 2010.
[RACTI-RU1-2010-26] Chatzigiannakis, Ioannis , Michail, Othon and Spirakis, Paul , Stably Decidable Graph Languages by Mediated Population Protocols , in: 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pages 252-266, Springer-Verlag Berlin Heidelberg, New York City, USA, 2010. [DOI]
[RACTI-RU1-2010-25] Chatzigiannakis, Ioannis , Michail, Othon and Spirakis, Paul , Algorithmic Verification of Population Protocols , in: 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pages 221-235, Springer-Verlag Berlin Heidelberg, New York City, USA, 2010. [DOI]
[RACTI-RU1-2010-22] Filippas, Apostolos , Nikolaou, Stavros , Pavlogiannis, Andreas , Michail, Othon , Chatzigiannakis, Ioannis and Spirakis, Paul , Computational Models for Wireless Sensor Networks: A Survey , in: 1st International Conference for Undergraduate and Postgraduate Students in Computer Engineering, Informatics, related Technologies and Applications (Eureka!), Ancient Olympia, Greece, 2010.
[RACTI-RU1-2010-7] Chatzigiannakis, Ioannis , Michail, Othon , Nikolaou, Stavros , Pavlogiannis, Andreas and Spirakis, Paul , All Symmetric Predicates in NSPACE(n^2) are Stably Computable by the Mediated Population Protocol Model , in: 35th International Symposium on Mathematical Foundations of Computer Science (MFCS), Springer-Verlag Berlin Heidelberg, Brno, Czech Republic, 2010.
[RACTI-RU1-2009-128] Michail, Othon , Population protocols , 2009.
[RACTI-RU1-2009-103] Spirakis, Paul , Michail, Othon and Chatzigiannakis, Ioannis , Mediated Population Protocols , in: 36th International Colloquium on Automata , Languages and Programming, Rhodes , Greece, 2009.
[RACTI-RU1-2009-98] Chatzigiannakis, Ioannis , Michail, Othon and Spirakis, Paul , Brief Announcement: Decidable Graph Languages by Mediated Population Protocols , in: 23rd International Symposium on Distributed Computing, Spain, 2009.
[RACTI-RU1-2009-27] Chatzigiannakis, Ioannis , Dolev, Shlomi , Fekete, Sandor , Michail, Othon and Spirakis, Paul , Not All Fair Probabilistic Schedulers are Equivalent , in: 13th International Conference On Principles Of DIstributed Systems (OPODIS 2009), pages 33-47, Springer-Verlag Berlin Heidelberg, Nimes, France, 2009.
[RACTI-RU1-2009-24] Chatzigiannakis, Ioannis , Michail, Othon and Spirakis, Paul , Decidable Graph Languages by Mediated Population Protocols , in: 23rd International Symposium on Distributed Computing (DISC 2009), pages 239-240, Springer-Verlag, LNCS, Elche/Elx, Spain, 2009.
[RACTI-RU1-2009-21] Chatzigiannakis, Ioannis , Michail, Othon and Spirakis, Paul , Recent Advances in Population Protocols , in: 34th International Symposium on Mathematical Foundations of Computer Science (MFCS), pages 56-76, Springer-Verlag Berlin Heidelberg, Novy Smokovec, High Tatras, Slovak Republic, 2009.
[RACTI-RU1-2009-13] Chatzigiannakis, Ioannis , Michail, Othon and Spirakis, Paul , Mediated Population Protocols , in: 36th International Colloquium on Automata, Languages and Programming (ICALP 2009), pages 363-374, Springer-Verlag Berlin Heidelberg, EATCS, Rhodes, Greece, 2009.
[RACTI-RU1-2009-11] Chatzigiannakis, Ioannis , Michail, Othon and Spirakis, Paul , Exploring the Computational Limits of Adaptive Networked Populations of Tiny Artefacts , in: 1st European Future Technologies Conference (FET 2009), Prague, Czech Republic, 2009.