Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Nuno de Ferraz Almeida e Peixoto Machado
AuthID:
R-001-TYG
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (10)
Article (4)
Year Start - End:
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
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: 14
1
TÃTULO:
Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs
AUTORES:
Neves, F
;
Machado, N
;
Vilaca, R
;
Pereira, J
;
PUBLICAÇÃO:
2021
,
FONTE:
51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
in
51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2021)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
2
NO MEU:
DBLP
2
TÃTULO:
Concurrency Debugging with MaxSMT
AUTORES:
Terra Neves, M;
Machado, N
;
Lynce, I
; Manquinho, V;
PUBLICAÇÃO:
2019
,
FONTE:
33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence
in
THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXADO EM:
WOS
DBLP
3
TÃTULO:
Minha: Large-Scale Distributed Systems Testing Made Practical
AUTORES:
Nuno Machado
;
Francisco Maia
;
Francisco Neves
;
Fábio Coelho
;
José Pereira
;
PUBLICAÇÃO:
2019
,
FONTE:
23rd International Conference on Principles of Distributed Systems, OPODIS 2019
in
23rd International Conference on Principles of Distributed Systems, OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland.,
VOLUME:
153
INDEXADO EM:
Scopus
DBLP
NO MEU:
DBLP
4
TÃTULO:
CoopREP: Cooperative record and replay of concurrency bugs. CoopREP: Cooperative Record and Replay of Concurrency Bugs
AUTORES:
Machado, N
;
Romano, P
;
Rodrigues, L
;
PUBLICAÇÃO:
2018
,
FONTE:
SOFTWARE TESTING VERIFICATION & RELIABILITY,
VOLUME:
28,
NÚMERO:
1
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
5
TÃTULO:
Falcon: A Practical Log-based Analysis Tool for Distributed Systems
AUTORES:
Francisco Neves
;
Nuno Machado
;
Jose Pereira
;
PUBLICAÇÃO:
2018
,
FONTE:
48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
in
2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
11
NO MEU:
DBLP
6
TÃTULO:
MODELLING BASED TEACHING WITH SPREADSHEET. A STUDY IN A HEALTH CARE COURSE
AUTORES:
Machado, N
;
Baptista, M
;
PUBLICAÇÃO:
2018
,
FONTE:
12th International Technology, Education and Development Conference (INTED)
in
12TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED)
INDEXADO EM:
WOS
CrossRef
7
TÃTULO:
Totally Ordered Replication for Massive Scale Key-Value Stores
AUTORES:
José Ribeiro;
Nuno Machado
;
Francisco Maia
;
Miguel Matos
;
PUBLICAÇÃO:
2018
,
FONTE:
18th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018
in
Distributed Applications and Interoperable Systems - 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings,
VOLUME:
10853
INDEXADO EM:
Scopus
DBLP
CrossRef
NO MEU:
DBLP
8
TÃTULO:
BUZZPSS: A Dependable and Adaptive Peer Sampling Service
AUTORES:
Machado, N
;
Maia, F
;
Matos, M
;
Oliveira, R
;
PUBLICAÇÃO:
2016
,
FONTE:
7th Latin-American Symposium on Dependable Computing (LADC)
in
2016 SEVENTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
9
TÃTULO:
Concurrency Debugging with Differential Schedule Projections
Full Text
AUTORES:
Machado, N
; Quinta, D; Lucia, B;
Rodrigues, L
;
PUBLICAÇÃO:
2016
,
FONTE:
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY,
VOLUME:
25,
NÚMERO:
2
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
10
TÃTULO:
Production-guided Concurrency Debugging
Full Text
AUTORES:
Nuno Machado
;
Brandon Lucia
;
Luis Rodrigues
;
PUBLICAÇÃO:
2016
,
FONTE:
21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)
in
ACM SIGPLAN NOTICES,
VOLUME:
51,
NÚMERO:
8
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
5
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 1 de 2. Total de resultados: 14.
<<
<
1
2
>
>>
×
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
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service