Jeannette M Wing

Citado por

	Total	Desde 2020
Citas	44991	15532
Índice h	63	32
Índice i10	134	53

3300

1650

825

2475

1989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025160 168 228 248 304 324 349 315 413 454 480 453 484 529 582 713 796 929 985 1010 1104 1125 1123 1195 1375 1626 1635 1878 2156 2524 2738 2829 2945 3115 3289 3136 205

Acceso público

Ver todo

10 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Maurice HerlihyAn Wang Professor of Computer Science, Brown UniversityDirección de correo verificada de cs.brown.edu
Somesh JhaLubar Chair of Computer Science, University of WisconsinDirección de correo verificada de cs.wisc.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Pratyusa K. ManadhataFacebookDirección de correo verificada de alumni.cmu.edu
Anupam DattaSnowflake AI Research, Ex-Professor CMUDirección de correo verificada de snowflake.com
Daniel JacksonMITDirección de correo verificada de mit.edu
Richard LippmannLaboratory Fellow, MIT Lincoln LaboratoryDirección de correo verificada de ll.mit.edu
Mark MaimoneNASA, Jet Propulsion Laboratory, California Institute of TechnologyDirección de correo verificada de jpl.nasa.gov
Charles WeinstockPrincipal Researcher, Software Engineering Institute, Carnegie Mellon UniversityDirección de correo verificada de conjelco.com
Jim WoodcockProfessor of Software Engineering, University of YorkDirección de correo verificada de york.ac.uk
Allan HeydonSoftware Engineer, GoogleDirección de correo verificada de google.com
Mandana VaziriIBM ResearchDirección de correo verificada de us.ibm.com
David GarlanProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Kevin D JonesUniversity of PlymouthDirección de correo verificada de plymouth.ac.uk
Gary T. LeavensProfessor, University of Central FloridaDirección de correo verificada de cs.ucf.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
Jim DaviesUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Thomas CortinaCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchDirección de correo verificada de fahndrich.com
Sriram RajamaniMicrosoft Research Dirección de correo verificada de microsoft.com

Seguir

Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science, Columbia University

Dirección de correo verificada de columbia.edu - Página principal

trustworthy AI security and privacy formal methods programming languages


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Computational thinking JM Wing Communications of the ACM 49 (3), 33-35, 2006	14197	2006
Linearizability: A correctness condition for concurrent objects MP Herlihy, JM Wing ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (3), 463-492, 1990	4310	1990
Computational thinking and thinking about computing JM Wing Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008	3377	2008
Formal methods: State of the art and future directions EM Clarke, JM Wing ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996	2286	1996
Automated generation and analysis of attack graphs O Sheyner, J Haines, S Jha, R Lippmann, JM Wing Proceedings 2002 IEEE Symposium on Security and Privacy, 273-284, 2002	1975	2002
A behavioral notion of subtyping BH Liskov, JM Wing ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994	1836	1994
A specifier's introduction to formal methods JM Wing Computer 23 (9), 8-22, 1990	1317	1990
Research Notebook: Computational Thinking-What and Why J Wing The Link/Carneige Mellon, 2011	1044	2011
An attack surface metric PK Manadhata, JM Wing IEEE Transactions on Software Engineering 37 (3), 371-386, 2010	946	2010
Two formal analyses of attack graphs S Jha, O Sheyner, J Wing Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 49-63, 2002	870	2002
Specification matching of software components AM Zaremski, JM Wing ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 333-369, 1997	837	1997
Game strategies in network security K Lye, JM Wing International Journal of Information Security 4, 71-86, 2005	659	2005
Signature matching: a tool for using software libraries AM Zaremski, JM Wing ACM Transactions on Software Engineering and Methodology (TOSEM) 4 (2), 146-170, 1995	512	1995
Computational thinking benefits society JM Wing 40th anniversary blog of social issues in computing 2014, 26, 2014	467	2014
Computational thinking’s influence on research and education for all J Wing Italian Journal of Educational Technology 25 (2), 7-14, 2017	453	2017
The Larch Family of Specification Languages. JV Guttag, JJ Horning, JM Wing IEEE Softw. 2 (5), 24-36, 1985	435	1985
Demystifying computational thinking for non-computer scientists J Cuny, L Snyder, JM Wing Unpublished manuscript in progress, referenced in http://www. cs. cmu. edu …, 2010	411	2010
Tools for generating and analyzing attack graphs O Sheyner, J Wing International symposium on formal methods for components and objects, 344-371, 2003	366	2003
Measuring relative attack surfaces M Howard, J Pincus, JM Wing Computer security in the 21st century, 109-137, 2005	334	2005
Ranking attack graphs V Mehta, C Bartzis, H Zhu, E Clarke, J Wing International Workshop on Recent Advances in Intrusion Detection, 127-144, 2006	309	2006

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores