关注
Washington Luís Ribeiro de Carvalho Segundo
Washington Luís Ribeiro de Carvalho Segundo
Coordenador Geral e Pesquisador no Ibict
在 ibict.br 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Nominal C-unification
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2017
292017
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
282017
A Formalisation of Nominal α-Equivalence with A, C, and AC Function Symbols
M Ayala-Rincón, W de Carvalho Segundo, M Fernández, ACR Oliveira
Theor. Comput. Sci 781, 3-23, 2019
25*2019
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
15*2017
Formalising Nominal C-Unification Generalised with Protected Variables
M Ayala-Rincón, W de Carvalho Segundo, M Fernández, GF Silva, ...
Math. Struct. Comput. Sci 31 (3), 286-311, 2021
14*2021
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
132019
Brazil Developing Current Research Information Systems (BrCris) as data sources for studies of research
AL Pinto, WLR de Carvalho Segundo, TMR Dias, VS Silva, JC Gomes, ...
Iberoamerican Journal of Science Measurement and Communication 2 (1), 2022
112022
BrCris como um sistema de recomendação científico-tecnológica
AL Pinto, TMR Dias, JC Gomes, Washington Segundo
Enancib 2021, 2021
102021
The Brazilian current research information system: BrCris
AL Pinto, WLR de Segundo, L Quoniam, TMR Dias
Colecção CA–Ciência Aberta, 319, 2021
82021
Nominal equational problems modulo associativity, commutativity and associativity-commutativity
WLR de Carvalho-Segundo
Universidade de Brasília, 2019
82019
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
42019
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
42017
An ETL strategy for integrating the LA Referencia platform and VIVO for the Brazilian CRIS
VS Silva, L Matas, T Moreira, WC Segundo
Procedia computer science 211, 111-117, 2022
32022
Um modelo semântico baseado em ontologia para o CRIS brasileiro
VS Silva, T Moreira, TM Dias, J Gomes, WC Segundo
Colecção CA–Ciência Aberta, 361, 2021
32021
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
32020
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
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
32014
A Plataforma BrCris como ferramenta para certificação de Teses e Dissertações no Brasil
TMR Dias, WLR de Carvalho Segundo, JPM Chalco, V dos Santos Silva, ...
Anais do Workshop de Informação, Dados e Tecnologia-WIDaT 6, 2023
22023
A strategy for collection, integration, and processing of scientific data in BrCris context
W Segundo, TM Dias, T Moreira, AL Pinto, V Silva, J Gomes, L Quoniam, ...
Advanced Notes in Information Science 2, 215-222, 2022
22022
Ciência aberta na parceria para governo aberto: compromisso por um novo modelo de avaliação
PMB Sena, WLR de Carvalho Segundo, BA de Melo
Informação & Informação 27 (3), 14-33, 2022
22022
系统目前无法执行此操作,请稍后再试。
文章 1–20