Othon Michail

发表

Brief Announcement: Decidable Graph Languages by Mediated Population Protocols

Ioannis Chatzigiannakis, Othon Michail, 2009, DISC.

Pushing lines helps: Efficient universal centralised transformations for programmable matter

Othon Michail, Igor Potapov, Abdullah Almethen, 2020, Theor. Comput. Sci..

The computational power of simple protocols for self-awareness on graphs

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2011, Theor. Comput. Sci..

Passively mobile communicating machines that use restricted space

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2011, Theor. Comput. Sci..

A Glimpse at Paul G. Spirakis

Ioannis Chatzigiannakis, Othon Michail, Grammati E. Pantziou, 2015, Algorithms, Probability, Networks, and Games.

Network Constructors: A Model for Programmable Matter

Paul G. Spirakis, Othon Michail, 2017, SOFSEM.

Terminating Distributed Construction of Shapes and Patterns in a Fair Solution of Automata

Othon Michail, 2015, PODC.

An Introduction to Temporal Graphs: An Algorithmic Perspective*

Othon Michail, O. Michail, 2015, Internet Math..

Naming and Counting in Anonymous Unknown Dynamic Networks

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2012, SSS.

Elements of the theory of dynamic networks

Paul G. Spirakis, Othon Michail, P. Spirakis, 2018, Commun. ACM.

Not All Fair Probabilistic Schedulers Are Equivalent

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2009, OPODIS.

Simple and efficient local codes for distributed stable network construction

Paul G. Spirakis, Othon Michail, 2014, PODC '14.

Session details: Session 10

Othon Michail, 2015, PODC 2015.

NETCS: A New Simulator of Population Protocols and Network Constructors pdf

Paul G. Spirakis, Othon Michail, Dimitrios Amaxilatis, 2015, ArXiv.

Brief Announcement: Naming and Counting in Anonymous Unknown Dynamic Networks

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2012, DISC.

On the Distributed Construction of Stable Networks in Polylogarithmic Parallel Time pdf

Othon Michail, Paul Spirakis, Matthew Connor, 2020, Inf..

How many cooks spoil the soup?

Paul G. Spirakis, Othon Michail, 2017, Distributed Computing.

Causality, influence, and computation in possibly disconnected synchronous dynamic networks

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2014, J. Parallel Distributed Comput..

Pushing Lines Helps: Efficient Universal Centralised Transformations for Programmable Matter pdf

Othon Michail, Igor Potapov, Abdullah Almethen, 2019, ALGOSENSORS.

Mediated population protocols

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2011, Theor. Comput. Sci..

All Symmetric Predicates in NSPACE(n2) Are Stably Computable by the Mediated Population Protocol Model

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2010, MFCS.

Computational models for networks of tiny artifacts: A survey

Paul G. Spirakis, Maria J. Serna, Ioannis Chatzigiannakis, 2011, Comput. Sci. Rev..

New Models for Population Protocols

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2011, Synthesis Lectures on Distributed Computing Theory.

Simple and efficient local codes for distributed stable network construction

Paul G. Spirakis, Othon Michail, P. Spirakis, 2013, Distributed Computing.

Causality, influence, and computation in possibly disconnected synchronous dynamic networks

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2012, J. Parallel Distributed Comput..

Connectivity preserving network transformers

Paul G. Spirakis, Othon Michail, 2017, Theor. Comput. Sci..

Temporal Network Optimization Subject to Connectivity Constraints

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2013, ICALP.

Fault Tolerant Network Constructors pdf

Paul G. Spirakis, Othon Michail, Michail Theofilatos, 2019, SSS.

On the Fairness of Probabilistic Schedulers for Population Protocols

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2009, Algorithmic Methods for Distributed Cooperative Systems.

On the transformation capability of feasible mechanisms for programmable matter

Paul G. Spirakis, Othon Michail, George Skretas, 2019, J. Comput. Syst. Sci..

Algorithmic Verification of Population Protocols

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2010, SSS.

Passively Mobile Communicating Logarithmic Space Machines pdf

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2010, ArXiv.

