Mikhail R. Gadelha
ORCIDPublication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 18
Publications (10 Years): 18
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