| 2021 | CSL | Pregrammars and Intersection Types. | Sabine Broda |
| 2021 | LATA | Location Based Automata for Expressions with Shuffle. | Sabine Broda, Antnio Machiavelo, 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 |
| 2015 | LOPSTR | A Typed Language for Events. | Sandra Alves, Sabine Broda, Maribel Fernndez |
| 2014 | CiE | On the Equivalence of Automata for KAT-expressions. | Sabine Broda, Antnio Machiavelo, 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 |
| 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 |
| 2007 | WoLLIC | On Principal Types of BCK- | Sabine Broda, Lus Damas |
| 2001 | EPIA | A Context-Free Grammar Representation for Normal Inhabitants of Types in TA | Sabine Broda, Lus Damas |
| 1995 | EPIA | A New Translation Algorithm from Lambda Calculus into Combinatory Logic. | Sabine Broda, Lus Damas |
| 1993 | EPIA | Resolution of Constraints in Algebras of Rational Trees. | Lus Damas, Nelma Moreira, Sabine Broda |