×

zbMATH — the first resource for mathematics

Ferreira, Carla

Compute Distance To:
Author ID: ferreira.carla Recent zbMATH articles by "Ferreira, Carla"
Published as: Ferreira, Carla; Ferreira, C.
External Links: ORCID
Documents Indexed: 19 Publications since 1998

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 47 times in 30 Documents Cited by Year
A trace semantics for long-running transactions. Zbl 1081.68644
Butler, Michael; Hoare, Tony; Ferreira, Carla
11
2005
An operational semantics for StAC, a language for modelling long-running business transactions. Zbl 1081.68643
Butler, Michael; Ferreira, Carla
8
2004
On the expressive power of primitives for compensation handling. Zbl 1260.68102
Lanese, Ivan; Vaz, Cátia; Ferreira, Carla
7
2010
Comparing two approaches to compensable flow composition. Zbl 1134.68316
Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo
7
2005
Sensitivity of eigenvalues of an unsymmetric tridiagonal matrix. Zbl 1332.65050
Ferreira, Carla; Parlett, Beresford; Dopico, Froilán M.
4
2012
A process compensation language. Zbl 1043.68528
Butler, Michael; Ferreira, Carla
2
2000
Some embeddings of the space of partially complex structures. Zbl 0951.53040
Ferreira, C.; Machado, A.
2
1998
’Cause I’m strong enough: reasoning about consistency choices in distributed systems. Zbl 1347.68029
Gotsman, Alexey; Yang, Hongseok; Ferreira, Carla; Najafzadeh, Mahsa; Shapiro, Marc
1
2016
Minimization problems for certain structured matrices. Zbl 1328.65095
Liu, Zhongyun; Ralha, Rui; Zhang, Yulin; Ferreira, Carla
1
2015
The inverse eigenvector problem for real tridiagonal matrices. Zbl 1338.65103
Parlett, Beresford; Dopico, Froilán M.; Ferreira, Carla
1
2016
Using B refinement to analyse compensating business processes. Zbl 1028.68506
Ferreira, Carla; Butler, Michael
1
2003
On inverse eigenvalue problems for block Toeplitz matrices with Toeplitz blocks. Zbl 1192.65040
Liu, Zhongyun; Zhang, Yulin; Ferreira, C.; Ralha, Rui
1
2010
Convergence of LR algorithm for a one-point spectrum tridiagonal matrix. Zbl 1176.65040
Ferreira, Carla; Parlett, Beresford
1
2009
’Cause I’m strong enough: reasoning about consistency choices in distributed systems. Zbl 1347.68029
Gotsman, Alexey; Yang, Hongseok; Ferreira, Carla; Najafzadeh, Mahsa; Shapiro, Marc
1
2016
The inverse eigenvector problem for real tridiagonal matrices. Zbl 1338.65103
Parlett, Beresford; Dopico, Froilán M.; Ferreira, Carla
1
2016
Minimization problems for certain structured matrices. Zbl 1328.65095
Liu, Zhongyun; Ralha, Rui; Zhang, Yulin; Ferreira, Carla
1
2015
Sensitivity of eigenvalues of an unsymmetric tridiagonal matrix. Zbl 1332.65050
Ferreira, Carla; Parlett, Beresford; Dopico, Froilán M.
4
2012
On the expressive power of primitives for compensation handling. Zbl 1260.68102
Lanese, Ivan; Vaz, Cátia; Ferreira, Carla
7
2010
On inverse eigenvalue problems for block Toeplitz matrices with Toeplitz blocks. Zbl 1192.65040
Liu, Zhongyun; Zhang, Yulin; Ferreira, C.; Ralha, Rui
1
2010
Convergence of LR algorithm for a one-point spectrum tridiagonal matrix. Zbl 1176.65040
Ferreira, Carla; Parlett, Beresford
1
2009
A trace semantics for long-running transactions. Zbl 1081.68644
Butler, Michael; Hoare, Tony; Ferreira, Carla
11
2005
Comparing two approaches to compensable flow composition. Zbl 1134.68316
Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo
7
2005
An operational semantics for StAC, a language for modelling long-running business transactions. Zbl 1081.68643
Butler, Michael; Ferreira, Carla
8
2004
Using B refinement to analyse compensating business processes. Zbl 1028.68506
Ferreira, Carla; Butler, Michael
1
2003
A process compensation language. Zbl 1043.68528
Butler, Michael; Ferreira, Carla
2
2000
Some embeddings of the space of partially complex structures. Zbl 0951.53040
Ferreira, C.; Machado, A.
2
1998

Citations by Year