João Manuel dos Santos Lourenço


AuthID: R-000-742

Confirmed Publications: 88



41
42
TITLE: Efficient Support for In-Place Metadata in Transactional Memory
AUTHORS: Ricardo J Dias; Tiago M Vale; João Lourenço ;
PUBLISHED: 2012, SOURCE: 18th International Conference on Parallel Processing, Euro-Par 2012 in Euro-Par 2012 Parallel Processing - 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings, VOLUME: 7484
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
43
TITLE: Efficient Support for In-Place Metadata in Transactional Memory
AUTHORS: Ricardo J Dias; Tiago M Vale; Joao M Lourenco ;
PUBLISHED: 2012, SOURCE: 18th International Conference on Euro-Par Parallel Processing in EURO-PAR 2012 PARALLEL PROCESSING, VOLUME: 7484
INDEXED IN: WOS
44
45
TITLE: Precise Detection of Atomicity Violations
AUTHORS: Ricardo J Dias; Vasco Pessanha; João Lourenço ;
PUBLISHED: 2012, SOURCE: 8th International on Hardware and Software: Verification and Testing, HVC 2012 in Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, VOLUME: 7857
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID | DBLP
46
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: Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
47
TITLE: Using program closures to make an application programming interface (API) implementation thread safe
AUTHORS: Farchi, E; Segall, I; Lourenco, JM ; Sousa, D;
PUBLISHED: 2012, SOURCE: 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 in 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 - Proceedings
INDEXED IN: Scopus
IN MY: ORCID
48
TITLE: Verification of Snapshot Isolation in Transactional Memory Java Programs
AUTHORS: Dias, RJ; Distefano, D; Seco, JC ; Lourenco, JM ;
PUBLISHED: 2012, SOURCE: 26th European Conference on Object-Oriented Programming (ECOOP) in ECOOP 2012 - OBJECT-ORIENTED PROGRAMMING, VOLUME: 7313
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
49
TITLE: An evaluation of a low-cost 3-dimensional gestural interface: Wii3D. Wii3D
AUTHORS: João Lourenço ; Hannah Thinyane;
PUBLISHED: 2011, SOURCE: SAICSIT
INDEXED IN: DBLP CrossRef
50
TITLE: Detecting Concurrency Anomalies in Transactional Memory Programs  Full Text
AUTHORS: Joao Lourenco ; Diogo Sousa; Bruno Teixeira; Ricardo Dias;
PUBLISHED: 2011, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
Page 5 of 9. Total results: 88.

footer slogan

Useful Links

Get Help

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