Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Publicações Confirmadas: 49



31
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: 22
NO MEU: ORCID | ResearcherID
32
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
NO MEU: ORCID | ResearcherID
33
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
34
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
NO MEU: ORCID | ResearcherID
35
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
36
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
37
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
38
TÍTULO: A trace semantics for long-running transactions
AUTORES: Butler, M; Hoare, T; Ferreira, C ;
PUBLICAÇÃO: 2005, FONTE: Symposium on 25 Years of Communicating Sequential Processes in COMMUNICATING SEQUENTIAL PROCESSES: THE FIRST 25 YEARS, VOLUME: 3525
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
39
TÍTULO: Comparing two approaches to compensable flow composition
AUTORES: Bruni, R; Butler, M; Ferreira, C ; Hoare, T; Melgratti, H; Montanari, U;
PUBLICAÇÃO: 2005, FONTE: 16th International Conference on Concurrency Theory in CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 3653
INDEXADO EM: Scopus WOS CrossRef: 39
NO MEU: ORCID | ResearcherID
40
TÍTULO: Precise modelling of compensating business transactions and its application to BPEL
AUTORES: Butler, M; Ferreira, C ; Ng, MY;
PUBLICAÇÃO: 2005, FONTE: Workshop on Atomicity in System Design and Execution in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 11, NÚMERO: 5
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
Página 4 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