???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
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. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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.
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc. "Complete reducibility of systems of equations with respect to R". (2007): http://hdl.handle.net/1822/7669.
  20. 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
  21. 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
  22. 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.
  23. 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
  24. 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.
  25. 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
  26. 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.
  27. 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