Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Publicações Confirmadas: 62



41
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
42
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
43
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
44
TÍTULO: On the Expressive Power of Primitives for Compensation Handling
AUTORES: Lanese, I; Vaz, C; Ferreira, C ;
PUBLICAÇÃO: 2010, FONTE: 19th European Symposium on Programming (ESOP 2010) held at the ETAPES 2010 in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 6012
INDEXADO EM: Scopus WOS CrossRef: 23
NO MEU: ORCID | ResearcherID
45
TÍTULO: Towards Compensation Correctness in Interactive Systems  Full Text
AUTORES: Catia Vaz; Carla Ferreira ;
PUBLICAÇÃO: 2010, FONTE: 6th International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, VOLUME: 6194
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID | ResearcherID
46
TÍTULO: A Process Calculus Analysis of Compensations  Full Text
AUTORES: Luis Caires ; Carla Ferreira ; Hugo Vieira ;
PUBLICAÇÃO: 2009, FONTE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
NO MEU: ORCID | ResearcherID
47
TÍTULO: Dynamic Recovering of Long Running Transactions  Full Text
AUTORES: Catia Vaz; Carla Ferreira ; Antonio Ravara ;
PUBLICAÇÃO: 2009, FONTE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
INDEXADO EM: Scopus WOS CrossRef: 18
NO MEU: ORCID | ResearcherID
48
TÍTULO: Case study: Formal verification and modeling of a hospital emergency department [Caso de estudo: Modelação e verificação formal de um serviço de urgência hospitalar]
AUTORES: Santos, C; Ferreira, C ; Tribolet, J;
PUBLICAÇÃO: 2006, FONTE: 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2006 - 1st Iberian Conference on Information Systems and Technologies, CISTI 2006 in CISTI 2006 - Actas da 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 1
INDEXADO EM: Scopus
NO MEU: ORCID
49
TÍTULO: Case study: modelization and formal verification of an emergency hospital service
AUTORES: Carlos Santos; Carla Ferreira ; Jose Tribolet;
PUBLICAÇÃO: 2006, FONTE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I
INDEXADO EM: WOS
NO MEU: ResearcherID
50
TÍTULO: CEO framework enterprise models conformance with ISO14258
AUTORES: Patricia Macedo ; Carla Ferreira ; Jose Tribolet ;
PUBLICAÇÃO: 2006, FONTE: 8th International Conference on Enterprise Information Systems (ICEIS 2006) in ICEIS 2006: Proceedings of the Eighth International Conference on Enterprise Information Systems: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOLUME: ISAS
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
Página 5 de 7. Total de resultados: 62.

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