Washington Luís Ribeiro de Carvalho Segundo
Washington Luís Ribeiro de Carvalho Segundo
Doutorando em Informática, Universidade de Brasília
E-mail confirmado em ibict.br
Título
Citado por
Citado por
Ano
Nominal C-unification
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2017
132017
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
132017
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
132017
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
52019
Nominal equational problems modulo associativity, commutativity and associativity-commutativity
WLR de Carvalho-Segundo
Universidade de Brasília, 2019
42019
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
22019
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
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
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
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
R-Shiny as an Interface for Data Visualization and Data Analysis on the Brazilian Digital Library of Theses and Dissertations (BDTD)
W de CARVALHO-SEGUNDO, L RAMALHO
Publications, 2020
2020
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
2019
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
2019
Nominal C-Unification
M Fernández, D Nantes-Sobrinho
Logic-Based Program Synthesis and Transformation: 27th International …, 2018
2018
ON SOLVING NOMINAL FIXPOINT EQUATIONS
MA RINCON, W DE CARVALHO-SEGUNDO, M Fernandez, ...
On Solving Nominal Fixpoint Equations, 2017
2017
Uma Análise Quantitativa dos Repositórios Digitais Brasileiros
W Carvalho-Segundo, F Oliveira, T Ramos, A Lameira
Conferência Luso-Brasileira sobre Acesso Aberto, 2016
2016
Sistema de Publicação Eletrônica de Teses e Dissertações (TEDE): Instalação, Migração e Configuração
TB de Assis, M Shintaku, WLR de Carvalho Segundo, ACL Oliveira
Instituto Brasileiro de Informação em Ciência e Tecnologia-Ibict, 2015
2015
Local and Interoperable Digital Libraries of Theses and Dissertations: The New Brazilian Scenario
DJ Macêdo, MRG do Amaral, M Shintaku, WLR Carvalho Segundo, ...
Open Repositories 2015, 2015
2015
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20