|
|
Scientific Publications in Journals 1. Craig,
A., Gouveia, M.; Haviar. Canonical extensions of lattices are more than
perfect. Algebra Universalis (to appear). 2. M. J.
Gouveia and Erkko Lehtonen. Permutation reconstruction from a few large
patterns. The Electronic Journal of Combinatorics, Volume 28, Issue 3 (2021),
https://doi.org/10.37236/10403. 3. L.
Santocanale and M. J. Gouveia. The continuous weak order. Journal of Pure and
Applied Algebra, Volume 225, Issue 2, February 2021, 106472 4. M. J.
Gouveia and L. Santocanale. א1 and the Modal μ-Calculus. Logical Methods
in Computer Science, 15(4):1–34, Oct. 2019 5. S.
Ghilardi, M. J. Gouveia, and L. Santocanale. Fixed-point elimination in the
Intuitionistic Propositional Calculus. ACM Transactions on Computational
Logic, 21(1):1–37, Sept. 2019. [ EE | Hal ] 6. Craig, A., Gouveia, M., Haviar, M.: TiRS graphs and TiRS frames: a new
setting for duals of canonical extensions. Algebra Universalis,
74 (2015), 123-138, (DOI 10.1007/s00012-015-0335-2) 7.
Gouveia, M.; Priestley,
H.A Canonical extensions and profinite completions of semilattices and
lattices. Order, July 2014, Volume 31, Issue 2, pp 189-216, (DOI
10.1007/s11083-013-9296-2) 8. Gouveia, M.; Priestley, H.A.: Profinite
completions and canonical extensions of semilattice reducts of distributive
lattices. Houston J. Math., Electronic
Edition Vol. 39, No. 4 , 2013, 1117-1136 9.
Davey, B.; Gouveia, M. J.; Haviar, M.; Priestley, H. A., Multisorted dualisability: change of base, Algebra Universalis, 66 (2011), 331-336 10. Davey, B.; Gouveia,
M. J.; Haviar, M.; Priestley, H. A., Natural extensions and profinite completions of
algebras, Algebra Universalis, 66 (2011), 205-241 11. Gouveia, M.J.; Haviar, M., Transferral
of entailment in duality theory II: strong dualisability, Czechoslovak
Mathematical Journal, 61 (136) (2011), 401-417 12. Gouveia, M.J.; Haviar, M., Transferral
of entailment in duality theory: dualisability, Czechoslovak
Mathematical Journal, 61 (136) (2011), 41-63 13. Gouveia, M.J., A note on profinite completions and
canonical extensions, Algebra Universalis, 64 (2010), 21-23 14. Saramago, M.J.,
Optimal natural dualities: the role of endomorphisms, Journal of the Australian Mathematical Society, 77 (2004), 269-296 15. Saramago, M.J.;
Priestley, H.A., Optimal natural dualities: the structure of failsets,
International Journal of Algebra and Computation, Vol.12, 3 (June 2002),
407-436 16. Saramago, M.J., Some remarks on dualisability and endodualisability, Algebra Universalis,
43 (2000), 197-212 17. Saramago, M.J., Optimal natural dualities for some
quasivarieties of distributive double p-algebras, Acta Math. Univ.
Comenianae, Vol. LXVII, 2(1998), 249-271 Scientific Publications in Conference Proceedings 1.
M. J. Gouveia and L. Santocanale. Mix *-autonomous quantales and the
continuous weak order. In J. Desharnais, W. Guttmann, and S. Joosten,
editors, Relational and Algebraic Methods in Computer Science. 17th
International Conference, RAMiCS 2018 Groningen, The Netherlands, October 29
– November 1, 2018 Proceedings, volume 11194 of Lecture Notes in Computer
Science, pages 184–201, 2018. 2.
M. J. Gouveia and L. Santocanale. Aleph1 and the Modal mu-Calculus. In
V. Goranko and M. Dam, editors, 26th EACSL Annual Conference on Computer
Science Logic (CSL 2017), volume 82 of Leibniz International Proceedings in
Informatics (LIPIcs), pages 38:1–38:16, Dagstuhl, Germany, 2017. Schloss
Dagstuhl–Leibniz-Zentrum fuer Informatik. 3.
S. Ghilardi, M. J. Gouveia, L. Santocanale, Fixed-point elimination in
the Intuitionistic Propositi- onal Calculus. In: Jacobs B., Löding C. (eds)
Foundations of Software Science and Computation Structures. FoSSaCS 2016,
Held as Part of the European Joint Conferences on Theory and Practice of
Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016,
Proceedings, volume 9634 of Lecture Notes in Computer Science, pages 126–141, Springer. Monographs 1. A study of natural
dualities, including an analysis of the structure of failsets, Tese de Doutoramento, Universidade de Lisboa,
Portugal, 1999 2.
Teorias de
Dualidade, Tese de Mestrado, Universidade de Lisboa,
Portugal, 1993 Others 1.
Ferreirim, I., Gouveia, M.J., Nápoles, S., “Como intervir na
formação do professor de matemática?”, resumo alargado, CIEMeLP 2015:
Conferência Internacional do Espaço Matemático em Língua Portuguesa,
Universidade de Coimbra, Outubro 2015 (http://webpages.fc.ul.pt/
mjgouveia/texto- CiEMeLP2015.pdf) 2.
C. Albuquerque,
A. C. Barroso, M. J. Gouveia, S. Nápoles, L. Sequeira, M.M. Torres, “Sobre o
novo Programa de Matemática do Ensino Básico”, artigo de opinião publicado na
Newsletter da FCUL a 30 de Setembro de 2013 http://www.fc.ul.pt/pt/noticia/30-09-2013/sobre-o-novo-programa-de-matemática-do-ensino-básico 3.
C. Albuquerque, A.
C. Barroso, M. J. Gouveia, S. Nápoles, L. Sequeira, M.M. Torres, “Um
contributo para a discussão pública da proposta do programa de Matemática
para o Ensino Básico”, Maio 2013 (não publicado) [pdf] 4.
C. Albuquerque,
A. C. Barroso, Pedro Freitas, M. J. Gouveia, S. Nápoles, L. Sequeira, M.M.
Torres, “Análise do documento Metas
Curriculares do Ensino Básico – Matemática para os temas Números e Operações e Geometria e Medida do 1º ciclo”,
publicado no site da Associação de Professores de Matemática, Abril de 2013 http://www.apm.pt/files/205600_parecermetas_1cicloFinal_matematicos_%281%29_518fd2709bc57.pdf 5.
Maria João
Gouveia, “Sobre a formação contínua em Matemática para professores do 1º
ciclo do Ensino Básico”, Boletim da SPM nº 57, Outubro 2007, 57-59 (nome da
autora corrigido no Boletim nº 58, página 59) 6.
Maria João
Gouveia, Suzana Nápoles, “Sobre as provas nacionais de Matemática para o
Ensino Básico”, Educação e Matemática, Educação e Matemática, APM, 93, 2007 7.
P. Canavarro, M.
J. Gouveia, A. Guerreiro, J. Portela, I. Rocha, L. Serrazina, “Programa de
Formação Contínua em Matemática para Professores do 1º ciclo do Ensino
Básico”, Ministério da Educação, versão 2005/2006 8.
P. Canavarro, M.
J. Gouveia, A. Guerreiro, J. Portela, I. Rocha, L. Serrazina, “Programa de
Formação Contínua em Matemática para Professores do 1º ciclo do Ensino
Básico”, Ministério da Educação, versão 2006/2007 9. A. P. Canavarro, M. J. Gouveia, A. Guerreiro,
J. Portela, I. Rocha, L. Serrazina, “Programa de Formação Contínua em
Matemática para Professores do 2º ciclo do Ensino Básico”, Ministério da
Educação, 2006 |