| 2025 |
J |
jnl |
CoRR
Hugo Araújo, Hana Chockler, Mohammad Reza Mousavi, Gustavo Carvalho, Augusto Sampaio
|
| 2025 |
— |
conf |
SBMF
Gustavo Carvalho, Lucas Santana, Fábio Sobral, Beatriz Souza
|
| 2024 |
— |
conf |
SBMF
Gustavo Carvalho, José Dihego, Augusto Sampaio
|
| 2024 |
— |
conf |
FMTea
Gustavo Carvalho
|
| 2023 |
J |
jnl |
Formal Aspects Comput.
James Baxter, Gustavo Carvalho, Ana Cavalcanti, Francisco Rodrigues Júnior
|
| 2022 |
B |
conf |
SEAA
Lucas D. Maciel, Alice Oliveira, Riei Rodrigues, Williams Santiago, Andresa Silva, Gustavo Carvalho, Breno Miranda
|
| 2022 |
J |
jnl |
Sci. Comput. Program.
Gustavo Carvalho, Volker Stolz
|
| 2021 |
B |
conf |
SEFM
Ana Cavalcanti, James Baxter, Gustavo Carvalho
|
| 2021 |
J |
jnl |
Sci. Comput. Program.
Gustavo Carvalho, Igor Meira
|
| 2020 |
B |
conf |
FUZZ-IEEE
Konstantinos Papageorgiou, Gustavo Carvalho, Elpiniki I. Papageorgiou, Nikolaos I. Papandrianos, Márcio Mendonça, Georgios I. Stamoulis
|
| 2020 |
— |
ed. |
SBMF
Gustavo Carvalho, Volker Stolz
|
| 2019 |
J |
jnl |
Sci. Comput. Program.
Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio
|
| 2019 |
J |
jnl |
CoRR
Gustavo Carvalho, Igor Meira
|
| 2019 |
B |
conf |
SEFM
Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
|
| 2018 |
— |
conf |
SBMF
Tainã Santos, Gustavo Carvalho, Augusto Sampaio
|
| 2018 |
J |
jnl |
Sci. Comput. Program.
Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio
|
| 2017 |
— |
conf |
ICST Workshops
Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad
|
| 2017 |
— |
conf |
Concurrency, Security, and Puzzles
Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio
|
| 2017 |
— |
conf |
CASE
Bruno Oliveira, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
|
| 2016 |
— |
conf |
SBMF
Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros
|
| 2016 |
J |
jnl |
Formal Aspects Comput.
Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio
|
| 2015 |
B |
conf |
SEFM
Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio
|
| 2015 |
— |
conf |
SBMF
Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio
|
| 2014 |
C |
conf |
ICFEM
Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio
|
| 2014 |
J |
jnl |
Sci. Comput. Program.
Gustavo Carvalho, Diogo Falcão, Flávia de Almeida Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn
|
| 2013 |
C |
conf |
ICFEM
Gustavo Carvalho, Augusto Sampaio, Alexandre Mota
|
| 2013 |
— |
conf |
FTSCS
Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska
|
| 2013 |
Misc |
conf |
SAC
Gustavo Carvalho, Diogo Falcão, Flávia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn
|
| 2012 |
— |
conf |
SBMF
Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio
|
| 2012 |
C |
conf |
ICFEM
Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho
|
| 2011 |
J |
jnl |
J. Univers. Comput. Sci.
Gustavo Carvalho, Adriana Santarosa Vivacqua, Jano Moreira de Souza, Sergio Palma da Justa Medeiros
|
| 2011 |
C |
conf |
CSCWD
Sergio Palma da Justa Medeiros, Jano Moreira de Souza, Gustavo Carvalho, Ester J. C. de Lima
|
| 2010 |
C |
conf |
CSCWD
Sergio Palma da Justa Medeiros, Gustavo Carvalho, Jano Moreira de Souza, Erick Alves Rezende
|
| 2010 |
C |
conf |
CSCWD
Gustavo Carvalho, Sergio Palma da Justa Medeiros, Erick Alves Rezende, Jano Moreira de Souza
|
| 2009 |
C |
conf |
CSCWD
Gustavo Carvalho, Jano Moreira de Souza, Sergio Palma da Justa Medeiros
|
| 2008 |
C |
conf |
CSCWD
Gustavo Carvalho, Adriana Santarosa Vivacqua, Jano Moreira de Souza, Sergio P. J. Medeiros
|
| 2008 |
C |
conf |
EATIS
Fabio Nascimbeni, Raul Martins, Gustavo Carvalho
|
| 2007 |
C |
conf |
CSCWD
Gustavo Carvalho, Adriana Santarosa Vivacqua, Jano Moreira de Souza, Sergio P. J. Medeiros
|