João Manuel dos Santos Lourenço


AuthID: R-000-742

Publicações Confirmadas: 84



51
TÍTULO: Special Session on Debugging
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
52
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
53
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
54
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
55
TÍTULO: PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging: Foreword
AUTORES: Lourenco, J ; Farchi, E; Ur, S;
PUBLICAÇÃO: 2010, FONTE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
INDEXADO EM: Scopus
NO MEU: ORCID
56
57
TÍTULO: SmART: An Application Reconfiguration Framework
AUTORES: Paulino, H ; Martins, JA; Lourenço, J ; Duro, N;
PUBLICAÇÃO: 2010, FONTE: 1st International Conference on Complex System Design and Management (csdm 2010) in COMPLEX SYSTEMS DESIGN AND MANAGEMENT
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
58
TÍTULO: Understanding Transactional Memory (Extended Abstract)
AUTORES: João Lourenço ;
PUBLICAÇÃO: 2010, FONTE: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, VOLUME: 6504
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
59
TÍTULO: Understanding the behavior of transactional memory applications
AUTORES: João Lourenço ; Ricardo J Dias; João Luís; Miguel Rebelo; Vasco Pessanha;
PUBLICAÇÃO: 2009, FONTE: 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD '09, in conjunction with the International Symposium on Software Testing and Analysis, ISSTA 2009 in Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
60
TÍTULO: Unifying Memory and Database Transactions
AUTORES: Dias, RJ; Lourenço, JM ;
PUBLICAÇÃO: 2009, FONTE: 15th International Euro-Par Conference on Parallel Computing in EURO-PAR 2009: PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 5704
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
Página 6 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