Washington Luís Ribeiro de Carvalho Segundo

Cited by

	All	Since 2019
Citations	225	205
h-index	9	8
i10-index	9	8

20152016201720182019202020212022202320242 1 8 8 33 21 15 24 49 62

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Thiago Magela Rodrigues DiasCEFET-MGVerified email at cefetmg.br
Adilson Luiz PintoUniversidade Federal de Santa CatarinaVerified email at ufsc.br
Vivian S. SilvaProfessor, Federal University of Rio de JaneiroVerified email at ic.ufrj.br
Maribel FernandezProfessor of Computer Science, King's College LondonVerified email at kcl.ac.uk
Daniele Nantes-SobrinhoResearcher, Imperial College London and Professor of Mathematics, University of BrasíliaVerified email at mat.unb.br
Mauricio Ayala RinconProfessor of Computer Science and Mathematics, Universidade de BrasiliaVerified email at unb.br
Lautaro Julián MatasLA ReferenciaVerified email at redclara.net
Bianca AmaroCoordenadora do Programa de Ciência Aberta - Instituto Brasileiro de Informação em Ciência eVerified email at ibict.br
Priscila Machado Borges SenaProfessor at Postgraduate Program in Information Management, Santa Catarina State UniversityVerified email at udesc.br
milton shintakuIBICTVerified email at ibict.br
Jesús P. Mena-ChalcoFederal University of ABC (UFABC) - BrazilVerified email at ufabc.edu.br
Luc QuoniamProfessor, Responsable of the Vlab4u CollaboratoryVerified email at quoniam.info
Rene Faustino Gabriel juniorUniversidade Federal do Rio Grande do SulVerified email at ufrgs.br
Juliana Araujo Gomes de SousaAssistente de pesquisa, Instituto Brasileiro de Informação em Ciência e TecnologiaVerified email at ibict.br
Raphael Faria Vilas BoasUniversidade do Estado do Rio de Janeiro (UERJ)Verified email at uerj.br
Fhillipe de Freitas CamposInstituto Brasileiro de Informação em Ciência e Tecnologia (IBICT)Verified email at ibict.br
Patrícia da Silva NeubertDocente do Departamento de Ciência da Informação CIN/UFSCVerified email at ufsc.br
Fabio Lorensi do CantoUniversidade Federal de Santa Catarina (UFSC); Instituto Bras. de Inf. em Ci. e Tecnologia (Ibict)Verified email at ufsc.br
Diego José MacêdoIbictVerified email at ibict.br
Ronnie Fagundes de BritoIBICTVerified email at ibict.br

Washington Luís Ribeiro de Carvalho Segundo

Coordenador Geral e Pesquisador no Ibict

Verified email at ibict.br - Homepage

Teoria da Computação Métodos Formais Interoperabilidade Organização da Informação Ciência Aberta


Title Sort by citations Sort by year Sort by 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	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
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	14	2022
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	14	2019
BrCris como um sistema de recomendação científico-tecnológica AL Pinto, TMR Dias, JC Gomes, Washington Segundo Enancib 2021, 2021	11	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	11	2021
Nominal equational problems modulo associativity, commutativity and associativity-commutativity WLR de Carvalho-Segundo Universidade de Brasília, 2019	8	2019
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	5	2022
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
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
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	3	2017
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 implementação de controle de autoridade em sistemas baseados em Dspace WLR Carvalho Segundo, M Shintaku, M Guedes, M Andrade	3	2013
O BrCris como ferramenta para acesso e avaliação da ciência T Dias, VS Silva, JV da Silva, RFG Junior, THJ Moreira, TA De Oliveira, ... BiblioCanto 9 (2), 172–181-172–181, 2023	2	2023

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors