Washington Luís Ribeiro de Carvalho Segundo
Washington Luís Ribeiro de Carvalho Segundo
Coordenador e Pesquisador no IBICT
Verified email at ibict.br
Title
Cited by
Cited by
Year
Nominal C-unification
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2017
192017
On solving nominal fixpoint equations
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
International Symposium on Frontiers of Combining Systems, 209-226, 2017
142017
A formalisation of nominal α-equivalence with A and AC function symbols
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
Electronic Notes in Theoretical Computer Science 332, 21-38, 2017
142017
A Formalisation of Nominal α-equivalence with A, C, and AC Function Symbols
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
Theoretical Computer Science 781, 3-23, 2019
82019
Nominal equational problems modulo associativity, commutativity and associativity-commutativity
WLR de Carvalho-Segundo
Universidade de Brasília, 2019
52019
A formalisation of nominal c-matching through unification with protected variables
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
Electronic Notes in Theoretical Computer Science 344, 47-65, 2019
32019
Theses and Dissertations Digital Library: Ten years of Open Access and Open Archives in Brazil
DJ Macedo, RF de Brito, WLR de Carvalho Segundo, M Shintaku
Open Repositories 2014, 2014
22014
Nominal C-Unification. Av (2017)
M Ayala-Rincón, W Carvalho-Segundo, M Fernández, D Nantes-Sobrinho
2
Utilizando o framework LattesDataXplorer para vincular automaticamente os currículos da Plataforma Lattes à Biblioteca Digital Brasileira de Teses e Dissertações (BDTD)
TMR Dias, W Carvalho-Segundo, L Matas
Ciência da Informação 48 (3), 2019
12019
Improving LA Referencia metadata by linking research profiles to repositories: the case of the Brazilian Digital Library of Thesis and Dissertations (BDTD) and the Lattes CV …
LJ Matas, WLR Carvalho-Segundo, TMR Dias
Open Repositories 2019, 2019
12019
R-Shiny as an interface for Data Visualization and Data Analysis on the Brazilian Digital Library of Thesis and Dissertations (BDTD)
LF Ramalho, LRRR Campelo, WLR Carvalho-Segundo
Open Repositories 2019, 2019
12019
Estudo para integração entre a Plataforma Lattes a Biblioteca Digital Brasileira de Teses e Dissertações (BDTD) e o Banco de Teses e Dissertações da Capes
GL Gomes, WLR Carvalho Segundo
Fundação Oswaldo Cruz. Instituto de Comunicação e Informação Científica e …, 2017
12017
The LA Referencia Software and the Brazilian Portal of Scientific Open Access Publications (oasisbr)
W Carvalho-Segundo, A Cabezas, L Matas, B Amaro, G Gomes
International Conference on Open Repositories, 2017
12017
Portais institucionais de revista: o papel do administrador
WLRC Segundo, A Fleury, M Shintaku, RF Brito
Encontro Nacional de Editores Científicos, 2013
12013
Formalising nominal C-unification generalised with protected variables
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, GF Silva, ...
Mathematical Structures in Computer Science, 1-26, 2021
2021
DOS REPOSITÓRIOS AOS AGREGADORES, O METAMODELO DE RELAÇÕES ENTRE ENTIDADES: o caso LA Referencia e RCAAP
J Carvalho, L Matas, W Segundo, P Graça, P Lopes
Páginas a&b: arquivos e bibliotecas, 33-37, 2021
2021
VALIDAÇÃO AUTOMÁTICA DOS CURRÍCULOS DA PLATAFORMA LATTES À BIBLIOTECA DIGITAL BRASILEIRA DE TESES E DISSERTAÇÕES (BDTD)
TMR Dias, WLR de Carvalho-Segundo
Páginas a&b: arquivos e bibliotecas, 164-168, 2021
2021
Using Academic Genealogy for Recommending Supervisors
GD Gabriel Madeira, Eduardo Borges, Giancarlo Lucca, Washington Carvalho ...
Proceedings of the 23rd International Conference on Enterprise Information …, 2021
2021
Iniciativas informacionais do Instituto Brasileiro de Informação em Ciência e Tecnologia (Ibict) em tempos da pandemia
FJ Santos, LS Nahuz, VC Barreto Neto, FF Campos, LRRR Campêlo, ...
Liinc em Revista, 2020
2020
Padrões de interoperabilidade para repositórios de dados de pesquisa
CH Felicíssimo, WLR Carvalho Segundo, GN Dias, VC Barreto Neto, ...
Instituto Brasileiro de Informação em Ciência e Tecnologia (IBICT), 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20