Hilbe, C., Hagel, K., &; Milinski, M. (2016). Experimental game instructions. Public Library of Science.https://doi.org/10.1371/journal.pone.0163867.s008 

Roux, C., Fraisse, C., Romiguier, J., Anciaux, Y., Galtier, N., &; Bierne, N. (2016). Simulation study to test the robustness of ABC in face of recent times of divergence. Public Library of Science.https://doi.org/10.1371/journal.pbio.2000234.s016 

Roux, C., Fraisse, C., Romiguier, J., Anciaux, Y., Galtier, N., &; Bierne, N. (2016). Accessions of surveyed individuals, geographic locations and summary statistics. Public Library of Science.https://doi.org/10.1371/journal.pbio.2000234.s017 

Zagórski, M. P., Burda, Z., &; Wacaw, B. (2016). ZIP-archived directory containing all data and computer programs. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005218.s009 

Kurauskas, V., Weber, E., Hessel, A., Ayala, I., Marion, D., &; Schanda, P. (2016). Cross-correlated relaxation of dipolar coupling and chemical-shift anisotropy in magic-angle spinning <1 NMR measurements: Application to protein backbone dynamics measurements. The Journal of Physical Chemistry B. American Chemical Society.https://doi.org/10.1021/acs.jpcb.6b06129 

Rodrigues, C. D. A., Henry, X., Neumann, E., Kurauskas, V., Bellard, L., Fichou, Y.,https://doi.org/10.1073/pnas.1609604113__Morlot, C. (2016). A ring-shaped conduit connects the mother cell and forespore during sporulation in Bacillus subtilis. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1609604113 

Schanda, P., &; Ernst, M. (2016). Studying dynamics by magic-angle spinning solid-state NMR spectroscopy: Principles and applications to biomolecules. Progress in Nuclear Magnetic Resonance Spectroscopy. Elsevier.https://doi.org/10.1016/j.pnmrs.2016.02.001 

Guardia, M., Kaloshin, V., &; Zhang, J. (2016). A second order expansion of the separatrix map for trigonometric perturbations of a priori unstable systems. Communications in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s00220-016-2705-9 

Saint Léger, A., Bello, C., Dans, P., Torres, A., Novoa, E., Camacho, N.,https://doi.org/10.1126/sciadv.1501860__Ribas De Pouplana, L. (2016). Saturation of recognition elements blocks evolution of new tRNA identities. Science Advances. American Association for the Advancement of Science.https://doi.org/10.1126/sciadv.1501860 

Bernard, P., Kaloshin, V., &; Zhang, K. (2016). Arnold diffusion in arbitrary degrees of freedom and normally hyperbolic invariant cylinders. Acta Mathematica. Institut Mittag-Leffler.https://doi.org/10.1007/s11511-016-0141-5 

Rivkina, E., Petrovskaya, L., Vishnivetskaya, T., Krivushin, K., Shmakova, L., Tutukina, M.,https://doi.org/10.5194/bg-13-2207-2016__Kondrashov, F. (2016). Metagenomic analyses of the late Pleistocene permafrost - Additional tools for reconstruction of environmental conditions. Biogeosciences. European Geosciences Union.https://doi.org/10.5194/bg-13-2207-2016 

Bakail, M. M., &; Ochsenbein, F. (2016). Targeting protein–protein interactions, a wide open field for drug design. Comptes Rendus Chimie. Elsevier.https://doi.org/10.1016/j.crci.2015.12.004 

Davies Wykes, M. S., Palacci, J. A., Adachi, T., Ristroph, L., Zhong, X., Ward, M. D.,https://doi.org/10.1039/c5sm03127c__Shelley, M. J. (2016). Dynamic self-assembly of microscale rotors and swimmers. Soft Matter. Royal Society of Chemistry.https://doi.org/10.1039/c5sm03127c 

