João Manuel dos Santos Lourenço


AuthID: R-000-742

Publicações Confirmadas: 84



41
42
TÍTULO: Precise Detection of Atomicity Violations
AUTORES: Ricardo J Dias; Vasco Pessanha; João Lourenço ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID | DBLP
43
TÍTULO: Using program closures to make an application programming interface (API) implementation thread safe
AUTORES: Eitan Farchi; Itai Segall; João Lourenço ; Diogo Sousa;
PUBLICAÇÃO: 2012, FONTE: 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 in PADTAD
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
44
TÍTULO: Verification of Snapshot Isolation in Transactional Memory Java Programs
AUTORES: Dias, RJ; Distefano, D; Seco, JC ; Lourenco, JM ;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Object-Oriented Programming (ECOOP) in ECOOP 2012 - OBJECT-ORIENTED PROGRAMMING, VOLUME: 7313
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP
45
TÍTULO: An evaluation of a low-cost 3-dimensional gestural interface: Wii3D. Wii3D
AUTORES: João Lourenço ; Hannah Thinyane;
PUBLICAÇÃO: 2011, FONTE: SAICSIT
INDEXADO EM: DBLP CrossRef
46
TÍTULO: Detecting concurrency anomalies in transactional memory programs  Full Text
AUTORES: João Lourenço ; Diogo Sousa; Bruno C Teixeira; Ricardo J Dias;
PUBLICAÇÃO: 2011, FONTE: Comput. Sci. Inf. Syst., VOLUME: 8, NÚMERO: 2
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
47
TÍTULO: Detecting Concurrency Anomalies in Transactional Memory Programs  Full Text
AUTORES: Joao Lourenco ; Diogo Sousa; Bruno Teixeira; Ricardo Dias;
PUBLICAÇÃO: 2011, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
48
TÍTULO: Foreword
AUTORES: Lourenco, J ; Farchi, E; Ur, S;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: Scopus
NO MEU: ORCID
49
TÍTULO: Practical verification of high-level dataraces in transactional memory programs
AUTORES: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
50
Página 5 de 9. Total de resultados: 84.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service