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

S Konstantinidis

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

A Amorim

N Pinto

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

J Cassaigne

2009

Infinite Words and Confluent Rewriting Systems: Endomorphism Extensions

International Journal of Algebra and Computation | 2009 | article

J Cassaigne

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

J Rhodes

2007

On the rational subset problem for groups

Journal of Algebra | 2007 | article

B Steinberg

M Kambites

2006

The spectra of lamplighter groups and Cayley machines

Geometriae Dedicata | 2006 | article

B Steinberg

M Kambites

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

B Steinberg

2004

A geometric characterization of automatic monoids

Quarterly Journal of Mathematics | 2004 | article

B Steinberg

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

M Petrich

2003

On Fine and Wilf's theorem for bidimensional words

Theoretical Computer Science | 2003 | article

A Restivo

F Mignosi

2003

Periodicity vectors for labelled trees

Discrete Applied Mathematics | 2003 | article

A Restivo

2003

The homomorphism problem for trace monoids

Theoretical Computer Science | 2003 | article
2002

Extensions and submonoids of automatic monoids

Theoretical Computer Science | 2002 | article

B Steinberg

2002

On the lattice of prefix codes

Theoretical Computer Science | 2002 | article

A Restivo