|
|
| [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), Springer-Verlag Berlin Heidelberg, New York City, USA, 2010. |
|
| [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), Springer-Verlag Berlin Heidelberg, New York City, USA, 2010. |
|
| [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. |
|
|
| [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. |
|
|
|