Moyses, H., Palacci, J. A., Sacanna, S., &; Grier, D. G. (2016). Trochoidal trajectories of self-propelled Janus particles in a diverging laser beam. Soft Matter. Royal Society of Chemistry .https://doi.org/10.1039/c6sm01163b 

Hannezo, E. B., Coucke, A., &; Joanny, J. (2016). Interplay of migratory and division forces as a generic mechanism for stem cell patterns. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/10.1103/PhysRevE.93.022405 

Sedzinski, J., Hannezo, E. B., Tu, F., Biro, M., &; Wallingford, J. (2016). Emergence of an Apical Epithelial Cell Surface In Vivo. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2015.12.013 

Huff, J. T., Zilberman, D., &; Roy, S. W. (2016). Mechanism for DNA transposons to generate introns on genomic scales. Nature. Springer Nature .https://doi.org/10.1038/nature20110 

Monk, T., Savin, C., &; Lücke, J. (2016). Neurons equipped with intrinsic plasticity learn stimulus intensity statistics (Vol. 29, pp. 4285–4293). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spaine: Neural Information Processing Systems.

Cheng, B., Behler, J., &; Ceriotti, M. (2016). Nuclear quantum effects in water at the triple point: Using theory as a link between experiments. The Journal of Physical Chemistry Letters. American Chemical Society.https://doi.org/10.1021/acs.jpclett.6b00729 

Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M.,https://doi.org/10.1098/rspb.2016.0811__Paxton, R. (2016). Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The.https://doi.org/10.1098/rspb.2016.0811 

Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M.,https://doi.org/10.5061/dryad.cq7t1__Paxton, R. (2016). Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Dryad.https://doi.org/10.5061/dryad.cq7t1 

Serbyn, M., Michailidis, A., Abanin, D., &; Papi, Z. (2016). Power-law entanglement spectrum in many-body localized phases. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.117.160601 

Serbyn, M., &; Moore, J. (2016). Spectral statistics across the many-body localization transition. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.93.041424 

Hilbe, C., Hagel, K., &; Milinski, M. (2016). Asymmetric power boosts extortion in an economic experiment. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0163867 

Hillenbrand, P., Gerland, U., &; Tkadik, G. (2016). Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0163628 

Boehm, A., Arnoldini, M., Bergmiller, T., Röösli, T., Bigosch, C., &; Ackermann, M. (2016). Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1005974 

Dumitrescu, P., Serbyn, M., Scalettar, R., &; Vishwanath, A. (2016). Superconductivity and nematic fluctuations in a model of doped FeSe monolayers: Determinant quantum Monte Carlo study. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.94.155127 

Hillenbrand, P., Gerland, U., &; Tkadik, G. (2016). Computation of positional information in an Ising model. Public Library of Science.https://doi.org/10.1371/journal.pone.0163628.s002 

Boehm, A., Arnoldini, M., Bergmiller, T., Röösli, T., Bigosch, C., &; Ackermann, M. (2016). Quantification of the growth rate reduction as a consequence of age-specific mortality. Public Library of Science.https://doi.org/10.1371/journal.pgen.1005974.s015 

Hillenbrand, P., Gerland, U., &; Tkadik, G. (2016). Error bound on an estimator of position. Public Library of Science.https://doi.org/10.1371/journal.pone.0163628.s001 

Hillenbrand, P., Gerland, U., &; Tkadik, G. (2016). Computation of positional information in a discrete morphogen field. Public Library of Science.https://doi.org/10.1371/journal.pone.0163628.s003 

Hilbe, C., Hagel, K., &; Milinski, M. (2016). Experimental data. Public Library of Science.https://doi.org/10.1371/journal.pone.0163867.s009 

Carenzo, M., Pellicciotti, F., Mabillard, J., Reid, T., &; Brock, B. W. (2016). An enhanced temperature index model for debris-covered glaciers accounting for thickness effect. Advances in Water Resources. Elsevier.https://doi.org/10.1016/j.advwatres.2016.05.001 

