출판 A visualization-enhanced graphical user interface for geospatial resource discovery Zhipeng Gui, Chaowei Yang, Jizhe Xia, Jing Li, Abdelmounaam Rezgui, Min Sun, Yan Xu, Dan Fay Annals of GIS | April 2013, pp. 1-13
출판 Interlacing Families I: Bipartite Ramanujan Graphs of All Degrees A. Marcus, D. Spielman, Nikhil Srivastava 2013 IEEE 54th Annual Symposium on Foundations of Computer Science | April 2013, pp. 529-537
출판 Combinatorial Walrasian Equilibrium Michal Feldman, Nick Gravin, Brendan Lucier Symposium on Theory of Computing 2013 | April 2013
출판 How do disturbances and environmental heterogeneity affect the pace of forest distribution shifts under climate change? Drew Purves Ecography | April 2013
출판 Climate-related variation in mortality and recruitment determine regional forest-type distributions Drew Purves Global Ecology and Biogeography | April 2013 프로젝트
출판 Better termination proving through cooperation Marc Brockschmidt, Byron Cook, Carsten Fuhs CAV proceedings | April 2013
출판 Communication Complexity of Approximate Maximum Matching in Distributed Graph Data Zengfeng Huang, Bozidar Radunovic, Milan Vojnovic, Qin Zhang MSR-TR-2013-35 | April 2013
출판 Hypergraphic LP Relaxations for Steiner Trees Deeparnab Chakrabarty, Jochen Könemann, David Pritchard SIAM Journal on Discrete Mathematics | March 2013, 제 27 권(1): pp. 507-533