Publication 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
Publication 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
Publication Combinatorial Walrasian Equilibrium Michal Feldman, Nick Gravin, Brendan Lucier Symposium on Theory of Computing 2013 | April 2013
Publication How do disturbances and environmental heterogeneity affect the pace of forest distribution shifts under climate change? Drew Purves Ecography | April 2013
Publication Climate-related variation in mortality and recruitment determine regional forest-type distributions Drew Purves Global Ecology and Biogeography | April 2013 Project
Publication Better termination proving through cooperation Marc Brockschmidt, Byron Cook, Carsten Fuhs CAV proceedings | April 2013
Publication Communication Complexity of Approximate Maximum Matching in Distributed Graph Data Zengfeng Huang, Bozidar Radunovic, Milan Vojnovic, Qin Zhang MSR-TR-2013-35 | April 2013
Publication The slow flow model of dust efflux in local star-forming galaxies H. Jabran Zahid April 2013
Publication Hypergraphic LP Relaxations for Steiner Trees Deeparnab Chakrabarty, Jochen Könemann, David Pritchard SIAM Journal on Discrete Mathematics | March 2013, Vol 27(1): pp. 507-533