Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Publicações Confirmadas: 49



1
TÍTULO: ECROs: Building Global Scale Systems from Sequential Code
AUTORES: De Porre, K; Ferreira, C ; Preguica, N; Boix, EG;
PUBLICAÇÃO: 2021, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 5, NÚMERO: OOPSLA
INDEXADO EM: WOS CrossRef: 2
NO MEU: ORCID
2
TÍTULO: ECROs: building global scale systems from sequential code
AUTORES: Kevin De Porre; Carla Ferreira ; Nuno M Preguiça; Elisa Gonzalez Boix;
PUBLICAÇÃO: 2021, FONTE: Proc. ACM Program. Lang., VOLUME: 5, NÚMERO: OOPSLA
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
3
TÍTULO: OSTRICH - A Type-safe Template Language for Low-code Development
AUTORES: Lourenco, H; Ferreira, C ; Seco, JC;
PUBLICAÇÃO: 2021, FONTE: 24th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MODELS) in 24TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2021)
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID
4
TÍTULO: Solution Discovery over Feature Toggling with Built-in Abstraction in OutSystems
AUTORES: Lopes, B; Amorim, S; Ferreira, C ;
PUBLICAÇÃO: 2021, FONTE: 24th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MODELS) in 24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
5
TÍTULO: Understanding the Linkage Between Social Innovation and Sustainable Development Goals: Some Insights of Field Research
AUTORES: Cunha, J.; Ferreira, C. ; Araujo, M.; Nunes, M. L.; Ferreira, P.;
PUBLICAÇÃO: 2021, FONTE: IEEE International Conference on Industrial Engineering and Engineering Management (IEEM) in 2021 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEE IEEM21)
INDEXADO EM: Scopus WOS CrossRef: 1
6
TÍTULO: Preface
AUTORES: Ulidowski, I; Lanese, I; Schultz, UP; Ferreira, C ;
PUBLICAÇÃO: 2020, FONTE: 12th International Conference on Reversible Computation, RC 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12070 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
7
TÍTULO: Robust Contract Evolution in a TypeSafe MicroService Architectures
AUTORES: Seco, JC; Ferreira, P; Lourenço, H; Ferreira, C ; Ferrão, L;
PUBLICAÇÃO: 2020, FONTE: Art, Science, and Engineering of Programming, VOLUME: 4, NÚMERO: 3
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
8
TÍTULO: Teaching practical realistic verification of distributed algorithms in Erlang with TLA+
AUTORES: Zeller, P; Bieniusa, A; Ferreira, C ;
PUBLICAÇÃO: 2020, FONTE: 19th ACM SIGPLAN International Workshop on Erlang, Erlang 2020, co-located with the Annual International Conference on Functional Programming, ICFP 2020 in Erlang 2020 - Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, co-located with ICFP 2020
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID
9
TÍTULO: Test mocks for low-code applications built with OutSystems
AUTORES: Jacinto, A; Lourenço, M; Ferreira, C ;
PUBLICAÇÃO: 2020, FONTE: 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 in Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID
10
TÍTULO: Techniques for safe and highly available cloud applications
AUTORES: Ferreira, C ;
PUBLICAÇÃO: 2019, FONTE: 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019 in Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019
INDEXADO EM: Scopus
NO MEU: ORCID
Página 1 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