pith. sign in

Carla Ferreira

Identifiers

  • name variant Carla Ferreira 0.60 · backfill

Papers (11)

  1. Systematic API Testing Through Model Checking and Executable Contracts cs.SE · 2026 · author #3
  2. Set CRDT com M\'ultiplas Pol\'iticas de Resolu\c{c}\~ao de Conflitos cs.DS · 2019 · author #2
  3. Antidote SQL: Relaxed When Possible, Strict When Necessary cs.DB · 2019 · author #4
  4. Fusion of laser diffraction and chord length distribution data for estimation of particle size distribution using multi-objective optimisation physics.data-an · 2018 · author #2
  5. IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases cs.DC · 2018 · author #4
  6. Preventing Atomicity Violations with Contracts cs.DC · 2015 · author #3
  7. Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants cs.DC · 2015 · author #4
  8. Real dqds for the nonsymmetric tridiagonal eigenvalue problem math.NA · 2012 · author #1
  9. Structure-preserving Schur methods for computing square roots of real skew-Hamiltonian matrices math.NA · 2012 · author #3
  10. Urgency/Emergency Health Processes' Modelling: A Case Study cs.SE · 2011 · author #3
  11. Identification of the Risk Related to a Process on Hospital Emergency Service: a Case Study cs.SE · 2011 · author #3

Mentions

  • 1201.5065 #1 · arxiv_oai · confidence 0.70 Carla Ferreira
  • 1201.5055 #3 · arxiv_oai · confidence 0.70 Carla Ferreira
  • 1505.02951 #3 · backfill · confidence 0.70 Carla Ferreira
  • 1503.09052 #4 · backfill · confidence 0.70 Carla Ferreira
  • 1201.5065 #1 · backfill · confidence 0.70 Carla Ferreira
  • 1201.5055 #3 · backfill · confidence 0.70 Carla Ferreira
  • 1112.1662 #3 · backfill · confidence 0.70 Carla Ferreira
  • 1112.1661 #3 · backfill · confidence 0.70 Carla Ferreira

Frequent Coauthors