Ragettli, S., Immerzeel, W. W., &; Pellicciotti, F. (2016). Contrasting climate change impact on river flows from high-altitude catchments in the Himalayan and Andes Mountains. PNAS. Proceedings of the National Academy of Sciences.https://doi.org/10.1073/pnas.1606526113 

Kraaijenbrink, P., Meijer, S. W., Shea, J. M., Pellicciotti, F., De Jong, S. M., &; Immerzeel, W. W. (2016). Seasonal surface velocities of a Himalayan glacier derived by automated correlation of unmanned aerial vehicle imagery. Annals of Glaciology. International Glaciological Society.https://doi.org/10.3189/2016aog71a072 

BRUN, F., BURI, P., MILES, E. S., WAGNON, P., STEINER, J., BERTHIER, E.,https://doi.org/10.1017/jog.2016.54__Pellicciotti, F. (2016). Quantifying volume loss from ice cliffs on debris-covered glaciers using high-resolution terrestrial and aerial photogrammetry. Journal of Glaciology. Cambridge University Press.https://doi.org/10.1017/jog.2016.54 

Heynen, M., Miles, E., Ragettli, S., Buri, P., Immerzeel, W. W., &; Pellicciotti, F. (2016). Air temperature variability in a high-elevation Himalayan catchment. Annals of Glaciology. International Glaciological Society.https://doi.org/10.3189/2016aog71a076 

Miles, E. S., Pellicciotti, F., Willis, I. C., Steiner, J. F., Buri, P., &; Arnold, N. S. (2016). Refined energy-balance modelling of a supraglacial pond, Langtang Khola, Nepal. Annals of Glaciology. International Glaciological Society.https://doi.org/10.3189/2016aog71a421 

Buri, P., Pellicciotti, F., Steiner, J. F., Miles, E. S., &; Immerzeel, W. W. (2016). A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers. Annals of Glaciology. International Glaciological Society.https://doi.org/10.3189/2016aog71a059 

SHAW, T. E., BROCK, B. W., FYFFE, C. L., Pellicciotti, F., RUTTER, N., &; DIOTRI, F. (2016). Air temperature distribution and energy-balance modelling of a debris-covered glacier. Journal of Glaciology. Cambridge University Press.https://doi.org/10.1017/jog.2016.31 

Buri, P., Miles, E. S., Steiner, J. F., Immerzeel, W. W., Wagnon, P., &; Pellicciotti, F. (2016). A physically based 3D model of ice cliff evolution over debriscovered glaciers. Journal of Geophysical Research: Earth Surface. American Geophysical Union.https://doi.org/10.1002/2016jf004039 

Ayala, A., Pellicciotti, F., MacDonell, S., McPhee, J., Vivero, S., Campos, C., &; Egli, P. (2016). Modelling the hydrological response of debris-free and debris-covered glaciers to present climatic conditions in the semiarid Andes of central Chile. Hydrological Processes. Wiley.https://doi.org/10.1002/hyp.10971 

Kraaijenbrink, P. D. A., Shea, J. M., Pellicciotti, F., Jong, S. M. de, &; Immerzeel, W. W. (2016). Object-based analysis of unmanned aerial vehicle imagery to map and characterise surface features on a debris-covered glacier. Remote Sensing of Environment. Elsevier.https://doi.org/10.1016/j.rse.2016.09.013 

Rodriguez, M., Ohlanders, N., Pellicciotti, F., Williams, M. W., &; McPhee, J. (2016). Estimating runoff from a glacierized catchment using natural tracers in the semi-arid Andes cordillera. Hydrological Processes. Wiley.https://doi.org/10.1002/hyp.10973 

Ragettli, S., Bolch, T., &; Pellicciotti, F. (2016). Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal. The Cryosphere. Copernicus Publications.https://doi.org/10.5194/tc-10-2075-2016 

