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

Identificação pessoal

Nome completo
José Carlos Cruz Costa

Identificadores de autor

Ciência ID
8718-DFB8-2CE0
ORCID iD
0000-0002-8733-9474
Formação
Grau Classificação
1999/05/31
Concluído
 Ciências, área de conhecimento de Matemática (equivalente ao grau de Docteur, spécialité Informatique, obtido na Universidade de Paris 6, em 30 de novembro de 1998) (Doutoramento)
Universidade do Minho Escola de Ciências, Portugal
1984/10/10 - 1989/06/29
Concluído
 Ensino de Matemática (Licenciatura)
Universidade do Minho Escola de Ciências, Portugal
 16
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2009/02 - Atual Professor Associado (Docente Universitário) Universidade do Minho, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2022/09/01 - Atual Membro da Comissão de Curso da Licenciatura em Matemática Universidade do Minho, Portugal
2022/09/01 - Atual Representante da Escola de Ciências na Comissão de Curso do Curso de Preparação de Maiores de 23 anos para Acesso ao Ensino Superior Universidade do Minho, Portugal
2020/10/15 - 2022/07/21 Membro da Comissão Diretiva do Centro de Matemática Universidade do Minho, Portugal
2018/09/01 - 2020/09/13 Membro da Comissão de Curso da Licenciatura em Ciências da Computação Universidade do Minho, Portugal
2016/01/22 - 2018/01/21 Diretor do Departamento de Matemática Universidade do Minho, Portugal
Projetos

Bolsa

Designação Financiadores
2020/01/01 - 2023/12/31 UIDB/00013/2020
157260UID
Investigador
Universidade do Minho Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2020/01/01 - 2023/12/31 UIDP/00013/2020
157720UID
Investigador
Universidade do Minho Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
Produções

Publicações

Artigo em conferência
  1. Branco, M.J.J.; Costa, J.C.. "On omega-Identities over Finite Aperiodic Semigroups with Commuting Idempotents". 2021.
    10.1007/978-981-33-4842-4_11
  2. Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc. "omega-terms over finite aperiodic semigroups". 2008.
  3. Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc. "Complete reducibility of pseudovarieties". 2007.
    10.1142/9789812708700_0002
  4. Costa, José Carlos. "Some pseudovariety joins involving locally trivial semigroups and groups". 2002.
    10.1142/9789812776884_0013
  5. Costa, José Carlos. "Some variations on the notion of locally testable language". 2000.
