Washington de Carvalho Segundo

According to our database, Washington de Carvalho Segundo authored at least 10 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

An ETL strategy for integrating the LA Referencia platform and VIVO for the Brazilian CRIS.

Vivian S. Silva, Lautaro Matas, Tales Moreira, Washington de Carvalho Segundo

Proceedings of the 15th International Conference on Current Research Information Systems, 2022

2021

Formalising nominal C-unification generalised with protected variables.

Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho

Math. Struct. Comput. Sci., 2021

Using Academic Genealogy for Recommending Supervisors.

Gabriel Madeira, Eduardo N. Borges, Giancarlo Lucca, Washington de Carvalho Segundo, Jonata C. Wieczynski, Hélida S. Santos, Graçaliz Pereira Dimuro

Proceedings of the 23rd International Conference on Enterprise Information Systems, 2021

2020

R-Shiny as an Interface for Data Visualization and Data Analysis on the Brazilian Digital Library of Theses and Dissertations (BDTD).

Lucca de Farias Ramalho, Washington de Carvalho Segundo

Publ., 2020

2019

A formalisation of nominal <i>α</i>-equivalence with A, C, and AC function symbols.

Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira

Theor. Comput. Sci., 2019

2018

A Formalisation of Nominal C-Matching through Unification with Protected Variables.

Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

2017

Nominal C-Unification.

Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

On Solving Nominal Fixpoint Equations.

Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016

A Formalisation of Nominal α-equivalence with A and AC Function Symbols.

Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

2014

Formalizing a Named Explicit Substitutions Calculus in Coq.

Washington de Carvalho Segundo, Flávio L. C. de Moura, Daniel Ventura

Proceedings of the Joint Proceedings of the MathUI, 2014