SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Carla Ferreira · Study

Home/Author

Carla Ferreira

5 works· latest 2020· 3 institutionscluster: provisionalORCID 0000-0003-3680-7634

h-index5

i104

Citations232

Works here5

02

03

04

08

20

Most cited in this library

An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions2004 · 143 citations
Extending the concept of transaction compensation2002 · 47 citations
Precise Modelling of Compensating Business Transactions and its Application to BPEL2020 · 22 citations
Conceptual Model for Continuous Organizational Auditing with Real Time Analysis and Modern Control Theory2008 · 12 citations
Using B Refinement to Analyse Compensating Business Processes2003 · 8 citations

Works

5 shown

Precise Modelling of Compensating Business Transactions and its Application to BPEL

TUGraz OPEN Library (Graz University of Technology)·2020·3 authors·other·Open access

22citations

Conceptual Model for Continuous Organizational Auditing with Real Time Analysis and Modern Control Theory

Journal of Emerging Technologies in Accounting·2008·4 authors

12citations

An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions

Lecture notes in computer science·2004·2 authors·other

143citations

Using B Refinement to Analyse Compensating Business Processes

Lecture notes in computer science·2003·2 authors·other

8citations

Extending the concept of transaction compensation

IBM Systems Journal·2002·5 authors

47citations