Luis Eduardo Teixeira Rodrigues


AuthID: R-000-9DG

Confirmed Publications: 275



1
TITLE: PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems  Full Text
AUTHORS: Claudio Correia; Rita Prates; Miguel Correia ; Luis Rodrigues ;
PUBLISHED: 2024, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023 in Formal Aspects Comput., VOLUME: 36, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
2
TITLE: Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework  Full Text
AUTHORS: Casimiro, Maria; Soares, Diogo; Garlan, David; Rodrigues, Luis ; Romano, Paolo;
PUBLISHED: 2024, SOURCE: ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, VOLUME: 19, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
3
TITLE: Performance Trade-offs in Transactional Systems
AUTHORS: Soares, Rafael; Rodrigues, Luis ;
PUBLISHED: 2023, SOURCE: 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 10TH WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2023
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
4
TITLE: Practical Limitations of Ethereum's Layer-2
AUTHORS: Neiheiser, Ray; Inacio, Gustavo; Rech, Luciana; Montez, Carlos; Matos, Miguel; Rodrigues, Luis ;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
INDEXED IN: WOS CrossRef: 8
IN MY: ORCID | CIÊNCIAVITAE
5
TITLE: Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge
AUTHORS: Correia, Claudio; Correia, Miguel ; Rodrigues, Luis ;
PUBLISHED: 2023, SOURCE: 30th ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023
INDEXED IN: WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
6
TITLE: Omega: A Secure Event Ordering Service for the Edge
AUTHORS: Correia, Claudio; Correia, Miguel ; Rodrigues, Luis ;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, ISSUE: 5
INDEXED IN: WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
7
TITLE: Cathode: A Consistency-Aware Data Placement Algorithm for the Edge
AUTHORS: Epifaneo, Leonardo; Correia, Claudio; Rodrigues, Luis ;
PUBLISHED: 2021, SOURCE: IEEE 20th International Symposium on Network Computing and Applications (NCA) in 2021 IEEE 20TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
INDEXED IN: WOS CrossRef: 3
IN MY: CIÊNCIAVITAE
8
TITLE: FaaSTCC. efficient transactional causal consistency for serverless computing
AUTHORS: Taras Lykhenko; Rafael Soares; Luis Rodrigues ;
PUBLISHED: 2021, SOURCE: Proceedings of the 22nd International Middleware Conference
INDEXED IN: CrossRef: 12
IN MY: CIÊNCIAVITAE
9
TITLE: Kauri. Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation
AUTHORS: Ray Neiheiser; Miguel Matos ; Luís Rodrigues ;
PUBLISHED: 2021, SOURCE: Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles
INDEXED IN: CrossRef: 24
IN MY: CIÊNCIAVITAE
10
TITLE: Fireplug: Efficient and Robust Geo-Replication of Graph Databases  Full Text
AUTHORS: Ray Neiheiser; Luciana Rech; Manuel Bravo; Luis Rodrigues ; Miguel Correia ;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 31, ISSUE: 8
INDEXED IN: WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 1 of 28. Total results: 275.

footer slogan

Useful Links

Get Help

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