Artigo em revista
  1. Costa, J. C.; Nogueira, C.; Teixeira, M. L.. "Asymptotic behavior of the overlap gap between infinite words". Semigroup Forum 109 1 (2024): 76-86. http://dx.doi.org/10.1007/s00233-024-10437-7.
    Acesso aberto • Publicado • 10.1007/s00233-024-10437-7
  2. Jorge Almeida; José Carlos Costa; Marc Zeitoun. "Recognizing pro-R closures of regular languages". Forum Mathematicum (2022): https://doi.org/10.1515/forum-2019-0158.
    10.1515/forum-2019-0158
  3. Costa, José. "The Overlap Gap Between Left-Infinite and Right-Infinite Words". International Journal of Foundations of Computer Science (2021): 1-9. http://dx.doi.org/10.1142/s0129054121500350.
    10.1142/s0129054121500350
  4. Costa, José. "The word problem for k-terms over the pseudovariety of local groups". Semigroup Forum 103 2 (2021): 439-468. http://dx.doi.org/10.1007/s00233-021-10207-9.
    10.1007/s00233-021-10207-9
  5. Jorge Almeida; Alfredo Costa; José Carlos Costa; Marc Zeitoun. "The linear nature of pseudowords". Publicacions Matemàtiques 63 (2019): 361-422. https://doi.org/10.5565/PUBLMAT6321901.
    10.5565/PUBLMAT6321901
  6. Costa, J.C.; Teixeira, M.L.; Nogueira, C.. "On k-reducibility of pseudovarieties of the form v * D". International Journal of Algebra and Computation 27 1 (2017): 23-40. http://www.scopus.com/inward/record.url?eid=2-s2.0-85011599070&partnerID=MN8TOARS.
    10.1142/S0218196717500023
  7. Almeida, J.; Costa, J.C.; Zeitoun, M.. "Reducibility of pointlike problems". Semigroup Forum 94 2 (2017): 325-335. http://www.scopus.com/inward/record.url?eid=2-s2.0-84949796526&partnerID=MN8TOARS.
    10.1007/s00233-015-9769-2
  8. Costa, J.C.; Nogueira, C.; Teixeira, M.L.. "Pointlike reducibility of pseudovarieties of the form v * D". International Journal of Algebra and Computation 26 2 (2016): 203-216. http://www.scopus.com/inward/record.url?eid=2-s2.0-84962305303&partnerID=MN8TOARS.
    10.1142/S0218196716500090
  9. Almeida, J.; Costa, J.C.; Zeitoun, M.; Costa, José. "Factoriality and the Pin-Reutenauer procedure". Discrete Mathematics and Theoretical Computer Science 18 3 (2016): http://www.scopus.com/inward/record.url?eid=2-s2.0-85046234179&partnerID=MN8TOARS.
  10. Costa, J.C.; Nogueira, C.; Teixeira, M.L.. "Semigroup presentations for test local groups". Semigroup Forum 90 3 (2015): 731-752. http://www.scopus.com/inward/record.url?eid=2-s2.0-84939950259&partnerID=MN8TOARS.
    10.1007/s00233-014-9656-2
  11. Almeida, J.; Costa, J.C.; Zeitoun, M.. "McCammond's normal forms for free aperiodic semigroups revisited". LMS Journal of Computation and Mathematics 18 1 (2015): 130-147. http://www.scopus.com/inward/record.url?eid=2-s2.0-84994310816&partnerID=MN8TOARS.
    10.1112/S1461157014000448
  12. Costa, J.C.. "Canonical forms for free k-semigroups". Discrete Mathematics and Theoretical Computer Science 16 1 (2014): 159-178. http://www.scopus.com/inward/record.url?eid=2-s2.0-84897553124&partnerID=MN8TOARS.
    10.46298/dmtcs.1247
  13. Almeida, J.; Costa, J.C.; Zeitoun, M.. "Closures of regular languages for profinite topologies". Semigroup Forum 89 1 (2014): 20-40. http://www.scopus.com/inward/record.url?eid=2-s2.0-84956758957&partnerID=MN8TOARS.
    10.1007/s00233-014-9574-3
  14. Almeida, J.; Costa, J.C.; Zeitoun, M.. "Iterated periodicity over finite aperiodic semigroups". European Journal of Combinatorics (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84881069083&partnerID=MN8TOARS.
    10.1016/j.ejc.2013.07.011
  15. Costa, J.C.; Nogueira, C.. "Tameness of joins involving the pseudovariety of local semilattices". International Journal of Algebra and Computation 22 7 (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84870612280&partnerID=MN8TOARS.
    10.1142/S0218196712500609
  16. Almeida, J.; Costa, J.C.; Teixeira, M.L.. "Semidirect product with an order-computable pseudovariety and tameness". Semigroup Forum 81 1 (2010): 26-50. http://www.scopus.com/inward/record.url?eid=2-s2.0-77954860674&partnerID=MN8TOARS.
    10.1007/s00233-010-9236-z
  17. Costa, J.C.; Nogueira, C.. "Complete reducibility of the pseudovariety LS1". International Journal of Algebra and Computation 19 2 (2009): 247-282. http://www.scopus.com/inward/record.url?eid=2-s2.0-65249141679&partnerID=MN8TOARS.
    10.1142/S021819670900507X
  18. Costa, J.C.; Nogueira, C.. "On bases of identities for the omega-variety generated by locally testable semigroups". Theoretical Computer Science 401 1-3 (2008): 206-216. http://www.scopus.com/inward/record.url?eid=2-s2.0-45049086310&partnerID=MN8TOARS.
    10.1016/j.tcs.2008.04.043
  19. Almeida, J.; Costa, J.C.; Zeitoun, M.. "Pointlike sets with respect to R and J". Journal of Pure and Applied Algebra 212 3 (2008): 486-499. http://www.scopus.com/inward/record.url?eid=2-s2.0-35948980718&partnerID=MN8TOARS.
    10.1016/j.jpaa.2007.06.007
  20. Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc. "Complete reducibility of systems of equations with respect to R". (2007): http://hdl.handle.net/1822/7669.
  21. Almeida, J.; Costa, J.C.; Zeitoun, M.. "Tameness of pseudovariety joins involving R". Monatshefte fur Mathematik 146 2 (2005): 89-111. http://www.scopus.com/inward/record.url?eid=2-s2.0-26044439483&partnerID=MN8TOARS.
    10.1007/s00605-005-0324-1
  22. Costa, J.C.. "Reducibility of joins involving some locally trivial pseudovarieties". Communications in Algebra 32 9 (2004): 3517-3535. http://www.scopus.com/inward/record.url?eid=2-s2.0-12344276190&partnerID=MN8TOARS.
    10.1081/AGB-120039628
  23. Costa, J.C.; Teixeira, M.L.. "Tameness of the pseudovariety LS1". International Journal of Algebra and Computation 14 5-6 (2004): 627-654. http://www.scopus.com/inward/record.url?eid=2-s2.0-12344257852&partnerID=MN8TOARS.
    10.1142/s0218196704001955
  24. Costa, J.C.. "Biinfinite words with maximal recurrent unbordered factors". Theoretical Computer Science 290 3 (2003): 2053-2061. http://www.scopus.com/inward/record.url?eid=2-s2.0-9144232240&partnerID=MN8TOARS.
    10.1016/S0304-3975(02)00372-9
  25. Costa, J.C.. "Some Pseudovariety Joins Involving Locally Trivial Semigroups". Semigroup Forum 64 1 (2002): 12-28. http://www.scopus.com/inward/record.url?eid=2-s2.0-0042922324&partnerID=MN8TOARS.
  26. Costa, J.C.. "Free profinite locally idempotent and locally commutative semigroups". Journal of Pure and Applied Algebra 163 1 (2001): 19-47. http://www.scopus.com/inward/record.url?eid=2-s2.0-0041903564&partnerID=MN8TOARS.
    10.1016/S0022-4049(00)00176-6
  27. Costa, J.C.. "Free profinite semigroups over some classes of semigroups locally in DG". International Journal of Algebra and Computation 10 4 (2000): 491-537. http://www.scopus.com/inward/record.url?eid=2-s2.0-0034393369&partnerID=MN8TOARS.
  28. Costa, J.C.. "Free Profinite R-trivial, Locally Idempotent and Locally Commutative Semigroups". Semigroup Forum 58 3 (1999): 423-444. http://www.scopus.com/inward/record.url?eid=2-s2.0-0041939492&partnerID=MN8TOARS.
    10.1007/BF03325439
Tese / Dissertação
  1. "Propriedades algorítmicas envolvendo a pseudovariedade LSl". Doutoramento, Universidade do Minho Escola de Ciências, 2010. https://hdl.handle.net/1822/12277.
  2. Bezerra, Rita Maria Araújo. "Problemas de decisão para semigrupos finitos". Mestrado, Universidade do Minho Escola de Ciências, 2009. http://hdl.handle.net/1822/9774.
  3. "Lógica, Autómatos e Semigrupos". Mestrado, Universidade do Minho Escola de Ciências, 2008.
  4. Nogueira, Conceição Veloso. "O problema da omega-palavra para pseudovariedades de semigrupos". Mestrado, Universidade do Minho Escola de Ciências, 2006. http://hdl.handle.net/1822/6398.
  5. Carvalho, Sílvia Filipa Gomes de. "Um estudo do operador supremo sobre pseudovariedades de semigrupos". Mestrado, 2005. http://hdl.handle.net/1822/3997.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2023/07/06 Asymptotic behavior of the overlap gap between left-infinite and right infinite words Conference on Theoretical and Computational Algebra 2023
Universidade Nova de Lisboa (Vila Nova de Foz Côa, Portugal)
2021/10/01 Orders of elements in finite quotients of a free group Open day of CMAT 2021
Universidade do Minho (Vila Real, Portugal)
2019/12/09 Word problem for k-terms over some pseudovarieties of commuting idempotent semigroups International Conference on Semigroups and Applications
Cochin University of Science & Technology (Cochin, Índia)
2019/06/28 The k-word problem over some subpseudovarieties of ECom Portuguese Workshop on Semigroups
Universidade de Coimbra (Coimbra, Portugal)
2018/07/13 Complete reducibility of pseudovarieties of the form V*D ICS 2018 International Conference on Semigroups on the occasion of Mária Szendrei's 65th birthday
Universidade de Lisboa (Lisboa, Portugal)

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2022/02 - 2022/12 Co-organiser of the "ALC Meeting 2022" (2022/12/19 - 2022/12/19)
Encontro (Coorganizador)
 Universidade do Minho Centro de Matemática, Portugal
2021/03 - 2021/12 Co-organiser of the "ALC Meeting 2021" (2021/12/20 - 2021/12/20)
Encontro (Coorganizador)
 Universidade do Minho Centro de Matemática, Portugal

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2021/11/19 O raciocínio na resolução de problemas do dia a dia sobre funções afins: Experiência numa turma de 8.º ano
Arguente
 Diana Rafaela Torres de Araújo (Mestrado)
Universidade do Minho Instituto de Educação, Portugal
2019/12/04 Problemas de decisão em teoria de linguagens regulares
Arguente
 Gerson Benjamim Hungulu (Mestrado)
Universidade do Minho Escola de Ciências, Portugal
2018/05/25 E-learning: Geração automática de exercícios para sistemas de ensino personalizado de Programação
Arguente
 Eliana Tiba Gomes Grande (Doutoramento)
Universidade do Minho Escola de Ciências, Portugal

Outro júri / avaliação

Descrição da atividade Instituição / Organização
2023/06 - 2023/11 Participação no júri do Concurso de Promoção para a categoria de Professor Coordenador na área disciplinar de Álgebra e Combinatória Instituto Politécnico de Lisboa, Portugal