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: 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 WOS3
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 WOS4
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
WOS5
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
6
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
