Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
João Manuel dos Santos Lourenço
AuthID:
R-000-742
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (55)
Article (15)
Proceedings (5)
Editorial Material (4)
Book Chapter (1)
Year Start - End:
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
-
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 80
21
TÃTULO:
Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access
AUTORES:
João A Silva; João Leitão;
Nuno M Preguiça
;
João M Lourenço
;
Hervé Paulino
;
PUBLICAÇÃO:
2016
,
FONTE:
MECC@Middleware
INDEXADO EM:
Scopus
DBLP
CrossRef
:
4
22
TÃTULO:
Boosting Locality in Multi-version Partial Data Replication
AUTORES:
Silva, JA;
Lourenço, JM
;
Paulino, H
;
PUBLICAÇÃO:
2015
,
FONTE:
30th ACM Symposium on Applied Computing (SAC)
in
30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II,
VOLUME:
13-17-April-2015
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
2
NO MEU:
ORCID
23
TÃTULO:
Decentralized Storage for Networks of Hand-held Devices
AUTORES:
Ricardo Monteiro; João A Silva;
João Lourenço
;
Hervé Paulino
;
PUBLICAÇÃO:
2015
,
FONTE:
12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015
in
MobiQuitous
INDEXADO EM:
Scopus
DBLP
CrossRef
:
3
24
TÃTULO:
Dynamic Validation of Contracts in Concurrent Code
AUTORES:
Fiedor, J; Letko, Z;
Lourenço, J
; Vojnar, T;
PUBLICAÇÃO:
2015
,
FONTE:
15th International Conference on Computer Aided Systems Theory
in
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015,
VOLUME:
9520
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
3
NO MEU:
ORCID
25
TÃTULO:
Extracting Static and Dynamic Structural Information from Java Concurrent Programs for Coverage Testing
AUTORES:
Prado, RR; Souza, PSL; Dourado, GGM; Souza, SRS; Estrella, JC; Bruschi, SM;
Lourenco, J
;
PUBLICAÇÃO:
2015
,
FONTE:
Latin American Computing Conference (CLEI)
in
2015 XLI LATIN AMERICAN COMPUTING CONFERENCE (CLEI)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
26
TÃTULO:
Group-to-Group Bidirectional Wi-Fi Direct Communication with Two Relay Nodes
AUTORES:
António Teófilo; Diogo Remédios;
Hervé Paulino
;
João Lourenço
;
PUBLICAÇÃO:
2015
,
FONTE:
12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015
in
MobiQuitous
INDEXADO EM:
Scopus
DBLP
CrossRef
:
5
27
TÃTULO:
Mobile Device-to-Device Distributed Computing Using Data Sets
Full Text
AUTORES:
Diogo Remédios; António Teófilo;
Hervé Paulino
;
João Lourenço
;
PUBLICAÇÃO:
2015
,
FONTE:
12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015
in
MobiQuitous
INDEXADO EM:
Scopus
DBLP
CrossRef
:
7
NO MEU:
ORCID
28
TÃTULO:
Preventing Atomicity Violations with Contracts
AUTORES:
Diogo G Sousa; Ricardo J Dias; Carla Ferreira;
João Lourenço
;
PUBLICAÇÃO:
2015
,
FONTE:
CoRR,
VOLUME:
abs/1505.02951
INDEXADO EM:
DBLP
29
TÃTULO:
Supporting Multiple Data Replication Models in Distributed Transactional Memory
AUTORES:
Silva, JA; Vale, TM; Dias, RJ;
Paulino, H
;
Lourenço, JM
;
PUBLICAÇÃO:
2015
,
FONTE:
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
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
4
NO MEU:
ORCID
30
TÃTULO:
On Monitoring C/C plus plus Transactional Memory Programs
AUTORES:
Fiedor, J; Letko, Z;
Lourenço, J
; Vojnar, T;
PUBLICAÇÃO:
2014
,
FONTE:
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
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 3 de 8. Total de resultados: 80.
<<
<
1
2
3
4
5
6
7
8
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
2 registos no
DataCite
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2026 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service