Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Publicações Confirmadas: 60



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: 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
32
TÍTULO: Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants
AUTORES: Valter Balegas; Diogo Serra; Sérgio Duarte ; Carla Ferreira ; Marc Shapiro; Rodrigo Rodrigues ; Nuno M Preguiça ;
PUBLICAÇÃO: 2015, FONTE: SRDS 2015 34th Symposium on Reliable Distributed Systems in 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS), VOLUME: 2016-January
INDEXADO EM: Scopus WOS DBLP CrossRef
33
TÍTULO: Putting consistency back into eventual consistency
AUTORES: Valter Balegas; Sérgio Duarte ; Carla Ferreira ; Rodrigo Rodrigues ; Nuno M Preguiça ; Mahsa Najafzadeh; Marc Shapiro;
PUBLICAÇÃO: 2015, FONTE: EuroSys
INDEXADO EM: Scopus DBLP CrossRef: 82
NO MEU: ORCID
34
TÍTULO: Towards Fast Invariant Preservation in Geo-replicated Systems
AUTORES: Valter Balegas; Sérgio Duarte ; Carla Ferreira ; Rodrigo Rodrigues ; Nuno M Preguiça ; Mahsa Najafzadeh; Marc Shapiro;
PUBLICAÇÃO: 2015, FONTE: ACM SIGOPS Oper. Syst. Rev., VOLUME: 49, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 9
NO MEU: ORCID
35
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
36
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
37
TÍTULO: The Case for Fast and Invariant-Preserving Geo-Replication
AUTORES: Valter Balegas; Sérgio Duarte ; Carla Ferreira ; Rodrigo Rodrigues ; Nuno M Preguiça ; Marc Shapiro; Mahsa Najafzadeh;
PUBLICAÇÃO: 2014, FONTE: SRDS Workshops
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
38
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
39
TÍTULO: On the analysis of compensation correctness  Full Text
AUTORES: Catia Vaz; Carla Ferreira ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID | ResearcherID
40
TÍTULO: Advanced mechanisms for service combination and transactions
AUTORES: Ferreira, C ; Lanese, I; Ravara, A ; Vieira, HT ; Zavattaro, G;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXADO EM: Scopus CrossRef: 7
NO MEU: ORCID
Página 4 de 6. Total de resultados: 60.

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