Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Confirmed Publications: 60



31
TITLE: The CISE Tool: Proving Weakly-Consistent Applications Correct
AUTHORS: Mahsa Najafzadeh; Alexey Gotsman; Hongseok Yang; Carla Ferreira ; Marc Shapiro;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus WOS
IN MY: ORCID
32
TITLE: Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants
AUTHORS: Valter Balegas; Diogo Serra; Sérgio Duarte ; Carla Ferreira ; Marc Shapiro; Rodrigo Rodrigues ; Nuno M Preguiça ;
PUBLISHED: 2015, SOURCE: SRDS 2015 34th Symposium on Reliable Distributed Systems in 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS), VOLUME: 2016-January
INDEXED IN: Scopus WOS DBLP CrossRef
33
TITLE: Putting consistency back into eventual consistency
AUTHORS: Valter Balegas; Sérgio Duarte ; Carla Ferreira ; Rodrigo Rodrigues ; Nuno M Preguiça ; Mahsa Najafzadeh; Marc Shapiro;
PUBLISHED: 2015, SOURCE: EuroSys
INDEXED IN: Scopus DBLP CrossRef: 82
IN MY: ORCID
34
TITLE: Towards Fast Invariant Preservation in Geo-replicated Systems
AUTHORS: Valter Balegas; Sérgio Duarte ; Carla Ferreira ; Rodrigo Rodrigues ; Nuno M Preguiça ; Mahsa Najafzadeh; Marc Shapiro;
PUBLISHED: 2015, SOURCE: ACM SIGOPS Oper. Syst. Rev., VOLUME: 49, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 9
IN MY: ORCID
35
TITLE: Genetic programming applied to biped locomotion control with sensory information
AUTHORS: Ferreira, C ; Silva, P; Andre, J; Santos, CP ; Costa, L ;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus Handle
36
TITLE: Quadrupedal locomotion based in a purely reflex controller
AUTHORS: Ferreira, C ; Matos, V; Santos, CP ; Ijspeert, A;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus
37
TITLE: The Case for Fast and Invariant-Preserving Geo-Replication
AUTHORS: Valter Balegas; Sérgio Duarte ; Carla Ferreira ; Rodrigo Rodrigues ; Nuno M Preguiça ; Marc Shapiro; Mahsa Najafzadeh;
PUBLISHED: 2014, SOURCE: SRDS Workshops
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
38
TITLE: First-order dynamic logic for compensable processes
AUTHORS: Bruni, R; Ferreira, C ; Kersten Kauer, A;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID
39
TITLE: On the analysis of compensation correctness  Full Text
AUTHORS: Catia Vaz; Carla Ferreira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID | ResearcherID
40
TITLE: Advanced mechanisms for service combination and transactions
AUTHORS: Ferreira, C ; Lanese, I; Ravara, A ; Vieira, HT ; Zavattaro, G;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXED IN: Scopus CrossRef: 7
IN MY: ORCID
Page 4 of 6. Total results: 60.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service