Jeannette M Wing
机构: Executive Vice President for Research, Professor of Computer Science, Columbia University
主页: columbia.edu
每年引用次数
引用次数
引用: 42,304
H-指数: 62
I10-指数 : 137
出版物: 344
Vulnerability Analysis of Networked Systems
Jeannette M. Wing
workshops on enabling technologies: infrastracture for collaborative enterprises 4
2
2002
Formal methods for computer systems
Jeannette M. Wing
Encyclopedia of Computer Science 720 -721
2003
Towards a Theory of Trust in Networks of Humans and Computers (CMU-CyLab-11-016)
Jeannette M. Wing , Virgil D. Gligor
2011
Fast, automatic checking of security protocols
Jeannette M. Wing , Darrell Kindred
WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2 5 -5
49
1996
Extensions to Standard ML to Support Transactions
Jeannette M. Wing , J. G Morrisett , Scott Nettles , Manuel Fähndrich
Carnegie Mellon University
18
1992
Verifiable Secret Redistribution for Threshold Sharing Schemes (CMU-CS-02-114)
Jeannette M. Wing , Theodore M. Wong , Chenxi Wang
6
2002
Verifiable Secret Redistribution (CMU-CS-01-155)
Jeannette M. Wing , Theodore M. Wong
2001
Confidentiality Policies and Their Extraction from Programs
Jeannette M. Wing , Michael C. Tschantz
1
2007
Usable Verification: Balancing Thinking and Automating
Jeannette M. Wing
2010
Information Flow Investigations (CMU-CS-13-118)
Michael Carl Tschantz , Anupam Datta , Jeannette M Wing ,
1
2013
On the Semantics of Purpose Requirements in Privacy Policies (CMU-CS-11-102)
Michael Carl. Tschantz , Anupam Datta , Jeannette M Wing ,
2011
Family Values: A Behavioral Notion of Subtyping
Jeannette M. Wing , Barbara Liskov
Massachusetts Institute of Technology
23
1993
Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum
Jeannette M. Wing
algebraic methodology and software technology 2 -9
16
2000
A formal specification of a visual language editor
Amy Moormann Zaremski , Jeannette M. Wing
international workshop on software specification and design 120 -129
4
1991
Computational Thinking 計算論的思考
Jeannette M. Wing , 翻訳：中島 秀之
情報処理 56 ( 6) 584 -587
2015
Towards a Theory of Trust
Jeannette M. Wing
6
2013
Formal Specification of AEC Product Models
Jeannette M. Wing , John W. Baugh , Harpreet S. Chadha
Computing in Civil Engineering 571 -578
1
1994
Computational thinking’s influence on research and education for all
Jeannette M. Wing
Journal on Educational Technology 25 ( 2) 7 -14
16
2017
Proceedings of the first First International Workshop on Larch
Jeannette M. Wing , Ursula Martin
1992
Program specification
Jeannette M. Wing
Encyclopedia of Computer Science 1454 -1458
1
2003