Rogerio Reis
Rogerio Reis
Professor of Computer Science, Universidade do Porto
Подтвержден адрес электронной почты в домене dcc.fc.up.pt - Главная страница
Название
Процитировано
Процитировано
Год
YAP User’s manual
VS Costa, L Damas, R Reis, R Azevedo
Universidade do Porto, version 4, 20, 2002
77*2002
Enumeration and generation with a string automata representation
M Almeida, N Moreira, R Reis
Theoretical Computer Science 387 (2), 93-102, 2007
512007
On the performance of automata minimization algorithms
M Almeida, N Moreira, R Reis
Logic and Theory of Algorithms, 3, 2007
422007
A survey on operational state complexity
Y Gao, N Moreira, R Reis, S Yu
arXiv preprint arXiv:1509.03254, 2015
402015
FAdo and GUItar: tools for automata manipulation and visualization
A Almeida, M Almeida, J Alves, N Moreira, R Reis
International Conference on Implementation and Application of Automata, 65-74, 2009
372009
On the average state complexity of partial derivative automata: An analytic combinatorics approach
S Broda, A Machiavelo, N Moreira, R Reis
International Journal of Foundations of Computer Science 22 (07), 1593-1606, 2011
292011
On the average size of Glushkov and partial derivative automata
S Broda, A Machiavelo, N Moreira, R Reis
International Journal of Foundations of Computer Science 23 (05), 969-984, 2012
242012
Testing the equivalence of regular languages
M Almeida, N Moreira, R Reis
arXiv preprint arXiv:0907.5058, 2009
222009
Antimirov and Mosses's rewrite system revisited
M Almeida, N Moreira, R Reis
International Journal of Foundations of Computer Science 20 (04), 669-684, 2009
212009
Interactive manipulation of regular objects with FAdo
N Moreira, R Reis
ACM SIGCSE Bulletin 37 (3), 335-339, 2005
212005
On the density of languages representing finite set partitions
N Moreira, R Reis
Journal of Integer Sequences 8 (05.2), 8, 2005
192005
Symmetric groups and quotient complexity of boolean operations
J Bell, J Brzozowski, N Moreira, R Reis
International Colloquium on Automata, Languages, and Programming, 1-12, 2014
182014
A review on state complexity of individual operations
Y Gao, N Moreira, R Reis, S Yu
Computer Science Review.(Available at www. dcc. fc. up. pt/dcc/Pubs/TReports …, 2012
182012
On the representation of finite automata
R Reis, N Moreira, M Almeida
arXiv preprint arXiv:0906.2477, 2009
182009
Partitions into sum-free sets
PF Blanchard, F Harary, R Reis
Integers 6, A7, 2006
172006
Series-parallel automata and short regular expressions
N Moreira, R Reis
Fundamenta Informaticae 91 (3-4), 611-629, 2009
162009
A Hitchhiker's Guide to descriptional complexity through analytic combinatorics
S Broda, A Machiavelo, N Moreira, R Reis
Theoretical Computer Science 528, 85-100, 2014
152014
Regular ideal languages and synchronizing automata
R Reis, E Rodaro
Combinatorics on Words, 205-216, 2013
132013
A static type inference for python
E Maia, N Moreira, R Reis
Proc. of DYLA 5 (1), 1, 2012
112012
Incremental DFA minimisation
M Almeida, N Moreira, R Reis
International Conference on Implementation and Application of Automata, 39-48, 2010
112010
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20