Ana Cavalcanti

Ana Cavalcanti publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Ana Cavalcanti sits on this spectrum.

Ana Cavalcanti D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Ana Cavalcanti sits on this spectrum.

Best Publications

• The Semantics of Circus

  Jim Woodcock;Ana Cavalcanti

  301
  Citations

• A Refinement Strategy for Circus

  Ana L. C. Cavalcanti;Augusto C.A. Sampaio;Jim Woodcock

  194
  Citations

• A UTP semantics for Circus

  Marcel Oliveira;Ana Cavalcanti;Jim Woodcock

  177
  Citations

• A concurrent language for refinement

  Jim Woodcock;Ana Cavalcanti

  159
  Citations

• ZRC --- A Refinement Calculus for Z

  Ana Cavalcanti;Jim Woodcock

  121
  Citations

• RoboChart: modelling and verification of the functional behaviour of robotic applications

  Alvaro Heiji Miyazawa;Pedro Fernando De Oliveira Salazar Ribeiro;W. Li;Ana Lucia Caneca Cavalcanti

  120
  Citations

• Algebraic reasoning for object-oriented programming

  Paulo Borba;Augusto Sampaio;Ana Cavalcanti;Márcio Cornélio

  120
  Citations

• Features of CML: A formal modelling language for Systems of Systems

  J. Woodcock;A. Cavalcanti;J. Fitzgerald;P. Larsen

  108
  Citations

• Refinement in Circus

  Augusto Sampaio;Jim Woodcock;Ana Cavalcanti

  103
  Citations

• A Tutorial Introduction to CSP in Unifying Theories of Programming

  A. L. C. Cavalcanti;J. C. P. Woodcock

  86
  Citations

• Modular Object-oriented Z Specifications

  Unknown

  78
  Citations

• Unifying classes and processes

  Ana Cavalcanti;Augusto Sampaio;Jim Woodcock

  75
  Citations

• A weakest precondition semantics for refinement of object-oriented programs

  Unknown

  75
  Citations

• A process algebraic framework for specification and validation of real-time systems

  Unknown

  72
  Citations

• A Weakest Precondition Semantics for an Object-Oriented Language of Refinement

  Unknown

  71
  Citations

• Automatic translation from Circus to Java

  Unknown

  70
  Citations

• Control law diagrams in circus

  Unknown

  60
  Citations

• Unifying theories in ProofPower-Z

  Marcel Oliveira;Ana Cavalcanti;Jim Woodcock

  48
  Citations

• Verified simulation for robotics

  Ana Cavalcanti;Augusto Sampaio;Alvaro Miyazawa;Pedro Ribeiro

  39
  Citations

• ArcAngel: a Tactic Language for Refinement

  Marcel V. M. Oliveira;Ana L. C. Cavalcanti;Jim Woodcock

  37
  Citations