Kiosk IoT for electoral consciousness. - Naylor G. Bachiega; Sílvia M. D. Diaz; Vitor S. Montes (iiWAS, 2016)

Structural testing for communication events into loops of message-passing parallel programs. - Sílvia M. D. Diaz; Paulo S. L. Souza; Simone R. S. Souza (Concurr. Comput. Pract. Exp., 2021)