Washington de Carvalho Segundo

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 10

Top Topics

Function Symbols

Top Venues

Math. Struct. Comput. Sci.

Publications

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