Sabine Broda
Faculdade de Ciências da Universidade do Porto
.
2024 | Regular Expressions Avoiding Absorbing Patterns and the Significance of Uniform Distribution |
International Journal of Foundations of Computer Science | 2024 | article | ||
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 Uniform Distribution of Regular Expressions |
CoRR | 2021 | misc | ||
2021 | On the Uniform Distribution of Regular Expressions |
Descriptional Complexity of Formal Systems, Dcfs 2021 | 2021 | inproceedings | ||
2021 | Pregrammars and Intersection Types |
29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference). | 2021 | inproceedings | ||
2021 | The Prefix Automaton |
J. Autom. Lang. Comb. | 2021 | article | ||
2020 | Guest Column: Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average |
SIGACT News | 2020 | article | ||
2019 | A mesh of automata |
Information and Computation | 2019 | article | ||
2019 | On Average Behaviour of Regular Expressions in Strong Star Normal Form |
International Journal of Foundations of Computer Science | 2019 | article | ||
2019 | Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types |
Electronic Notes in Theoretical Computer Science | 2019 | inproceedings | ||
2018 | A Unifying Framework for Type Inhabitation |
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK | 2018 | inproceedings | ||
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 | Inhabitation machines: determinism and principality |
Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017. | 2017 | inproceedings | ||
2017 | On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions |
Journal of Automata, Languages and Combinatorics | 2017 | article | ||
2017 | On the Average Complexity of Strong Star Normal Form |
Descriptional Complexity of Formal Systems, Dcfs 2017 | 2017 | inproceedings | ||
2017 | On the Mother of All Automata: the Position Automaton |
Developments in Language Theory, Dlt 2017 | 2017 | inproceedings | ||
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 | ||
2016 | The G-ACM Tool: using the Drools Rule Engine for Access Control Management |
CoRR | 2016 | misc | ||
2015 | A short note on type-inhabitation: Formula-trees vs. game semantics |
Information Processing Letters | 2015 | article | ||
2015 | A Typed Language for Events |
Logic-based Program Synthesis and Transformation (lopstr 2015) | 2015 | inproceedings |