Ruan Carvalho

According to our database, Ruan Carvalho authored at least 7 papers between 2013 and 2023.

Collaborative distances:

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

2023

Recognizing Handwritten Mathematical Expressions of Vertical Addition and Subtraction.

Daniel Carneiro Rosa, Filipe R. Cordeiro, Ruan Carvalho, Everton Souza, Sérgio F. Chevtchenko, Luiz Rodrigues, Marcelo Marinho, Thales Vieira, Valmir Macario

Proceedings of the 36th SIBGRAPI Conference on Graphics, Patterns and Images, 2023

2021

Automatic feedback in online learning environments: A systematic literature review.

Anderson Pinheiro Cavalcanti, Arthur Barbosa, Ruan Carvalho, Fred Freitas, Yi-Shan Tsai, Dragan Gasevic, Rafael Ferreira Mello

Comput. Educ. Artif. Intell., 2021

2019

Propositional intuitionistic multiple-conclusion calculus via proof graphs.

Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Log. J. IGPL, 2019

2018

Sequentialization for full N-Graphs via sub-N-Graphs.

Ruan V. B. Carvalho, Laís S. Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

CoRR, 2018

2015

Normalization of N-Graphs via Sub-N-Graphs.

Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

2014

Sequentialization for N-Graphs via Sub-N-Graphs.

Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic, Language, Information, and Computation, 2014

2013

Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.

Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic, Language, Information, and Computation, 2013