Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Publicações Confirmadas: 62



31
TÍTULO: The CISE tool. proving weakly-consistent applications correct
AUTORES: Mahsa Najafzadeh; Alexey Gotsman; Hongseok Yang; Carla Ferreira ; Marc Shapiro;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data - PaPoC '16
INDEXADO EM: CrossRef: 19
NO MEU: ORCID
32
TÍTULO: The CISE Tool: Proving Weakly-Consistent Applications Correct
AUTORES: Mahsa Najafzadeh; Alexey Gotsman; Hongseok Yang; Carla Ferreira ; Marc Shapiro;
PUBLICAÇÃO: 2016, FONTE: 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016
INDEXADO EM: Scopus WOS
NO MEU: ORCID
33
TÍTULO: Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants  Full Text
AUTORES: Balegas, V; Serra, D; Duarte, S ; Ferreira, C ; Shapiro, M; Rodrigues, R ; Preguica, N ;
PUBLICAÇÃO: 2015, FONTE: SRDS 2015 34th Symposium on Reliable Distributed Systems in 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS)
INDEXADO EM: WOS CrossRef: 21
NO MEU: ORCID
34
TÍTULO: Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants  Full Text
AUTORES: Valter Balegas; Diogo Serra; Sérgio Duarte; Carla Ferreira ; Marc Shapiro; Rodrigo Rodrigues ; Nuno M Preguiça ;
PUBLICAÇÃO: 2015, FONTE: 34th IEEE International Symposium on Reliable Distributed Systems, SRDS 2015 in 34th IEEE Symposium on Reliable Distributed Systems, SRDS 2015, Montreal, QC, Canada, September 28 - October 1, 2015, VOLUME: 2016-January
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
35
TÍTULO: Putting consistency back into eventual consistency
AUTORES: Balegas, V; Duarte, S ; Ferreira, C ; Rodrigues, R ; Preguica, N ; Najafzadeh, M; Shapiro, M;
PUBLICAÇÃO: 2015, FONTE: 10th European Conference on Computer Systems, EuroSys 2015 in Proceedings of the 10th European Conference on Computer Systems, EuroSys 2015
INDEXADO EM: Scopus DBLP CrossRef: 76
NO MEU: ORCID
36
TÍTULO: Towards fast invariant preservation in geo-replicated systems  Full Text
AUTORES: Balegas, V; Duarte, S ; Ferreira, C ; Rodrigues, R ; Preguiça, N ; Najafzadeh, M; Shapiro, M;
PUBLICAÇÃO: 2015, FONTE: 8th Workshop on Large-Scale Distributed Systems and Middleware, LADIS 2014 in Operating Systems Review (ACM), VOLUME: 49, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID
37
TÍTULO: Genetic programming applied to biped locomotion control with sensory information
AUTORES: Ferreira, C ; Silva, P; Andre, J; Santos, CP; Costa, L;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2014 in ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, VOLUME: 1
INDEXADO EM: Scopus Handle
38
TÍTULO: Quadrupedal locomotion based in a purely reflex controller
AUTORES: Ferreira, C ; Matos, V; Santos, CP; Ijspeert, A;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2014 in ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, VOLUME: 1
INDEXADO EM: Scopus
39
TÍTULO: The case for fast and invariant-preserving geo-replication  Full Text
AUTORES: Balegas, V; Duarte, S ; Ferreira, C ; Rodrigues, R ; Preguica, N ; Shapiro, M; Najafzadeh, M;
PUBLICAÇÃO: 2014, FONTE: 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops, SRDSW 2014 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
40
TÍTULO: First-order dynamic logic for compensable processes
AUTORES: Bruni, R; Ferreira, C ; Kersten Kauer, A;
PUBLICAÇÃO: 2012, FONTE: 14th International Conference on Coordination Models and Languages, COORDINATION 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7274 LNCS
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID
Página 4 de 7. Total de resultados: 62.

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

Links Úteis

Ajuda

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