Distributedly testing cycle-freeness H Arfaoui, P Fraigniaud, D Ilcinkas, F Mathieu International Workshop on Graph-Theoretic Concepts in Computer Science, 15-28, 2014 | 30 | 2014 |
Local decision and verification with bounded-size outputs H Arfaoui, P Fraigniaud, A Pelc Symposium on Self-Stabilizing Systems, 133-147, 2013 | 30 | 2013 |
What can be computed without communications? H Arfaoui, P Fraigniaud ACM SIGACT News 45 (3), 82-104, 2014 | 18 | 2014 |
What can be computed without communications? H Arfaoui, P Fraigniaud International Colloquium on Structural Information and Communication …, 2012 | 4 | 2012 |
Deciding and verifying network properties locally with few output bits H Arfaoui, P Fraigniaud, D Ilcinkas, F Mathieu, A Pelc Distributed Computing 33 (2), 169-187, 2020 | 1 | 2020 |
Local Distributed Decision and Verification H Arfaoui Paris Diderot University, 2014 | | 2014 |
A review of SIROCCO 2012 H Arfaoui ACM SIGACT News 44 (2), 113-118, 2013 | | 2013 |
Brief announcement: what can be computed without communication? H Arfaoui, P Fraigniaud Proceedings of the 2012 ACM symposium on Principles of distributed computing …, 2012 | | 2012 |