TEET! Tunisian Dataset for Toxic Speech Detection.
CoRR, 2021
Deciding and verifying network properties locally with few output bits.
Distributed Comput., 2020
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
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
Brief announcement: what can be computed without communication?
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012