2008 |
18 | EE | Jean-Eric Pin,
Pedro V. Silva:
A Mahler's theorem for functions from words to integers.
STACS 2008: 585-596 |
17 | | Stavros Konstantinidis,
Pedro V. Silva:
Maximal Error-Detecting Capabilities of Formal Languages.
Journal of Automata, Languages and Combinatorics 13(1): 55-71 (2008) |
16 | EE | John Rhodes,
Pedro V. Silva:
Turing machines and bimachines.
Theor. Comput. Sci. 400(1-3): 182-224 (2008) |
15 | EE | Pedro V. Silva:
Rational subsets of partially reversible monoids.
Theor. Comput. Sci. 409(3): 537-548 (2008) |
2005 |
14 | EE | Pedro V. Silva,
Benjamin Steinberg:
On a Class of Automata Groups Generalizing Lamplighter Groups.
IJAC 15(5-6): 1213-1234 (2005) |
13 | EE | Jean-Eric Pin,
Pedro V. Silva:
A topological approach to transductions.
Theor. Comput. Sci. 340(1): 443-456 (2005) |
2004 |
12 | EE | Pedro V. Silva:
An Application of First-Order Logic to The Study of Recognizable Languages.
IJAC 14(5-6): 785-799 (2004) |
2003 |
11 | EE | Pedro V. Silva:
A note on pure and p-pure languages.
Acta Inf. 39(8): 579-595 (2003) |
10 | | Antonio Restivo,
Pedro V. Silva:
Periodicity vectors for labelled trees.
Discrete Applied Mathematics 126(2-3): 241-260 (2003) |
9 | | Filippo Mignosi,
Antonio Restivo,
Pedro V. Silva:
On Fine and Wilf's theorem for bidimensional words.
Theor. Comput. Sci. 292(1): 245-262 (2003) |
8 | EE | Pedro V. Silva:
The homomorphism problem for trace monoids.
Theor. Comput. Sci. 307(1): 199-215 (2003) |
2002 |
7 | | Pedro V. Silva:
Recognizable subsets of a group: finite extensions and the abelian case.
Bulletin of the EATCS 77: 195-215 (2002) |
6 | EE | Pedro V. Silva:
The homomorphism problem for the free monoid.
Discrete Mathematics 259(1-3): 189-200 (2002) |
5 | | Pedro V. Silva,
Benjamin Steinberg:
Extensions and submonoids of automatic monoids.
Theor. Comput. Sci. 289(1): 727-754 (2002) |
4 | | Antonio Restivo,
Pedro V. Silva:
On the lattice of prefix codes.
Theor. Comput. Sci. 289(1): 755-782 (2002) |
2001 |
3 | EE | Jorge Almeida,
Pedro V. Silva:
SC-hyperdecidability of R.
Theor. Comput. Sci. 255(1-2): 569-591 (2001) |
1999 |
2 | EE | Pedro V. Silva,
João Gabriel Silva:
Implementing MPI-2 Extended Collective Operations.
PVM/MPI 1999: 125-132 |
1996 |
1 | | Pedro V. Silva:
On Free Inverse Monoid Languages.
ITA 30(4): 349-378 (1996) |