João Manuel dos Santos Lourenço


AuthID: R-000-742

Confirmed Publications: 80



41
TITLE: Verification of Snapshot Isolation in Transactional Memory Java Programs
AUTHORS: Dias, RJ; Distefano, D; Seco, JC ; Lourenço, 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
42
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
43
TITLE: Detecting Concurrency Anomalies in Transactional Memory Programs
AUTHORS: Lourenco, J ; Sousa, D; Teixeira, B; Dias, R;
PUBLISHED: 2011, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 3
44
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
45
TITLE: Practical verification of high-level dataraces in transactional memory programs
AUTHORS: Vasco Pessanha; Ricardo J Dias; João Lourenço ; Eitan Farchi; Diogo Sousa;
PUBLISHED: 2011, SOURCE: PADTAD
INDEXED IN: Scopus DBLP CrossRef: 3
46
47
TITLE: Special Session on Debugging  Full Text
AUTHORS: Hollander, Y; Hu, A; Lourenço, J ; Morad, R;
PUBLISHED: 2011, SOURCE: 6th Haifa Verification Conference in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, VOLUME: 6504
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
48
TITLE: Understanding Transactional Memory (Extended Abstract)
AUTHORS: Lourenco, J ;
PUBLISHED: 2011, SOURCE: 6th Haifa Verification Conference in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, VOLUME: 6504
INDEXED IN: Scopus WOS
IN MY: ORCID
49
TITLE: Detection of Transactional Memory anomalies using static analysis
AUTHORS: Bruno C Teixeira; João Lourenço ; Eitan Farchi; Ricardo J Dias; Diogo Sousa;
PUBLISHED: 2010, SOURCE: PDATAD
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID
50
TITLE: Open virtualization framework for testing ground systems
AUTHORS: Nuno Duro; Rui Santos; João Lourenço ; Hervé Paulino ; João Martins;
PUBLISHED: 2010, SOURCE: PDATAD
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
Page 5 of 8. Total results: 80.

footer slogan

Useful Links

Get Help

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