팔로우
Othon Michail
Othon Michail
Senior Lecturer in Computer Science, University of Liverpool
liverpool.ac.uk의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
An introduction to temporal graphs: An algorithmic perspective
O Michail
Internet Mathematics 12 (4), 239-280, 2016
2322016
Temporal network optimization subject to connectivity constraints
GB Mertzios, O Michail, PG Spirakis
Algorithmica 81 (4), 1416-1449, 2019
148*2019
Traveling salesman problems in temporal graphs
O Michail, PG Spirakis
Theoretical Computer Science 634, 1-23, 2016
1342016
Mediated population protocols
O Michail, I Chatzigiannakis, PG Spirakis
Theoretical Computer Science 412 (22), 2434-2450, 2011
121*2011
Elements of the theory of dynamic networks
O Michail, PG Spirakis
Communications of the ACM 61 (2), 72-72, 2018
992018
Passively mobile communicating machines that use restricted space
I Chatzigiannakis, O Michail, S Nikolaou, A Pavlogiannis, PG Spirakis
Theoretical Computer Science 412 (46), 6469-6483, 2011
742011
New models for population protocols
M Othon, I Chatzigiannakis, PG Spirakis
Nancy Lynch, 2011
73*2011
Simple and efficient local codes for distributed stable network construction
O Michail, PG Spirakis
Proceedings of the 2014 ACM symposium on Principles of distributed computing …, 2014
712014
Naming and counting in anonymous unknown dynamic networks
O Michail, I Chatzigiannakis, PG Spirakis
Symposium on Self-Stabilizing Systems, 281-295, 2013
652013
An introduction to temporal graphs: An algorithmic perspective
O Michail
Algorithms, Probability, Networks, and Games: Scientific Papers and Essays …, 2015
632015
On the transformation capability of feasible mechanisms for programmable matter
O Michail, G Skretas, PG Spirakis
Journal of Computer and System Sciences 102, 18-39, 2019
462019
Causality, influence, and computation in possibly disconnected synchronous dynamic networks
O Michail, I Chatzigiannakis, PG Spirakis
Journal of Parallel and Distributed Computing 74 (1), 2016-2026, 2014
352014
Algorithmic verification of population protocols
I Chatzigiannakis, O Michail, PG Spirakis
Stabilization, Safety, and Security of Distributed Systems: 12th …, 2010
332010
Terminating distributed construction of shapes and patterns in a fair solution of automata
O Michail
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing …, 2015
302015
Not all fair probabilistic schedulers are equivalent
I Chatzigiannakis, S Dolev, SP Fekete, O Michail, PG Spirakis
Principles of Distributed Systems: 13th International Conference, OPODIS …, 2009
292009
Terminating population protocols via some minimal global knowledge assumptions
O Michail, PG Spirakis
Journal of Parallel and Distributed Computing 81, 1-10, 2015
262015
Causality, influence, and computation in possibly disconnected synchronous dynamic networks
O Michail, I Chatzigiannakis, PG Spirakis
Principles of Distributed Systems: 16th International Conference, OPODIS …, 2012
242012
Exact size counting in uniform population protocols in nearly logarithmic time
D Doty, M Eftekhari, O Michail, PG Spirakis, M Theofilatos
arXiv preprint arXiv:1805.04832, 2018
21*2018
Recent advances in population protocols
I Chatzigiannakis, O Michail, PG Spirakis
Mathematical Foundations of Computer Science 2009: 34th International …, 2009
202009
Pushing lines helps: Efficient universal centralised transformations for programmable matter
A Almethen, O Michail, I Potapov
Theoretical Computer Science 830, 43-59, 2020
182020
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20