| 2026 | DLT | On the Descriptional Complexity of Literal Shuffle. | Guilherme Duarte, Nelma Moreira, Luca Prigioniero, Rogrio Reis |
| 2021 | LATA | Location Based Automata for Expressions with Shuffle. | Sabine Broda, Antnio Machiavelo, Nelma Moreira, Rogrio Reis |
| 2020 | SOFSEM | On the Average State Complexity of Partial Derivative Transducers. | Stavros Konstantinidis, Antnio Machiavelo, Nelma Moreira, Rogrio Reis |
| 2018 | DLT | The Computational Power of Parsing Expression Grammars. | Bruno Loff, Nelma Moreira, Rogrio Reis |
| 2017 | DLT | On the Mother of All Automata: The Position Automaton. | Sabine Broda, Markus Holzer, Eva Maia, Nelma Moreira, Rogrio Reis |
| 2016 | DLT | Position Automaton Construction for Regular Expressions with Intersection. | Sabine Broda, Antnio Machiavelo, Nelma Moreira, Rogrio Reis |
| 2016 | WoLLIC | On the Formalization of Some Results of Context-Free Language Theory. | Marcus Vincius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, Jos Carlos Bacelar Almeida |
| 2015 | CiE | Prefix and Right-Partial Derivative Automata. | Eva Maia, Nelma Moreira, Rogrio Reis |
| 2015 | SOFSEM | Optimal State Reductions of Automata with Partially Specified Behaviors. | Nelma Moreira, Giovanni Pighizzini, Rogrio Reis |
| 2014 | CiE | On the Equivalence of Automata for KAT-expressions. | Sabine Broda, Antnio Machiavelo, Nelma Moreira, Rogrio Reis |
| 2014 | ICALP | Symmetric Groups and Quotient Complexity of Boolean Operations. | Jason P. Bell, Janusz A. Brzozowski, Nelma Moreira, Rogrio Reis |
| 2013 | FCT | On the Average Size of Glushkov and Equation Automata for KAT Expressions. | Sabine Broda, Antnio Machiavelo, Nelma Moreira, Rogrio Reis |
| 2013 | SOFSEM | Incomplete Transition Complexity of Some Basic Operations. | Eva Maia, Nelma Moreira, Rogrio Reis |
| 2011 | DLT | The Average Transition Complexity of Glushkov and Partial Derivative Automata. | Sabine Broda, Antnio Machiavelo, Nelma Moreira, Rogrio Reis |
| 2010 | DLT | On the Average Number of States of Partial Derivative Automata. | Sabine Broda, Antnio Machiavelo, Nelma Moreira, Rogrio Reis |
| 2005 | ITiCSE | Interactive manipulation of regular objects with FAdo. | Nelma Moreira, Rogrio Reis |
| 1995 | EPIA | Constraint Categorial Grammars. | Lus Damas, Nelma Moreira |
| 1993 | EPIA | Resolution of Constraints in Algebras of Rational Trees. | Lus Damas, Nelma Moreira, Sabine Broda |
| 1991 | EACL | The Formal and Processing Models of CLG. | Lus Damas, Giovanni B. Varile, Nelma Moreira |
| 1990 | COLING | CLG(n): Constraint Logic Grammars. | Sergio Balari, Giovanni B. Varile, Lus Damas, Nelma Moreira |
| 1989 | EPIA | Semantic Analysis of Time and Tense in Natural Language: An Implementation. | Nelma Moreira |