José Orlando Roque Nascimento Pereira


AuthID: R-000-8SQ

Publicações Confirmadas: 126



31
TÍTULO: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLICAÇÃO: 2020, FONTE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP
32
TÍTULO: Self-tunable DBMS Replication with Reinforcement Learning
AUTORES: Luis Ferreira ; Fábio Coelho ; José Pereira ;
PUBLICAÇÃO: 2020, FONTE: 20th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020 in Distributed Applications and Interoperable Systems - 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, VOLUME: 12135
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
33
TÍTULO: A Case for Dynamically Programmable Storage Background Tasks
AUTORES: Ricardo Macedo ; Alberto Faria ; Joao Paulo ; Jose Pereira ;
PUBLICAÇÃO: 2019, FONTE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
34
35
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: ORCID | DBLP | CIÊNCIAVITAE
36
TÍTULO: Recovery in CloudDBAppliance's High-availability Middleware
AUTORES: Abreu, H; Ferreira, L ; Coelho, F ; Alonso, AN ; Pereira, J ;
PUBLICAÇÃO: 2019, FONTE: 8th International Conference on Data Science, Technology and Applications (DATA) in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON DATA SCIENCE, TECHNOLOGY AND APPLICATIONS (DATA)
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: DBLP | CIÊNCIAVITAE
37
TÍTULO: Sharing and Learning Alloy on the Web PDF
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.02275
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
38
TÍTULO: Towards Intra-Datacentre High-Availability in CloudDBAppliance
AUTORES: Ferreira, L ; Coelho, F ; Alonso, AN ; Pereira, J ;
PUBLICAÇÃO: 2019, FONTE: 9th International Conference on Cloud Computing and Services Science (CLOSER) in CLOSER: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: DBLP | CIÊNCIAVITAE
39
TÍTULO: TRUSTFS: An SGX-enabled Stackable File System Framework
AUTORES: Tania Esteves ; Ricardo Macedo ; Alberto Faria ; Bernardo Portela ; Joao Paulo ; Jose Pereira ; Danny Harnik;
PUBLICAÇÃO: 2019, FONTE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
40
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: 13
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 4 de 13. Total de resultados: 126.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service