???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Pedro Ventura Alves da Silva

Nomes de citação

  • Silva, Pedro V.

Identificadores de autor

Ciência ID
4814-B5A3-6C5C
ORCID iD
0000-0003-1819-7289
Formação
Grau Classificação
1989/10 - 1992/03
Concluído
 Mathematics (Doctor of Philosophy)
University of Glasgow, Reino Unido
1987/10 - 1989/07
Concluído
 Mathematics (Mestrado)
Especialização em Algebra
Universidade de Lisboa Faculdade de Ciências, Portugal
1983/10 - 1987/07
Concluído
 Mathematics (Licenciatura)
Especialização em Pure Mathematics
Universidade do Porto Faculdade de Ciências, Portugal
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2002/01 - Atual Professor Catedrático (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
Produções

Publicações

Artigo em conferência
  1. Pin, J.-É.; Silva, P.V.. "A Mahler's theorem for functions from words to integers". 2008.
Artigo em revista
  1. Marion, Claude; Silva, Pedro V.; Tracey, Gareth. "The pro-supersolvable topology on a free group: Deciding denseness". Journal of Algebra 646 (2024): 183-204. http://dx.doi.org/10.1016/j.jalgebra.2024.02.002.
    Acesso aberto • Publicado • 10.1016/j.jalgebra.2024.02.002
  2. Pedro V. Silva. "On the rational subsets of the monogenic free inverse monoid". Journal of Algebra (2023): https://doi.org/10.1016/j.jalgebra.2022.12.006.
    10.1016/j.jalgebra.2022.12.006
  3. Silva, P.V.; Steinberg, B.. "FINITELY PRESENTED INVERSE SEMIGROUPS WITH FINITELY MANY IDEMPOTENTS IN EACH D -CLASS AND NON-HAUSDORFF UNIVERSAL GROUPOIDS". Journal of the Australian Mathematical Society (2023): http://www.scopus.com/inward/record.url?eid=2-s2.0-85179930414&partnerID=MN8TOARS.
    10.1017/S1446788723000198
  4. Robert D. Gray; Pedro V. Silva; Nóra Szakács. "Algorithmic properties of inverse monoids with hyperbolic and tree-like Schützenberger graphs". Journal of Algebra (2022): https://doi.org/10.1016/j.jalgebra.2022.07.029.
    10.1016/j.jalgebra.2022.07.029
  5. John Rhodes; Anne Schilling; Pedro V. Silva. "Holonomy theorem for finite semigroups". International Journal of Algebra and Computation 32 03 (2022): 443-460. http://dx.doi.org/10.1142/s0218196722500217.
    10.1142/s0218196722500217
  6. Mária B. Szendrei; Pedro V. Silva. "A tribute to Mario Petrich". Semigroup Forum 104 1 (2022): 1-9. http://dx.doi.org/10.1007/s00233-021-10235-5.
    10.1007/s00233-021-10235-5
  7. Matucci, F.; Silva, P.V.. "Extensions of automorphisms of self-similar groups". Journal of Group Theory 24 5 (2021): 857-897. http://www.scopus.com/inward/record.url?eid=2-s2.0-85102574411&partnerID=MN8TOARS.
    10.1515/jgth-2020-0034
  8. Margolis, S.; Rhodes, J.; Silva, P.V.. "On the Dowling and Rhodes lattices and wreath products". Journal of Algebra 578 (2021): 55-91. http://www.scopus.com/inward/record.url?eid=2-s2.0-85103331702&partnerID=MN8TOARS.
    10.1016/j.jalgebra.2021.02.018
  9. Delgado, J.; Silva, P.V.. "ON THE LATTICE OF SUBGROUPS OF A FREE GROUP: COMPLEMENTS AND RANK". Groups, Complexity, Cryptology 12 1 (2020): http://www.scopus.com/inward/record.url?eid=2-s2.0-85107980839&partnerID=MN8TOARS.
    10.46298/jgcc.2020.12.1.6059
  10. "On the Wilson monoid of a pairwise balanced design". Algebraic Combinatorics 3(3), pp. 637-665. (2020):
    10.5802/alco.106
  11. Margolis, S.; Rhodes, J.; Silva, P.V.. "Truncated boolean representable simplicial complexes". International Journal of Algebra and Computation 30 7 (2020): 1399-1435. http://www.scopus.com/inward/record.url?eid=2-s2.0-85093845925&partnerID=MN8TOARS.
    10.1142/S0218196720500460
  12. D’Angeli, D.; Rodaro, E.; Silva, P.V.; Zakharov, A.. "Eraser morphisms and membership problem in groups and monoids". Communications in Algebra 48 8 (2020): 3482-3504. http://www.scopus.com/inward/record.url?eid=2-s2.0-85082736287&partnerID=MN8TOARS.
    10.1080/00927872.2020.1740243
  13. Branco, M.J.J.; Gomes, G.M.S.; Silva, P.V.. "On the semigroup rank of a group". Semigroup Forum 99 3 (2019): 568-578. http://www.scopus.com/inward/record.url?eid=2-s2.0-85056326176&partnerID=MN8TOARS.
    10.1007/s00233-018-9982-x
  14. Silva, P.V.; Zakharov, A.. "On finitely generated submonoids of virtually free groups". Groups, Complexity, Cryptology 10 2 (2018): 63-82. http://www.scopus.com/inward/record.url?eid=2-s2.0-85055591248&partnerID=MN8TOARS.
    10.1515/gcc-2018-0008
  15. Volkov, M.V.; Silva, P.V.; Soares, F.. "Local finiteness for Green’s relations in semigroup varieties". Communications in Algebra 46 11 (2018): 4625-4653. http://www.scopus.com/inward/record.url?eid=2-s2.0-85045839184&partnerID=MN8TOARS.
    10.1080/00927872.2018.1448850
  16. Margolis, S.; Rhodes, J.; Silva, P.V.. "On the subsemigroup complex of an aperiodic Brandt semigroup". Semigroup Forum 97 1 (2018): 7-31. http://www.scopus.com/inward/record.url?eid=2-s2.0-85042089321&partnerID=MN8TOARS.
    10.1007/s00233-018-9927-4
  17. Margolis, S.; Rhodes, J.; Silva, P.V.. "The lattice of flats of a boolean representable simplicial complex". International Journal of Algebra and Computation 28 8 (2018): 1677-1691. http://www.scopus.com/inward/record.url?eid=2-s2.0-85053852319&partnerID=MN8TOARS.
    10.1142/S0218196718400131
  18. Diekert, V.; Martin, F.; Sénizergues, G.; Silva, P.V.. "Equations Over Free Inverse Monoids with Idempotent Variables". Theory of Computing Systems 61 2 (2017): 494-520. http://www.scopus.com/inward/record.url?eid=2-s2.0-84979276877&partnerID=MN8TOARS.
    10.1007/s00224-016-9693-1
  19. Branco, M.J.J.; Gomes, G.M.S.; Silva, P.V.. "Takahasi semigroups". Forum Mathematicum 29 5 (2017): 1145-1161. http://www.scopus.com/inward/record.url?eid=2-s2.0-85028881447&partnerID=MN8TOARS.
    10.1515/forum-2015-0059
  20. Araújo, V.; Silva, P.V.. "Geometric characterizations of virtually free groups". Journal of Algebra and its Applications 16 9 (2017): http://www.scopus.com/inward/record.url?eid=2-s2.0-85000868670&partnerID=MN8TOARS.
    10.1142/S0219498817501808
  21. Pin, J.-É.; Silva, P.V.. "On uniformly continuous functions for some profinite topologies". Theoretical Computer Science 658 (2017): 246-262. http://www.scopus.com/inward/record.url?eid=2-s2.0-84979574722&partnerID=MN8TOARS.
    10.1016/j.tcs.2016.06.013
  22. Margolis, S.; Rhodes, J.; Silva, P.V.. "On the topology of a boolean representable simplicial complex". International Journal of Algebra and Computation 27 1 (2017): 121-156. http://www.scopus.com/inward/record.url?eid=2-s2.0-85011854262&partnerID=MN8TOARS.
    10.1142/S0218196717500072
  23. Rhodes, J.; Schilling, A.; Silva, P.V.. "The semaphore codes attached to a Turing machine via resets and their various limits". International Journal of Algebra and Computation 26 4 (2016): 675-704. http://www.scopus.com/inward/record.url?eid=2-s2.0-84975449490&partnerID=MN8TOARS.
    10.1142/S0218196716500296
  24. Silva, P.V.; Soares, F.. "Howson's Property for Semidirect Products of Semilattices by Groups". Communications in Algebra 44 6 (2016): 2482-2494. http://www.scopus.com/inward/record.url?eid=2-s2.0-84970004159&partnerID=MN8TOARS.
    10.1080/00927872.2015.1053903
  25. Rhodes, J.; Schilling, A.; Silva, P.V.. "Random walks on semaphore codes and delay de Bruijn semigroups". International Journal of Algebra and Computation 26 4 (2016): 635-673. http://www.scopus.com/inward/record.url?eid=2-s2.0-84975498094&partnerID=MN8TOARS.
    10.1142/S0218196716500284
  26. Silva, P.V.; Soler-Escrivà, X.; Ventura, E.. "Finite automata for Schreier graphs of virtually free groups". Journal of Group Theory 19 1 (2016): 25-54. http://www.scopus.com/inward/record.url?eid=2-s2.0-84954319453&partnerID=MN8TOARS.
    10.1515/jgth-2015-0028
  27. Ladra, M.; Silva, P.V.; Ventura, E.. "Bounding the gap between a free group (outer) automorphism and its inverse". Collectanea Mathematica 67 3 (2016): 329-346. http://www.scopus.com/inward/record.url?eid=2-s2.0-84983049816&partnerID=MN8TOARS.
    10.1007/s13348-015-0133-3
  28. Araújo, V.; Silva, P.V.. "Hölder Conditions for Endomorphisms of Hyperbolic Groups". Communications in Algebra 44 10 (2016): 4483-4503. http://www.scopus.com/inward/record.url?eid=2-s2.0-84976333379&partnerID=MN8TOARS.
    10.1080/00927872.2015.1094480
  29. Rhodes, J.; Silva, P.V.. "A new notion of vertex independence and rank for finite graphs". International Journal of Algebra and Computation 25 1-2 (2015): 123-167. http://www.scopus.com/inward/record.url?eid=2-s2.0-84928472250&partnerID=MN8TOARS.
    10.1142/S021819671540007X
  30. Araújo, V.; Silva, P.V.; Sykiotis, M.. "Finiteness results for subgroups of finite extensions". Journal of Algebra 423 (2015): 592-614. http://www.scopus.com/inward/record.url?eid=2-s2.0-84909609650&partnerID=MN8TOARS.
    10.1016/j.jalgebra.2014.10.033
  31. Pin, J.-T.; Silva, P.V.. "A noncommutative extension of Mahler's theorem on interpolation series". European Journal of Combinatorics 36 (2014): 564-578. http://www.scopus.com/inward/record.url?eid=2-s2.0-84886489602&partnerID=MN8TOARS.
    10.1016/j.ejc.2013.09.009
  32. Rodaro, E.; Silva, P.V.. "Fixed points of endomorphisms of trace monoids". Semigroup Forum 89 1 (2014): 266-279. http://www.scopus.com/inward/record.url?eid=2-s2.0-84956813778&partnerID=MN8TOARS.
    10.1007/s00233-013-9553-0
  33. Silva, P.V.. "Fixed points of endomorphisms of virtually free groups". Pacific Journal of Mathematics 263 1 (2013): 207-240. http://www.scopus.com/inward/record.url?eid=2-s2.0-84878734154&partnerID=MN8TOARS.
    10.2140/pjm.2013.263.207
  34. Rodaro, E.; Silva, P.V.. "Amalgams of inverse semigroups and reversible two-counter machines". Journal of Pure and Applied Algebra 217 4 (2013): 585-597. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867627904&partnerID=MN8TOARS.
    10.1016/j.jpaa.2012.08.012
  35. Rodaro, E.; Silva, P.V.; Sykiotis, M.. "Fixed points of endomorphisms of graph groups". Journal of Group Theory 16 4 (2013): 573-583. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881501829&partnerID=MN8TOARS.
    10.1515/jgt-2012-0047
  36. Rodaro, E.; Silva, P.V.. "On periodic points of free inverse monoid homomorphisms". International Journal of Algebra and Computation 23 8 (2013): 1789-1803. http://www.scopus.com/inward/record.url?eid=2-s2.0-84893739530&partnerID=MN8TOARS.
    10.1142/S0218196713500446
  37. Pinto, N.; Silva, P.V.; Amorim, A.. "A general method to assess the utility of the X-chromosomal markers in kinship testing". Forensic Science International: Genetics 6 2 (2012): 198-207. http://www.scopus.com/inward/record.url?eid=2-s2.0-84857062547&partnerID=MN8TOARS.
    10.1016/j.fsigen.2011.04.014
  38. Silva, P.V.. "Fixed points of endomorphisms of certain free products". RAIRO - Theoretical Informatics and Applications 46 1 (2012): 165-179. http://www.scopus.com/inward/record.url?eid=2-s2.0-84860487078&partnerID=MN8TOARS.
    10.1051/ita/2011125
  39. Rhodes, J.; Silva, P.V.. "Further results on monoids acting on trees". International Journal of Algebra and Computation 22 4 (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84862579383&partnerID=MN8TOARS.
    10.1142/S0218196712500348
  40. Pinto, N.; Gusmão, L.; Silva, P.V.; Amorim, A.. "Estimating coancestry from genotypes using a linear regression method". Forensic Science International: Genetics Supplement Series 3 1 (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-82455199234&partnerID=MN8TOARS.
    10.1016/j.fsigss.2011.09.048
  41. Silva, P.V.. "Finite idempotent inverse monoid presentations". International Journal of Algebra and Computation 21 7 (2011): 1111-1133. http://www.scopus.com/inward/record.url?eid=2-s2.0-82955240604&partnerID=MN8TOARS.
    10.1142/S0218196711006868
  42. Ladra, M.; Silva, P.V.. "The generalized conjugacy problem for virtually free groups". Forum Mathematicum 23 3 (2011): 447-482. http://www.scopus.com/inward/record.url?eid=2-s2.0-79958053341&partnerID=MN8TOARS.
    10.1515/FORM.2011.015
  43. Pin, J.-É.; Silva, P.V.. "On profinite uniform structures defined by varieties of finite monoids". International Journal of Algebra and Computation 21 1-2 (2011): 295-314. http://www.scopus.com/inward/record.url?eid=2-s2.0-79953843362&partnerID=MN8TOARS.
    10.1142/S0218196711006170
  44. Silva, P.; Weil, P.. "On finite-index extensions of subgroups of free groups". Journal of Group Theory 13 3 (2010): 365-381. http://www.scopus.com/inward/record.url?eid=2-s2.0-77952968515&partnerID=MN8TOARS.
    10.1515/JGT.2009.055
  45. Silva, P.V.. "Fixed points of endomorphisms over special confluent rewriting systems". Monatshefte fur Mathematik 161 4 (2010): 417-447. http://www.scopus.com/inward/record.url?eid=2-s2.0-78049447902&partnerID=MN8TOARS.
    10.1007/s00605-009-0124-0
  46. Silva, P.V.; Weil, P.. "Automorphic orbits in free groups: Words versus subgroups". International Journal of Algebra and Computation 20 4 (2010): 561-590. http://www.scopus.com/inward/record.url?eid=2-s2.0-77954575714&partnerID=MN8TOARS.
    10.1142/S0218196710005790
  47. Pinto, N.; Silva, P.V.; Amorim, A.. "General derivation of the sets of pedigrees with the Same Kinship coefficients". Human Heredity 70 3 (2010): 194-204. http://www.scopus.com/inward/record.url?eid=2-s2.0-77955627341&partnerID=MN8TOARS.
    10.1159/000316390
  48. Konstantinidis, S.; Silva, P.V.. "Computing maximal error-detecting capabilities and distances of regular languages". Fundamenta Informaticae 101 4 (2010): 257-270. http://www.scopus.com/inward/record.url?eid=2-s2.0-77957324473&partnerID=MN8TOARS.
    10.3233/FI-2010-287
  49. Cassaigne, J.; Silva, P.V.. "Infinite words and confluent rewriting systems: Endomorphism extensions". International Journal of Algebra and Computation 19 4 (2009): 443-490. http://www.scopus.com/inward/record.url?eid=2-s2.0-67650823101&partnerID=MN8TOARS.
    10.1142/S0218196709005111
  50. Cassaigne, J.; Silva, P.V.. "Infinite periodic points of endomorphisms over special confluent rewriting systems". Annales de l'Institut Fourier 59 2 (2009): 769-810. http://www.scopus.com/inward/record.url?eid=2-s2.0-67149128074&partnerID=MN8TOARS.
    10.5802/aif.2447
  51. Silva, P.V.; Weil, P.. "On an algorithm to decide whether a free group is a free factor of another". RAIRO - Theoretical Informatics and Applications 42 2 (2008): 395-414. http://www.scopus.com/inward/record.url?eid=2-s2.0-41549083333&partnerID=MN8TOARS.
    10.1051/ita:2007040
  52. Silva, P.V.. "Rational subsets of partially reversible monoids". Theoretical Computer Science 409 3 (2008): 537-548. http://www.scopus.com/inward/record.url?eid=2-s2.0-55949124777&partnerID=MN8TOARS.
    10.1016/j.tcs.2008.09.031
  53. Rhodes, J.; Silva, P.V.. "Turing machines and bimachines". Theoretical Computer Science 400 1-3 (2008): 182-224. http://www.scopus.com/inward/record.url?eid=2-s2.0-43549110019&partnerID=MN8TOARS.
    10.1016/j.tcs.2008.03.019
  54. Kambites, M.; Silva, P.V.; Steinberg, B.. "On the rational subset problem for groups". Journal of Algebra 309 2 (2007): 622-639. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845220055&partnerID=MN8TOARS.
    10.1016/j.jalgebra.2006.05.020
  55. Kambites, M.; Silva, P.V.; Steinberg, B.. "The spectra of lamplighter groups and Cayley machines". Geometriae Dedicata 120 1 (2006): 193-227. http://www.scopus.com/inward/record.url?eid=2-s2.0-33747097277&partnerID=MN8TOARS.
    10.1007/s10711-006-9086-8
  56. Silva, P.V.; Steinberg, B.. "On a class of automata groups generalizing lamplighter groups". International Journal of Algebra and Computation 15 5-6 (2005): 1213-1234. http://www.scopus.com/inward/record.url?eid=2-s2.0-30344457550&partnerID=MN8TOARS.
    10.1142/S0218196705002761
  57. Pin, J.-E.; Silva, P.V.. "A topological approach to transductions". Theoretical Computer Science 340 2 (2005): 443-456. http://www.scopus.com/inward/record.url?eid=2-s2.0-20344390012&partnerID=MN8TOARS.
    10.1016/j.tcs.2005.03.029
  58. Oliveira, A.; Silva, P.. "Inverse subsemigroups of the monogenic free inverse semigroup". Communications in Algebra 33 11 (2005): 3887-3917. http://www.scopus.com/inward/record.url?eid=2-s2.0-31444441195&partnerID=MN8TOARS.
    10.1080/00927870500261058
  59. Silva, P.V.; Steinberg, B.. "A geometric characterization of automatic monoids". Quarterly Journal of Mathematics 55 3 (2004): 333-356. http://www.scopus.com/inward/record.url?eid=2-s2.0-4444230270&partnerID=MN8TOARS.
    10.1093/qmath/hah006
  60. Silva, P.V.. "An application of first-order logic to the study of recognizable languages". International Journal of Algebra and Computation 14 5-6 (2004): 785-799. http://www.scopus.com/inward/record.url?eid=2-s2.0-12344251880&partnerID=MN8TOARS.
  61. Silva, P.V.. "Free group languages: Rational versus recognizable". Theoretical Informatics and Applications 38 1 (2004): 49-67. http://www.scopus.com/inward/record.url?eid=2-s2.0-1642619021&partnerID=MN8TOARS.
    10.1051/ita:2004003
  62. Restivo, A.; Silva, P.V.. "Periodicity vectors for labelled trees". Discrete Applied Mathematics 126 2-3 (2003): 241-260. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867980758&partnerID=MN8TOARS.
    10.1016/S0166-218X(02)00248-2
  63. Petrich, M.; Silva, P.V.. "On *–bands and their varieties". Rocky Mountain Journal of Mathematics 33 1 (2003): 217-252. http://www.scopus.com/inward/record.url?eid=2-s2.0-0042831223&partnerID=MN8TOARS.
    10.1216/rmjm/1181069994
  64. Silva, P.V.. "The homomorphism problem for trace monoids". Theoretical Computer Science 307 1 SPEC. (2003): 199-215. http://www.scopus.com/inward/record.url?eid=2-s2.0-0042235620&partnerID=MN8TOARS.
    10.1016/S0304-3975(03)00101-4
  65. Silva, P.V.. "A note on pure and p-pure languages". Acta Informatica 39 8 (2003): 579-595. http://www.scopus.com/inward/record.url?eid=2-s2.0-0042515043&partnerID=MN8TOARS.
    10.1007/s00236-003-0107-x
  66. Mignosi, F.; Restivo, A.; Silva, P.V.. "On Fine and Wilf's theorem for bidimensional words". Theoretical Computer Science 292 1 (2003): 245-262. http://www.scopus.com/inward/record.url?eid=2-s2.0-0037427699&partnerID=MN8TOARS.
    10.1016/S0304-3975(01)00226-2
  67. Petrich, M.; Silva, P.V.. "Structure of relatively free bands". Communications in Algebra 30 9 (2002): 4165-4187. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036761087&partnerID=MN8TOARS.
    10.1081/AGB-120013311
  68. Silva, P.V.; Steinberg, B.. "Extensions and submonoids of automatic monoids". Theoretical Computer Science 289 1 (2002): 727-754. http://www.scopus.com/inward/record.url?eid=2-s2.0-0037163965&partnerID=MN8TOARS.
    10.1016/S0304-3975(01)00390-5
  69. Restivo, A.; Silva, P.V.. "On the lattice of prefix codes". Theoretical Computer Science 289 1 (2002): 755-782. http://www.scopus.com/inward/record.url?eid=2-s2.0-0037163942&partnerID=MN8TOARS.
    10.1016/S0304-3975(01)00391-7
  70. Silva, P.V.. "The homomorphism problem for the free monoid". Discrete Mathematics 259 1-3 (2002): 189-200. http://www.scopus.com/inward/record.url?eid=2-s2.0-31244434374&partnerID=MN8TOARS.
    10.1016/S0012-365X(02)00380-1
  71. Petrich, M.; Silva, P.V.. "A canonical directly infinite ring". Czechoslovak Mathematical Journal 51 3 (2001): 545-560. http://www.scopus.com/inward/record.url?eid=2-s2.0-27144545003&partnerID=MN8TOARS.
    10.1023/A:1013731922082
  72. Almeida, J.; Silva, P.V.. "SC-hyperdecidability of R". Theoretical Computer Science 255 1-2 (2001): 569-591. http://www.scopus.com/inward/record.url?eid=2-s2.0-0034911358&partnerID=MN8TOARS.
    10.1016/S0304-3975(99)00329-1
  73. Silva, P.V.. "Trees associated to inverse monoid presentations". Journal of Pure and Applied Algebra 165 3 (2001): 307-335. http://www.scopus.com/inward/record.url?eid=2-s2.0-0042368537&partnerID=MN8TOARS.
    10.1016/S0022-4049(00)00190-0
  74. Petrich, M.; Silva, P.V.. "Relatively free bands". Communications in Algebra 28 5 (2000): 2615-2631. http://www.scopus.com/inward/record.url?eid=2-s2.0-0034347001&partnerID=MN8TOARS.
    10.1080/00927870008826982
  75. Petrich, M.; Silva, P.V.. "Relationship of certain rings of infinite matrices over integers". Bollettino della Unione Matematica Italiana B 3 2 (2000): 347-365. http://www.scopus.com/inward/record.url?eid=2-s2.0-0042726356&partnerID=MN8TOARS.
  76. Oliveira, A.; Silva, P.V.. "Inverse automata and monoids and the undecidability of the cayley subgraph problem for groups". Glasgow Mathematical Journal 42 3 (2000): 421-437. http://www.scopus.com/inward/record.url?eid=2-s2.0-0041463728&partnerID=MN8TOARS.
    10.1017/S001708950003010X
  77. Petrich, M.; Silva, P.V.. "Relatively free *-bands". Beitrage zur Algebra und Geometrie 41 2 (2000): 569-588. http://www.scopus.com/inward/record.url?eid=2-s2.0-0042027152&partnerID=MN8TOARS.
  78. Petrich, M.; Silva, P.V.. "A functor from semigroups to rings". Journal of Pure and Applied Algebra 148 3 (2000): 285-307. http://www.scopus.com/inward/record.url?eid=2-s2.0-0034600125&partnerID=MN8TOARS.
    10.1016/S0022-4049(98)00142-X
  79. Petrich, M.; Silva, P.V.. "On directly infinite rings". Acta Mathematica Hungarica 85 1-2 (1999): 153-165. http://www.scopus.com/inward/record.url?eid=2-s2.0-0033267972&partnerID=MN8TOARS.
  80. Petrich, M.; Silva, P.V.. "On Presentations of Semigroup Rings". Bollettino della Unione Matematica Italiana B 2 1 (1999): 127-142. http://www.scopus.com/inward/record.url?eid=2-s2.0-0040316288&partnerID=MN8TOARS.
  81. Almeida, J.; Silva, P.V.. "On the hyperdecidability of semidirect products of pseudovarieties". Communications in Algebra 26 12 (1998): 4065-4077. http://www.scopus.com/inward/record.url?eid=2-s2.0-22444455654&partnerID=MN8TOARS.
    10.1080/00927879808826395
  82. Silva, P.V.. "Conjugacy and transposition for inverse monoid presentations". International Journal of Algebra and Computation 6 5 (1996): 607-622. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030505958&partnerID=MN8TOARS.
    10.1142/S0218196796000349
  83. Silva, P.V.. "On free inverse monoid languages". Theoretical Informatics and Applications 30 4 (1996): 349-378. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030364585&partnerID=MN8TOARS.
    10.1051/ita/1996300403491
  84. Silva, P.V.. "The word problem for nilpotent inverse monoids". Semigroup Forum 51 1 (1995): 285-293. http://www.scopus.com/inward/record.url?eid=2-s2.0-51649146548&partnerID=MN8TOARS.
    10.1007/BF02573637
  85. Silva, P.V.. "Normal-convex embeddings of inverse semigroups". Glasgow Mathematical Journal 35 1 (1993): 115-121. http://www.scopus.com/inward/record.url?eid=2-s2.0-84975977002&partnerID=MN8TOARS.
    10.1017/S0017089500009630
  86. Silva, P.V.. "On the semilattice of idempotents of a free inverse monoid". Proceedings of the Edinburgh Mathematical Society 36 2 (1993): 349-360. http://www.scopus.com/inward/record.url?eid=2-s2.0-84976112153&partnerID=MN8TOARS.
    10.1017/S0013091500018447
  87. Silva, P.V.. "Clifford monoid presentations". Mathematical Proceedings of the Cambridge Philosophical Society 111 3 (1992): 445-454. http://www.scopus.com/inward/record.url?eid=2-s2.0-84971139438&partnerID=MN8TOARS.
    10.1017/S030500410007554X
  88. Silva, P.V.. "A note on primeness of semigroup rings". Proceedings of the Royal Society of Edinburgh: Section A Mathematics 120 3-4 (1992): 191-197. http://www.scopus.com/inward/record.url?eid=2-s2.0-84974191557&partnerID=MN8TOARS.
    10.1017/S030821050003208X
Livro
  1. Diekert, V.; Martin, F.; Sénizergues, G.; Silva, P.V.. Equations over free inverse monoids with idempotent variables. 2015.
    10.1007/978-3-319-20297-6_12
  2. Silva, P.V.. Groups and automata: A perfect match. 2012.
    10.1007/978-3-642-31623-4_4
  3. Rodaro, E.; Silva, P.V.. Never minimal automata and the rainbow bipartite subgraph problem. 2011.
    10.1007/978-3-642-22321-1_32

Outros

Outra produção
  1. On the closure of cyclic subgroups of a free group in pro-V topologies. 2023. Marion, C.; Silva, P.V.; Tracey, G.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85163390704&partnerID=MN8TOARS.
  2. The pro-k-solvable topology on a free group. 2023. Marion, C.; Silva, P.V.; Tracey, G.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85163302001&partnerID=MN8TOARS.
  3. Topics in Boolean Representable Simplicial Complexes. 2023. Margolis, S.; Rhodes, J.; Silva, P.V.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85172439113&partnerID=MN8TOARS.
    10.48550/arXiv.2309.07676
  4. On the pseudovariety of groups (Equation presented). 2023. Marion, C.; Silva, P.V.; Tracey, G.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85177649135&partnerID=MN8TOARS.
    10.48550/arXiv.2304.10522
  5. The pro-supersolvable topology on a free group: Deciding denseness. 2023. Marion, C.; Silva, P.V.; Tracey, G.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85163088842&partnerID=MN8TOARS.
  6. Holonomy theorem for finite semigroups. 2020. Rhodes, J.; Schilling, A.; Silva, P.V.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85171226614&partnerID=MN8TOARS.
    10.48550/arxiv.2007.15552
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2019/06 Local finiteness for Green's relations in varieties of inverse semigroups and completely regular semigroups Semigroups and Groups, Automata, Logics (SandGAL 2019)
(Cremona, Itália)
2018/06 On the Dowling and Rhodes lattices and wreath products Rhodesfest 81
(Tel Aviv, Israel)
2016/07 "On the topology of a boolean representable simplicial complex" and "On the topology of a boolean representable simplicial complex II" Moutons Matheux Workshop on Algebraic Methods in Matroid Theory
(La Vacquerie-et-Saint-Martin-de-Castries, França)
2015/09 Extending endomorphisms of hyperbolic groups to the boundary Geometric and Asymptotic Group Theory with Applications (GAGTA 9)
(Marseille, França)
2015/06 Virtually free speech Automata, Logic, Formal Languages, Algebra (ALFA’15)
(Bordeaux, França)
2014/08 Takahashi’s theorem and periodic points of group endomorphisms Semigroups, Languages and Algebras
(Akita, Japão)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2020/06 - 2023/04 Structure, algorithmics and dynamics of endomorphisms for certain classes of groups
Orientador
 Ph.D. Program in Mathematics (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2020/09 - 2021/06 Syntax of subgroups of a free group
Orientador
 M.Sc. in Mathematics (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
Distinções

Prémio

2020 Centenary Prize
Universidade do Porto Faculdade de Ciências, Portugal
1992 Robert Schuman Silver Medal
Alfred Toepfer Stiftung F. V. S., Alemanha

Título

1999 Agregação (Habilitation) in Mathematics
Universidade do Porto Faculdade de Ciências, Portugal