dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Othon Michail Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOthon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis: New Models for Population Protocols Morgan & Claypool Publishers 2011
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis: Passively mobile communicating machines that use restricted space. FOMC 2011: 6-15
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Paul G. Spirakis: The Computational Power of Simple Protocols for Self-awareness on Graphs. SSS 2011: 135-147
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarme Àlvarez, Ioannis Chatzigiannakis, Amalia Duch, Joaquim Gabarró, Othon Michail, Maria J. Serna, Paul G. Spirakis: Computational models for networks of tiny artifacts: A survey. Computer Science Review 5(1): 7-25 (2011)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOthon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis: Mediated population protocols. Theor. Comput. Sci. 412(22): 2434-2450 (2011)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis: Passively mobile communicating machines that use restricted space. Theor. Comput. Sci. 412(46): 6469-6483 (2011)
2010
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis: All Symmetric Predicates in NSPACE(n2) Are Stably Computable by the Mediated Population Protocol Model. MFCS 2010: 270-281
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Chatzigiannakis, Othon Michail, Paul G. Spirakis: Algorithmic Verification of Population Protocols. SSS 2010: 221-235
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Chatzigiannakis, Othon Michail, Paul G. Spirakis: Stably Decidable Graph Languages by Mediated Population Protocols. SSS 2010: 252-266
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis: Passively Mobile Communicating Logarithmic Space Machines CoRR abs/1004.3395: (2010)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis: Passively Mobile Communicating Machines that Use Restricted Space CoRR abs/1012.2440: (2010)
2009
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Chatzigiannakis, Othon Michail, Paul G. Spirakis: Brief Announcement: Decidable Graph Languages by Mediated Population Protocols. DISC 2009: 239-240
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Chatzigiannakis, Othon Michail, Paul G. Spirakis: Mediated Population Protocols. ICALP (2) 2009: 363-374
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Chatzigiannakis, Othon Michail, Paul G. Spirakis: Recent Advances in Population Protocols. MFCS 2009: 56-76
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Chatzigiannakis, Shlomi Dolev, Sándor P. Fekete, Othon Michail, Paul G. Spirakis: Not All Fair Probabilistic Schedulers Are Equivalent. OPODIS 2009: 33-47
2008
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Prentzas, Ioannis Hatzilygeroudis, Othon Michail: Improving the Integration of Neuro-Symbolic Rules with Case-Based Reasoning. SETN 2008: 377-382

Coauthor Index

1Carme Àlvarez [13]
2Ioannis Chatzigiannakis [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
3Shlomi Dolev [2]
4Amalia Duch [13]
5Sándor P. Fekete [2]
6Joaquim Gabarró [13]
7Ioannis Hatzilygeroudis [1]
8Stavros Nikolaou [6] [7] [10] [11] [14] [15]
9Andreas Pavlogiannis [6] [7] [10] [11] [15]
10Jim Prentzas [1]
11Maria J. Serna [13]
12Paul G. Spirakis [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page