João Manuel dos Santos Lourenço


AuthID: R-000-742

Confirmed Publications: 80



31
TITLE: Efficient support for in-place metadata in Java software transactional memory  Full Text
AUTHORS: Dias, RJ; Vale, TM; Lourenço, JM ;
PUBLISHED: 2013, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 25, ISSUE: 17
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
32
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Lourenco, JM ; Farchi, E;
PUBLISHED: 2013, SOURCE: International Conference on Multicore Software Engineering, Performance, and Tools, MUSEPAT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8063 LNCS
INDEXED IN: Scopus
IN MY: ORCID
33
TITLE: MacroDB: Scaling Database Engines on Multicores
AUTHORS: Soares, J ; Lourenço, J ; Preguiça, N ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Euro-Par in EURO-PAR 2013 PARALLEL PROCESSING, VOLUME: 8097
INDEXED IN: Scopus WOS DBLP CrossRef: 2
34
35
TITLE: On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories
AUTHORS: Vale, TM; Dias, RJ; Lourenço, JM ;
PUBLISHED: 2013, SOURCE: International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT) in MULTICORE SOFTWARE ENGINEERING, PERFORMANCE, AND TOOLS, VOLUME: 8063
INDEXED IN: Scopus WOS DBLP CrossRef: 1
36
37
TITLE: Efficient Support for In-Place Metadata in Transactional Memory
AUTHORS: Dias, RJ; Vale, TM; Lourenco, JM ;
PUBLISHED: 2012, SOURCE: 18th International Conference on Euro-Par Parallel Processing in EURO-PAR 2012 PARALLEL PROCESSING, VOLUME: 7484
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
38
TITLE: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
AUTHORS: Kerstin Eder; João Lourenço ; Onn Shehory;
PUBLISHED: 2012, SOURCE: Haifa Verification Conference, VOLUME: 7261
INDEXED IN: DBLP
39
TITLE: Precise Detection of Atomicity Violations
AUTHORS: Ricardo J Dias; Vasco Pessanha; João Lourenço ;
PUBLISHED: 2012, SOURCE: Haifa Verification Conference, VOLUME: 7857 LNCS
INDEXED IN: Scopus DBLP CrossRef: 10
40
TITLE: Using program closures to make an application programming interface (API) implementation thread safe
AUTHORS: Eitan Farchi; Itai Segall; João Lourenço ; Diogo Sousa;
PUBLISHED: 2012, SOURCE: 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 in PADTAD
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
Page 4 of 8. Total results: 80.

footer slogan

Useful Links

Get Help

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