???global.info.a_carregar???
Identification

Personal identification

Full name
José Carlos Cruz Costa

Author identifiers

Ciência ID
8718-DFB8-2CE0
ORCID iD
0000-0002-8733-9474
Education
Degree Classification
1999/05/31
Concluded
 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
Concluded
 Ensino de Matemática (Licenciatura)
Universidade do Minho Escola de Ciências, Portugal
 16
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2009/02 - Current Associate Professor (University Teacher) Universidade do Minho, Portugal

Positions / Appointments

Category
Host institution 		Employer
2022/09/01 - Current Membro da Comissão de Curso da Licenciatura em Matemática Universidade do Minho, Portugal
2022/09/01 - Current 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
Projects

Grant

Designation Funders
2020/01/01 - 2023/12/31 UIDB/00013/2020
157260UID
Researcher
Universidade do Minho Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2020/01/01 - 2023/12/31 UIDP/00013/2020
157720UID
Researcher
Universidade do Minho Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
Outputs

Publications

Conference paper
  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.
Journal article
  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.
    Open access • Published • 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
Thesis / Dissertation
  1. "Propriedades algorítmicas envolvendo a pseudovariedade LSl". PhD, 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". Master, Universidade do Minho Escola de Ciências, 2009. http://hdl.handle.net/1822/9774.
  3. "Lógica, Autómatos e Semigrupos". Master, Universidade do Minho Escola de Ciências, 2008.
  4. Nogueira, Conceição Veloso. "O problema da omega-palavra para pseudovariedades de semigrupos". Master, 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". Master, 2005. http://hdl.handle.net/1822/3997.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
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, India)
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)

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2022/02 - 2022/12 Co-organiser of the "ALC Meeting 2022" (2022/12/19 - 2022/12/19)
Meeting (Co-organisor)
 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)
Meeting (Co-organisor)
 Universidade do Minho Centro de Matemática, Portugal

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
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
(Thesis) Arguer
 Diana Rafaela Torres de Araújo (Master)
Universidade do Minho Instituto de Educação, Portugal
2019/12/04 Problemas de decisão em teoria de linguagens regulares
(Thesis) Arguer
 Gerson Benjamim Hungulu (Master)
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
(Thesis) Arguer
 Eliana Tiba Gomes Grande (PhD)
Universidade do Minho Escola de Ciências, Portugal

Other jury / evaluation

Activity description Institution / Organization
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