Sign in
Ruan Carvalho
ORCID
Publication Activity (10 Years)
Years Active: 2013-2023
Publications (10 Years): 3
Top Topics
Graph Matching
Literature Review
Graph Theoretic
Mathematical Expressions
Top Venues
WoLLIC
LSFA
CoRR
Comput. Educ. Artif. Intell.
</>
Publications
</>
Daniel Carneiro Rosa
,
Filipe R. Cordeiro
,
Ruan Carvalho
,
Everton Souza
,
Sérgio F. Chevtchenko
,
Luiz Rodrigues
,
Marcelo Marinho
,
Thales Vieira
,
Valmir Macario
Recognizing Handwritten Mathematical Expressions of Vertical Addition and Subtraction.
CoRR
(2023)
Anderson Pinheiro Cavalcanti
,
Arthur Barbosa
,
Ruan Carvalho
,
Fred Freitas
,
Yi-Shan Tsai
,
Dragan Gasevic
,
Rafael Ferreira Mello
Automatic feedback in online learning environments: A systematic literature review.
Comput. Educ. Artif. Intell.
2 (2021)
Laís Andrade
,
Ruan Carvalho
,
Anjolina Grisi de Oliveira
,
Ruy J. G. B. de Queiroz
Normalization of N-Graphs via Sub-N-Graphs.
LSFA
(2015)
Ruan Carvalho
,
Laís Andrade
,
Anjolina Grisi de Oliveira
,
Ruy J. G. B. de Queiroz
Sequentialization for N-Graphs via Sub-N-Graphs.
WoLLIC
(2014)
Laís Andrade
,
Ruan Carvalho
,
Anjolina Grisi de Oliveira
,
Ruy J. G. B. de Queiroz
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.
WoLLIC
(2013)