Nominal C-unification M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ... International Symposium on Logic-Based Program Synthesis and Transformation …, 2017 | 29 | 2017 |
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 | 28 | 2017 |
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 | 13 | 2019 |
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 | 11 | 2022 |
BrCris como um sistema de recomendação científico-tecnológica AL Pinto, TMR Dias, JC Gomes, Washington Segundo Enancib 2021, 2021 | 10 | 2021 |
The Brazilian current research information system: BrCris AL Pinto, WLR de Segundo, L Quoniam, TMR Dias Colecção CA–Ciência Aberta, 319, 2021 | 8 | 2021 |
Nominal equational problems modulo associativity, commutativity and associativity-commutativity WLR de Carvalho-Segundo Universidade de Brasília, 2019 | 8 | 2019 |
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 | 4 | 2019 |
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 | 4 | 2017 |
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 | 3 | 2022 |
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 | 3 | 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 | 3 | 2020 |
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 | 3 | 2019 |
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 | 3 | 2014 |
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 | 2 | 2023 |
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 | 2 | 2022 |
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 | 2 | 2022 |