@inproceedings{CMP21, title = {Centralised Connectivity-Preserving Transformations for Programmable Matter: A Minimal Seed Approach}, author = {Connor, Matthew and Michail, Othon and Potapov, Igor}, booktitle = {17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (ALGOSENSORS)}, pages = {45--60}, year = {2021}, url = {https://link.springer.com/chapter/10.1007/978-3-030-89240-1_4}, doi = {https://doi.org/10.1007/978-3-030-89240-1_4}, publisher = {Springer} } @inproceedings{AMP21, title = {Distributed Transformations of Hamiltonian Shapes based on Line Moves}, author = {Almethen, Abdullah and Michail, Othon and Potapov, Igor}, booktitle = {17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (ALGOSENSORS)}, pages = {1--16}, year = {2021}, url = {https://link.springer.com/chapter/10.1007/978-3-030-89240-1_1}, doi = {https://doi.org/10.1007/978-3-030-89240-1_1}, publisher = {Springer} } @article{MST21b, title = {Beyond Rings: Gathering in 1-Interval Connected Graphs}, author = {Michail, Othon and Spirakis, Paul and Theofilatos, Michail}, journal = {Parallel Processing Letters}, volume = {}, number = {}, year = {2021}, url = {https://www.worldscientific.com/doi/10.1142/S0129626421500201}, doi = {10.1142/S0129626421500201}, publisher = {World Scientific} } @article{CMS21, title = {On the Distributed Construction of Stable Networks in Polylogarithmic Parallel Time}, author = {Connor, Matthew and Michail, Othon and Spirakis, Paul}, journal = {Information}, volume = {12}, number = {6}, article-number = {254}, year = {2021}, url = {https://www.mdpi.com/2078-2489/12/6/254}, doi = {10.3390/info12060254}, publisher = {MDPI} } @inproceedings{MSS20, title = {Distributed Computation and Reconfiguration in Actively Dynamic Networks}, author = {Michail, Othon and Skretas, George and Spirakis, Paul G}, booktitle = {39th ACM Symposium on Principles of Distributed Computing (PODC)}, pages = {448--457}, year = {2020}, url = {https://dl.acm.org/doi/10.1145/3382734.3405744}, doi = {10.1145/3382734.3405744}, publisher = {ACM} } @article{AMP22, author = {Almethen, Abdullah and Michail, Othon and Potapov, Igor}, title = {On Efficient Connectivity-Preserving Transformations in a Grid}, journal = {Theoretical Computer Science}, volume = {898}, pages = {132--148}, year = {2022}, issn = {0304-3975}, doi = {https://doi.org/10.1016/j.tcs.2021.11.004}, url = {https://www.sciencedirect.com/science/article/abs/pii/S0304397521006514}, publisher = {Elsevier} } @inproceedings{AMP20b, title = {On Efficient Connectivity-Preserving Transformations in a Grid}, author = {Almethen, Abdullah and Michail, Othon and Potapov, Igor}, booktitle = {16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (ALGOSENSORS)}, pages = {76-91}, year = {2020}, url = {https://link.springer.com/chapter/10.1007%2F978-3-030-62401-9_6}, doi = {https://doi.org/10.1007/978-3-030-62401-9_6}, publisher = {Springer} } @inproceedings{MST19, title = {Fault Tolerant Network Constructors}, author = {Michail, Othon and Spirakis, Paul G and Theofilatos, Michail}, booktitle = {21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)}, pages = {243--255}, year = {2019}, url = {https://link.springer.com/chapter/10.1007/978-3-030-34992-9_19}, doi = {10.1007/978-3-030-34992-9_19},, publisher = {Springer International Publishing} } @article{AMP20, title = {Pushing Lines Helps: Efficient Universal Centralised Transformations for Programmable Matter}, author = {Almethen, Abdullah and Michail, Othon and Potapov, Igor}, journal = {Theoretical Computer Science}, volume = {830--831}, pages = {43--59}, year = {2020}, url = {https://www.sciencedirect.com/science/article/pii/S0304397520302437}, doi = {10.1016/j.tcs.2020.04.026}, publisher = {Elsevier} } @inproceedings{DEMST18, title = {Brief Announcement: Exact Size Counting in Uniform Population Protocols in Nearly Logarithmic Time}, author = {Doty, David and Eftekhari, Mahsa and Michail, Othon and Spirakis, Paul G and Theofilatos, Michail}, booktitle = {32nd International Symposium on Distributed Computing (DISC)}, pages = {46:1--46:3}, year = {2018}, url = {http://drops.dagstuhl.de/opus/volltexte/2018/9835/}, doi = {10.4230/LIPIcs.DISC.2018.46}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik} } @article{MST21, author = {Michail, Othon and Spirakis, Paul G and Theofilatos, Michail}, title = {Simple and Fast Approximate Counting and Leader Election in Populations}, journal = {Information and Computation}, volume = {}, pages = {}, year = {2021}, issn = {0890-5401}, doi = {10.1016/j.ic.2021.104698}, url = {https://www.sciencedirect.com/science/article/abs/pii/S0890540121000134}, publisher = {Elsevier} } @inproceedings{MST18, title = {Simple and Fast Approximate Counting and Leader Election in Populations}, author = {Michail, Othon and Spirakis, Paul G and Theofilatos, Michail}, booktitle = {20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)}, pages = {154--169}, year = {2018}, url = {https://link.springer.com/chapter/10.1007%2F978-3-030-03232-6_11}, doi = {10.1007/978-3-030-03232-6_11}, publisher = {Springer International Publishing} @article{MS18, title = {Elements of the Theory of Dynamic Networks}, author = {Michail, Othon and Spirakis, Paul G}, journal = {Communications of the ACM}, volume = {61}, number = {2}, pages = {72--81}, year = {2018}, publisher = {ACM} } @article{MSS18, author = {Michail, Othon and Skretas, George and Spirakis, Paul G}, title = {On the Transformation Capability of Feasible Mechanisms for Programmable Matter}, journal = {Journal of Computer and System Sciences}, volume = {102}, pages = {18--39}, year = {2018}, issn = {0022-0000}, doi = {10.1016/j.jcss.2018.12.001}, url = {http://www.sciencedirect.com/science/article/pii/S0022000018300436}, publisher = {Elsevier} } @inproceedings{MSS17, title={On the Transformation Capability of Feasible Mechanisms for Programmable Matter}, author={Michail, Othon and Skretas, George and Spirakis, Paul G}, booktitle={44th International Colloquium on Automata, Languages and Programming (ICALP)}, pages={136:1--136:15}, year={2017}, url={https://doi.org/10.4230/LIPIcs.ICALP.2017.136}, doi={10.4230/LIPIcs.ICALP.2017.136}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik} } @inproceedings{MS17b, title = {Network Constructors: A Model for Programmable Matter}, author = {Michail, Othon and Spirakis, Paul G}, booktitle = {Proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)}, year = {2017}, location = {Lero-Limerick, Ireland}, isbn = {978-3-319-51963-0}, pages = {15--34}, url = {http://link.springer.com/chapter/10.1007/978-3-319-51963-0_3}, doi = {10.1007/978-3-319-51963-0_3}, publisher = {Springer International Publishing} } @article{MS17d, author = {Michail, Othon and Spirakis, Paul G}, title = {How Many Cooks Spoil the Soup?}, journal = {Distributed Computing}, volume = {31}, number = {6}, pages = {455--469}, year = {2018}, issn = {0178-2770}, doi = {https://doi.org/10.1007/s00446-017-0317-z}, url = {https://link.springer.com/article/10.1007/s00446-017-0317-z}, publisher = {Springer Berlin Heidelberg} } @article{MS17a, title={Connectivity Preserving Network Transformers}, author={Michail, Othon and Spirakis, Paul G}, journal={Theoretical Computer Science}, volume={671}, pages={36--55}, year={2017}, issn={0304-3975}, doi={http://dx.doi.org/10.1016/j.tcs.2016.02.040}, url={http://www.sciencedirect.com/science/article/pii/S0304397516002024}, publisher={Elsevier} } @InBook{ MS16e, title = "Emergent Computation", author = "Othon Michail and Paul G. Spirakis", editor = "A. Adamatzky", publisher = "Springer", chapter = "Connectivity Preserving Network Transformers", pages = "337--359", year = "2016" } @article{Mi16, author = {Michail, Othon}, title = {An Introduction to Temporal Graphs: An Algorithmic Perspective}, journal = {Internet Mathematics}, volume = {12}, number = {4}, pages = {239--280}, year = {2016}, issn = {1542-7951}, doi = {http://dx.doi.org/10.1080/15427951.2016.1177801}, url = {http://www.tandfonline.com/doi/full/10.1080/15427951.2016.1177801}, publisher = {Taylor \& Francis} } @article{Mi18, author = {Michail, Othon}, title = {Terminating distributed construction of shapes and patterns in a fair solution of automata}, journal = {Distributed Computing}, volume = {31}, number = {5}, pages = {343--365}, year = {2018}, issn = {0178-2770}, doi = {http://dx.doi.org/10.1007/s00446-017-0309-z}, url = {http://link.springer.com/article/10.1007/s00446-017-0309-z}, publisher = {Springer Berlin Heidelberg} } @article{MS16b, author = {Michail, Othon and Spirakis, Paul G.}, title = {Traveling Salesman Problems in Temporal Graphs}, journal = {Theoretical Computer Science}, volume = {634}, pages = {1--23}, year = {2016}, issn = {0304-3975}, doi = {http://dx.doi.org/10.1016/j.tcs.2016.04.006}, url = {http://www.sciencedirect.com/science/article/pii/S0304397516300342}, publisher = {Elsevier} } @article{MS16a, author = {Michail, Othon and Spirakis, Paul G.}, title = {Simple and efficient local codes for distributed stable network construction}, journal = {Distributed Computing}, volume = {29}, number = {3}, pages = {207--237}, year = {2016}, issn = {0178-2770}, doi = {http://dx.doi.org/10.1007/s00446-015-0257-4}, url = {https://link.springer.com/article/10.1007/s00446-015-0257-4}, publisher = {Springer Berlin Heidelberg} } @article{MMS19, author = {Mertzios, George B and Michail, Othon and Spirakis, Paul G}, title = {Temporal Network Optimization Subject to Connectivity Constraints}, journal = {Algorithmica}, volume = {81}, number = {4}, pages = {1416--1449}, year = {2019}, issn = {0178-4617}, doi = {http://dx.doi.org/10.1007/s00453-018-0478-6}, url = {http://link.springer.com/article/10.1007/s00453-018-0478-6}, publisher = {Springer Nature} } @InBook{ MCS15, title = "Computational Network Theory: Theoretical Foundations and Applications, First Edition", author = "Othon Michail and Ioannis Chatzigiannakis and Paul G. Spirakis", editor = "M. Dehmer and F. Emmert-Streib and S. Pickl", publisher = "Wiley-VCH Verlag GmbH & Co. KGaA", chapter = "Computing in Dynamic Networks", pages = "173--218", year = "2015" } @inproceedings{Mi15a, title={An Introduction to Temporal Graphs: An Algorithmic Perspective}, author={Michail, Othon}, booktitle={Algorithms, Probability, Networks, and Games - Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday}, series={Lecture Notes in Computer Science}, pages={308--343}, year={2015}, publisher={Springer} } @inproceedings{Mi15b, author = {Michail, Othon}, title = {Terminating Distributed Construction of Shapes and Patterns in a Fair Solution of Automata}, booktitle = {Proceedings of the 34th ACM Symposium on Principles of Distributed Computing (PODC)}, year = {2015}, location = {Donostia-San Sebasti{\'a}n, Spain}, isbn = {978-1-4503-2944-6}, pages = {37--46}, numpages = {10}, url = {http://doi.acm.org/10.1145/2767386.2767402}, doi = {10.1145/2767386.2767402}, acmid = {2767402}, publisher = {ACM} } @article{MS15b, author = {Michail, Othon and Spirakis, Paul G.}, title = {Simple and efficient local codes for distributed stable network construction}, journal = {Distributed Computing}, year = {2015}, issn = {0178-2770}, doi = {10.1007/s00446-015-0257-4}, pages = {1-31}, url = {http://dx.doi.org/10.1007/s00446-015-0257-4}, publisher = {Springer Berlin Heidelberg} } @inproceedings{MS14, author = {Michail, Othon and Spirakis, Paul G.}, title = {Simple and Efficient Local Codes for Distributed Stable Network Construction}, booktitle = {Proceedings of the 33rd ACM Symposium on Principles of Distributed Computing (PODC)}, year = {2014}, isbn = {978-1-4503-2944-6}, location = {Paris, France}, pages = {76--85}, numpages = {10}, url = {http://doi.acm.org/10.1145/2611462.2611466}, doi = {10.1145/2611462.2611466}, publisher = {ACM} } @inproceedings{MS14b, title={Traveling Salesman Problems in Temporal Graphs}, author={Michail, Othon and Spirakis, Paul G}, booktitle={39th International Symposium on Mathematical Foundations of Computer Science (MFCS)}, pages={553--564}, year={2014}, publisher={Springer} } @article{MCS14, title={Causality, influence, and computation in possibly disconnected synchronous dynamic networks}, author={Michail, Othon and Chatzigiannakis, Ioannis and Spirakis, Paul G}, journal={Journal of Parallel and Distributed Computing}, volume={74}, number={1}, pages={2016--2026}, year={2014}, publisher={Elsevier} } @inproceedings{MMCS13, title={Temporal Network Optimization Subject to Connectivity Constraints}, author={Mertzios, George B and Michail, Othon and Chatzigiannakis, Ioannis and Spirakis, Paul G}, booktitle={40th International Colloquium on Automata, Languages and Programming (ICALP)}, pages={663--674}, year={2013}, volume={7966}, number={Part 2}, series={Lecture Notes in Computer Science}, month={July}, publisher={Springer} } @inproceedings{MCS13b, title={Naming and counting in anonymous unknown dynamic networks}, author={Michail, Othon and Chatzigiannakis, Ioannis and Spirakis, Paul G}, booktitle={15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)}, pages={281--295}, year={2013}, publisher={Springer} } @inproceedings{MCS12c, author = {Michail, Othon and Chatzigiannakis, Ioannis and Spirakis, Paul G.}, title = {Brief announcement: Naming and counting in anonymous unknown dynamic networks}, booktitle = {Proceedings of the 26th international conference on Distributed Computing (DISC)}, year = {2012}, isbn = {978-3-642-33650-8}, location = {Salvador, Brazil}, pages = {437--438}, numpages = {2}, url = {http://dx.doi.org/10.1007/978-3-642-33651-5_46}, doi = {10.1007/978-3-642-33651-5_46}, acmid = {2427930}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg} } @inproceedings{MCS12b, author = {Othon Michail and Ioannis Chatzigiannakis and Paul G. Spirakis}, title = {Causality, Influence, and Computation in Possibly Disconnected Synchronous Dynamic Networks}, booktitle = {16th International Conference on Principles of Distributed Systems (OPODIS)}, year = {2012}, pages = {269-283}, ee = {http://dx.doi.org/10.1007/978-3-642-35476-2_19}, crossref = {DBLP:conf/opodis/2012}, bibsource = {DBLP, http://dblp.uni-trier.de}, note = {Also in \emph{Journal of Parallel and Distributed Computing} (To appear)} } @article{MS15, title={Terminating population protocols via some minimal global knowledge assumptions}, author={Michail, Othon and Spirakis, Paul G}, journal={Journal of Parallel and Distributed Computing}, volume={81}, pages={1--10}, year={2015}, publisher={Elsevier} } @article{MNPS11, author = {Ioannis Chatzigiannakis and Othon Michail and Stavros Nikolaou and Andreas Pavlogiannis and Paul G. Spirakis}, title = {Passively mobile communicating machines that use restricted space}, journal = {Theoretical Computer Science}, volume = {412}, number = {46}, year = {2011}, pages = {6469-6483}, month = {October}, ee = {http://dx.doi.org/10.1016/j.tcs.2011.07.001} } @Article{ MCS11-2, author = "Othon Michail and Ioannis Chatzigiannakis and Paul G. Spirakis", title = "Mediated population protocols", journal = "Theoretical Computer Science", issue_date = "May, 2011", volume = "412", number = "22", month = "May", year = "2011", issn = "0304-3975", pages = "2434--2450", numpages = "17", url = "http://dx.doi.org/10.1016/j.tcs.2011.02.003", doi = "http://dx.doi.org/10.1016/j.tcs.2011.02.003", acmid = "1967853", publisher = "Elsevier Science Publishers Ltd.", address = "Essex, UK", keywords = "Diffuse computation, Finite-state agent, Intermittent communication, Passive mobility, Population protocol, Stable computation" } @Book{ MCS11, title = "New Models for Population Protocols", booktitle = "New Models for Population Protocols", author = "Othon Michail and Ioannis Chatzigiannakis and Paul G. Spirakis", publisher = "Morgan \& Claypool", series = "N. A. Lynch (Ed), Synthesis Lectures on Distributed Computing Theory", year = "2011", editor = "Nancy A. Lynch", } @Book{ Mi10, title = "New Models for Population Protocols", publisher = "Computer Engineering \& Informatics Department (CEID), Computer Science \& Technology Graduate Programme, University of Patras", year = "2010", author = "Othon Michail", note = "PhD Thesis (in Greek)", booktitle = "New Models for Population Protocols" } @Article{ ACMSS10, author = "Carme {\`A}lvarez and Ioannis Chatzigiannakis and Amalia Duch and Joaquim Gabarr{\'o} and Othon Michail and Serna Maria and Paul G. Spirakis", title = "Computational Models for Networks of Tiny Artifacts: A Survey", journal = "Computer Science Review", year = "2011", volume = "5", number = "1", month = "January", doi = "doi:10.1016/j.cosrev.2010.09.001" } @InProceedings{ CMNPS10-2, author = "Ioannis Chatzigiannakis and Othon Michail and Stavros Nikolaou and Andreas Pavlogiannis and Paul G. Spirakis", title = "All symmetric predicates in ${NSPACE}(n^2)$ are stably computable by the mediated population protocol model", booktitle = "35th International Symposium on Mathematical Foundations of Computer Science (MFCS)", year = "2010", volume = "6281", series = "Lecture Notes in Computer Science", pages = "270--281", month = "August 23--27", publisher = "Springer-Verlag", location = "Brno, Czech Republic" } @InProceedings{ CMS10, author = "Ioannis Chatzigiannakis and Othon Michail and Paul G. Spirakis", title = "Algorithmic verification of population protocols", booktitle = "12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)", year = "2010", volume = "6366", series = "Lecture Notes in Computer Science", pages = "221--235", month = "September", publisher = "Springer-Verlag", location = "New York City, USA" } @InBook{ CMS10-2, title = "Theoretical Aspects of Distributed Computing in Sensor Networks", author = "Paul G. Spirakis", editor = "S. Nikoletseas and J. Rolim", publisher = "Springer-Verlag", chapter = "Population Protocols and Related Models", year = "2010" } @InProceedings{ CMS10-3-1, author = "Ioannis Chatzigiannakis and Othon Michail and Paul G. Spirakis", title = "Stably Decidable Graph Languages by Mediated Population Protocols", booktitle = "12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)", year = "2010", volume = "6366", series = "Lecture Notes in Computer Science", pages = "252--266", month = "September", publisher = "Springer-Verlag", location = "New York City, USA" } @InProceedings{ FNPMCS10, author = "Apostolos Filippas and Stavros Nikolaou and Andreas Pavlogiannis and Othon Michail and Ioannis Chatzigiannakis and Paul G. Spirakis", title = "Computational Models for Wireless Sensor Networks: A Survey", booktitle = "1st International Conference for Undergraduate and Postgraduate Students in Computer Engineering, Informatics, related Technologies and Applications (EUREKA!)", year = "2010", note = "Also FRONTS Technical Report, FRONTS-TR-2010-18, \url{http://fronts.cti.gr/aigaion/?TR=156}", location = "Ancient Olympia, Greece" } @InProceedings{ CMS09-3, author = "Ioannis Chatzigiannakis and Othon Michail and Paul G. Spirakis", title = "Brief Announcement: Decidable Graph Languages by Mediated Population Protocols", booktitle = "23rd International Symposium on Distributed Computing (DISC)", year = "2009", volume = "5805", series = "Lecture Notes in Computer Science", pages = "239--240", month = "September", publisher = "Springer-Verlag", bibsource = "DBLP, http://dblp.uni-trier.de", crossref = "DBLP:conf/wdag/2009", ee = "http://dx.doi.org/10.1007/978-3-642-04355-0\\\\\\\\\\_24" } @InProceedings{ CDFMS09, author = "Ioannis Chatzigiannakis and Shlomi Dolev and S{\'a}ndor P. Fekete and Othon Michail and Paul G. Spirakis", title = "Not All Fair Probabilistic Schedulers Are Equivalent", booktitle = "13th International Conference on Principles of Distributed Systems (OPODIS)", year = "2009", volume = "5923", series = "Lecture Notes in Computer Science", pages = "33--47", publisher = "Springer-Verlag", doi = "http://dx.doi.org/10.1007/978-3-642-10877-8\\\\\\\\\\_5", isbn = "978-3-642-10876-1", location = "N\^{\i}mes, France" } @InProceedings{ CMS09-1, author = "Ioannis Chatzigiannakis and Othon Michail and Paul G. Spirakis", title = "Mediated Population Protocols", booktitle = "36th International Colloquium on Automata, Languages and Programming (ICALP)", year = "2009", volume = "5556", number = "Part 2", series = "Lecture Notes in Computer Science", pages = "363--374", month = "July", publisher = "Springer-Verlag" } @InProceedings{ CMS09-2, author = "Ioannis Chatzigiannakis and Othon Michail and Paul G. Spirakis", title = "Recent Advances in Population Protocols", booktitle = "34th International Symposium on Mathematical Foundations of Computer Science (MFCS)", year = "2009", volume = "5734", series = "Lecture Notes in Computer Science", pages = "56--76", address = "Berlin, Heidelberg", publisher = "Springer-Verlag", doi = "http://dx.doi.org/10.1007/978-3-642-03816-7\\\\\\\\\\_6", isbn = "978-3-642-03815-0", location = "Novy Smokovec, High Tatras, Slovakia" } @InProceedings{ CMS09-4, author = "Ioannis Chatzigiannakis and Othon Michail and Paul G. Spirakis", title = "Exploring the Computational Limits of Adaptive Networked Populations of Tiny Artefacts", booktitle = "Future and Emerging Technologies (FET)", year = "2009", month = "April", location = "Prague" }