Hervé Miguel Cordeiro Paulino


AuthID: R-000-5ZF

Confirmed Publications: 65



1
TITLE: Anticipation of Method Execution in Mixed Consistency Systems
AUTHORS: Giunti, Marco; Paulino, Herve ; Ravara, Antonio;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
2
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
INDEXED IN: Scopus WOS DBLP CrossRef
3
TITLE: Efficient Synchronization-Light Work Stealing
AUTHORS: Custodio, Rafael; Paulino, Herve ; Rito, Guilherme;
PUBLISHED: 2023, SOURCE: 35th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) in PROCEEDINGS OF THE 35TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, SPAA 2023
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4
TITLE: PS-CRDTs: CRDTs in highly volatile environments
AUTHORS: Barreto, Antonio; Paulino, Herve ; Silva, Joao A.; Preguica, Nuno ;
PUBLISHED: 2023, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 141
INDEXED IN: Scopus WOS DBLP CrossRef: 2
5
TITLE: Sage: A Multiuser Cooperative Controller for Mobile Edge Systems
AUTHORS: Coelho, Nuno; Ribeiro, Diogo; Paulino, Herve ;
PUBLISHED: 2023, SOURCE: 19th European-Alliance-for-Innovation (EAI) International Conference on Mobile and Ubiquitous Systems - Computing, Networking and Services (MobiQuitous) in MOBILE AND UBIQUITOUS SYSTEMS: COMPUTING, NETWORKING AND SERVICES, MOBIQUITOUS 2022, VOLUME: 492
INDEXED IN: Scopus WOS DBLP CrossRef
6
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
INDEXED IN: DBLP
7
TITLE: Adaptive Replica Selection in Mobile Edge Environments
AUTHORS: Dias, Joao; Silva, Joao A.; Paulino, Herve ;
PUBLISHED: 2022, SOURCE: 18th European-Alliance-for-Innovation (EAI) International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous) in MOBILE AND UBIQUITOUS SYSTEMS: COMPUTING, NETWORKING AND SERVICES, VOLUME: 419
INDEXED IN: Scopus WOS DBLP CrossRef: 1
8
TITLE: Condition-Based Synchronization in Data-Centric Concurrency Control
AUTHORS: Neves, David; Paulino, Herve ;
PUBLISHED: 2022, SOURCE: 37th Annual ACM Symposium on Applied Computing in 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING
INDEXED IN: Scopus WOS DBLP CrossRef: 1
9
TITLE: Scheduling computations with provably low synchronization overheads PDF
AUTHORS: Guilherme Rito; Hervé Paulino ;
PUBLISHED: 2022, SOURCE: J. Sched., VOLUME: 25, ISSUE: 1
INDEXED IN: DBLP arXiv CrossRef: 2
10
TITLE: It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments
AUTHORS: Silva, JA; Cerqueira, F; Paulino, H ; Lourenço, JM ; Leitao, J; Preguiça, N ;
PUBLISHED: 2021, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 118
INDEXED IN: Scopus WOS DBLP CrossRef: 10
Page 1 of 7. Total results: 65.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service