Joana Maria da Silva Teles Correia
AuthID: R-000-6NY
1
TITLE: A Rule-based Theorem Prover: an Introduction to Proofs in Secondary Schools Full Text
AUTHORS: Teles, Joana; Santos, Vanda; Quaresma, Pedro;
PUBLISHED: 2023, SOURCE: 11th International Workshop on Theorem Proving Components for Educational Software in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 375, ISSUE: 375
AUTHORS: Teles, Joana; Santos, Vanda; Quaresma, Pedro;
PUBLISHED: 2023, SOURCE: 11th International Workshop on Theorem Proving Components for Educational Software in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 375, ISSUE: 375
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Architecture and Sustainability—Recovering Green Areas in the Construction Process
AUTHORS: Joana Teles; Paulo Mendonça; Ricardo Mateus;
PUBLISHED: 2023, SOURCE: International Conference on Green Building, ICoGB 2023 in Environmental Science and Engineering
AUTHORS: Joana Teles; Paulo Mendonça; Ricardo Mateus;
PUBLISHED: 2023, SOURCE: International Conference on Green Building, ICoGB 2023 in Environmental Science and Engineering
INDEXED IN: Scopus
Scopus3
TITLE: Poor intensive stroke care is associated with short-term death after spontaneous intracerebral hemorrhage Full Text
AUTHORS: Joana Martinez; Maria Mouzinho; Joana Teles; Patricia Guilherme; Jerina Nogueira; Catarina Felix; Fatima Ferreira; Ana Marreiros; Hipolito Nzwalo;
PUBLISHED: 2020, SOURCE: CLINICAL NEUROLOGY AND NEUROSURGERY, VOLUME: 191
AUTHORS: Joana Martinez; Maria Mouzinho; Joana Teles; Patricia Guilherme; Jerina Nogueira; Catarina Felix; Fatima Ferreira; Ana Marreiros; Hipolito Nzwalo;
PUBLISHED: 2020, SOURCE: CLINICAL NEUROLOGY AND NEUROSURGERY, VOLUME: 191
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: Isolation, Identification and Biotechnological Applications of a Novel, Robust, Free-living Chlorococcum (Oophila) amblystomatis Strain Isolated from a Local Pond
AUTHORS: Nadia Correia; Hugo Pereira; Joana T Silva; Tamara Santos; Maria Soares; Carolina B Sousa; Lisa M Schuler; Margarida Costa; Joao Varela; Leonel Pereira; Joana Silva;
PUBLISHED: 2020, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 10, ISSUE: 9
AUTHORS: Nadia Correia; Hugo Pereira; Joana T Silva; Tamara Santos; Maria Soares; Carolina B Sousa; Lisa M Schuler; Margarida Costa; Joao Varela; Leonel Pereira; Joana Silva;
PUBLISHED: 2020, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 10, ISSUE: 9
INDEXED IN: Scopus WOS
Scopus WOS5
TITLE: Fine particulate air pollution and occurrence of spontaneous intracerebral hemorrhage in an area of low air pollution Full Text
AUTHORS: Hipolito Nzwalo; Patricia Guilherme; Jerina Nogueira; Catarina Felix; Ana Andre; Joana Teles; Maria Mouzinho; Fatima Ferreira; Ana Marreiros; Nicola Logallo; Carla Bentes;
PUBLISHED: 2019, SOURCE: CLINICAL NEUROLOGY AND NEUROSURGERY, VOLUME: 176
AUTHORS: Hipolito Nzwalo; Patricia Guilherme; Jerina Nogueira; Catarina Felix; Ana Andre; Joana Teles; Maria Mouzinho; Fatima Ferreira; Ana Marreiros; Nicola Logallo; Carla Bentes;
PUBLISHED: 2019, SOURCE: CLINICAL NEUROLOGY AND NEUROSURGERY, VOLUME: 176
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: Universal algebra of a Horn-Lie algebra and group-like elements
AUTHORS: Camille Laurent Gengoux; Abdenacer Makhlouf; Joana Teles;
PUBLISHED: 2018, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 222, ISSUE: 5
AUTHORS: Camille Laurent Gengoux; Abdenacer Makhlouf; Joana Teles;
PUBLISHED: 2018, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 222, ISSUE: 5
INDEXED IN: WOS
WOS7
TITLE: Hom-Lie algebroids Full Text
AUTHORS: Camille Laurent-Gengoux; Joana Teles;
PUBLISHED: 2013, SOURCE: Journal of Geometry and Physics, VOLUME: 68
AUTHORS: Camille Laurent-Gengoux; Joana Teles;
PUBLISHED: 2013, SOURCE: Journal of Geometry and Physics, VOLUME: 68
8
TITLE: Invariant star products on nondegenerate triangular Lie bialgebras over formal power series rings Full Text
AUTHORS: Carlos Moreno; Joana Teles;
PUBLISHED: 2008, SOURCE: Workshop on Infinite Dimensional Algebras and Quantum Integrable Systems II in JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, VOLUME: 41, ISSUE: 19
AUTHORS: Carlos Moreno; Joana Teles;
PUBLISHED: 2008, SOURCE: Workshop on Infinite Dimensional Algebras and Quantum Integrable Systems II in JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, VOLUME: 41, ISSUE: 19
