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 (53)
Article (17)
Unpublished (6)
Proceedings (5)
Editorial Material (4)
Article in Press (2)
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
-
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: 88
21
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:
International Conference on Computational Science, ICCS 2016
in
International Conference on Computational Science 2016, ICCS 2016, 6-8 June 2016, San Diego, California, USA,
VOLUME:
80
INDEXADO EM:
Scopus
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
22
TÃTULO:
Ephemeral Data Storage for Networks of Hand-held Devices
AUTORES:
Silva, JA; Monteiro, R;
Paulino, H
;
Lourenco, 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
NO MEU:
ORCID
|
DBLP
23
TÃTULO:
Pot: Deterministic Transactional Execution
AUTORES:
Vale, TM; Silva, JA; Dias, RJ;
Lourenco, JM
;
PUBLICAÇÃO:
2016
,
FONTE:
ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION,
VOLUME:
13,
NÚMERO:
4
INDEXADO EM:
Scopus
WOS
DBLP
NO MEU:
ORCID
|
DBLP
24
TÃTULO:
Pot: Deterministic transactional execution
PDF
AUTORES:
Tiago M Vale; João A Silva; Ricardo J Dias;
João M Lourenço
;
PUBLICAÇÃO:
2016
,
FONTE:
CoRR,
VOLUME:
abs/1612.07702
INDEXADO EM:
DBLP
arXiv
NO MEU:
DBLP
25
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:
1st Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2016
in
Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets, Trento, Italy, December 12-16, 2016
INDEXADO EM:
Scopus
DBLP
CrossRef
:
4
NO MEU:
ORCID
|
DBLP
26
TÃTULO:
Boosting Locality in Multi-version Partial Data Replication
AUTORES:
Joao A Silva
;
Joao M Lourenco
;
Herve Paulino
;
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
NO MEU:
ORCID
|
DBLP
27
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:
Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2015, Coimbra, Portugal, July 22-24, 2015
INDEXADO EM:
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
28
TÃTULO:
Dynamic Validation of Contracts in Concurrent Code
AUTORES:
Jan Fiedor
;
Zdenek Letko
;
Joao Lourenco
;
Tomas Vojnar
;
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
NO MEU:
ORCID
|
DBLP
29
TÃTULO:
Extracting Static and Dynamic Structural Information from Java Concurrent Programs for Coverage Testing
AUTORES:
Rafael R Prado;
Paulo S L Souza
; George G M Dourado;
Simone R S Souza
; Julio C Estrella; Sarita M Bruschi;
Joao Lourenco
;
PUBLICAÇÃO:
2015
,
FONTE:
Latin American Computing Conference (CLEI)
in
2015 XLI LATIN AMERICAN COMPUTING CONFERENCE (CLEI)
INDEXADO EM:
WOS
CrossRef
NO MEU:
ORCID
30
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:
41st Latin American Computing Conference, CLEI 2015
in
Proceedings - 2015 41st Latin American Computing Conference, CLEI 2015
INDEXADO EM:
Scopus
DBLP
NO MEU:
ORCID
|
DBLP
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 9. Total de resultados: 88.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
×
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
© 2025 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service