<?xml version="1.0"?>
<dblpperson name="Ruan Carvalho" pid="133/2482" n="11">
<person key="homepages/133/2482" mdate="2018-04-10">
<author pid="133/2482">Ruan Carvalho</author>
<author pid="133/2482">Ruan V. B. Carvalho</author>
</person>
<r><inproceedings key="conf/aied/SouzaSRRCPCCVMD24" mdate="2024-10-23">
<author orcid="0009-0006-5713-7712" pid="354/8114">Everton Souza</author>
<author orcid="0009-0005-1452-554X" pid="380/0388">Ermesson L. dos Santos</author>
<author orcid="0000-0003-0343-3701" pid="228/2395">Luiz A. L. Rodrigues</author>
<author pid="299/3039">Daniel Carneiro Rosa</author>
<author orcid="0000-0001-5582-8436" pid="75/6833">Filipe R. Cordeiro</author>
<author orcid="0000-0002-3718-905X" pid="380/0423">Cicero Pereira</author>
<author orcid="0000-0001-8283-5578" pid="230/6258">S&#233;rgio F. Chevtchenko</author>
<author orcid="0000-0002-8574-7255" pid="133/2482">Ruan Carvalho</author>
<author orcid="0000-0001-7775-5258" pid="36/4553">Thales Vieira</author>
<author orcid="0000-0001-9575-8161" pid="27/8732">Marcelo Marinho</author>
<author orcid="0000-0002-8415-6955" pid="50/365">Diego Dermeval</author>
<author orcid="0000-0001-5676-2280" pid="11/2860">Ig Ibert Bittencourt</author>
<author orcid="0000-0003-1574-0784" pid="83/1033">Seiji Isotani</author>
<author orcid="0000-0002-7816-5759" pid="194/6158">Valmir Macario</author>
<title>Handwritten Equation Detection in Disconnected, Low-Cost Mobile Devices.</title>
<pages>132-139</pages>
<year>2024</year>
<booktitle>AIED Companion (2)</booktitle>
<ee>https://doi.org/10.1007/978-3-031-64312-5_16</ee>
<crossref>conf/aied/2024c2</crossref>
<url>db/conf/aied/aied2024c2.html#SouzaSRRCPCCVMD24</url>
</inproceedings>
</r>
<r><inproceedings key="conf/aied/CarvalhoLRMOCBI24" mdate="2025-03-03">
<author orcid="0000-0002-8574-7255" pid="133/2482">Ruan Carvalho</author>
<author orcid="0000-0003-3787-4177" pid="380/0365">Lucas Fernandes Lins</author>
<author orcid="0000-0003-0343-3701" pid="228/2395">Luiz A. L. Rodrigues</author>
<author orcid="0000-0002-5767-7544" pid="71/11533">P&#233;ricles B. C. Miranda</author>
<author orcid="0000-0003-0643-7206" pid="117/7535">Hil&#225;rio Oliveira</author>
<author orcid="0000-0003-0976-7040" pid="01/8876">Thiago Damasceno Cordeiro</author>
<author orcid="0000-0001-5676-2280" pid="11/2860">Ig Ibert Bittencourt</author>
<author orcid="0000-0003-1574-0784" pid="83/1033">Seiji Isotani</author>
<author orcid="0000-0003-3548-9670" pid="205/0582">Rafael Ferreira Mello</author>
<title>Exploring NLP and Embedding for Automatic Essay Scoring in the Portuguese.</title>
<pages>228-233</pages>
<year>2024</year>
<booktitle>AIED Companion (1)</booktitle>
<ee>https://doi.org/10.1007/978-3-031-64315-6_18</ee>
<crossref>conf/aied/2024c1</crossref>
<url>db/conf/aied/aied2024c1.html#CarvalhoLRMOCBI24</url>
</inproceedings>
</r>
<r><inproceedings key="conf/aied/ChevtchenkoCRSR24" mdate="2024-10-23">
<author orcid="0000-0001-8283-5578" pid="230/6258">S&#233;rgio F. Chevtchenko</author>
<author orcid="0000-0002-8574-7255" pid="133/2482">Ruan Carvalho</author>
<author orcid="0000-0003-0343-3701" pid="228/2395">Luiz A. L. Rodrigues</author>
<author orcid="0009-0006-5713-7712" pid="354/8114">Everton Souza</author>
<author pid="299/3039">Daniel Carneiro Rosa</author>
<author orcid="0000-0001-5582-8436" pid="75/6833">Filipe R. Cordeiro</author>
<author orcid="0000-0002-3718-905X" pid="380/0423">Cicero Pereira</author>
<author orcid="0000-0001-7775-5258" pid="36/4553">Thales Vieira</author>
<author orcid="0000-0001-9575-8161" pid="27/8732">Marcelo Marinho</author>
<author orcid="0000-0002-8415-6955" pid="50/365">Diego Dermeval</author>
<author orcid="0000-0001-5676-2280" pid="11/2860">Ig Ibert Bittencourt</author>
<author orcid="0000-0003-1574-0784" pid="83/1033">Seiji Isotani</author>
<author orcid="0000-0002-7816-5759" pid="194/6158">Valmir Macario</author>
<title>An Optimization Approach for Elementary School Handwritten Mathematical Expression Recognition.</title>
<pages>234-241</pages>
<year>2024</year>
<booktitle>AIED Companion (2)</booktitle>
<ee>https://doi.org/10.1007/978-3-031-64312-5_28</ee>
<crossref>conf/aied/2024c2</crossref>
<url>db/conf/aied/aied2024c2.html#ChevtchenkoCRSR24</url>
</inproceedings>
</r>
<r><inproceedings key="conf/sibgrapi/RosaCCSCRMVM23" mdate="2025-07-17">
<author pid="299/3039">Daniel Carneiro Rosa</author>
<author pid="75/6833">Filipe R. Cordeiro</author>
<author pid="133/2482">Ruan Carvalho</author>
<author pid="354/8114">Everton Souza</author>
<author pid="230/6258">S&#233;rgio F. Chevtchenko</author>
<author pid="228/2395">Luiz Rodrigues 0001</author>
<author pid="27/8732">Marcelo Marinho</author>
<author pid="36/4553">Thales Vieira</author>
<author pid="194/6158">Valmir Macario</author>
<title>Recognizing Handwritten Mathematical Expressions of Vertical Addition and Subtraction.</title>
<pages>73-78</pages>
<year>2023</year>
<booktitle>SIBGRAPI</booktitle>
<ee>https://doi.org/10.1109/SIBGRAPI59091.2023.10347150</ee>
<crossref>conf/sibgrapi/2023</crossref>
<url>db/conf/sibgrapi/sibgrapi2023.html#RosaCCSCRMVM23</url>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/corr/abs-2308-05820" mdate="2025-07-17">
<author pid="299/3039">Daniel Carneiro Rosa</author>
<author pid="75/6833">Filipe R. Cordeiro</author>
<author pid="133/2482">Ruan Carvalho</author>
<author pid="354/8114">Everton Souza</author>
<author orcid="0000-0001-8283-5578" pid="230/6258">S&#233;rgio F. Chevtchenko</author>
<author pid="228/2395">Luiz Rodrigues 0001</author>
<author pid="27/8732">Marcelo Marinho</author>
<author pid="36/4553">Thales Vieira</author>
<author pid="194/6158">Valmir Macario</author>
<title>Recognizing Handwritten Mathematical Expressions of Vertical Addition and Subtraction.</title>
<year>2023</year>
<volume>abs/2308.05820</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2308.05820</ee>
<url>db/journals/corr/corr2308.html#abs-2308-05820</url>
</article>
</r>
<r><article key="journals/caeai/CavalcantiBCFTG21" mdate="2021-09-16">
<author orcid="0000-0002-5228-1583" pid="212/6661">Anderson Pinheiro Cavalcanti</author>
<author pid="289/5878">Arthur Barbosa</author>
<author orcid="0000-0002-8574-7255" pid="133/2482">Ruan Carvalho</author>
<author pid="94/2962">Fred Freitas</author>
<author orcid="0000-0001-8967-5327" pid="93/7215">Yi-Shan Tsai</author>
<author pid="67/5716">Dragan Gasevic</author>
<author pid="205/0582">Rafael Ferreira Mello</author>
<title>Automatic feedback in online learning environments: A systematic literature review.</title>
<pages>100027</pages>
<year>2021</year>
<volume>2</volume>
<journal>Comput. Educ. Artif. Intell.</journal>
<ee type="oa">https://doi.org/10.1016/j.caeai.2021.100027</ee>
<url>db/journals/caeai/caeai2.html#CavalcantiBCFTG21</url>
</article>
</r>
<r><article key="journals/igpl/CarvalhoOQ19" mdate="2020-03-06">
<author pid="133/2482">Ruan V. B. Carvalho</author>
<author pid="86/2344">Anjolina Grisi de Oliveira</author>
<author pid="q/RuyQueiroz">Ruy J. G. B. de Queiroz</author>
<title>Propositional intuitionistic multiple-conclusion calculus via proof graphs.</title>
<pages>33-59</pages>
<year>2019</year>
<volume>27</volume>
<journal>Log. J. IGPL</journal>
<number>1</number>
<ee>https://doi.org/10.1093/jigpal/jzy017</ee>
<url>db/journals/igpl/igpl27.html#CarvalhoOQ19</url>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-1803-00555" mdate="2018-08-13">
<author pid="133/2482">Ruan V. B. Carvalho</author>
<author pid="133/2505">La&#237;s S. Andrade</author>
<author pid="86/2344">Anjolina Grisi de Oliveira</author>
<author pid="q/RuyQueiroz">Ruy J. G. B. de Queiroz</author>
<title>Sequentialization for full N-Graphs via sub-N-Graphs.</title>
<year>2018</year>
<volume>abs/1803.00555</volume>
<journal>CoRR</journal>
<ee type="oa">http://arxiv.org/abs/1803.00555</ee>
<url>db/journals/corr/corr1803.html#abs-1803-00555</url>
</article>
</r>
<r><inproceedings key="journals/entcs/AndradeCOQ16" mdate="2022-08-16">
<author pid="133/2505">La&#237;s Andrade</author>
<author pid="133/2482">Ruan Carvalho</author>
<author pid="86/2344">Anjolina Grisi de Oliveira</author>
<author pid="q/RuyQueiroz">Ruy J. G. B. de Queiroz</author>
<title>Normalization of N-Graphs via Sub-N-Graphs.</title>
<pages>3-19</pages>
<year>2015</year>
<crossref>conf/lsfa/2015</crossref>
<booktitle>LSFA</booktitle>
<ee type="oa">https://doi.org/10.1016/j.entcs.2016.06.002</ee>
<ee>https://www.wikidata.org/entity/Q113317687</ee>
<url>db/journals/entcs/entcs323.html#AndradeCOQ16</url>
</inproceedings>
</r>
<r><inproceedings key="conf/wollic/CarvalhoAOQ14" mdate="2017-05-25">
<author pid="133/2482">Ruan Carvalho</author>
<author pid="133/2505">La&#237;s Andrade</author>
<author pid="86/2344">Anjolina Grisi de Oliveira</author>
<author pid="q/RuyQueiroz">Ruy J. G. B. de Queiroz</author>
<title>Sequentialization for N-Graphs via Sub-N-Graphs.</title>
<pages>94-108</pages>
<year>2014</year>
<booktitle>WoLLIC</booktitle>
<ee>https://doi.org/10.1007/978-3-662-44145-9_7</ee>
<crossref>conf/wollic/2014</crossref>
<url>db/conf/wollic/wollic2014.html#CarvalhoAOQ14</url>
</inproceedings>
</r>
<r><inproceedings key="conf/wollic/AndradeCOQ13" mdate="2017-05-25">
<author pid="133/2505">La&#237;s Andrade</author>
<author pid="133/2482">Ruan Carvalho</author>
<author pid="86/2344">Anjolina Grisi de Oliveira</author>
<author pid="q/RuyQueiroz">Ruy J. G. B. de Queiroz</author>
<title>Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.</title>
<pages>34-48</pages>
<year>2013</year>
<booktitle>WoLLIC</booktitle>
<ee>https://doi.org/10.1007/978-3-642-39992-3_7</ee>
<crossref>conf/wollic/2013</crossref>
<url>db/conf/wollic/wollic2013.html#AndradeCOQ13</url>
</inproceedings>
</r>
<coauthors n="26" nc="1">
<co c="0" n="2"><na f="a/Andrade:La=iacute=s" pid="133/2505">La&#237;s Andrade</na><na>La&#237;s S. Andrade</na></co>
<co c="0"><na f="b/Barbosa:Arthur" pid="289/5878">Arthur Barbosa</na></co>
<co c="0"><na f="b/Bittencourt:Ig_Ibert" pid="11/2860">Ig Ibert Bittencourt</na></co>
<co c="0"><na f="c/Cavalcanti:Anderson_Pinheiro" pid="212/6661">Anderson Pinheiro Cavalcanti</na></co>
<co c="0"><na f="c/Chevtchenko:S=eacute=rgio_F=" pid="230/6258">S&#233;rgio F. Chevtchenko</na></co>
<co c="0"><na f="c/Cordeiro:Filipe_R=" pid="75/6833">Filipe R. Cordeiro</na></co>
<co c="0"><na f="c/Cordeiro:Thiago_Damasceno" pid="01/8876">Thiago Damasceno Cordeiro</na></co>
<co c="0"><na f="d/Dermeval:Diego" pid="50/365">Diego Dermeval</na></co>
<co c="0"><na f="f/Freitas:Fred" pid="94/2962">Fred Freitas</na></co>
<co c="0"><na f="g/Gasevic:Dragan" pid="67/5716">Dragan Gasevic</na></co>
<co c="0"><na f="i/Isotani:Seiji" pid="83/1033">Seiji Isotani</na></co>
<co c="0"><na f="l/Lins:Lucas_Fernandes" pid="380/0365">Lucas Fernandes Lins</na></co>
<co c="0"><na f="m/Macario:Valmir" pid="194/6158">Valmir Macario</na></co>
<co c="0" n="2"><na f="m/Marinho:Marcelo_L=_M=" pid="27/8732">Marcelo L. M. Marinho</na><na>Marcelo Marinho</na></co>
<co c="0" n="2"><na f="m/Mello:Rafael_Ferreira_Leite_de" pid="205/0582">Rafael Ferreira Leite de Mello</na><na>Rafael Ferreira Mello</na></co>
<co c="0"><na f="m/Miranda:P=eacute=ricles_B=_C=" pid="71/11533">P&#233;ricles B. C. Miranda</na></co>
<co c="0"><na f="o/Oliveira:Anjolina_Grisi_de" pid="86/2344">Anjolina Grisi de Oliveira</na></co>
<co c="0"><na f="o/Oliveira:Hil=aacute=rio" pid="117/7535">Hil&#225;rio Oliveira</na></co>
<co c="0"><na f="p/Pereira:Cicero" pid="380/0423">Cicero Pereira</na></co>
<co c="0"><na f="q/Queiroz:Ruy_J=_G=_B=_de" pid="q/RuyQueiroz">Ruy J. G. B. de Queiroz</na></co>
<co c="0" n="2"><na f="r/Rodrigues:Luiz_A=_L=" pid="228/2395">Luiz A. L. Rodrigues</na><na>Luiz Rodrigues 0001</na></co>
<co c="0"><na f="r/Rosa:Daniel_Carneiro" pid="299/3039">Daniel Carneiro Rosa</na></co>
<co c="0"><na f="s/Santos:Ermesson_L=_dos" pid="380/0388">Ermesson L. dos Santos</na></co>
<co c="0"><na f="s/Souza:Everton" pid="354/8114">Everton Souza</na></co>
<co c="0"><na f="t/Tsai:Yi=Shan" pid="93/7215">Yi-Shan Tsai</na></co>
<co c="0"><na f="v/Vieira:Thales" pid="36/4553">Thales Vieira</na></co>
</coauthors>
</dblpperson>

