João Manuel dos Santos Lourenço


AuthID: R-000-742

Publicações Confirmadas: 80



11
TÍTULO: Time-Aware Publish/Subscribe for Networks of Mobile Devices
AUTORES: João A Silva; Hervé Paulino ; João M Lourenço ; João Leitão; Nuno M Preguiça ;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1801.00297
INDEXADO EM: DBLP
12
TÍTULO: Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória
AUTORES: Patrícia Monteiro; João Lourenço ; António Ravara;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.08015
INDEXADO EM: DBLP
13
TÍTULO: Verifying Real-World Software with Contracts for Concurrency
AUTORES: João M Lourenço ;
PUBLICAÇÃO: 2018, FONTE: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 in Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, VOLUME: 11247
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
14
TÍTULO: GOCRGO and GOGO: Two Minimal Communication Topologies for WiFi-Direct Multi-group Networking
AUTORES: António Teófilo; Diogo Remédios; João M Lourenço ; Hervé Paulino ;
PUBLICAÇÃO: 2017, FONTE: MobiQuitous
INDEXADO EM: Scopus DBLP CrossRef
15
TÍTULO: Towards a persistent publish/subscribe system for networks of mobile devices
AUTORES: Filipe Cerqueira; João A Silva; João M Lourenço ; Hervé Paulino ;
PUBLICAÇÃO: 2017, FONTE: MECC@Middleware
INDEXADO EM: Scopus DBLP CrossRef: 1
16
TÍTULO: Verifying Concurrent Programs Using Contracts
AUTORES: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; João M Lourenço ; Ales Smrcka; Diogo G Sousa; Tomás Vojnar;
PUBLICAÇÃO: 2017, FONTE: ICST
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
17
TÍTULO: A Hardware Approach to Detect, Expose and Tolerate High Level Data Races
AUTORES: Orosa, L; Lourenço, J ;
PUBLICAÇÃO: 2016, FONTE: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
18
TÍTULO: A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools
AUTORES: George Gabriel Mendes Dourado; Paulo Sergio Lopes de Souza; Rafael R Prado; Raphael Negrisoli Batista; Simone R S Souza; Júlio Cezar Estrella; Sarita Mazzini Bruschi; João Lourenço ;
PUBLICAÇÃO: 2016, FONTE: ICCS, VOLUME: 80
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
19
TÍTULO: Ephemeral Data Storage for Networks of Hand-held Devices
AUTORES: Silva, JA; Monteiro, R; Paulino, H ; Lourenço, JM ;
PUBLICAÇÃO: 2016, FONTE: 15th IEEE Int Conf on Trust, Security and Privacy in Comp and Commun / 10th IEEE Int Conf on Big Data Science and Engineering / 14th IEEE Int Symposium on Parallel and Distributed Proc with Applicat (IEEE Trustcom/BigDataSE/ISPA) in 2016 IEEE TRUSTCOM/BIGDATASE/ISPA
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
20
TÍTULO: Pot: Deterministic Transactional Execution
AUTORES: Vale, TM; Silva, JA; Dias, RJ; Lourenço, JM ;
PUBLICAÇÃO: 2016, FONTE: ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, VOLUME: 13, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP
Página 2 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