Jeannette Wing (Spanish Wikipedia)

Analysis of information sources in references of the Wikipedia article "Jeannette Wing" in Spanish language version.

refsWebsite

Global rank Spanish rank

2^nd place

2^nd place

6^th place

5^th place

1,564^th place

1,495^th place

153^rd place

168^th place

488^th place

747^th place

archive.org

Wing, Jeannette M; Woodcock, Jim; Davies, Jim, eds. (1999). FM'99 – Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I. LNCS 1708. Springer-Verlag. ISBN 978-3-540-66587-8. doi:10.1007/3-540-48119-2.
Wing, Jeannette M; Woodcock, Jim; Davies, Jim, eds. (1999). FM'99 – Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II. LNCS 1709. Springer-Verlag. ISBN 978-3-540-66588-5. doi:10.1007/3-540-48118-4.
Garland, S. J.; Jones, K. D.; Modet, A.; Wing, J. M. (1993). Guttag, J. V.; Horning, J. J., eds. Larch: Languages and Tools for Formal Specification. Springer-Verlag. ISBN 978-1-4612-7636-4. doi:10.1007/978-1-4612-2704-5.

cmu.edu

cs.cmu.edu

Wing, Jeanette M. (2006). «Computational thinking». Communications of the ACM 49 (3): 33. doi:10.1145/1118178.1118215.
«Jeannette M. Wing». cs.cmu.edu.

columbia.edu

news.columbia.edu

«President Bollinger Names Microsoft Research Head Jeannette Wing to Lead Columbia's Data Science Institute"». Consultado el 1 de mayo de 2017.

doi.org

dx.doi.org

Wing, Jeanette M. (2006). «Computational thinking». Communications of the ACM 49 (3): 33. doi:10.1145/1118178.1118215.
Wing, Jeannette M; Woodcock, Jim; Davies, Jim, eds. (1999). FM'99 – Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I. LNCS 1708. Springer-Verlag. ISBN 978-3-540-66587-8. doi:10.1007/3-540-48119-2.
Wing, Jeannette M; Woodcock, Jim; Davies, Jim, eds. (1999). FM'99 – Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II. LNCS 1709. Springer-Verlag. ISBN 978-3-540-66588-5. doi:10.1007/3-540-48118-4.
Garland, S. J.; Jones, K. D.; Modet, A.; Wing, J. M. (1993). Guttag, J. V.; Horning, J. J., eds. Larch: Languages and Tools for Formal Specification. Springer-Verlag. ISBN 978-1-4612-7636-4. doi:10.1007/978-1-4612-2704-5.
Herlihy, M. P.; Wing, J. M. (1990). «Linearizability: A correctness condition for concurrent objects». ACM Transactions on Programming Languages and Systems 12 (3): 463. doi:10.1145/78969.78972.
Clarke, E. M.; Wing, J. M. (1996). «Formal methods: State of the art and future directions». ACM Computing Surveys 28 (4): 626. doi:10.1145/242223.242257.

microsoft.com

research.microsoft.com

«Jeannette Wing». Consultado el 6 de julio de 2014.

blogs.microsoft.com

Clayton, Steve (20 de noviembre de 2012). «Dr. Jeannette Wing: New Vice President, Head of Microsoft Research International». blogs.microsoft.com.