António Machiavelo
Faculdade de Ciências da Universidade do Porto
.
| 2023 | Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions |
Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings | 2023 | inproceedings | ||
| 2023 | Location automata for synchronised shuffle expressions |
Journal of Logical and Algebraic Methods in Programming | 2023 | article | ||
| 2022 | Location automata for regular expressions with shuffle and intersection |
Information and Computation | 2022 | article | ||
| 2021 | Location Based Automata for Expressions with Shuffle |
Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings | 2021 | inproceedings | ||
| 2021 | On the size of partial derivatives and the word membership problem |
Acta Informatica | 2021 | article | ||
| 2021 | On the Uniform Distribution of Regular Expressions |
Descriptional Complexity of Formal Systems, Dcfs 2021 | 2021 | inproceedings | ||
| 2021 | Partial Derivative Automaton by Compressing Regular Expressions |
Descriptional Complexity of Formal Systems, Dcfs 2021 | 2021 | inproceedings | ||
| 2021 | Report on Zhi-Wei Sun's 1-3-5 conjecture and some of its refinements |
Journal of Number Theory | 2021 | article | ||
| 2021 | Zhi-Wei Sun's 1-3-5 conjecture and variations |
Journal of Number Theory | 2021 | article | ||
| 2020 | Guest Column: Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average |
SIGACT News | 2020 | article | ||
| 2020 | Insubordinação Criativa na Formação Contínua de Professores de Matemática Portugueses |
Revista Internacional de Pesquisa em Educação Matemática | 2020 | article | ||
| 2020 | On the Average State Complexity of Partial Derivative Transducers |
Sofsem 2020: Theory and Practice of Computer Science | 2020 | inproceedings | ||
| 2019 | Criptografia e Criptoanálise |
Revista de Ciência Elementar | 2019 | article | ||
| 2019 | On Average Behaviour of Regular Expressions in Strong Star Normal Form |
International Journal of Foundations of Computer Science | 2019 | article | ||
| 2018 | As múltiplas representações em tarefas e a conexão de conteúdos de matemática: perceções em um curso de formação contínua de professores |
Indagatio Didactica | 2018 | article | ||
| 2018 | Automata for regular expressions with shuffle |
Information and Computation | 2018 | article | ||
| 2018 | Position Automata for Semi-extended Expressions |
Journal of Automata, Languages and Combinatorics | 2018 | article | ||
| 2017 | On the Average Complexity of Strong Star Normal Form |
Descriptional Complexity of Formal Systems, Dcfs 2017 | 2017 | inproceedings | ||
| 2016 | A numeracia e a formação dos jornalistas |
2016 | article | ||
| 2016 | Maths in the news: uses and errors in Portuguese newspapers |
Jcom-journal of Science Communication | 2016 | article | ||
| 2016 | On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection |
Descriptional Complexity of Formal Systems - 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings | 2016 | inproceedings | ||
| 2016 | Position Automaton Construction for Regular Expressions with Intersection |
Developments in Language Theory, Dlt 2016 | 2016 | inproceedings | ||
| 2015 | A matemática na imprensa diária portuguesa |
2015 | inproceedings | ||
| 2015 | Average Size of Automata Constructions from Regular Expressions |
Bulletin of the EATCS | 2015 | article | ||
| 2015 | On the Number of Linear Finite Transducers |
International Journal of Foundations of Computer Science | 2015 | article |