Publications

2017
Bastos R, Broda S, Machiavelo A, Moreira N. On the Average Complexity of Partial Derivative Automata for Semi-Extended Expressions. Journal of Automata, Languages and Combinatorics. 2017;22:5-28.
Broda S, Holzer M, Maia E, Moreira N, Reis R. On the Mother of All Automata: the Position Automaton. In: Developments in Language Theory.; 2017.
Broda S, Machiavelo A, Moreira N, Reis R. On the Average Complexity of Strong Star Normal Form. In: Pighizzini G, Câmpeanu C, editors. Description Complexity of Formal Systems (DCFS 2017). Vol 10316. Springer; 2017. 7. p. 77-88p. (LNCS; vol 10316).
Broda S, Machiavelo A, Reis R, Moreira N. Automata for Regular Expressions with Shuffle. Information and Computation. 2017.
Alves S, Broda S. Inhabitation machines: determinism and principality. In: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017.; 2017. 5. p. 57-70p.
2016
Bastos R, Broda S, Machiavelo A, Moreira N, Reis R. On the State Complexity of Partial Derivative Automata for Regular Expressions with Intersection. In: Proceedings of the 18th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS16). Vol 9777. Springer; 2016. 4. p. 45-59p. (LNCS; vol 9777).
Broda S, Machiavelo A, Moreira N, Reis R. Position automaton construction for regular expressions with intersection. In: Reutenauer C, Brlek S, editors. Developments in Language Theory - 20th International Conference, DLT 2016. Vol 9840. Springer; 2016. 5. p. 51-63p.
2015
Broda S, Machiavelo A, Moreira N., Reis R.. Average Size of Automata Constructions from Regular Expressions. Bulletin of the European Association for Theoretical Computer Science. 2015:167-192.
Broda S, Machiavelo A, Moreira N, Reis R. Partial Derivative Automaton for Regular Expressions with Shuffle. In: Shallit J, Okhotin A, editors. Proceedings of the 17th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS15). Springer; 2015. 2. p. 21-32p.
Broda S, Cavadas S, Ferreira M, Moreira N. Deciding Synchronous Kleene Algebra with Derivatives. In: Drewes F, editor. Implementation and Application of Automata, 20th International Conference (CIAA 2015). Vol 9223.; 2015. 4. p. 49-62p. (LNCS; vol 9223).
2014
Broda S, Machiavelo A, Moreira N, Reis R. On the Equivalence of Automata for KAT-expressions. Vol 8493. Beckmann A, Csuhaj-Varjú E, Meer K, editors 2014.
Broda S, Machiavelo A, Moreira N, Reis R. A Hitchhiker's Guide to descriptional complexity through analytic combinatorics. Theoret. Comput. Sci.. 2014;528:85-100.
2013
Broda S, Machiavelo A, Moreira N, Reis R. On the Average Size of Glushkov and Equation Automata for KAT Expressions. In: FCT. United Kingdom, Liverpool: Springer; 2013. 7. p. 72-83p.
Broda S, Machiavelo A, Moreira N, Reis R. On the Average Size of Glushkov and Equation Automata for KAT Expressions 2013.
2012
Broda S, Machiavelo A, Moreira N, Reis R. On the Average Size of Glushkov and Partial Derivative Automata. International Journal of Foundations of Computer Science. 2012;23:969-984.
2011
Broda S, Machiavelo A, Moreira N, Reis R. On the Average State Complexity of Partial Derivative Automata: an analytic combinatorics approach. International Journal of Foundations of Computer Science. 2011;22:1593-1606.
Broda S, Machiavelo A, Moreira N, Reis R. The Average Transition Complexity of Glushkov and Partial Derivative Automata. In: Mauri G., Leporati A., editors. Developments in Language Theory, 15th International Conference, DLT 2011, Milano, Italy, July 2011. Proceedings. Vol 6795. Milano, Italy; 2011. 9. p. 93-104p.