2
TITLE: Safe Session-Based Concurrency with Shared Linear State
AUTHORS: Pedro Rocha; Luís Caires ;
PUBLISHED: 2023, SOURCE: 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 in Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, VOLUME: 13990
INDEXED IN: Scopus DBLP
4
TITLE: Inflammatory biomarkers in staging of chronic kidney disease: elevated TNFR2 levels accompanies renal function decline  Full Text
AUTHORS: Lousa, Irina; Belo, Luis ; Valente, Maria Joao; Rocha, Susana; Preguica, Ines; Rocha Pereira, Petronila; Beirao, Idalina; Mira, Filipe; Alves, Rui; Reis, Flavio; Alice Santos-Silva ;
PUBLISHED: 2022, SOURCE: INFLAMMATION RESEARCH, VOLUME: 71, ISSUE: 5-6
INDEXED IN: Scopus WOS CrossRef
6
TITLE: Activation of adenosine A3 receptors regulates vitamin C transport and redox balance in neurons  Full Text
AUTHORS: Portugal, CC; da Encarnacao, TG; Sagrillo, MA; Pereira, MR; Relvas, JB ; Socodato, R; Paes de Carvalho, R;
PUBLISHED: 2021, SOURCE: FREE RADICAL BIOLOGY AND MEDICINE, VOLUME: 163
INDEXED IN: Scopus WOS
7
TITLE: Opuntia ficus-indica (L.) Mill.: A Multi-Benefit Potential to Be Exploited  Full Text
AUTHORS: Silva, MA; Albuquerque, TG; Pereira, P; Ramalho, R; Vicente, F; Oliveira, MBPP ; Costa, HS;
PUBLISHED: 2021, SOURCE: MOLECULES, VOLUME: 26, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
9
TITLE: Propositions-as-Types and Shared State
AUTHORS: Rocha, P; Caires, L ;
PUBLISHED: 2021, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 5
INDEXED IN: WOS
Página 1 de 13. Total de resultados: 123.