Nelma Moreira
Faculdade de Ciências da Universidade do Porto
.
| 2020 | Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I |
FM Workshops (1) | 2020 | proceedings | ||
| 2020 | Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II |
FM Workshops (2) | 2020 | proceedings | ||
| 2020 | Guest Column: Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average |
SIGACT News | 2020 | article | ||
| 2020 | On the Average State Complexity of Partial Derivative Transducers |
Sofsem 2020: Theory and Practice of Computer Science | 2020 | inproceedings | ||
| 2020 | Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels |
International Journal of Foundations of Computer Science | 2020 | article | ||
| 2020 | The computational power of parsing expression grammars |
Journal of Computer and System Sciences | 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 | Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels |
Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings | 2019 | inproceedings | ||
| 2019 | Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages |
Electronic Notes in Theoretical Computer Science | 2019 | inproceedings | ||
| 2018 | Automata for regular expressions with shuffle |
Information and Computation | 2018 | article | ||
| 2018 | Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs |
Descriptional Complexity of Formal Systems, Dcfs 2018 | 2018 | inproceedings | ||
| 2018 | Position Automata for Semi-extended Expressions |
Journal of Automata, Languages and Combinatorics | 2018 | article | ||
| 2018 | Randomized Generation of Error Control Codes With Automata and Transducers |
Rairo-theoretical Informatics and Applications | 2018 | article | ||
| 2018 | Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels |
Implementation and Application of Automata, Ciaa 2018 | 2018 | inproceedings | ||
| 2018 | Symbolic Manipulation of Code Properties |
Journal of Automata, Languages and Combinatorics | 2018 | article | ||
| 2018 | The Computational Power of Parsing Expression Grammars |
Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings | 2018 | inproceedings | ||
| 2017 | A Survey on Operational State Complexity |
Journal of Automata, Languages and Combinatorics | 2017 | article | ||
| 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 | ||
| 2017 | Optimal state reductions of automata with partially specified behaviors |
Theoretical Computer Science | 2017 | article | ||
| 2017 | Preface |
Role of Theory in Computer Science, The: Essays Dedicated to Janusz Brzozowski | 2017 | misc | ||
| 2017 | The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski |
2017 | proceedings | ||
| 2016 | Automata Serialization for Manipulation and Drawing |
5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia | 2016 | inproceedings |