Mitchell, J., Whitfield, J., Zhang, W., Henneberger, C., Janovjak, H. L., O’Mara, M., &; Jackson, C. (2016). Rangefinder: A semisynthetic FRET sensor design algorithm. ACS SENSORS. American Chemical Society.https://doi.org/10.1021/acssensors.6b00576 

Park, K., Kim, M. Y., Vickers, M., Park, J.-S., Hyun, Y., Okamoto, T.,https://doi.org/10.1073/pnas.1619047114__Scholten, S. (2016). DNA demethylation is initiated in the central cells of Arabidopsis and rice. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1619047114 

Hsieh, P.-H., He, S., Buttress, T., Gao, H., Couchman, M., Fischer, R. L.,https://doi.org/10.1073/pnas.1619074114__Feng, X. (2016). Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1619074114 

Schlögl, A., &; Stadlbauer, S. (2016). High performance computing at IST Austria: Modelling the human hippocampus. In AHP - Austrian HPC Meeting 2016 (p. 37). Grundlsee, Austria: VSC - Vienna Scientific Cluster.

Moldt, T., Przyrembel, D., Schulze, M., Bronsch, W., Boie, L., Brete, D.,https://doi.org/10.1021/acs.langmuir.6b01690__Weinelt, M. (2016). Differing isomerization kinetics of azobenzene-functionalized self-assembled monolayers in ambient air and in vacuum. Langmuir. American Chemical Society.https://doi.org/10.1021/acs.langmuir.6b01690 

Kundu, P. K., Das, S., Ahrens, J., &; Klajn, R. (2016). Controlling the lifetimes of dynamic nanoparticle aggregates by spiropyran functionalization. Nanoscale. Royal Society of Chemistry.https://doi.org/10.1039/c6nr05959g 

Amdursky, N., Kundu, P. K., Ahrens, J., Huppert, D., &; Klajn, R. (2016). Noncovalent interactions with proteins modify the physicochemical properties of a molecular switch. ChemPlusChem. Wiley.https://doi.org/10.1002/cplu.201500417 

Udayabhaskararao, T., Kundu, P. K., Ahrens, J., &; Klajn, R. (2016). Reversible photoisomerization of spiropyran on the surfaces of Au25 nanoclusters. ChemPhysChem. Wiley.https://doi.org/10.1002/cphc.201500897 

Udayabhaskararao, T., Kundu, P. K., Ahrens, J., &; Klajn, R. (2016). Inside cover: Reversible photoisomerization of spiropyran on the surfaces of Au25 nanoclusters (ChemPhysChem 12/2016). ChemPhysChem (Vol. 17, pp. 1711–1711). Wiley.https://doi.org/10.1002/cphc.201600480 

Samanta, D., &; Klajn, R. (2016). Aqueous light-controlled self-assembly of nanoparticles. Advanced Optical Materials. Wiley.https://doi.org/10.1002/adom.201600364 

Klajn, R. (2016). Borrowing titania’s photoinduced electrons for molecular switching. Science China Chemistry. Springer Nature.https://doi.org/10.1007/s11426-016-5573-4 

Götberg, Y. L. L., Davies, M. B., Mustill, A. J., Johansen, A., &; Church, R. P. (2016). Long-term stability of the HR 8799 planetary system without resonant lock. Astronomy &; Astrophysics. EDP Sciences.https://doi.org/10.1051/0004-6361/201526309 

Avni, G., Henzinger, T. A., &; Kupferman, O. (2016). Dynamic resource allocation games (Vol. 9928, pp. 153–166). Presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-53354-3_13 

Huppert, M., Jordan, I., Baykusheva, D. R., von Conta, A., &; Wörner, H. J. (2016). Attosecond delays in molecular photoionization. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.117.093001 

Baykusheva, D. R., Ahsan, M. S., Lin, N., &; Wörner, H. J. (2016). Bicircular high-harmonic spectroscopy reveals dynamical symmetries of atoms and molecules. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.116.123001 