Exact size counting in uniform population protocols in nearly logarithmic time pdf

Paul G. Spirakis, Othon Michail, David Doty, 2018, ArXiv.

On Efficient Connectivity-Preserving Transformations in a Grid pdf

Othon Michail, Igor Potapov, Abdullah Almethen, 2020, ALGOSENSORS.

Stably Decidable Graph Languages by Mediated Population Protocols

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2010, SSS.

Gathering in 1-Interval Connected Graphs pdf

Paul G. Spirakis, Othon Michail, Michail Theofilatos, 2020, ArXiv.

The Computational Power of Simple Protocols for Self-awareness on Graphs

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2011, SSS.

Terminating distributed construction of shapes and patterns in a fair solution of automata

Othon Michail, O. Michail, 2015, Distributed Computing.

Terminating population protocols via some minimal global knowledge assumptions

Paul G. Spirakis, Othon Michail, P. Spirakis, 2012, J. Parallel Distributed Comput..

Recent Advances in Population Protocols

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2009, MFCS.

Causality, Influence, and Computation in Possibly Disconnected Dynamic Networks pdf

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2012, ArXiv.

Temporal Network Optimization Subject to Connectivity Constraints

Paul G. Spirakis, Othon Michail, George B. Mertzios, 2013, Algorithmica.

Distributed Computation and Reconfiguration in Actively Dynamic Networks

Paul G. Spirakis, Othon Michail, George Skretas, 2020, PODC.

On the Transformation Capability of Feasible Mechanisms for Programmable Matter

Paul G. Spirakis, Othon Michail, George Skretas, 2017, ICALP.

Simple and Fast Approximate Counting and Leader Election in Populations

Paul G. Spirakis, Othon Michail, Michail Theofilatos, 2018, SSS.

How Many Cooks Spoil the Soup?

Paul G. Spirakis, Othon Michail, 2016, SIROCCO.

Traveling salesman problems in temporal graphs

Paul G. Spirakis, Othon Michail, P. Spirakis, 2014, Theor. Comput. Sci..

Passively mobile communicating machines that use restricted space

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2011, FOMC '11.

Fast Approximate Counting and Leader Election in Populations pdf

Paul G. Spirakis, Othon Michail, Michail Theofilatos, 2018, SIROCCO.

Mediated Population Protocols

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2009, ICALP.

An Introduction to Temporal Graphs: An Algorithmic Perspective*

Othon Michail, 2016, Internet Math..

Terminating Population Protocols via Some Minimal Global Knowledge Assumptions

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2012, SSS.

Traveling salesman problems in temporal graphs

Paul G. Spirakis, Othon Michail, 2016, Theor. Comput. Sci..

Improving the Integration of Neuro-Symbolic Rules with Case-Based Reasoning

Ioannis Hatzilygeroudis, Othon Michail, Jim Prentzas, 2008, SETN.

Centralised Connectivity-Preserving Transformations for Programmable Matter: A Minimal Seed Approach pdf

Othon Michail, Igor Potapov, Matthew Connor, 2021, ALGOSENSORS.

On efficient connectivity-preserving transformations in a grid

Othon Michail, Igor Potapov, Abdullah Almethen, 2022, Theor. Comput. Sci..

The Complexity of Growing a Graph pdf

Paul G. Spirakis, Othon Michail, George B. Mertzios, 2021, ArXiv.

Distributed Transformations of Hamiltonian Shapes based on Line Moves

Othon Michail, Igor Potapov, Abdullah Almethen, 2021, ALGOSENSORS.

Special issue on Algorithmic Theory of Dynamic Networks and Its Applications - Preface

Othon Michail, Silvia Bonomi, Leonardo Querzoni, 2022, J. Comput. Syst. Sci..

Computing in Dynamic Networks ?

Paul G. Spirakis, Ioannis Chatzigiannakis, Othon Michail, 2015 .

Communications of ACM (CACM)

Paul G. Spirakis, Othon Michail, P. Spirakis, 2018 .