| FJQuantum–a quantum object oriented language SS Feitosa, JK Vizzotto, EK Piveta, AR Du Bois Electronic Notes in Theoretical Computer Science 324, 67-77, 2016 | 11 | 2016 |
| A type-directed algorithm to generate random well-typed Java 8 programs S Feitosa, R Ribeiro, A Du Bois Science of Computer Programming 196, 102494, 2020 | 6 | 2020 |
| Towards Typed Semantics for Parsing Expression Grammars R Ribeiro, LVS Reis, S Feitosa, EM Cardoso Proceedings of the XXIII Brazilian Symposium on Programming Languages, 70-77, 2019 | 4 | 2019 |
| Generating Random Well-Typed Featherweight Java Programs Using QuickCheck S da Silva Feitosa, RG Ribeiro, AR Du Bois Electronic Notes in Theoretical Computer Science 342, 3-20, 2019 | 4 | 2019 |
| Uma linguagem de programação quântica orientada a objetos baseada no Featherweight Java SS Feitosa Universidade Federal de Santa Maria, 2016 | 4 | 2016 |
| The design of a verified derivative-based parsing tool for regular expressions E Cardoso, M Amaro, S Feitosa, L Reis, A Du Bois, R Ribeiro CLEI Electronic Journal 24 (3), 2: 1-2: 14, 2021 | 2 | 2021 |
| Synthesis of random real-world java programs from preexisting libraries LF Kraus, B Schafaschek, RG Ribeiro, S da Silva Feitosa Proceedings of the 25th Brazilian Symposium on Programming Languages, 108-115, 2021 | 2 | 2021 |
| Desenvolvimento de um gerador de programas aleatórios em java LF Kraus, B Schafaschek, S da Silva Feitosa Anais do Computer on the Beach 12, 485-487, 2021 | 2 | 2021 |
| An intrinsically-typed solution for the list-machine benchmark S Feitosa, R Ribeiro Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming …, 2020 | 2 | 2020 |
| A monadic semantics for quantum computing in an object oriented language S da Silva Feitosa, JK Vizzotto, EK Piveta, AR Du Bois Science of Computer Programming 173, 37-55, 2019 | 2 | 2019 |
| A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs SS Feitosa, RG Ribeiro, A Rauber Du Bois Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF …, 2018 | 2 | 2018 |
| Representing Intuistionistic Fuzzy Bi-implications Using Quantum Computing L Agostini, S Feitosa, A Avila, R Reiser, A DuBois, M Pilla Fuzzy Information Processing: 37th Conference of the North American Fuzzy …, 2018 | 2 | 2018 |
| Simulando o paralelismo quântico em cpu e gpu utilizando a biblioteca libquantum SS Feitosa, JAS Bueno Universidade Federal de Santa Maria, 2016 | 2 | 2016 |
| A Monadic Semantics for Quantum Computing in Featherweight Java S da Silva Feitosa, JK Vizzotto, EK Piveta, AR Du Bois Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil …, 2016 | 2 | 2016 |
| A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching MJJ Amaro, SS Feitosa, RG Ribeiro Brazilian Symposium on Formal Methods, 39-54, 2022 | 1 | 2022 |
| Towards an Extrinsic Formalization of Featherweight Java in Agda S Feitosa, RG Ribeiro, AR Du Bois CLEI Electronic Journal 24 (3), 3: 1-3: 12, 2021 | 1 | 2021 |
| Aprendendo Conceitos de Orientação a Objetos Usando as Ferramentas Scratch e Snap! S da Silva Feitosa, RL Comarella Anais do Computer on the Beach 11, 490-496, 2020 | 1 | 2020 |
| Latinder-Modernizando Adoções de Animais Pets B Musskopf, F de Souza, I Schmidt, L Silva, N Wojeicchowski, N Abatti, ... Anais do Computer on the Beach 11, 571-575, 2020 | 1 | 2020 |
| Strategies for testing and formalizing properties of modern programming languages SS Feitosa Universidade Federal de Pelotas, 2019 | 1 | 2019 |
| An Inherently-Typed Formalization for Featherweight Java SS Feitosa, AS Mena, RG Ribeiro, ARD Bois Proceedings of the XXIII Brazilian Symposium on Programming Languages, 11-18, 2019 | 1 | 2019 |
