João Manuel dos Santos Lourenço


AuthID: R-000-742

Publicações Confirmadas: 80



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

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