Rogério Reis
Faculdade de Ciências da Universidade do Porto
.
| 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 | ||
| 2016 | Channels with Synchronization/Substitution Errors and Computation of Error Control Codes |
CoRR | 2016 | misc | ||
| 2016 | Distinguishability Operations and Closures |
Fundamenta Informaticae | 2016 | article | ||
| 2016 | Generating error control codes with automata and transducers |
Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings | 2016 | inproceedings | ||
| 2016 | Ideal regular languages and strongly connected synchronizing automata |
Theoretical Computer Science | 2016 | article | ||
| 2016 | Implementation of Code Properties via Transducers |
Implementation and Application of Automata | 2016 | inproceedings | ||
| 2016 | On the dissimilarity operation on finite languages |
Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings | 2016 | 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 | Preface: Non-classical models of automata and applications VII |
RAIRO - Theoretical Informatics and Applications | 2016 | misc | ||
| 2015 | Average Size of Automata Constructions from Regular Expressions |
Bulletin of the EATCS | 2015 | article | ||
| 2015 | Incomplete operational transition complexity of regular languages |
Information and Computation | 2015 | article | ||
| 2015 | On the Number of Linear Finite Transducers |
International Journal of Foundations of Computer Science | 2015 | article | ||
| 2015 | Optimal State Reductions of Automata with Partially Specified Behaviors |
Sofsem 2015: Theory and Practice of Computer Science | 2015 | inproceedings | ||
| 2015 | Partial Derivative Automaton for Regular Expressions with Shuffle |
CoRR | 2015 | misc | ||
| 2015 | Partial Derivative Automaton for Regular Expressions with Shuffle |
Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings | 2015 | inproceedings | ||
| 2015 | Prefix and Right-Partial Derivative Automata |
Evolving Computability | 2015 | inproceedings | ||
| 2015 | Seventh Workshop on Non-Classical Models of Automata and Applications - NCMA 2015, Porto, Portugal, August 31 - September 1, 2015. Proceedings |
Ncma | 2015 | proceedings | ||
| 2015 | Symbolic Manipulation of Code Properties |
CoRR | 2015 | misc | ||
| 2015 | Universal Disjunctive Concatenation and Star |
Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings | 2015 | inproceedings | ||
| 2014 | A Hitchhiker's Guide to descriptional complexity through analytic combinatorics |
Theoretical Computer Science | 2014 | article | ||
| 2014 | Counting Equivalent Linear Finite Transducers Using a Canonical Form |
Implementation and Application of Automata, Ciaa 2014 | 2014 | inproceedings | ||
| 2014 | Incremental Dfa Minimisation |
Rairo-theoretical Informatics and Applications | 2014 | article |