Login
中文
Cormac Flanagan
HIndex: 25
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Computer Science
Reliability
Model checking
Verification and validation
Reduction
Verification
Source lines of code
Process management
Concurrency
Type system
Theory of computation
Race condition
Formal methods
Operating system
Multithreading
Program analysis
Type inference
Semantics
Logic
Dynamic program analysis
Atomicity
Software system
Software verification
Software quality
Interference
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Computer Science
Reliability
Model checking
Verification and validation
Reduction
Verification
Source lines of code
Process management
Concurrency
Type system
Theory of computation
Race condition
Formal methods
Operating system
Multithreading
Program analysis
Type inference
Semantics
Logic
Dynamic program analysis
Atomicity
Software system
Software verification
Software quality
Interference
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Cormac Flanagan
University Of California
76
Cormac Flanagan
Rice University
42
Cormac Flanagan
Rice University
6
Cormac Flanagan
University Of California Santa Cruz
3
×
Share to your followers
Submit