Washington de Carvalho Segundo

11 papers C 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2022 — conf
An ETL strategy for integrating the LA Referencia platform and VIVO for the Brazilian CRIS.
CRIS
Vivian S. Silva, Lautaro Matas, Tales Moreira, Washington de Carvalho Segundo
2021 J jnl
Formalising nominal C-unification generalised with protected variables.
Math. Struct. Comput. Sci.
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
2021 — conf
Using Academic Genealogy for Recommending Supervisors.
ICEIS (1)
Gabriel Madeira, Eduardo N. Borges, Giancarlo Lucca, Washington de Carvalho Segundo, Jonata C. Wieczynski, Hélida S. Santos, Graçaliz Pereira Dimuro
2020 J jnl
R-Shiny as an Interface for Data Visualization and Data Analysis on the Brazilian Digital Library of Theses and Dissertations (BDTD).
Publ.
Lucca de Farias Ramalho, Washington de Carvalho Segundo
2019 J jnl
A formalisation of nominal
Theor. Comput. Sci.
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira
2018 — conf
A Formalisation of Nominal C-Matching through Unification with Protected Variables.
LSFA
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2017 C conf
Nominal C-Unification.
LOPSTR
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2017 J jnl
Nominal C-Unification.
CoRR
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2017 — conf
On Solving Nominal Fixpoint Equations.
FroCoS
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2016 — conf
A Formalisation of Nominal α-equivalence with A and AC Function Symbols.
LSFA
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2014 — conf
Formalizing a Named Explicit Substitutions Calculus in Coq.
CICM Workshops
Washington de Carvalho Segundo, Flávio L. C. de Moura, Daniel Ventura