Joao Lourenco
Universidade Nova de Lisboa
H-index: 17
Europe-Portugal
Top articles of Joao Lourenco
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
FLEEC: A FAST AND LOCK-FREE APPLICATIONAL CACHE | ANDRÉ JOÃO CÉSAR COSTA | 2023/9 | |
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers | Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings | André de Matos Pedro Tomás Silva Tiago Sequeira João Lourenço João Costa Seco | 2022/9/5 |
Empowering a Relational Database with LSD: Lazy State Determination | THALES VINÍCIUS ALVES PARREIRA Tiago M Vale Ricardo J Dias João M Lourenço | 2022/9 | |
Automatic Generation of Contracts for Concurrent Java Programs | INForum | Hugo Gamaliel Pereira Diogo G Sousa Jeremy Bradbury Joao M Lourenço | 2022 |
It’s about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments | Future Generation Computer Systems | João A Silva Filipe Cerqueira Hervé Paulino João M Lourenço João Leitão | 2021/5/1 |
RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios | António Teófilo João M Lourenço Hervé Paulino | 2020/12/7 | |
Lazy State Determination: More concurrency for contending linearizable transactions | arXiv preprint arXiv:2007.09733 | Tiago M Vale João Leitão Nuno Preguiça Rodrigo Rodrigues Ricardo J Dias | 2020/7/19 |