Publication Termination Graphs for Java Bytecode Marc Brockschmidt, Carsten Otto, Christian von Essen, Juergen Giesl Verification, Induction, Termination Analysis | January 2010
Publication Colombia’s protected area network: representativeness of global and national conservation priorities G. Forero-Medina, Lucas Joppa PLoS ONE | January 2010, Vol 5
Publication Learning probabilistic models of connectivity from multiple spike train data Debprakash Patnaik, Srivatsan Laxman, Naren Ramakrishnan Posters of Nineteenth Annual Computational Neuroscience Meeting (CNS*2010), San Antonio, Texas, Jul 24 | January 2010 Posters of Nineteenth Annual Computational Neuroscience Meeting (CNS*2010), San Antonio, Texas, Jul 24
Publication Objectively identifying landmark use and predicting flight trajectories of the homing pigeon using Gaussian processes The Royal Society Interface | January 2010 10.1098/rsif.2010.0301
Publication On the Limitations of Greedy Mechanism Design for Truthful Combinatorial Auctions Allan Borodin, Brendan Lucier International Colloquium on Automata, Languages and Programming 2010 | January 2010
Publication Modeling Discrete Combinatorial Systems as Alphabetic Bipartite Networks: Theory and Applications Monojit Choudhury, Niloy Ganguly, Abyayanda Maiti, Animesh Mukherjee, Lutz Brusch, Andreas Deutsch, Fernando Peruani Physical Review E | January 2010, Vol 81: pp. 36103
Publication On nestedness in ecological networks Lucas Joppa, J. Montoya, R. Sole, J. Sanderson, S.L. Pimm Evolutionary and Ecology Research | January 2010, Vol 12: pp. 35-46
Publication Wildlife Diseases – From Individuals To Ecosystems Daniel M. Tompkins, Alison M. Dunn, Matthew Smith, Sandra Telfer Journal of Animal Ecology | January 2010
Publication New Software Speed Records for Cryptographic Pairings Michael Naehrig, Ruben Niederhagen, Peter Schwabe LATINCRYPT 2010 | January 2010 Project
Publication The (1+beta)-Choice Process and Weighted Balls into Bins Yuval Peres, Kunal Talwar, Udi Wieder SODA | January 2010
