Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Confirmed Publications: 62



31
TITLE: The CISE tool. proving weakly-consistent applications correct
AUTHORS: Mahsa Najafzadeh; Alexey Gotsman; Hongseok Yang; Carla Ferreira ; Marc Shapiro;
PUBLISHED: 2016, SOURCE: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data - PaPoC '16
INDEXED IN: CrossRef: 19
IN MY: ORCID
32
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
33
TITLE: Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants  Full Text
AUTHORS: Balegas, V; Serra, D; Duarte, S ; Ferreira, C ; Shapiro, M; Rodrigues, R ; Preguica, N ;
PUBLISHED: 2015, SOURCE: SRDS 2015 34th Symposium on Reliable Distributed Systems in 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS)
INDEXED IN: WOS CrossRef: 21
IN MY: ORCID
34
TITLE: Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants  Full Text
AUTHORS: Valter Balegas; Diogo Serra; Sérgio Duarte; Carla Ferreira ; Marc Shapiro; Rodrigo Rodrigues ; Nuno M Preguiça ;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID
35
TITLE: Putting consistency back into eventual consistency
AUTHORS: Balegas, V; Duarte, S ; Ferreira, C ; Rodrigues, R ; Preguica, N ; Najafzadeh, M; Shapiro, M;
PUBLISHED: 2015, SOURCE: 10th European Conference on Computer Systems, EuroSys 2015 in Proceedings of the 10th European Conference on Computer Systems, EuroSys 2015
INDEXED IN: Scopus DBLP CrossRef: 76
IN MY: ORCID
36
TITLE: Towards fast invariant preservation in geo-replicated systems  Full Text
AUTHORS: Balegas, V; Duarte, S ; Ferreira, C ; Rodrigues, R ; Preguiça, N ; Najafzadeh, M; Shapiro, M;
PUBLISHED: 2015, SOURCE: 8th Workshop on Large-Scale Distributed Systems and Middleware, LADIS 2014 in Operating Systems Review (ACM), VOLUME: 49, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID
37
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
38
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
39
TITLE: The case for fast and invariant-preserving geo-replication  Full Text
AUTHORS: Balegas, V; Duarte, S ; Ferreira, C ; Rodrigues, R ; Preguica, N ; Shapiro, M; Najafzadeh, M;
PUBLISHED: 2014, SOURCE: 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops, SRDSW 2014 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
40
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
Page 4 of 7. Total results: 62.

footer slogan

Useful Links

Get Help

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