Nelma Moreira
Faculdade de Ciências da Universidade do Porto
.
| 2014 | Partial Derivative and Position Bisimilarity Automata |
Implementation and Application of Automata, Ciaa 2014 | 2014 | inproceedings | ||
| 2014 | Symmetric Groups and Quotient Complexity of Boolean Operations |
Automata, Languages, and Programming (icalp 2014), Pt Ii | 2014 | inproceedings | ||
| 2014 | The distinguishability operation on regular languages |
Sixth Workshop on Non-Classical Models for Automata and Applications - NCMA 2014, Kassel, Germany, July 28-29, 2014. Proceedings | 2014 | inproceedings | ||
| 2013 | Incomplete Transition Complexity of Basic Operations on Finite Languages |
Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings | 2013 | inproceedings | ||
| 2013 | Incomplete Transition Complexity of Some Basic Operations |
SOFSEM 2013: Theory and Practice of Computer Science | 2013 | inproceedings | ||
| 2013 | On the Average Size of Glushkov and Equation Automata for KAT Expressions |
Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings | 2013 | inproceedings | ||
| 2013 | Preface |
Int. J. Found. Comput. Sci. | 2013 | article | ||
| 2013 | Preface |
International Journal of Foundations of Computer Science | 2013 | article | ||
| 2013 | Special Issue Implementation and Application of Automata (ciaa 2012) |
International Journal of Foundations of Computer Science | 2013 | misc | ||
| 2012 | Deciding KAT and Hoare Logic with Derivatives |
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. | 2012 | inproceedings | ||
| 2012 | Deciding regular expressions (in-)equivalence in Coq |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012 | inproceedings | ||
| 2012 |
Descriptional Complexity of Formal Systems |
2012 | book | ||
| 2012 | Editorial |
Journal of Automata, Languages and Combinatorics | 2012 | article | ||
| 2012 | Finite Automata Minimization |
Handbook of Finite State Based Models and Applications. | 2012 | incollection | ||
| 2012 | Implementation and Application of Automata - 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings |
Ciaa | 2012 | proceedings | ||
| 2012 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012 | misc | ||
| 2012 | On the Average Size of Glushkov and Partial Derivative Automata |
International Journal of Foundations of Computer Science | 2012 | article | ||
| 2012 | Preface |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012 | misc | ||
| 2011 | Incremental DFA Minimisation |
Implementation and Application of Automata | 2011 | inproceedings | ||
| 2011 | On the Average State Complexity of Partial Derivative Automata: An Analytic Combinatorics Approach |
International Journal of Foundations of Computer Science | 2011 | article | ||
| 2011 | Partial Derivative Automata Formalized in Coq |
Implementation and Application of Automata | 2011 | inproceedings | ||
| 2011 | The Average Transition Complexity of Glushkov and Partial Derivative Automata |
Developments in Language Theory - 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings | 2011 | inproceedings | ||
| 2010 | On the Average Number of States of Partial Derivative Automata |
Developments in Language Theory | 2010 | inproceedings | ||
| 2010 | Small NFAs from Regular Expressions: Some Experimental Results |
CoRR | 2010 | misc | ||
| 2010 | State Elimination Ordering Strategies: Some Experimental Results |
Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010. | 2010 | inproceedings |