João Manuel dos Santos Lourenço


AuthID: R-000-742

Confirmed Publications: 80



11
TITLE: Time-Aware Publish/Subscribe for Networks of Mobile Devices
AUTHORS: João A Silva; Hervé Paulino ; João M Lourenço ; João Leitão; Nuno M Preguiça ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1801.00297
INDEXED IN: DBLP
12
TITLE: Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória
AUTHORS: Patrícia Monteiro; João Lourenço ; António Ravara;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.08015
INDEXED IN: DBLP
13
TITLE: Verifying Real-World Software with Contracts for Concurrency
AUTHORS: João M Lourenço ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
14
TITLE: GOCRGO and GOGO: Two Minimal Communication Topologies for WiFi-Direct Multi-group Networking
AUTHORS: António Teófilo; Diogo Remédios; João M Lourenço ; Hervé Paulino ;
PUBLISHED: 2017, SOURCE: MobiQuitous
INDEXED IN: Scopus DBLP CrossRef
15
TITLE: Towards a persistent publish/subscribe system for networks of mobile devices
AUTHORS: Filipe Cerqueira; João A Silva; João M Lourenço ; Hervé Paulino ;
PUBLISHED: 2017, SOURCE: MECC@Middleware
INDEXED IN: Scopus DBLP CrossRef: 1
16
TITLE: Verifying Concurrent Programs Using Contracts
AUTHORS: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; João M Lourenço ; Ales Smrcka; Diogo G Sousa; Tomás Vojnar;
PUBLISHED: 2017, SOURCE: ICST
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
17
TITLE: A Hardware Approach to Detect, Expose and Tolerate High Level Data Races
AUTHORS: Orosa, L; Lourenço, J ;
PUBLISHED: 2016, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
18
TITLE: A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools
AUTHORS: 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 ;
PUBLISHED: 2016, SOURCE: ICCS, VOLUME: 80
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
19
TITLE: Ephemeral Data Storage for Networks of Hand-held Devices
AUTHORS: Silva, JA; Monteiro, R; Paulino, H ; Lourenço, JM ;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 5
20
TITLE: Pot: Deterministic Transactional Execution
AUTHORS: Vale, TM; Silva, JA; Dias, RJ; Lourenço, JM ;
PUBLISHED: 2016, SOURCE: ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, VOLUME: 13, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
Page 2 of 8. Total results: 80.

footer slogan

Useful Links

Get Help

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