research unit 1
 

This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit Aigaion.nl.SourceForge.hetLogo

Michail, Othon    

Firstname:Othon 
Surname:Michail 
Email:michailo@cti.gr 
Institute:RACTI & University of Patras 
Homepage:http://ru1.cti.gr/index.php/pe... 
Is RU1 member:YES 

44 publications (0 read)

82 Keywords relate to this author

Absence detector
Adversarial schedule
Approximation algorithm
Causal influence
Communicating automata
Communicating machines
Complexity
Complexity class
Computational complexity
Counter machine
Counting
Cover-time service
Decidability
Diffuse computation
Distributed algorithm
Distributed computing
Distributed network construction
Distributed protocol
Dynamic graph
Dynamic network
Exploration
Fair scheduler
Fairness
Finite automata
Finite-state agent
Finite-state agents
Graph labeling
Graph languages
Graph property
Hardness of approximation
Hardness result
Homogeneous population
Inapproximability
Information dissemination
Interacting automata
Interaction
Intermittent communication
Linear-bounded automaton
Mediated population protocols
Mediator
Menger's theorem
Mobile computing
Naming
Np-hard
Optimal protocol
Optimization
Passive mobility
Passively mobility
Pervasive environments
Population protocol
Population protocols
Population protocols diffuse computation
Probabilistic scheduler
Programmable matter
Protocol verification
Random schedule
Rendezvous-based communication
Self-awareness
Self-organization
Self-replication
Sensing problems
Sensor field
Sensor network
Sensor networks
Shape formation
Space hierarchy
Stabilization
Stable computation
Structure formation
Symmetric computation
TSP with costs one and two
Temporal connectivity
Temporal graph
Temporal matching
Temporal network
Termination
Trade-off
Traveling salesman problem
Verifier
Well-mixed solution
Wireless sensor networks
Worst-case dynamicity




Publications as Author



2017

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

2016

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

2015

[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]
 

2014

[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]
 

2013

[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]
 

2012

[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]
 

2011

[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]
 

2010

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

2009

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