A visual protocol for autonomous landing of unmanned aerial vehicles based on fuzzy matching and evolving clustering. - Bruno Sielly Jales Costa; Vitor Rodrigues Greati; Vinicius Campos Tinoco Ribeiro; Celso Soares da Silva; Ivanilson Franca Vieira (FUZZ-IEEE, 2015)

Brazilian Mercosur License Plate Detection: a Deep Learning Approach Relying on Synthetic Imagery. - Vinicius Campos Tinoco Ribeiro; Vitor Rodrigues Greati; Aguinaldo Bezerra; Gilles Silvano; Ivanovitch Silva; Patricia Takako Endo; Theo Lynn (SBESC, 2019)

Proof Search on Bilateralist Judgments over Non-deterministic Semantics. - Vitor Greati; Sérgio Marcelino; João Marcos 001 (TABLEAUX, 2021)

On Logics of Perfect Paradefinite Algebras. - Joel Gomes; Vitor Greati; Sérgio Marcelino; João Marcos 001; Umberto Rivieccio (LSFA, 2021)

Synthetic image generation for training deep learning-based automated license plate recognition systems on the Brazilian Mercosur standard. - Gilles Silvano; Vinicius Campos Tinoco Ribeiro; Vitor Rodrigues Greati; Aguinaldo Bezerra; Ivanovitch Silva; Patricia Takako Endo; Theo Lynn (Des. Autom. Embed. Syst., 2021)

Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. - Vitor Greati; João Marcos 001 (IJCAR, 2022)

Deducibility in the Full Lambek Calculus with Weakening Is HAck-Complete. - Vitor Greati; Revantha Ramanayake (AiML, 2024)

Generating proof systems for three-valued propositional logics. - Vitor Greati; Giuseppe Greco 001; Sérgio Marcelino; Alessandra Palmigiano; Umberto Rivieccio (CoRR, 2024)

Axiomatizing the Logic of Ordinary Discourse. - Vitor Greati; Sérgio Marcelino; Umberto Rivieccio (CoRR, 2024)

Adding an implication to logics of perfect paradefinite algebras. - Vitor Greati; Sérgio Marcelino; João Marcos 001; Umberto Rivieccio (Math. Struct. Comput. Sci., 2024)

Finite Hilbert Systems for Weak Kleene Logics. - Vitor Greati; Sérgio Marcelino; Umberto Rivieccio (Stud Logica, 2024)

Complexities of Well-Quasi-Ordered Substructural Logics. - Nikolaos Galatos; Vitor Greati; Revantha Ramanayake; Gavin St. John (CoRR, 2025)