@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" }