Mikhail R. Gadelha
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 20
Publications (10 Years): 20
Publications
- Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
- Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
- Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
- Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
- Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. CordeiroModel Checking C++ Programs. CoRR (2021)
- Mikhail R. Gadelha, Rafael S. Menezes, Lucas C. Cordeiro
- Guto Kawakami, Aasim Khurshid, Mikhail R. Gadelha
- Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
- Adriano Gil, Juliana Postal, Adélia Ferreira, Daydlene Gonçalves, Bianca Hayek Bianco, Mikhail R. Gadelha
- Everlandio Fernandes, Rodrigo Correia, Adriano Gil, Juliana Postal, Mikhail R. Gadelha