Jeannette M. Wing
发表
Maurice Herlihy,
Jeannette M. Wing,
M. Herlihy,
1988,
OOPSLA/ECOOP '88.
Jeannette M. Wing,
1990,
Computer.
Jeannette M. Wing,
2018,
KDD.
Jeannette M. Wing,
Pratyusa K. Manadhata,
Yücel Karabulut,
2009,
ESSoS.
Jeannette M. Wing,
Chun Gong,
1990
.
Jeannette M. Wing,
2003,
IEEE Security & Privacy Magazine.
Jeannette M. Wing,
Jonathan D. Pincus,
2005,
ICATPN.
Jeannette M. Wing,
2005,
VISSAS.
Sanjit A. Seshia,
Nicholas Hopper,
Jeannette M. Wing,
2000
.
Michael Carl Tschantz,
Anupam Datta,
Jeannette M. Wing,
2012,
2012 IEEE Symposium on Security and Privacy.
Mahadev Satyanarayanan,
David C. Steere,
Jeannette M. Wing,
1994,
PODC '94.
Jeannette M. Wing,
Scott Nettles,
Stewart M. Clamen,
1990,
Proceedings. 1990 International Conference on Computer Languages.
Jeannette M. Wing,
1988
.
Jeannette M. Wing,
2020,
Commun. ACM.
Jeannette M. Wing,
J. Somesh,
2001,
ICSE 2001.
Jeannette M. Wing,
Oleg Sheyner,
Oleg Sheyner,
2003,
FMCO.
Jeannette M. Wing,
2007,
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Somesh Jha,
Jeannette M. Wing,
2001,
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Barry W. Boehm,
Nancy A. Lynch,
Butler W. Lampson,
1999,
SOEN.
Ursula Martin,
Jeannette M. Wing,
1993,
Larch.
Jeannette M. Wing,
1995,
ZUM.
Jeannette M. Wing,
1993,
ECOOP Workshop.
Jeannette M. Wing,
1992,
LICS 1992.
Somesh Jha,
Jeannette M. Wing,
Oleg Sheyner,
2002,
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Jeannette M. Wing,
1987,
TOPL.
Edmund M. Clarke,
Haifeng Zhu,
Jeannette M. Wing,
2006,
RAID.
Jeannette M. Wing,
1983
.
Jeannette M. Wing,
2020,
Dependable Systems and Networks.
Jeannette M. Wing,
1989,
REX Workshop.
Jeannette M. Wing,
2007,
VL/HCC.
Jeannette M. Wing,
1985,
SOEN.
J. Doug Tygar,
Allan Heydon,
Jeannette M. Wing,
1989,
IFIP Congress.
Jeannette M. Wing,
John W. Baugh,
Harpreet S. Chadha,
1994
.
Jeannette M. Wing,
John Ockerbloom,
J. Ockerbloom,
2000,
IEEE Trans. Software Eng..
Jeannette M. Wing,
Amy Moormann Zaremski,
1991,
Proceedings of the Sixth International Workshop on Software Specification and Design.
Jeannette M. Wing,
1998,
ASIAN.
Jeannette M. Wing,
Chun Gong,
1989
.
Stephen J. Garland,
James J. Horning,
Jeannette M. Wing,
1993
.
Jeannette M. Wing,
1992,
Refine.
Jeannette M. Wing,
Amy Moormann Zaremski,
1993,
SIGSOFT '93.
Jeannette M. Wing,
2019,
Issue 1.
Jeannette M. Wing,
Scott Nettles,
Nicholas Haines,
1993
.
Nancy A. Lynch,
Jeannette M. Wing,
Mandana Vaziri,
1998,
Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).
Mario R. Barbacci,
Jeannette M. Wing,
1989
.
Jeannette M. Wing,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Maurice Herlihy,
Jeannette M. Wing,
M. Herlihy,
1990,
TOPL.
Jeannette M. Wing,
2013,
HILT.
Gary T. Leavens,
Jeannette M. Wing,
1997,
TAPSOFT.
Gary T. Leavens,
Jeannette M. Wing,
G. Leavens,
1997,
Formal Aspects of Computing.
Jeannette M. Wing,
1997
.
Jim Woodcock,
Jim Davies,
Jeannette M. Wing,
1999,
World Congress on Formal Methods.
Jeannette M. Wing,
David L. Detlefs,
1990
.
Jeannette M. Wing,
2000,
FORTE.
Miles McQueen,
Jeannette M. Wing,
Pratyusa K. Manadhata,
2006,
QoP '06.
Manuel Fähndrich,
Jeannette M. Wing,
Scott Nettles,
1993
.
Jeannette M. Wing,
Amy Moormann Zaremski,
1997
.
Jeannette M. Wing,
Nevin Heintze,
J. D. Tygar,
1996
.
Jeannette M. Wing,
2005,
International Journal of Parallel Programming.
Jeannette M. Wing,
1997
.
Jeannette M. Wing,
2020,
ArXiv.
Jeannette M. Wing,
Mario Barbacci,
M. Barbacci,
1987,
PARLE.
Jim Woodcock,
Jeannette M. Wing,
2000,
Formal Methods Syst. Des..
Jeannette M. Wing,
Mario Barbacci,
M. Barbacci,
1987,
ICPP.
Jim Woodcock,
Jeannette M. Wing,
2000,
IEEE Trans. Software Eng..
Saikat Guha,
Janice Y. Tsai,
Sriram K. Rajamani,
2014,
2014 IEEE Symposium on Security and Privacy.
Jeannette M. Wing,
2008,
CACM.
Stephen J. Garland,
James J. Horning,
Jeannette M. Wing,
1993
.
Michael Howard,
Jeannette M. Wing,
Jon Pincus,
2005
.
Jeannette M. Wing,
2003
.
Mario R. Barbacci,
Jeannette M. Wing,
Charles B. Weinstock,
1989
.
Robert O'Callahan,
Jeannette M. Wing,
Daniel Jackson,
2001
.
Edward Seidel,
Jeannette M. Wing,
E. Seidel,
2010,
J. Comput. Sci..
Jeannette M. Wing,
2002,
MPC.
Farhad Arbab,
Jeannette M. Wing,
F. Arbab,
1985
.
Edmund M. Clarke,
Jeannette M. Wing,
E. Clarke,
1996
.
Mark Guzdial,
Jeannette M. Wing,
2009,
Commun. ACM.
Jeannette M. Wing,
1989
.
Jeannette M. Wing,
2008,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Stephen J. Garland,
James J. Horning,
Jeannette M. Wing,
1993,
Texts and Monographs in Computer Science.
Maurice Herlihy,
Jeannette M. Wing,
1989,
Proceedings of the Computer Security Foundations Workshop II,.
Jeannette M. Wing,
Danella Zhao,
2016,
2016 29th IEEE International System-on-Chip Conference (SOCC).
Jeannette M. Wing,
Mario Barbacci,
Charles B. Weinstock,
1989,
Comput. Syst..
David C. Steere,
Jeannette M. Wing,
D. Steere,
1995,
Proceedings of 15th International Conference on Distributed Computing Systems.
Jeannette M. Wing,
1988
.
Jeannette M. Wing,
D. L. Detlefs,
M. Herlthy,
1988
.
David E. Culler,
Magdalena Balazinska,
Jennifer Rexford,
2018
.
Stephen J. Garland,
Kevin D. Jones,
James J. Horning,
1993
.
J. Gregory Morrisett,
Jeannette M. Wing,
Scott Nettles,
1994,
TOPL.
Jeannette M. Wing,
John Mark Ockerbloom,
2000
.
Michael Carl Tschantz,
Jeannette M. Wing,
2007
.
Michael Carl Tschantz,
Anupam Datta,
Jeannette M. Wing,
2013
.
David W. Stemple,
Stanley B. Zdonik,
Jeannette M. Wing,
1989,
OOPSLA.
J. Doug Tygar,
Allan Heydon,
Jeannette M. Wing,
1990,
IEEE Trans. Software Eng..
Jeannette M. Wing,
Chun Gong,
1990
.
Somesh Jha,
Jeannette M. Wing,
Oleg Sheyner,
2002
.
Stephen J. Garland,
James J. Horning,
Jeannette M. Wing,
1993
.
Kymie M. C. Tan,
Roy A. Maxion,
Jeannette M. Wing,
2007
.
James E. Tomayko,
David Garlan,
Daniel Jackson,
1995,
CSEE.
Michael Carl Tschantz,
Anupam Datta,
Jeannette M. Wing,
2014,
2015 IEEE 28th Computer Security Foundations Symposium.
Maurice Herlihy,
Jeannette M. Wing,
1988,
FTRTFT.
Maurice Herlihy,
Jeannette M. Wing,
Su-Yuen Ling,
1991
.
Jeannette M. Wing,
Theodore M. Wong,
T. Wong,
2004
.
Somesh Jha,
Richard Lippmann,
Jeannette M. Wing,
2002,
Proceedings 2002 IEEE Symposium on Security and Privacy.
Jeannette M. Wing,
Barbara Liskov,
B. Liskov,
1992
.
Jeannette M. Wing,
Kong-wei Lye,
Kong-wei Lye,
2005,
International Journal of Information Security.
Jeannette M. Wing,
1990,
IEEE Trans. Software Eng..
Jeannette M. Wing,
Mandana Vaziri,
M. Vaziri,
1997,
Sci. Comput. Program..
Jeannette M. Wing,
1991
.
Jeannette M. Wing,
Mario Barbacci,
1990,
Proceedings. 1990 International Conference on Computer Languages.
David Lorge Parnas,
Robert L. Glass,
Cliff B. Jones,
1996,
Computer.
Jeannette M. Wing,
2008,
IPDPS.
Mahadev Satyanarayanan,
Lily B. Mummert,
Jeannette M. Wing,
1994,
PODC '94.
Jeannette M. Wing,
Theodore M. Wong,
T. Wong,
2001
.
Ursula Martin,
Jeannette M. Wing,
U. Martin,
1993,
Workshops in Computing.
Jeannette M. Wing,
Chun Gong,
1990
.
Jeannette M. Wing,
2000,
AMAST.
Yuri Gurevich,
Jeannette M. Wing,
Efim Hudis,
2015
.
Jeannette M. Wing,
1987
.
Jeannette M. Wing,
Theodore M. Wong,
T. Wong,
2001
.
Jeannette M. Wing,
2007,
SIGCSE.
Jeannette M. Wing,
Eugene J. Rollins,
1991,
ICLP.
Jeannette M. Wing,
2017
.
Jeannette M. Wing,
2008
.
Jeannette M. Wing,
1998,
Proceedings Computer Security, Dependability, and Assurance: From Needs to Solutions (Cat. No.98EX358).
Jeannette M. Wing,
Barbara Liskov,
B. Liskov,
1994,
TOPL.
Maurice Herlihy,
Jeannette M. Wing,
M. Herlihy,
1986
.
Jeannette M. Wing,
Amy Moormann Zaremski,
Eugene J. Rollins,
1992,
Larch.
Ed Huai-hsin Chi,
Jeannette M. Wing,
2011,
CACM.
Mark Guzdial,
Jeannette M. Wing,
2013,
CACM.
Jeannette M. Wing,
Amy Moormann Zaremski,
1996
.
Maurice Herlihy,
Jeannette M. Wing,
David Detlefs,
1988,
Computer.
Jeannette M. Wing,
2017,
SIGCSE.
Jennifer Neville,
Foster J. Provost,
Qiang Yang,
2018,
KDD.
James J. Horning,
Jeannette M. Wing,
John V. Guttag,
1982,
Sci. Comput. Program..
Jeannette M. Wing,
Theodore M. Wong,
Chenxi Wang,
2002
.
Jeannette M. Wing,
Mark R. Nixon,
1989,
IEEE Trans. Software Eng..
Jeannette M. Wing,
Daniel Reed,
2010,
Commun. ACM.
Daniel Jackson,
Jeannette M. Wing,
Craig A. Damon,
2000
.
Maurice Herlihy,
Jeannette M. Wing,
M. Herlihy,
1987,
POPL '87.
Michael Carl Tschantz,
Anupam Datta,
Jeannette M. Wing,
2013,
ESORICS.
Jeannette M. Wing,
2008
.
Jeannette M. Wing,
C. Gong,
1993,
J. Parallel Distributed Comput..
J. Doug Tygar,
Allan Heydon,
Jeannette M. Wing,
1989,
[Proceedings] 1989 IEEE Workshop on Visual Languages.
Jeannette M. Wing,
Valerie Barr,
Valerie Barr,
2011,
Commun. ACM.
Jeannette M. Wing,
1995,
AMAST.
James J. Horning,
Jeannette M. Wing,
John V. Guttag,
1985,
IEEE Software.
Daniel C. Stanzione,
Jeannette M. Wing,
D. Stanzione,
2016,
Commun. ACM.
Peter B. Henderson,
Thomas J. Cortina,
Jeannette M. Wing,
2006,
Computing Handbook, 3rd ed..
Yuri Gurevich,
Jeannette M. Wing,
Elad Ziklik,
2017
.
Jeannette M. Wing,
John W. Baugh,
Harpreet S. Chadha,
1999
.
Mark Guzdial,
Jeannette M. Wing,
Daniel Reed,
2009,
Commun. ACM.
Somesh Jha,
Richard C. Linger,
Jeannette M. Wing,
2000,
Proceeding International Conference on Dependable Systems and Networks. DSN 2000.
Michael Carl Tschantz,
Anupam Datta,
Jeannette M. Wing,
2011,
ArXiv.
Jeannette M. Wing,
2010
.
Maurice Herlihy,
Jeannette M. Wing,
M. Herlihy,
1991,
IEEE Trans. Parallel Distributed Syst..
Jeannette M. Wing,
2001
.
Maurice Herlihy,
Jeannette M. Wing,
1987,
PODC '87.
Jeannette M. Wing,
Amy Moormann Zaremski,
1991,
VDM Europe.
Jeannette M. Wing,
2002,
WETICE.
Jeannette M. Wing,
Barbara Liskov,
B. Liskov,
2001,
FME 2001.
Jeannette M. Wing,
Mario Barbacci,
Charles B. Weinstock,
1988,
Proceedings. [1989] 11th International Conference on Software Engineering.
Jeannette M. Wing,
1988,
IEEE Software.
Mario R. Barbacci,
Jeannette M. Wing,
1986
.
Jim Woodcock,
Jim Davies,
Jeannette M. Wing,
1999
.
Jeannette M. Wing,
1986
.
Jeannette M. Wing,
2013
.
Michael Carl Tschantz,
Jeannette M. Wing,
2008,
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
J. Doug Tygar,
Jeannette M. Wing,
Mark W. Maimone,
1988,
[Proceedings] 1988 IEEE Workshop on Visual Languages.
Edmund M. Clarke,
Jeannette M. Wing,
1996,
CSUR.
Jeannette M. Wing,
Pratyusa K. Manadhata,
P. Manadhata,
2011,
IEEE Transactions on Software Engineering.
Jeannette M. Wing,
Scott Nettles,
Nicholas Haines,
1993
.
Jim Woodcock,
Jeannette M. Wing,
2000,
Formal Aspects of Computing.
Mary Shaw,
David Garlan,
Jeannette M. Wing,
2001
.
Jeannette M. Wing,
Oleg Sheyner,
Oleg Sheyner,
2004
.
Jeannette M. Wing,
Mark R. Nixon,
1986,
1986 IEEE Symposium on Security and Privacy.
Jeannette M. Wing,
2010
.
Jeannette M. Wing,
Barbara Liskov,
B. Liskov,
1993
.
Yuri Gurevich,
Jeannette M. Wing,
2016,
Commun. ACM.
Jeannette M. Wing,
2003,
International Journal on Software Tools for Technology Transfer.
Suman Jana,
Debmalya Mandal,
Jeannette M. Wing,
2020,
NeurIPS.
Michael Carl Tschantz,
Jeannette M. Wing,
2009,
FM.
Michael Carl Tschantz,
Jeannette M. Wing,
Anupam Datta,
2013
.
Jeannette M. Wing,
Amy Moormann Zaremski,
1995,
TSEM.
Daniel M. Berry,
Jeannette M. Wing,
D. Berry,
1985,
TAPSOFT, Vol.2.
Virgil D. Gligor,
Jeannette M. Wing,
2011,
Security Protocols Workshop.
Manuel Fähndrich,
Jeannette M. Wing,
Scott Nettles,
1992
.
Jeannette M. Wing,
Barbara Liskov,
B. Liskov,
1993,
OOPSLA '93.
Jeannette M. Wing,
Oleg Sheyner,
2000
.
Jeannette M. Wing,
Barbara Liskov,
1995,
ZUM.
Jeannette M. Wing,
2010
.
Jeannette M. Wing,
Eugene J. Rollins,
1990
.
Jeannette M. Wing,
Scott Nettles,
1992,
Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.
Stephen J. Garland,
James J. Horning,
Jeannette M. Wing,
1993
.
Jeannette M. Wing,
2000
.
Jeannette M. Wing,
Theodore M. Wong,
Chenxi Wang,
2002,
First International IEEE Security in Storage Workshop, 2002. Proceedings..
Jeannette M. Wing,
1989,
TAPSOFT, Vol.2.
Jeannette M. Wing,
Darrell Kindred,
D. Kindred,
1999
.
Jeannette M. Wing,
Pratyusa K. Manadhata,
P. Manadhata,
2011,
Moving Target Defense.
Jeannette M. Wing,
Thomas A. Longstaff,
T. Longstaff,
2004
.
Jeannette M. Wing,
Barbara Liskov,
B. Liskov,
1993,
ECOOP.
Daniel Jackson,
Jeannette M. Wing,
Yu-Chung Ng,
1999,
Formal Aspects of Computing.
Stephen J. Garland,
James J. Horning,
Jeannette M. Wing,
1993
.
Jeannette M. Wing,
Darrell Kindred,
D. Kindred,
1996
.
Jeannette M. Wing,
2006,
ASIACCS '06.
Jeannette M. Wing,
Pratyusa K. Manadhata,
P. Manadhata,
2004
.
Jeannette M. Wing,
Mandana Vaziri,
M. Vaziri,
1995,
SIGSOFT FSE.
Jeannette M. Wing,
1982,
Lecture Notes in Computer Science.
Jeannette M. Wing,
2001
.
Jeannette M. Wing,
Amy Moormann Zaremski,
1995,
TSEM.
Jeannette M. Wing,
R. Simmons,
E. Clarke,
2001
.
Jeannette M. Wing,
R. Simmons,
E. Clarke,
2001
.
Jeannette M. Wing,
2013
.
Jeannette M. Wing,
ComponentsAmy Moormann Zaremski,
1995
.
Jeannette M. Wing,
H. Wong,
Hao Chi Wong,
2000
.
Jeannette M. Wing,
2005
.
Jim Woodcock,
Jim Davies,
Jeannette M. Wing,
1999,
Lecture Notes in Computer Science.
Jeannette M. Wing,
Vandana P. Janeja,
Lucy C. Erickson,
2018
.
Jeannette M. Wing,
Darrell Kindred,
1997
.
Jeannette M. Wing,
2001
.
Farhad Arbab,
Jeannette M. Wing,
F. Arbab,
1985
.
Jeannette M. Wing,
Pratyusa K. Manadhata,
Yuecel Karabulut,
2008
.
Jeannette M. Wing,
S. F. Hummel,
Avalon,
2022
.
Jeannette M. Wing,
R. Simmons,
E. Clarke,
2001
.
Gary T. Leavens,
Jeannette M. Wing,
G. Leavens,
1999
.
Jeannette M. Wing,
B. Liskov,
1992
.
Jeannette M. Wing,
B. Liskov,
2022
.
Jeannette M. Wing,
D. Jackson,
Yu-Chung Ng,
2022
.
Jeannette M. Wing,
C. J. Wilcox,
1963
.
Jeannette M. Wing,
2002
.
Jeannette M. Wing,
1975
.
Jeannette M. Wing,
N. L. Jacobson,
R. S. Allen,
1955
.
Jeannette M. Wing,
J. Ockerbloom,
2022
.
Jeannette M. Wing,
J. Tygar,
N. Heintze,
1996
.
Jeannette M. Wing,
Jon Pincus,
2005
.
Jeannette M. Wing,
Chenxi Wang,
T. Wong,
2002
.
Jeannette M. Wing,
1969,
Journal of dairy science.
Jeannette M. Wing,
C. J. Wilcox,
W. Thatcher,
1979
.
Jeannette M. Wing,
H. H. Van Horn,
B. Harris,
1988,
Journal of dairy science.
Jeannette M. Wing,
F. Pinzón,
1976,
Journal of dairy science.
Jeannette M. Wing,
J. Mccall,
R. B. Becker,
1957
.
Jeannette M. Wing,
Daniel J. Hsu,
S. Jana,
2020,
NeurIPS.
Jeannette M. Wing,
K. Dickinson,
B. Barratt,
2019,
Pedobiologia.
J. Doug Tygar,
Jeannette M. Wing,
Mark W. Maimone,
1990
.
Jeannette M. Wing,
Matthijs V'ak'ar,
Ryan Bernstein,
2020,
FODS.
Jeannette M. Wing,
K. Berhane,
L. Fried,
2021,
Public Health Reviews.
Virgil D. Gligor,
Jeannette M. Wing,
V. Gligor,
2011,
Security Protocols Workshop.
Jeannette M. Wing,
J. M. Wing,
G. E. Schaibly,
1974
.
Jeannette M. Wing,
Subhrendu K. Pattanayak,
B. Hubbell,
2002
.
Jeannette M. Wing,
2001
.
Jeannette M. Wing,
2016
.
Jeannette M. Wing,
R. Littell,
C. J. Wilcox,
1989,
Journal of dairy science.
Jeannette M. Wing,
E. Clarke,
1996,
CSUR.
Jeannette M. Wing,
Amy Moormann Zaremski,
1995,
SIGSOFT FSE.