Rajeev, R., Hellwagner, J., Schumacher, A., Jordan, I., Huppert, M., Tehlar, A.,https://doi.org/10.1038/lsa.2016.170__Wörner, H. J. (2016). In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses. Light: Science &; Applications. Springer Nature.https://doi.org/10.1038/lsa.2016.170 

Wielgoss, S., Bergmiller, T., Bischofberger, A. M., &; Hall, A. R. (2016). Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1093/molbev/msv270 

Harada, H., &; Shigemoto, R. (2016). Immunogold protein localization on grid-glued freeze-fracture replicas. In High-Resolution Imaging of Cellular Proteins (Vol. 1474, pp. 203–216). Springer.https://doi.org/10.1007/978-1-4939-6352-2_12 

Acar, H. (2016). Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.

Edelsbrunner, H., &; Pausinger, F. (2016). Approximation and convergence of the intrinsic volume. Advances in Mathematics. Academic Press.https://doi.org/10.1016/j.aim.2015.10.004 

Rieckh, G. (2016). Studying the complexities of transcriptional regulation. Institute of Science and Technology Austria.

Morri, M. (2016). Optical functionalization of human class A orphan G-protein coupled receptors. Institute of Science and Technology Austria.

Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria.

Pentina, A. (2016). Theoretical foundations of multi-task lifelong learning. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:TH_776 

Chmelik, M. (2016). Algorithms for partially observable markov decision processes. Institute of Science and Technology Austria.

Mabillard, I. (2016). Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. Institute of Science and Technology Austria.

Mishra, R. K., Kim, S., Guzmán, J., &; Jonas, P. M. (2016). Symmetric spike timing-dependent plasticity at C–C synapses optimizes storage and recall in autoassociative networks. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms11552 

Mishra, R. K. (2016). Synaptic plasticity rules at C-C recurrent synapses in hippocampus. Institute of Science and Technology Austria.

Novak, S. (2016). Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.

Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1130 

Daca, P., Henzinger, T. A., Kretinsky, J., &; Petrov, T. (2016). Linear distances between Markov chains (Vol. 59). Presented at the CONCUR: Concurrency Theory, Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2016.20 

Daca, P., Henzinger, T. A., Kretinsky, J., &; Petrov, T. (2016). Faster statistical model checking for unbounded temporal properties (Vol. 9636, pp. 112–129). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands: Springer.https://doi.org/10.1007/978-3-662-49674-9_7 

Daca, P., Gupta, A., &; Henzinger, T. A. (2016). Abstraction-driven concolic testing (Vol. 9583, pp. 328–347). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer.https://doi.org/10.1007/978-3-662-49122-5_16 

Daca, P., Henzinger, T. A., &; Kupriyanov, A. (2016). Array folds logic (Vol. 9780, pp. 230–248). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer.https://doi.org/10.1007/978-3-319-41540-6_13 

Pleska, M., Qian, L., Okura, R., Bergmiller, T., Wakamoto, Y., Kussell, E., &; Guet, C. C. (2016). Bacterial autoimmunity due to a restriction-modification system. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2015.12.041 

Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2016). Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs (Vol. 57). Presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik.https://doi.org/10.4230/LIPIcs.ESA.2016.28 

Hahn, D., &; Wojtan, C. (2016). Fast approximations for boundary element based brittle fracture simulation (Vol. 35). Presented at the ACM SIGGRAPH, Anaheim, CA, USA: ACM.https://doi.org/10.1145/2897824.2925902 

Abusalah, H. M., Fuchsbauer, G., &; Pietrzak, K. Z. (2016). Offline witness encryption (Vol. 9696, pp. 285–303). Presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK: Springer.https://doi.org/10.1007/978-3-319-39555-5_16 

Abusalah, H. M., Fuchsbauer, G., &; Pietrzak, K. Z. (2016). Constrained PRFs for unbounded inputs (Vol. 9610, pp. 413–428). Presented at the CT-RSA: Topics in Cryptology, San Francisco, CA, USA: Springer.https://doi.org/10.1007/978-3-319-29485-8_24 

