João Manuel dos Santos Lourenço


AuthID: R-000-742

Confirmed Publications: 80



21
TITLE: Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access
AUTHORS: João A Silva; João Leitão; Nuno M Preguiça ; João M Lourenço ; Hervé Paulino ;
PUBLISHED: 2016, SOURCE: MECC@Middleware
INDEXED IN: Scopus DBLP CrossRef: 4
22
TITLE: Boosting Locality in Multi-version Partial Data Replication
AUTHORS: Silva, JA; Lourenço, JM ; Paulino, H ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
23
TITLE: Decentralized Storage for Networks of Hand-held Devices
AUTHORS: Ricardo Monteiro; João A Silva; João Lourenço ; Hervé Paulino ;
PUBLISHED: 2015, SOURCE: 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015 in MobiQuitous
INDEXED IN: Scopus DBLP CrossRef: 3
24
TITLE: Dynamic Validation of Contracts in Concurrent Code
AUTHORS: Fiedor, J; Letko, Z; Lourenço, J ; Vojnar, T;
PUBLISHED: 2015, SOURCE: 15th International Conference on Computer Aided Systems Theory in COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015, VOLUME: 9520
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
25
TITLE: Extracting Static and Dynamic Structural Information from Java Concurrent Programs for Coverage Testing
AUTHORS: Prado, RR; Souza, PSL; Dourado, GGM; Souza, SRS; Estrella, JC; Bruschi, SM; Lourenco, J ;
PUBLISHED: 2015, SOURCE: Latin American Computing Conference (CLEI) in 2015 XLI LATIN AMERICAN COMPUTING CONFERENCE (CLEI)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
26
TITLE: Group-to-Group Bidirectional Wi-Fi Direct Communication with Two Relay Nodes
AUTHORS: António Teófilo; Diogo Remédios; Hervé Paulino ; João Lourenço ;
PUBLISHED: 2015, SOURCE: 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015 in MobiQuitous
INDEXED IN: Scopus DBLP CrossRef: 5
27
TITLE: Mobile Device-to-Device Distributed Computing Using Data Sets  Full Text
AUTHORS: Diogo Remédios; António Teófilo; Hervé Paulino ; João Lourenço ;
PUBLISHED: 2015, SOURCE: 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015 in MobiQuitous
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
28
TITLE: Preventing Atomicity Violations with Contracts
AUTHORS: Diogo G Sousa; Ricardo J Dias; Carla Ferreira; João Lourenço ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.02951
INDEXED IN: DBLP
29
TITLE: Supporting Multiple Data Replication Models in Distributed Transactional Memory
AUTHORS: Silva, JA; Vale, TM; Dias, RJ; Paulino, H ; Lourenço, JM ;
PUBLISHED: 2015, SOURCE: 16th International Conference on Distributed Computing and Networking in PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING, VOLUME: 04-07-January-2015
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
30
TITLE: On Monitoring C/C plus plus Transactional Memory Programs
AUTHORS: Fiedor, J; Letko, Z; Lourenço, J ; Vojnar, T;
PUBLISHED: 2014, SOURCE: 9th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS) in MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014, VOLUME: 8934
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
Page 3 of 8. Total results: 80.

footer slogan

Useful Links

Get Help

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