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