2021
TEET! Tunisian Dataset for Toxic Speech Detection.
CoRR, 2021

2020
Deciding and verifying network properties locally with few output bits.
Distributed Comput., 2020

2014
Local Distributed Decision and Verification. (Décision et vérification distribuées dans le modèle local).
PhD thesis, 2014

What can be computed without communications?
SIGACT News, 2014

Distributedly Testing Cycle-Freeness.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2014

2013
A review of SIROCCO 2012.
SIGACT News, 2013

Local Decision and Verification with Bounded-Size Outputs.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

2012
Brief announcement: what can be computed without communication?
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012