Lucas C. Cordeiro
ORCIDPublication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 147
Publications (10 Years): 147
University of Southampton, UK (PHD)
Education History
University of Southampton, UK
Publications
- Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
- Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
- Julia Rozanova, Marco Valentino, Lucas C. Cordeiro, André Freitas
- Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
- Mohamed Amine Ferrag, Othmane Friha, Burak Kantarci, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Djallel Hamouda, Muna Al-Hawawreh, Kim-Kwang Raymond Choo
- Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
- Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
- Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
- Julia Rozanova, Marco Valentino, Lucas C. Cordeiro, André Freitas
- Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
- Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
- Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
- Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
- Kamil Erdayandi, Amrit Paudel, Lucas C. Cordeiro, Mustafa A. Mustafa
- Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
- Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. CordeiroModel Checking C++ Programs. CoRR (2021)
- Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro
- Mikhail R. Gadelha, Rafael S. Menezes, Lucas C. Cordeiro
- Mengze Li, Lucas C. Cordeiro
- Nedas Matulevicius, Lucas C. Cordeiro
- Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
- Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
- Alessandro Trindade, Lucas C. Cordeiro
- Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
- Kaled M. Alshmrany, Lucas C. Cordeiro
- Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa
- Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
- Alessandro Trindade, Lucas C. Cordeiro
- Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
- Felipe R. Monteiro, Mikhail Y. R. Gadelha, Lucas C. Cordeiro
- Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto
- Alessandro Trindade, Lucas C. Cordeiro
- Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole