Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jeannette M. Wing
Progress in Computational Thinking, and Expanding the HPC Community
Communications of the ACM
Computer Science
Purpose Restrictions on Information Use
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Specifying and Prototyping: Some Thoughts on Why They Are Successful
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Specifying Avalon Objects in Larch
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Software Systems: A Case Study.
Using Belief to Reason About Cache Coherence