Sabine Broda

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
29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference). | 2021 | inproceedings
J. Autom. Lang. Comb. | 2021 | article
Information and Computation | 2019 | article
Electronic Notes in Theoretical Computer Science | 2019 | inproceedings

S Alves

3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK | 2018 | inproceedings

S Alves

Journal of Automata, Languages and Combinatorics | 2018 | article
Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017. | 2017 | inproceedings

Sandra Alves

Journal of Automata, Languages and Combinatorics | 2017 | article

A Machiavelo

R Bastos

Descriptional Complexity of Formal Systems, Dcfs 2017 | 2017 | inproceedings
Developments in Language Theory, Dlt 2017 | 2017 | inproceedings
Descriptional Complexity of Formal Systems - 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings | 2016 | inproceedings
Information Processing Letters | 2015 | article

S Alves

Logic-based Program Synthesis and Transformation (lopstr 2015) | 2015 | inproceedings

M Fernandez

S Alves

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2015 | inproceedings

M Ferreira

S Cavadas