Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Publicações Confirmadas: 49



21
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
22
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
NO MEU: ORCID
23
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
24
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
NO MEU: ORCID
25
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
NO MEU: ORCID
26
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
NO MEU: ORCID
27
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
NO MEU: ORCID
28
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
NO MEU: ORCID | ResearcherID
29
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
NO MEU: ORCID
30
TÍTULO: A simple proof system for lock-free concurrency
AUTORES: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLICAÇÃO: 2010, FONTE: International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010, VOLUME: 12
INDEXADO EM: DBLP
Página 3 de 5. Total de resultados: 49.

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