Concepedia

Anca Browne

AB

4

Publications

355

Citations

4

H-Index

1995

Active since

Affiliations

Stanford University(Current)

Anca Browne is an author at Stanford University specializing in formal methods, program analysis, and software analysis.

Top concepts

Publications per year

1995–2000

4

Publications

4

Automatic generation of invariants and intermediate assertions

Nikolaj Bjørner, Anca Browne, Zohar Manna · Theoretical Computer Science · 1997 · 155 citations · Full text

, , +18

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

Nikolaj Bjørner, Anca Browne, Michael A. Colón et al. · Formal Methods in System Design · 2000 · 91 citations

An improved algorithm for the evaluation of fixpoint expressions

Anca Browne, E. M. Clarke, Sumit Kumar Jha et al. · Theoretical Computer Science · 1997 · 80 citations

, , +7

STeP: The Stanford Temporal Prover (Educational Release) User''s Manual

Nikolaj Bjørner, Anca Browne, Eddie Chang et al. · 1995 · 29 citations

, , +21

Rows per page

1–4 of 4