António Machiavelo

Faculdade de Ciências da Universidade do Porto

.
Journal of Logical and Algebraic Methods in Programming | 2023 | article
Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings | 2021 | inproceedings
Descriptional Complexity of Formal Systems, Dcfs 2021 | 2021 | inproceedings
Descriptional Complexity of Formal Systems, Dcfs 2021 | 2021 | inproceedings
Journal of Number Theory | 2021 | article

N Tsopanidis

Sofsem 2020: Theory and Practice of Computer Science | 2020 | inproceedings
Revista de Ciência Elementar | 2019 | article
Journal of Automata, Languages and Combinatorics | 2018 | article
Descriptional Complexity of Formal Systems, Dcfs 2017 | 2017 | inproceedings
Jcom-journal of Science Communication | 2016 | article

J Azevedo

S Pereira

Descriptional Complexity of Formal Systems - 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings | 2016 | inproceedings
International Journal of Foundations of Computer Science | 2015 | article
Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings | 2015 | inproceedings
Implementation and Application of Automata, Ciaa 2014 | 2014 | inproceedings
Journal of Difference Equations and Applications | 2014 | article