Abusalah, H. M., &; Fuchsbauer, G. (2016). Constrained PRFs for unbounded inputs with short keys (Vol. 9696, pp. 445–463). Presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK: Springer.https://doi.org/10.1007/978-3-319-39555-5_24 

Gschaider-Reichhart, E., Inglés Prieto, Á., Tichy, A.-M., Mckenzie, C., &; Janovjak, H. L. (2016). A phytochrome sensory domain permits receptor activation by red light. Angewandte Chemie - International Edition. Wiley.https://doi.org/10.1002/anie.201601736 

Friedlander, T., Prizak, R., Guet, C. C., Barton, N. H., &; Tkadik, G. (2016). Intrinsic limits to gene regulation by global crosstalk. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms12307 

Dejonghe, W., Kuenen, S., Mylle, E., Vasileva, M. K., Keech, O., Viotti, C.,https://doi.org/10.1038/ncomms11710__Russinova, E. (2016). Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms11710 

Schwayer, C., Sikora, M. K., Slovakova, J., Kardos, R., &; Heisenberg, C.-P. J. (2016). Actin rings of power. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2016.05.024 

Watzinger, H., Kloeffel, C., Vukusi, L., Rossell, M., Sessi, V., Kukucka, J.,https://doi.org/10.1021/acs.nanolett.6b02715__Katsaros, G. (2016). Heavy-hole states in germanium hut wires. Nano Letters. American Chemical Society.https://doi.org/10.1021/acs.nanolett.6b02715 

Jiang, Y., Liu, H., Song, H., Kong, H., Gu, M., Sun, J., &; Sha, L. (2016). Safety assured formal model driven design of the multifunction vehicle bus controller (Vol. 9995, pp. 757–763). Presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus: Springer.https://doi.org/10.1007/978-3-319-48989-6_47 

Kolmogorov, V. (2016). Commutativity in the algorithmic Lovasz local lemma. In Proceedings - Annual IEEE Symposium on Foundations of Computer Science (Vol. 2016–December). New Brunswick, NJ, USA : IEEE.https://doi.org/10.1109/FOCS.2016.88 

Chatterjee, K., Fu, H., Novotný, P., &; Hasheminezhad, R. (2016). Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs (Vol. 20–22, pp. 327–342). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM.https://doi.org/10.1145/2837614.2837639 

Barton, N. H. (2016). Data from: How does epistasis influence the response to selection? Dryad.https://doi.org/10.5061/dryad.s5s7r 

Fernandes Redondo, R. A., de Vladar, H., Wodarski, T., &; Bollback, J. P. (2016). Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the =54 phage family. The Royal Society.https://doi.org/10.6084/m9.figshare.4315652.v1 

Fulek, R. (2016). C-planarity of embedded cyclic c-graphs (Vol. 9801, pp. 94–106). Presented at the GD: Graph Drawing and Network Visualization, Athens, Greece: Springer.https://doi.org/10.1007/978-3-319-50106-2_8 

Dotterrer, D., Kaufman, T., &; Wagner, U. (2016). On expansion and topological overlap (Vol. 51, p. 35.1-35.10). Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.https://doi.org/10.4230/LIPIcs.SoCG.2016.35 

Kowalski, J., Gan, J., Jonas, P. M., &; Pernia-Andrade, A. (2016). Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. Wiley.https://doi.org/10.1002/hipo.22550 

Kolmogorov, V., &; Takhanov, R. (2016). Inference algorithms for pattern-based CRFs on sequence data. Algorithmica. Springer.https://doi.org/10.1007/s00453-015-0017-7 

Liu, Z., Yang, N., Lv, Y., Pan, L., Lv, S., Han, H., &; Wang, G. (2016). The CLE gene family in Populus trichocarpa. Plant Signaling &; Behavior. Taylor &; Francis.https://doi.org/10.1080/15592324.2016.1191734