Joana Maria da Silva Teles Correia
AuthID: R-000-6NY
1
TÃTULO: A Rule-based Theorem Prover: an Introduction to Proofs in Secondary Schools Full Text
AUTORES: Teles, Joana; Santos, Vanda; Quaresma, Pedro;
PUBLICAÇÃO: 2023, FONTE: 11th International Workshop on Theorem Proving Components for Educational Software in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 375, NÚMERO: 375
AUTORES: Teles, Joana; Santos, Vanda; Quaresma, Pedro;
PUBLICAÇÃO: 2023, FONTE: 11th International Workshop on Theorem Proving Components for Educational Software in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 375, NÚMERO: 375
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Poor intensive stroke care is associated with short-term death after spontaneous intracerebral hemorrhage Full Text
AUTORES: Joana Martinez; Maria Mouzinho; Joana Teles; Patricia Guilherme; Jerina Nogueira; Catarina Felix; Fatima Ferreira; Ana Marreiros; Hipolito Nzwalo;
PUBLICAÇÃO: 2020, FONTE: CLINICAL NEUROLOGY AND NEUROSURGERY, VOLUME: 191
AUTORES: Joana Martinez; Maria Mouzinho; Joana Teles; Patricia Guilherme; Jerina Nogueira; Catarina Felix; Fatima Ferreira; Ana Marreiros; Hipolito Nzwalo;
PUBLICAÇÃO: 2020, FONTE: CLINICAL NEUROLOGY AND NEUROSURGERY, VOLUME: 191
INDEXADO EM: Scopus WOS
Scopus WOS3
TÃTULO: Fine particulate air pollution and occurrence of spontaneous intracerebral hemorrhage in an area of low air pollution Full Text
AUTORES: Hipolito Nzwalo; Patricia Guilherme; Jerina Nogueira; Catarina Felix; Ana Andre; Joana Teles; Maria Mouzinho; Fatima Ferreira; Ana Marreiros; Nicola Logallo; Carla Bentes;
PUBLICAÇÃO: 2019, FONTE: CLINICAL NEUROLOGY AND NEUROSURGERY, VOLUME: 176
AUTORES: Hipolito Nzwalo; Patricia Guilherme; Jerina Nogueira; Catarina Felix; Ana Andre; Joana Teles; Maria Mouzinho; Fatima Ferreira; Ana Marreiros; Nicola Logallo; Carla Bentes;
PUBLICAÇÃO: 2019, FONTE: CLINICAL NEUROLOGY AND NEUROSURGERY, VOLUME: 176
INDEXADO EM: Scopus WOS
Scopus WOS4
TÃTULO: Universal algebra of a Horn-Lie algebra and group-like elements
AUTORES: Camille Laurent Gengoux; Abdenacer Makhlouf; Joana Teles;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 222, NÚMERO: 5
AUTORES: Camille Laurent Gengoux; Abdenacer Makhlouf; Joana Teles;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 222, NÚMERO: 5
INDEXADO EM: WOS
WOS5
TÃTULO: Hom-Lie algebroids Full Text
AUTORES: Camille Laurent-Gengoux; Joana Teles;
PUBLICAÇÃO: 2013, FONTE: Journal of Geometry and Physics, VOLUME: 68
AUTORES: Camille Laurent-Gengoux; Joana Teles;
PUBLICAÇÃO: 2013, FONTE: Journal of Geometry and Physics, VOLUME: 68
6
TÃTULO: Invariant star products on nondegenerate triangular Lie bialgebras over formal power series rings Full Text
AUTORES: Carlos Moreno; Joana Teles;
PUBLICAÇÃO: 2008, FONTE: Workshop on Infinite Dimensional Algebras and Quantum Integrable Systems II in JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, VOLUME: 41, NÚMERO: 19
AUTORES: Carlos Moreno; Joana Teles;
PUBLICAÇÃO: 2008, FONTE: Workshop on Infinite Dimensional Algebras and Quantum Integrable Systems II in JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, VOLUME: 41, NÚMERO: 19
