Es autora de numerosos artículos de investigación sobre algoritmos distribuidos y resultados de imposibilidad, y sobre modelamiento formal y validación de sistemas distribuidos.