
Pedro V. Silva
Faculdade de Ciências da Universidade do Porto
.
2010 | Computing Maximal Error-detecting Capabilities and Distances of Regular Languages |
Fundamenta Informaticae | 2010 | article | ||
2010 | Fixed points of endomorphisms over special confluent rewriting systems |
Monatshefte Fur Mathematik | 2010 | article | ||
2010 | General Derivation of the Sets of Pedigrees with the Same Kinship Coefficients |
Human Heredity | 2010 | article | ||
2010 | On finite-index extensions of subgroups of free groups |
Journal of Group Theory | 2010 | article | ||
2009 | Infinite Periodic Points of Endomorphisms Over Special Confluent Rewriting Systems |
Annales De L Institut Fourier | 2009 | article | ||
2009 | Infinite Words and Confluent Rewriting Systems: Endomorphism Extensions |
International Journal of Algebra and Computation | 2009 | article | ||
2008 | A Mahler's theorem for functions from words to integers |
Stacs 2008: Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science | 2008 | inproceedings | ||
2008 | On an algorithm to decide whether a free group is a free factor of another |
Rairo-theoretical Informatics and Applications | 2008 | article | ||
2008 | Rational subsets of partially reversible monoids |
Theoretical Computer Science | 2008 | article | ||
2008 | Turing machines and bimachines |
Theoretical Computer Science | 2008 | article | ||
2007 | On the rational subset problem for groups |
Journal of Algebra | 2007 | article | ||
2006 | The spectra of lamplighter groups and Cayley machines |
Geometriae Dedicata | 2006 | article | ||
2005 | A topological approach to transductions |
Theoretical Computer Science | 2005 | article | ||
2005 | Inverse subsemigroups of the monogenic free inverse semigroup |
Communications in Algebra | 2005 | article | ||
2005 | On a class of automata groups generalizing lamplighter groups |
International Journal of Algebra and Computation | 2005 | article | ||
2004 | A geometric characterization of automatic monoids |
Quarterly Journal of Mathematics | 2004 | article | ||
2004 | An application of first-order logic to the study of recognizable languages |
International Journal of Algebra and Computation | 2004 | article | ||
2004 | Free group languages: Rational versus recognizable |
Rairo-theoretical Informatics and Applications | 2004 | article | ||
2003 | A note on pure and p-pure languages |
Acta Informatica | 2003 | article | ||
2003 | On *-bands and their varieties |
Rocky Mountain Journal of Mathematics | 2003 | article | ||
2003 | On Fine and Wilf's theorem for bidimensional words |
Theoretical Computer Science | 2003 | article | ||
2003 | Periodicity vectors for labelled trees |
Discrete Applied Mathematics | 2003 | article | ||
2003 | The homomorphism problem for trace monoids |
Theoretical Computer Science | 2003 | article | ||
2002 | Extensions and submonoids of automatic monoids |
Theoretical Computer Science | 2002 | article | ||
2002 | On the lattice of prefix codes |
Theoretical Computer Science | 2002 | article |