Ana Gualdina Almeida Matos
AuthID: R-000-HT3
1
TÃTULO: Sound Atomicity Inference for Data-Centric Synchronization
AUTORES: Hervé Paulino ; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2309.05483
AUTORES: Hervé Paulino ; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2309.05483
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP2
TÃTULO: AtomiS: Data-Centric Synchronization Made Practical
AUTORES: Paulino, Herve ; Matos, Ana Almeida; Cederquist, Jan; Giunti, Marco; Matos, Joao; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: OOPSLA
AUTORES: Paulino, Herve ; Matos, Ana Almeida; Cederquist, Jan; Giunti, Marco; Matos, Joao; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: OOPSLA
3
TÃTULO: Trauma Prehospital Hypothermia Prevention and Treatment: An Observational Study
AUTORES: Mota, MAL; Santos, MR ; Santos, EJF; Henriques, C; Matos, A; Cunha, M ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF TRAUMA NURSING, VOLUME: 28, NÚMERO: 3
AUTORES: Mota, MAL; Santos, MR ; Santos, EJF; Henriques, C; Matos, A; Cunha, M ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF TRAUMA NURSING, VOLUME: 28, NÚMERO: 3
4
TÃTULO: An Information Flow Monitor for a Core of DOM
AUTORES: Ana Almeida-Matos; José Fragoso Santos; Tamara Rezk;
PUBLICAÇÃO: 2014, FONTE: Trustworthy Global Computing - Lecture Notes in Computer Science
AUTORES: Ana Almeida-Matos; José Fragoso Santos; Tamara Rezk;
PUBLICAÇÃO: 2014, FONTE: Trustworthy Global Computing - Lecture Notes in Computer Science
