João Manuel dos Santos Lourenço


AuthID: R-000-742

Confirmed Publications: 84



41
42
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
43
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
44
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
45
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
46
TITLE: Detecting concurrency anomalies in transactional memory programs  Full Text
AUTHORS: João Lourenço ; Diogo Sousa; Bruno C Teixeira; Ricardo J Dias;
PUBLISHED: 2011, SOURCE: Comput. Sci. Inf. Syst., VOLUME: 8, ISSUE: 2
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
47
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
48
TITLE: Foreword
AUTHORS: Lourenco, J ; Farchi, E; Ur, S;
PUBLISHED: 2011, SOURCE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
INDEXED IN: Scopus
IN MY: ORCID
49
TITLE: Practical verification of high-level dataraces in transactional memory programs
AUTHORS: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLISHED: 2011, SOURCE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
50
Page 5 of 9. Total results: 84.

footer slogan

Useful Links

Get Help

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