|
|
|
Research Papers
|
-
Entourages, covers and localic groups
(with Aleš Pultr)
Applied Categorical Structures, to appear (doi: 10.1007/s10485-011-9254-3).
-
On strong inclusions and asymmetric proximities in frames
(with Aleš Pultr)
Order, to appear (doi: 10.1007/s11083-011-9218-0).
-
Extended real functions in pointfree topology
(with B. Banaschewski and J. Gutiérrez García)
Journal of Pure and Applied Algebra 216 (2012) 905-922.
-
Rings of real functions in pointfree topology
(with J. Gutiérrez García)
Topology and its Applications 158 (2011) 2264-2278.
-
The semicontinuous quasi-uniformity of a frame, revisited (with M. J. Ferreira)
Quaestiones Mathematicae 34 (2011) 175-186.
-
On the uniformization of lattice-valued frames (with J. Gutiérrez García, I. Mardones-Pérez and M.A. de Prada Vicente)
Fuzzy Sets and Systems 166 (2011) 90-100.
-
Cover quasi-uniformities in frames
(with Aleš Pultr)
Topology and its Applications 158 (2011) 869–881.
Review (Zblatt)
-
Insertion of continuous real functions on spaces, bispaces, ordered spaces and point-free spaces - a common root
(with M. J. Ferreira and J. Gutiérrez García)
Applied Categorical Structures 19 (2011) 469-487.
-
How to deal with the ring of (continuous) real-valued
functions in terms of scales (with Javier Gutiérrez García)
Applied Topology: Recent progress for Computer Science, Fuzzy Mathematics and Economics
(Proceedings of WiAT'10, Gandia, 2010),
Editorial Universitat Politècnica de València, ISBN 978-84-8363-565-0, 2010, pgs. 19-30.
Pdf file
-
An invitation to localic real functions (with Javier Gutiérrez García and Tomasz Kubiak)
Applied Topology: Recent progress for Computer Science, Fuzzy Mathematics and Economics
(Proceedings of WiAT'10, Gandia, 2010),
Editorial Universitat Politècnica de València, ISBN 978-84-8363-565-0, 2010, pgs. 119-129.
Pdf file
-
Localic real functions: a general setting (with Javier Gutiérrez García and Tomasz Kubiak)
Journal of
Pure and Applied Algebra 213 (2009) 1064-1074 (doi: 10.1016/j.jpaa.2008.11.004).
Review (MR)
-
Completely normal frames and real-valued functions (with M. J. Ferreira and J. Gutiérrez García)
Topology and its Applications 156 (2009) 2932–2941.
Review (Zblatt)
-
Lower and upper regularizations of frame semicontinuous real functions (with J. Gutiérrez García and T. Kubiak)
Algebra Universalis 60 (2009) 169-184.
Review (Zblatt)
-
Pointfree forms of Dowker's and Michael's insertion theorems (with J. Gutiérrez García and T. Kubiak)
Journal of Pure and Applied Algebra 213 (2009) 98-108.
Review (Zblatt)
-
Uniform-type structures on lattice-valued spaces and frames (with J. Gutiérrez García, I. Mardones-Pérez and M.A. de Prada Vicente)
Fuzzy Sets and Systems 159 (2008) 2469– 2487.
-
Monotone insertion and monotone extension of frame homomorphisms (with J. Gutiérrez García and T. Kubiak)
Journal of Pure and Applied Algebra 212 (2008) 955-968.
-
Ideals in Heyting semilattices and open homomorphisms (with Aleš Pultr and Anna Tozzi)
Quaestiones Mathematicae 30 (2007) 391–405.
Review (Zblatt)
-
Point-finiteness in pointfree topology (with Maria João Ferreira)
Applied Categorical Stuctures 15 (2007) 185–198.
Review (MR)
-
On the algebraic representation of semicontinuity (with J. Gutiérrez García)
Journal of Pure and Applied Algebra 210 (2007) 299-306.
-
Sublocale sets and sublocale lattices (with Aleš Pultr)
Arch. Math. (Brno) 42 (2006) 409-418.
Review (Zblatt)
-
A new look at localic interpolation theorems
Topology and its Applications 153 (2006) 3203-3218.
Review (MR)
-
The semicontinuous quasi-uniformity of a frame (with Maria João Ferreira)
Kyungpook Mathematical Journal 46 (2006) 189-200.
Review (Zblatt)
-
Functorial quasi-uniformities on frames (with Maria João Ferreira)
Applied Categorical Structures 13 (2005) 281-303.
Review (MR)
-
The Galois approach to uniform structures (with
Maria João Ferreira)
Quaestiones Mathematicae 28 (2005) 355-373.
Review (MR)
-
The quantale of Galois connections
Algebra Universalis 52 (2004) 527 - 540.
Review (MR)
-
A method of constructing compatible quasi-uniformities for an arbitrary frame (with
Maria João Ferreira)
Kyungpook Mathematical Journal 44 (2004) No. 3, 415-442.
Review (MR)
-
The gauge of a uniform frame
Applied Categorical Structures 10 (2002) 593-602.
Review (Zblatt)
-
Frames with transitive structures (with W. Hunsaker),
Applied Categorical Structures 10 (2002) 63-79.
Review (MR),
Review (Zblatt)
-
On complete congruence lattices of join-infinite distributive lattices
Algebra Universalis 44 (2000) 325-332.
Review (Zblatt)
-
A note on total boundedness (with W. Hunsaker),
Acta Mathematica Hungarica 88 (2000) 25-34.
-
Structured frames by Weil entourages,
Applied
Categorical Structures 8 (2000) 351-366.
Review (Zblatt)
-
Two theorems of Efremovic in pointfree context,
Journal of Pure and Applied Algebra 141 (1999) 289-298.
-
Priestley duality within frames,
Proceedings of the Workshop on Dualities, Interpretability and Ordered Structures
(CAUL, September 1997), University of Lisbon, 1999, pp. 21-33.
Abstract,
Postscript file
-
Frame quasi-uniformities by entourages,
Festschrift (on the occasion of the 60th birthday of Guillaume Brümmer)
incorporating Proceedings Symposium on Categorical Topology (University of Cape Town 1994),
Department of Mathematics, University of Cape Town, 1999, pp. 161-175.
Abstract
-
Weil nearness spaces,
Portugaliae Mathematica 55 (1998) 233-254.
Review (Zblatt)
-
On extended frames,
Comment. Math. Univ. Carolinae 36 (1995) 537-549.
Abstract
-
Weil uniformities for frames,
Comment. Math. Univ. Carolinae 36 (1995) 357-370.
Review (MR),
Review (Zblatt)
-
Join-continuous frames, Priestley's duality and biframes,
Applied Categorical Structures 2 (1994) 297-313.
Review (MR)
-
On two extensions of Dickson's torsion theory,
Communications in Algebra 21 (1993) 2749-2769.
|
|
Dissertations
|
-
Vizinhanças da Diagonal no Sentido de Weil em Reticulados Locais
Dissertação de Doutoramento, Universidade de Coimbra, 1995 (166 pgs).
Resumo
English version: Weil Entourages in Pointfree Topology
Ph. D. Thesis, University of Coimbra, 1995 (161 pgs).
Abstract
-
Teorias de Torsão,
Dissertação de Mestrado, Universidade de Coimbra, 1990 (100 pgs).
Resumo
English version: Torsion Theories
M. Sc. Thesis, University of Coimbra, 1990 (99 pgs).
Abstract
|
|
Books (authored)
|
-
Frames and locales: topology without points (with Aleš Pultr)
Springer Basel, Series Frontiers in Mathematics, Vol. 28, xx + 400 pp., 2012 (ISBN: 978-3-0348-0153-9).
Contents, Preface, ERRATA.
-
Locales treated mostly in a covariant way (with Aleš Pultr)
Textos de Matemática, DMUC, Vol. 41, xi + 104 pp., 2008 (ISBN 978-972-8564-45-2).
Contents,
Preface, ERRATA.
Review (Zentralblatt), Review (MR).
-
Olimpíadas de Matemática - Cat. B (with Paulo Oliveira)
Volume 2, Texto Editores, Setembro de 2007, ISBN 978-972-47-3582-5.
-
Olimpíadas de Matemática - Cat. A (with Paulo Oliveira)
Volume 2, Texto Editores, Setembro de 2007, ISBN 978-972-47-3581-8.
-
Olimpíadas de Matemática - Cat. B (with Paulo Oliveira)
Volume 1, Texto Editores, Novembro de 2006, ISBN 978-972-47-3255-8.
-
Olimpíadas de Matemática - Cat. A (with Paulo Oliveira)
Volume 1, Texto Editores, Novembro de 2006, ISBN 978-972-47-3254-1.
|
|
Books (chapters)
|
-
Locales (with Aleš Pultr and Anna Tozzi)
in: Categorical
Foundations - Special Topics in Order, Topology, Algebra and Sheaf Theory
Encyclopedia
of Mathematics and its Applications, Vol. 97, Cambridge
University Press, 2004, pp. 49-101.
ERRATA,
Review (Zblatt),
Review (MR),
Review (EMS).
|
|
Books (edited)
|
-
School on Category Theory and Applications
(M. M. Clementino, J. Picado, M. Sobral, L.
Sousa, editors)
Textos de Matemática, DMUC, Vol. 21, iii + 159 pp., 1999.
Contents, Review (MR).
|
|
Journals
|
-
Topology and its Applications 158(17), 2011 - Special volume dedicated to Eraldo Giuli
(Maria Manuel Clementino, J. Picado, Walter Tholen, editors)
Foreword.
-
CIM Bulletin
(António Cateano, J. Picado, editors, 2004-2008).
|
|
Course Notes
|
-
Sobre semicontinuidade de funções reais: uma descrição algébrica,
Lição Síntese, Universidade de Coimbra, 2008.
(versão em língua inglesa: On semicontinuity of real functions --- an algebraic description, 2008)
-
Corpos e Equações Algébricas,
Relatório de unidade curricular, Universidade de Coimbra, 2008.
-
Corpos e Equações Algébricas
Notas de curso, Universidade de Coimbra, 2008
(Primeira versão: Aulas de Álgebra II, 2005).
-
Estruturas Discretas para a Engenharia Informática
Notas de curso, Universidade de Coimbra, 2007.
-
Apontamentos de Geometria Diferencial
Notas de curso, Universidade de Coimbra (última versão: 2006).
-
Matemática Discreta,
Relatório de disciplina, Universidade de Coimbra, 2003.
-
Tópicos de Teoria Combinatória
Notas de curso, Universidade de Coimbra, 2002.
-
Matemática Finita
Relatório de disciplina, Universidade de Coimbra, 2000.
-
Textos de apoio de Álgebra (com Manuela Sobral)
Notas de curso, Universidade de Coimbra, 2000.
-
Topologia sem pontos
Curso intensivo, Escola de Outono do CAUL, Lisboa, 1998.
-
Apontamentos de Álgebra
Notas de curso, Universidade de Coimbra, 1998.
-
Tópicos de Matemática Finita
Notas de curso, Universidade de Coimbra, 1997.
-
Matemática Discreta
Minicurso, Actas do IX Encontro Regional da Sociedade Portuguesa de
Matemática (Tomar, 1986) 153-194.
Resumo
|
|
Other
|
-
Prefácio a "Matemática & Comboios" de Helder Pinto,
Sociedade Portuguesa de Matemática, Leituras em Matemática, vol. 7, 2010.
-
Seashells:
the plainness and beauty of their mathematical description,
Loci (Vol. 1, March 2009),
DOI: 10.4169/loci003294,
Journal of the MAA Mathematical Sciences Digital Library.
-
An interview
with F. William Lawvere - Part Two (with Maria Manuel Clementino),
CIM Bulletin 24 (2008) 21-28.
-
An interview
with F. William Lawvere - Part One (with Maria Manuel Clementino),
CIM Bulletin 23 (2007) 23-27.
-
An interview
with Eduardo L. Ortiz,
CIM Bulletin 22
(2007) 20-23.
-
A descrição matemática das conchas e do seu crescimento (com Helder Pinto),
Página do Atractor - Matemática Interactiva, www.atractor.pt/mat/conchas, 2007.
-
A beleza matemática das conchas marinhas,
Gazeta de Matemática 152 (2007) 10-15.
PDF file
-
Matemática sem palavras (com Helder Pinto),
Página do Atractor - Matemática Interactiva, www.atractor.pt/mat/sem_palavras, 2006.
-
An interview
with Marcelo Viana (with Maria Manuel Clementino),
CIM Bulletin 20
(2006) 25-30.
-
A curvatura e a torção: como distinguir a forma de uma curva (com Helder Pinto),
Página do Atractor - Matemática Interactiva, www.atractor.pt/mat/curvtor, 2006.
-
A álgebra das tranças (com Domingos Lopes),
Boletim da Sociedade Portuguesa de Matemática 54 (2006) 29-69.
PDF file
-
Conchas marinhas: a simplicidade e beleza da sua descrição matemática,
www.mat.uc.pt/~picado/conchas (Abril 2006)
-
Sistemas de Identificação com Algarismos de Controlo (com Helder Pinto),
Página do Atractor - Matemática Interactiva, www.atractor.pt/mat/alg_controlo, 2006.
-
An interview
with Alexei Sossinsky,
CIM Bulletin 19
(2005) 24-29.
-
Interview
with Jean Pierre Bourguignon (with F. J. Craveiro de Carvalho),
Intern. Math. Nachrichten 186
(2001) 25-34.
-
A álgebra dos sistemas de identificação: da aritmética modular aos grupos diedrais,
Boletim da Sociedade Portuguesa de Matemática 44 (2001) 39-73.
Resumo
PDF file
-
A matemática dos Bilhetes de Identidade,
Millenium 19 (2000) 279-299.
-
Vizinhanças da Diagonal no Sentido
de Weil em Reticulados Locais: principais resultados, consequências e aplicações,
Relatório, Universidade de Coimbra, 1997.
-
Mathematical competitions in Portugal,
Mathematics Competitions 5 (1992) 86-91.
Abstract
-
Olhar retrospectivo sobre as Olimpíadas Nacionais de Matemática 1991,
Boletim da Sociedade Portuguesa de Matemática 21 (1991) 45-67.
-
Olimpíadas Internacionais de Matemática,
Jornal de Mathematica Elementar 109 (1991) 8-12.
-
A Matemática e o real: um exemplo (a propósito de um problema olímpico),
Jornal de Mathematica Elementar 108 (1991) 8-10.
-
XXX Olimpíadas Internacionais de Matemática, Relato da primeira participação portuguesa,
Boletim da Sociedade Portuguesa de Matemática 14 (1989) 38-45.
|