Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Publicações Confirmadas: 62



51
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
52
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: 40
NO MEU: ORCID | ResearcherID
53
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
54
TÍTULO: An operational semantics for StAC, a language for modelling long-running business transactions
AUTORES: Butler, M; Ferreira, C ;
PUBLICAÇÃO: 2004, FONTE: 6th International Conference on Coordination Models and Languages (COORDINATION 2004) in COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, VOLUME: 2949
INDEXADO EM: Scopus WOS CrossRef: 59
NO MEU: ORCID | ResearcherID
55
TÍTULO: Model-based approaches for validating business critical systems
AUTORES: Augusto, J; Howard, Y; Gravell, A; Ferreira, C ; Gruner, S; Leuschel, M;
PUBLICAÇÃO: 2004, FONTE: 11th Annual International Workshop on Software Technology and Engineering Practice in ELEVENTH ANNUAL INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE, PROCEEDINGS
INDEXADO EM: WOS
NO MEU: ResearcherID
56
TÍTULO: Model-based approaches for validating business critical systems
AUTORES: Augusto J.; Howard Y.; Gravell A.; Ferreira C. ; Gruner S.; Leuschel M.;
PUBLICAÇÃO: 2004, FONTE: Proceedings - 11th Annual International Workshop on Software Technology and Engineering Practice, STEP 2003
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
57
TÍTULO: The benefits of rapid modelling for E-business system development
AUTORES: Augusto, JC; Ferreira, C ; Gravell, AM; Leuschel, MA; Ng, KMY;
PUBLICAÇÃO: 2003, FONTE: 22nd International Conference on Conceptual Modeling (ER 2003) in CONCEPTUAL MODELING FOR NOVEL APPLICATION DOMAINS, PROCEEDINGS, VOLUME: 2814
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID
58
TÍTULO: Using B refinement to analyse compensating business processes
AUTORES: Ferreira, C ; Butler, M;
PUBLICAÇÃO: 2003, FONTE: 3rd International Conference on B and Z Users in ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, VOLUME: 2651
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID
59
TÍTULO: Using SPIN and STeP to verify business processes specifications
AUTORES: Augusto, JC; Butler, M; Ferreira, C ; Craig, SJ;
PUBLICAÇÃO: 2003, FONTE: 5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics in PERSPECTIVES OF SYSTEM INFORMATICS, VOLUME: 2890
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID
60
TÍTULO: Extending the concept of transaction compensation
AUTORES: Chessell, M; Griffin, C; Vines, D; Butler, M; Ferreira, C ; Henderson, P;
PUBLICAÇÃO: 2002, FONTE: IBM SYSTEMS JOURNAL, VOLUME: 41, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef: 29
NO MEU: ORCID
Página 6 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