Items where authors include "Filho, Madiel Conserva"

Article

Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Filho, Madiel Conserva, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872 et al. (1 more author) (2023) Laws of Timed State Machines. The Computer Journal. bxad124. ISSN 1460-2067

Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Sampaio, Augusto, Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 et al. (5 more authors) (2019) Verified simulation for robotics. Science of Computer Programming. ISSN 0167-6423

Conference or Workshop Item

Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Filho, Madiel Conserva, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872 et al. (1 more author) RoboSim: software models for sound simulation. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York. (Unpublished)