Polshyn, H., Zhang, C., Naibert, T., Eckstein, J., &; Budakian, R. (2015). Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy. In APS March Meeting 2015 (Vol. 60). San Antonio, TX, United States: American Physical Society.

Parise, F., Lygeros, J., &; Ruess, J. (2015). Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study. Frontiers in Environmental Science. Frontiers.https://doi.org/10.3389/fenvs.2015.00042 

Chatterjee, K., &; Ibsen-Jensen, R. (2015). The value 1 problem under finite-memory strategies for concurrent mean-payoff games. In Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. 2015, pp. 1018–1029). San Diego, CA, United States: SIAM.https://doi.org/10.1137/1.9781611973730.69 

Isrie, M., Breuss, M., Tian, G., Hansen, A. H., Cristofoli, F., Morandell, J.,https://doi.org/10.1016/j.ajhg.2015.10.014__Van Esch, H. (2015). Mutations in either TUBB or MAPR cause circumferential skin creases Kunze type. The American Journal of Human Genetics. Cell Press.https://doi.org/10.1016/j.ajhg.2015.10.014 

Mertens, J., Paquola, A. C. M., Ku, M., Hatch, E., Böhnke, L., Ladjevardi, S.,https://doi.org/10.1016/j.stem.2015.09.001__Gage, F. H. (2015). Directly reprogrammed human neurons retain aging-associated transcriptomic signatures and reveal age-related nucleocytoplasmic defects. Cell Stem Cell. Elsevier.https://doi.org/10.1016/j.stem.2015.09.001 

Jacinto, F. V., Benner, C., &; Hetzer, M. (2015). The nucleoporin Nu3 regulates embryonic stem cell pluripotency through gene silencing. Genes &; Development. Cold Spring Harbor Laboratory.https://doi.org/10.1101/gad.260919.115 

Ori, A., Toyama, B. H., Harris, M. S., Bock, T., Iskar, M., Bork, P.,https://doi.org/10.1016/j.cels.2015.08.012__Beck, M. (2015). Integrated transcriptome and proteome analyses reveal organ-specific proteome deterioration in old rats. Cell Systems. Elsevier.https://doi.org/10.1016/j.cels.2015.08.012 

Gomez-Cavazos, J. S., &; Hetzer, M. (2015). The nucleoporin /Nu0 controls muscle differentiation by regulating nuclear envelope/ER homeostasis. Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.201410047 

Ibarra, A., &; Hetzer, M. (2015). Nuclear pore proteins and the control of genome functions. Genes &; Development. Cold Spring Harbor Laboratory.https://doi.org/10.1101/gad.256495.114 

Hatch, E. M., &; Hetzer, M. (2015). Linking micronuclei to chromosome fragmentation. Cell. Elsevier.https://doi.org/10.1016/j.cell.2015.06.005 

Hatch, E. M., &; Hetzer, M. (2015). Chromothripsis. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2015.02.033 

Sobral, D., Matthee, J. J., Darvish, B., Schaerer, D., Mobasher, B., Röttgering, H.,https://doi.org/10.1088/0004-637X/808/2/139__Hemmati, S. (2015). Evidence for PopIII-like stellar populations in the most luminous Ly;1 emitters at the epoch of reionisation: Spectroscopic confirmation. The Astrophysical Journal. IOP Publishing.https://doi.org/10.1088/0004-637X/808/2/139 

Sobral, D., Matthee, J. J., Best, P. N., Smail, I., Khostovan, A. A., Milvang-Jensen, B.,https://doi.org/10.1093/mnras/stv1076__Mobasher, B. (2015). CF-HiZELS, an c10 de emission-line survey with spectroscopic follow-up: H;1, [OIII] + H;2 and [OII] luminosity functions at z = 0.8, 1.4 and 2.2 . Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stv1076 

Matthee, J. J., Sobral, D., Santos, S., Röttgering, H., Darvish, B., &; Mobasher, B. (2015). Identification of the brightest Ly;1 emitters at z = 6.6: implications for the evolution of the luminosity function in the reionization era. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stv947 

Pallottini, A., Ferrara, A., Pacucci, F., Gallerani, S., Salvadori, S., Schneider, R.,https://doi.org/10.1093/mnras/stv1795__Matthee, J. J. (2015). The brightest Ly;1 emitter: Pop III or black hole? Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stv1795 

Colini-Baldeschi, R., Leonardi, S., Henzinger, M. H., &; Starnberger, M. (2015). On multiple keyword sponsored search auctions with budgets. ACM Transactions on Economics and Computation. Association for Computing Machinery.https://doi.org/10.1145/2818357 

Dütting, P., Henzinger, M. H., &; Starnberger, M. (2015). Auctions for heterogeneous items and budget limits. ACM Transactions on Economics and Computation. Association for Computing Machinery.https://doi.org/10.1145/2818351 

Dütting, P., Henzinger, M. H., &; Weber, I. (2015). An expressive mechanism for auctions on the web. ACM Transactions on Economics and Computation. Association for Computing Machinery.https://doi.org/10.1145/2716312 

Cheung, Y. K., Henzinger, M. H., Hoefer, M., &; Starnberger, M. (2015). Combinatorial auctions with conflict-based externalities. In 11th International Conference on Web and Internet Economics (Vol. 9470, pp. 230–243). Amsterdam, Netherlands: Springer Nature.https://doi.org/10.1007/978-3-662-48995-6_17 

Ben-Zwi, O., Henzinger, M. H., &; Loitzenbauer, V. (2015). Ad exchange: Envy-free auctions with mediators. In 11th International Conference on Web and Internet Economics (Vol. 9470, pp. 104–117). Amsterdam, Netherlands: Springer Nature.https://doi.org/10.1007/978-3-662-48995-6_8 

Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2015). Improved algorithms for decremental single-source reachability on directed graphs. In 42nd International Colloquium on Automata, Languages and Programming (Vol. 9134, pp. 725–736). Kyoto, Japan: Springer Nature.https://doi.org/10.1007/978-3-662-47672-7_59 

Henzinger, M. H., Krinninger, S., &; Loitzenbauer, V. (2015). Finding 2-edge and 2-vertex strongly connected components in quadratic time. In 2nd International Colloquium on Automata, Languages and Programming (Vol. 9134, pp. 713–724). Kyoto, Japan: Springer Nature.https://doi.org/10.1007/978-3-662-47672-7_58 

Dvoák, W., &; Henzinger, M. H. (2015). Online ad assignment with an ad exchange. In 12th International Workshop of Approximation and Online Algorithms (Vol. 8952, pp. 156–167). Wroclaw, Poland: Springer Nature.https://doi.org/10.1007/978-3-319-18263-6_14 

Bhattacharya, S., Henzinger, M. H., &; Italiano, G. F. (2015). Design of dynamic algorithms via primal-dual method. In 42nd International Colloquium on Automata, Languages and Programming (Vol. 9134, pp. 206–218). Kyoto, Japan: Springer Nature.https://doi.org/10.1007/978-3-662-47672-7_17 

Chernomor, O., Minh, B. Q., Forest, F., Klaere, S., Ingram, T., Henzinger, M. H., &; von Haeseler, A. (2015). Split diversity in constrained conservation prioritization using integer linear programming. Methods in Ecology and Evolution. Wiley.https://doi.org/10.1111/2041-210x.12299 

Henzinger, M. H., Krinninger, S., Nanongkai, D., &; Saranurak, T. (2015). Unifying and strengthening hardness for dynamic problems via the online matrix-vector multiplication conjecture. In 47th Annual ACM Symposium on Theory of Computing. Portland, OR, United States: Association for Computing Machinery.https://doi.org/10.1145/2746539.2746609 

Bhattacharya, S., Henzinger, M. H., Nanongkai, D., &; Tsourakakis, C. (2015). Space- and time-efficient algorithm for maintaining dense subgraphs on one-pass dynamic streams. In 47th Annual ACM Symposium on Theory of Computing (pp. 173–182). Portland, OR, United States: Association for Computing Machinery.https://doi.org/10.1145/2746539.2746592 

Bhattacharya, S., Dvorák, W., Henzinger, M. H., &; Starnberger,https://doi.org/10.4230/LIPICS.STACS.2015.90__Martin. (2015). Welfare maximization with friends-of-friends network externalities. In 32nd International Symposium on Theoretical Aspects of Computer Science (Vol. 30, pp. 90–102). Garching, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.STACS.2015.90 

Henzinger, M. H., &; Loitzenbauer, V. (2015). Truthful unit-demand auctions with budgets revisited. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2015.01.033 

Pieber, B., Glasnov, T., &; Kappe, C. O. (2015). Continuous flow reduction of artemisinic acid utilizing multi-injection strategies-closing the gap towards a fully continuous synthesis of antimalarial drugs. Chemistry - A European Journal. Wiley.https://doi.org/10.1002/chem.201406439 

Salvador, C. E. M., Pieber, B., Neu, P. M., Torvisco, A., Kleber Z. Andrade, C., &; Kappe, C. O. (2015). A sequential Ugi multicomponent/Cu-catalyzed azide–alkyne cycloaddition approach for the continuous flow generation of cyclic peptoids. The Journal of Organic Chemistry. American Chemical Society.https://doi.org/10.1021/acs.joc.5b00445 

Pieber, B., &; Kappe, C. O. (2015). Aerobic oxidations in continuous flow. In T. Noël (Ed.), Organometallic Flow Chemistry (1st ed., Vol. 57, pp. 97–136). Cham: Springer Nature.https://doi.org/10.1007/3418_2015_133 

Lee, V., Waitukaitis, S. R., Miskin, M., &; Jaeger, H. (2015). Direct observation of particle interactions and clustering in charged granular streams. Nature Physics. Nature Publishing Group.https://doi.org/10.1038/nphys3396 

Waitukaitis, S. R., Menaut, R., Chen, B., &; Van Hecke, M. (2015). Origami multistability: From single vertices to metasheets. APS Physics, Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.114.055503 

Fischer, J. L., &; Grün, G. (2015). Finite speed of propagation and waiting times for the stochastic porous medium equation: A unifying approach. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics .https://doi.org/10.1137/140960578 

Fischer, J. L. (2015). A posteriori modeling error estimates for the assumption of perfect incompressibility in the Navier-Stokes equation. SIAM Journal on Numerical Analysis. Society for Industrial and Applied Mathematics .https://doi.org/10.1137/140966654 

Fischer, J. L. (2015). Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach. Interfaces and Free Boundaries. European Mathematical Society Publishing House.https://doi.org/10.4171/IFB/331 

Fischer, J. L. (2015). Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems. Archive for Rational Mechanics and Analysis. Springer.https://doi.org/10.1007/s00205-015-0866-x 

Yu, L., Scholl, S., Doering, A., Yi, Z., Irani, N., Di Rubbo, S.,https://doi.org/10.1038/nplants.2015.94__Russinova, E. (2015). V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis. Nature Plants. Nature Publishing Group.https://doi.org/10.1038/nplants.2015.94 

Pentina, A., &; Lampert, C. (2015). Lifelong learning with non-i.i.d. tasks (Vol. 2015, pp. 1540–1548). Presented at the NIPS: Neural Information Processing Systems, Montreal, Canada: Neural Information Processing Systems.

Kwitt, R., Huber, S., Niethammer, M., Lin, W., &; Bauer, U. (2015). Statistical topological data analysis-A kernel perspective (Vol. 28, pp. 3070–3078). Presented at the NIPS: Neural Information Processing Systems, Montreal, Canada: Neural Information Processing Systems.

Paixao, T., Sudholt, D., Heredia, J., &; Trubenova, B. (2015). First steps towards a runtime comparison of natural and artificial evolution. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation (pp. 1455–1462). Madrid, Spain: ACM.https://doi.org/10.1145/2739480.2754758 

Ferrara, A., Fuchsbauer, G., Liu, B., &; Warinschi, B. (2015). Policy privacy in cryptographic access control (pp. 46–60). Presented at the CSF: Computer Security Foundations, Verona, Italy: IEEE.https://doi.org/10.1109/CSF.2015.11 

Hausel, T., &; Rodríguez Villegas, F. (2015). Cohomology of large semiprojective hyperkähler varieties. Asterisque. Societe Mathematique de France.

Reininghaus, J., Huber, S., Bauer, U., &; Kwitt, R. (2015). A stable multi-scale kernel for topological machine learning (pp. 4741–4748). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE.https://doi.org/10.1109/CVPR.2015.7299106 

Dragoi, C., Henzinger, T. A., &; Zufferey, D. (2015). The need for language support for fault-tolerant distributed systems. Presented at the SNAPL: Summit oN Advances in Programming Languages, Asilomar, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SNAPL.2015.90 

Andergassen, D., Dotter, C., Kulinski, T., Guenzl, P., Bammer, P., Barlow, D.,https://doi.org/10.1093/nar/gkv727__Hudson, Q. (2015). Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. Nucleic Acids Research. Oxford University Press.https://doi.org/10.1093/nar/gkv727 

Kretinsky, J., Larsen, K., Laursen, S., &; Srba, J. (2015). Polynomial time decidability of weighted synchronization under partial observability (Vol. 42, pp. 142–154). Presented at the CONCUR: Concurrency Theory, Madrid, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2015.142 

Edelsbrunner, H., Iglesias Ham, M., &; Kurlin, V. (2015). Relaxed disk packing. In Proceedings of the 27th Canadian Conference on Computational Geometry (Vol. 2015–August, pp. 128–135). Ontario, Canada: Queen’s University.

Bao, Z., Lin, L., Pan, G., &; Zhou, W. (2015). Spectral statistics of large dimensional spearman s rank correlation matrix and its application. Annals of Statistics. Institute of Mathematical Statistics.https://doi.org/10.1214/15-AOS1353 

Nguyen, L., Schilling, C., Bogomolov, S., &; Johnson, T. (2015). Poster: HyRG: A random generation tool for affine hybrid automata. HSCC: Hybrid Systems - Computation and Control (pp. 289–290). Springer.https://doi.org/10.1145/2728606.2728650 

Sadel, C. (2015). A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles. Ergodic Theory and Dynamical Systems. Cambridge University Press.https://doi.org/10.1017/etds.2013.103 

Franek, P., &; Krcál, M. (2015). On computability and triviality of well groups (Vol. 34, pp. 842–856). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SOCG.2015.842 

Bao, Z., Pan, G., &; Zhou, W. (2015). Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics. Institute of Mathematical Statistics.https://doi.org/10.1214/14-AOS1281 

Erdös, L., &; Yau, H. (2015). Gap universality of generalized Wigner and ;2 ensembles. Journal of the European Mathematical Society. European Mathematical Society.https://doi.org/10.4171/JEMS/548 

Bao, Z., Pan, G., &; Zhou, W. (2015). The logarithmic law of random determinant. Bernoulli. Bernoulli Society for Mathematical Statistics and Probability.https://doi.org/10.3150/14-BEJ615 

Pal, A., &; Vicoso, B. (2015). The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression. Genome Biology and Evolution. Oxford University Press.https://doi.org/10.1093/gbe/evv215 

Erbar, M., Maas, J., &; Renger, M. (2015). From large deviations to Wasserstein gradient flows in multiple dimensions. Electronic Communications in Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/ECP.v20-4315 

Mansouri, M., Kasugai, Y., Fukazawa, Y., Bertaso, F., Raynaud, F., Perroy, J.,https://doi.org/10.1111/ejn.12779__Ferraguti, F. (2015). Distinct subsynaptic localization of type 1 metabotropic glutamate receptors at glutamatergic and GABAergic synapses in the rodent cerebellar cortex. European Journal of Neuroscience. Wiley-Blackwell.https://doi.org/10.1111/ejn.12779 

Gómez Gonzalo, M., Navarrete, M., Perea, G., Covelo, A., Martín Fernández, M., Shigemoto, R.,https://doi.org/10.1093/cercor/bhu231__Araque, A. (2015). Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission. Cerebral Cortex. Oxford University Press.https://doi.org/10.1093/cercor/bhu231 

Barton, N. H., &; Servedio, M. (2015). The interpretation of selection coefficients. Evolution. Wiley.https://doi.org/10.1111/evo.12641 

Bauer, B., Blechl, G., Bock, C., Danowski, P., Ferus, A., Graschopf, A.,https://doi.org/10.5281/zenodo.33178__Welzig, E. (2015). Arbeitsgruppe eNationale Strategie“des Open Access Network Austria OANA. VÖB Mitteilungen. Verein Österreichischer Bibliothekare.https://doi.org/10.5281/zenodo.33178 

Bharaj, G., Coros, S., Thomaszewski, B., Tompkin, J., Bickel, B., &; Pfister, H. (2015). Computational design of walking automata (pp. 93–100). Presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Los Angeles, CA, United States: ACM.https://doi.org/10.1145/2786784.2786803 

Yang, H., Von Der Fecht Bartenbach, J., Friml, J., Lohmann, J., Neuhäuser, B., &; Ludewig, U. (2015). Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source. Functional Plant Biology. CSIRO.https://doi.org/10.1071/FP14171 

Zobel, V., Reininghaus, J., &; Hotz, I. (2015). Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature. In I. Hotz &; T. Schultz (Eds.), Visualization and Processing of Higher Order Descriptors for Multi-Valued Data (1st ed., Vol. 40, pp. 257–267). Springer.https://doi.org/10.1007/978-3-319-15090-1_13 

Bierbaum, V., &; Klumpp, S. (2015). Impact of the cell division cycle on gene circuits. Physical Biology. IOP Publishing Ltd.https://doi.org/10.1088/1478-3975/12/6/066003 

Ruess, J. (2015). Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space. Journal of Chemical Physics. American Institute of Physics.https://doi.org/10.1063/1.4937937 

Wang, H., Yang, K., Zou, J., Zhu, L., Xie, Z., Morita, M.,https://doi.org/10.1038/ncomms9822__Le, J. (2015). Transcriptional regulation of PIN genes by FOUR LIPS and MY during Arabidopsis root gravitropism. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms9822 

Ruess, J., Parise, F., Milias Argeitis, A., Khammash, M., &; Lygeros, J. (2015). Iterative experiment design guides the characterization of a light-inducible gene expression circuit. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1423947112 

Vandael, D. H., Marcantoni, A., &; Carbone, E. (2015). Ca.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells. Current Molecular Pharmacology. Bentham Science Publishers.https://doi.org/10.2174/1874467208666150507105443 

Sasse, J., Simon, S., Gübeli, C., Liu, G., Cheng, X., Friml, J.,https://doi.org/10.1016/j.cub.2015.01.015__Borghi, L. (2015). Asymmetric localizations of the ABC transporter PaPD trace paths of directional strigolactone transport. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2015.01.015 

Xia, W., Domokos, C., Xiong, J., Cheong, L., &; Yan, S. (2015). Segmentation over detection via optimal sparse reconstructions. IEEE Transactions on Circuits and Systems for Video Technology. IEEE.https://doi.org/10.1109/TCSVT.2014.2379972 

Paixao, T., Badkobeh, G., Barton, N. H., Çörüf, D., Dang, D., Friedrich, T.,https://doi.org/10.1016/j.jtbi.2015.07.011__Trubenova, B. (2015). Toward a unifying framework for evolutionary processes. https://doi.org/10.1016/j.jtbi.2015.07.011__Journal of Theoretical Biology. Elsevier.https://doi.org/10.1016/j.jtbi.2015.07.011 

Nakamura, Y., Harada, H., Kamasawa, N., Matsui, K., Rothman, J., Shigemoto, R.,https://doi.org/10.1016/j.neuron.2014.11.019__Takahashi, T. (2015). Nanoscale distribution of presynaptic C+ channels and its impact on vesicular release during development. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2014.11.019 

Ray, R., Gurung, A., Das, B., Bartocci, E., Bogomolov, S., &; Grosu, R. (2015). XSpeed: Accelerating reachability analysis on multi-core processors. Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer.https://doi.org/10.1007/978-3-319-26287-1_1 

Olvera Carrillo, Y., Van Bel, M., Van Hautegem, T., Fendrych, M., Huysmans, M., Simásková, M.,https://doi.org/10.1104/pp.15.00769__Nowack, M. (2015). A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants. Plant Physiology. American Society of Plant Biologists.https://doi.org/10.1104/pp.15.00769 

Nguyen, P., Field, C., Groen, A., Mitchison, T., &; Loose, M. (2015). Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins. In Building a Cell from its Components Parts (Vol. 128, pp. 223–241). Academic Press.https://doi.org/10.1016/bs.mcb.2015.01.007 

Robert, H., Crhák Khaitová, L., Mroue, S., &; Benková, E. (2015). The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis. Journal of Experimental Botany. Oxford University Press.https://doi.org/10.1093/jxb/erv256 

El Masri, L., Branca, A., Sheppard, A., Papkou, A., Laehnemann, D., Guenther, P.,https://doi.org/10.1371/journal.pbio.1002169__Schulenburg, H. (2015). Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1002169 

Mckenzie, C., Sanchez-Romero, I., &; Janovjak, H. L. (2015). Flipping the photoswitch: Ion channels under light control. In Novel chemical tools to study ion channel biology (Vol. 869, pp. 101–117). Springer.https://doi.org/10.1007/978-1-4939-2845-3_6 

Milutinovic, B., Höfling, C., Futo, M., Scharsack, J., &; Kurtz, J. (2015). Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination. Applied and Environmental Microbiology. American Society for Microbiology.https://doi.org/10.1128/AEM.02051-15 

Maiuri, P., Rupprecht, J., Wieser, S., Ruprecht, V., Bénichou, O., Carpi, N.,https://doi.org/10.1016/j.cell.2015.01.056__Voituriez, R. (2015). Actin flows mediate a universal coupling between cell speed and cell persistence. Cell. Cell Press.https://doi.org/10.1016/j.cell.2015.01.056 

Mayer, C., Jaglin, X., Cobbs, L., Bandler, R., Streicher, C., Cepko, C.,https://doi.org/10.1016/j.neuron.2015.07.011__Fishell, G. (2015). Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2015.07.011 

Mohammadi, F., &; Moradi, S. (2015). Resolution of unmixed bipartite graphs. Bulletin of the Korean Mathematical Society. Korean Mathematical Society.https://doi.org/10.4134/BKMS.2015.52.3.977 

Jia, Y., Tian, H., Li, H., Yu, Q., Wang, L., Friml, J., &; Ding, Z. (2015). The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development. Journal of Experimental Botany. Oxford University Press.https://doi.org/10.1093/jxb/erv230 

Knipl, D., Pilarczyk, P., &; Röst, G. (2015). Rich bifurcation structure in a two patch vaccination model. SIAM Journal on Applied Dynamical Systems. Society for Industrial and Applied Mathematics .https://doi.org/10.1137/140993934 

Ivanchenko, M., Zhu, J., Wang, B., Medvecka, E., Du, Y., Azzarello, E.,https://doi.org/10.1242/dev.113225__Geisler, M. (2015). The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation. Development. Company of Biologists.https://doi.org/10.1242/dev.113225 

Javdani, F., Holló, K., Hegeds, K., Kis, G., Hegyi, Z., Dócs, K.,https://doi.org/10.1002/cne.23774__Antal, M. (2015). Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats. Journal of Comparative Neurology. Wiley-Blackwell.https://doi.org/10.1002/cne.23774 

Ibsen-Jensen, R., Chatterjee, K., &; Nowak, M. (2015). Computational complexity of ecological and evolutionary spatial dynamics. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1511366112 

Heger, K., Kober, M., Rieß, D., Drees, C., de Vries, I., Bertossi, A.,https://doi.org/10.1002/eji.201545457__Schmidt Supprian, M. (2015). A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors. European Journal of Immunology. Wiley.https://doi.org/10.1002/eji.201545457 

Liao, C., Smet, W., Brunoud, G., Yoshida, S., Vernoux, T., &; Weijers, D. (2015). Reporters for sensitive and quantitative measurement of auxin response. Nature Methods. Nature Publishing Group.https://doi.org/10.1038/nmeth.3279 

Hons, M., &; Sixt, M. K. (2015). The lymph node filter revealed. Nature Immunology. Nature Publishing Group.https://doi.org/10.1038/ni.3126 

Gavello, D., Vandael, D. H., Gosso, S., Carbone, E., &; Carabelli, V. (2015). Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells. Journal of Physiology. Wiley-Blackwell.https://doi.org/10.1113/JP271078 

Grones, P., Chen, X., Simon, S., Kaufmann, W., De Rycke, R., Nodzyski, T.,https://doi.org/10.1093/jxb/erv177__Friml, J. (2015). Auxin-binding pocket of AB is crucial for its gain-of-function cellular and developmental roles. Journal of Experimental Botany. Oxford University Press.https://doi.org/10.1093/jxb/erv177 

Gilson, M., Savin, C., &; Zenke, F. (2015). Editorial: Emergent neural computation from the interaction of different forms of plasticity. Frontiers in Computational Neuroscience. Frontiers Research Foundation.https://doi.org/10.3389/fncom.2015.00145 

Dunaeva, O., Edelsbrunner, H., Lukyanov, A., Machin, M., &; Malkova, D. (2015). The classification of endoscopy images with persistent homology. In Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (p. 7034731). Timisoara, Romania: IEEE.https://doi.org/10.1109/SYNASC.2014.81 

Edelsbrunner, H. (2015). Shape, homology, persistence, and stability. In 23rd International Symposium (Vol. 9411). Los Angeles, CA, United States: Springer Nature.

Graff, G., &; Pilarczyk, P. (2015). An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds. Topological Methods in Nonlinear Analysis. Juliusz Schauder Center for Nonlinear Studies.https://doi.org/10.12775/TMNA.2015.014 

Chen, Q., Liu, Y., Maere, S., Lee, E., Van Isterdael, G., Xie, Z.,https://doi.org/10.1038/ncomms9821__Vanneste, S. (2015). A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms9821 

Chabaud, M., Heuzé, M., Bretou, M., Vargas, P., Maiuri, P., Solanes, P.,https://doi.org/10.1038/ncomms8526__Lennon Duménil, A. (2015). Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms8526 

Doyle, S., Haegera, A., Vain, T., Rigala, A., Viotti, C., angowskaa, M.,https://doi.org/10.1073/pnas.1424856112__Robert, S. (2015). An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1424856112 

Der, R., &; Martius, G. S. (2015). Novel plasticity rule can explain the development of sensorimotor intelligence. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1508400112 

de Vos, M., Dawid, A., Sunderlíková, V., &; Tans, S. (2015). Breaking evolutionary constraint with a tradeoff ratchet. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1510282112 

Correggi, M., Giuliani, A., &; Seiringer, R. (2015). Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-015-2402-0 

Chen, T., Hainzl, C., Pavlovi, N., &; Seiringer, R. (2015). Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti. Communications on Pure and Applied Mathematics. Wiley.https://doi.org/10.1002/cpa.21552 

Brenes, O., Vandael, D. H., Carbone, E., Montarolo, P., &; Ghirardi, M. (2015). Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated C currents in Helix serotonergic neurons. Neuroscience. Elsevier.https://doi.org/10.1016/j.neuroscience.2015.10.046 

Carvalho, A., Vicoso, B., Russo, C., Swenor, B., &; Clark, A. (2015). Birth of a new gene on the Y chromosome of Drosophila melanogaster. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1516543112 

Brooks, C., Martin del Campo Sanchez, A., &; Sottile, F. (2015). Galois groups of Schubert problems of lines are at least alternating. Transactions of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/S0002-9947-2014-06192-8 

Cao, T., Edelsbrunner, H., &; Tan, T. (2015). Triangulations from topologically correct digital Voronoi diagrams. Computational Geometry. Elsevier.https://doi.org/10.1016/j.comgeo.2015.04.001 

Bollenbach, M. T., &; Heisenberg, C.-P. J. (2015). Gradients are shaping up. Cell. Cell Press.https://doi.org/10.1016/j.cell.2015.04.009 

Altmeyer, S., Do, Y., &; Lai, Y. (2015). Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/srep18589 

Biedl, T., Held, M., Huber, S., Kaaser, D., &; Palfrader, P. (2015). Reprint of: Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. Elsevier.https://doi.org/10.1016/j.comgeo.2015.01.004 

Biedl, T., Held, M., Huber, S., Kaaser, D., &; Palfrader, P. (2015). Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. Elsevier.https://doi.org/10.1016/j.comgeo.2014.08.006 

Biedl, T., Held, M., Huber, S., Kaaser, D., &; Palfrader, P. (2015). A simple algorithm for computing positively weighted straight skeletons of monotone polygons. Information Processing Letters. Elsevier.https://doi.org/10.1016/j.ipl.2014.09.021 

Amaro, P., Fratini, F., Safari, L., Antognini, A., Indelicato, P., Pohl, R., &; Santos, J. (2015). Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society.https://doi.org/10.1103/PhysRevA.92.062506 

Altmeyer, S., Do, Y., &; Lai, Y. (2015). Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows. Physical Review E. American Physical Society.https://doi.org/10.1103/PhysRevE.92.053018 

Angermayr, A., Gorchs, A., &; Hellingwerf, K. (2015). Metabolic engineering of cyanobacteria for the synthesis of commodity products. Trends in Biotechnology. Elsevier.https://doi.org/10.1016/j.tibtech.2015.03.009 

Bao, Z., Pan, G., &; Zhou, W. (2015). Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices. IEEE Transactions on Information Theory. IEEE.https://doi.org/10.1109/TIT.2015.2421894 

dádníková, P., Smet, D., Zhu, Q., Van Der Straeten, D., &; Benková, E. (2015). Strategies of seedlings to overcome their sessile nature: Auxin in mobility control. Frontiers in Plant Science. Frontiers Research Foundation.https://doi.org/10.3389/fpls.2015.00218 

Fulek, R., Pelsmajer, M., &; Schaefer, M. (2015). Hanani-Tutte for radial planarity (Vol. 9411, pp. 99–110). Presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA: Springer.https://doi.org/10.1007/978-3-319-27261-0_9 

Aichholzer, O., Biedl, T., Hackl, T., Held, M., Huber, S., Palfrader, P., &; Vogtenhuber, B. (2015). Representing directed trees as straight skeletons. In Graph Drawing and Network Visualization (Vol. 9411, pp. 335–347). Los Angeles, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-319-27261-0_28 

Forejt, V., Krdál, J., &; Kretinsky, J. (2015). Controller synthesis for MDPs and frequency LTL\'47U (Vol. 9450, pp. 162–177). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji: Springer.https://doi.org/10.1007/978-3-662-48899-7_12 

Fulek, R., &; Radoidi, R. (2015). Vertical visibility among parallel polygons in three dimensions. In Graph Drawing and Network Visualization (Vol. 9411, pp. 373–379). Los Angeles, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-319-27261-0_31 

Babiak, T., Blahoudek, F., Duret Lutz, A., Klein, J., Kretinsky, J., Mueller, D.,https://doi.org/10.1007/978-3-319-21690-4_31__Strejdek, J. (2015). The Hanoi omega-automata format (Vol. 9206, pp. 479–486). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer.https://doi.org/10.1007/978-3-319-21690-4_31 

Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., &; Grosu, R. (2015). Abstraction-based parameter synthesis for multiaffine systems (Vol. 9434, pp. 19–35). Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer.https://doi.org/10.1007/978-3-319-26287-1_2 

Nguyen, L., Schilling, C., Bogomolov, S., &; Johnson, T. (2015). Runtime verification for hybrid analysis tools. In 6th International Conference (Vol. 9333, pp. 281–286). Vienna, Austria: Springer Nature.https://doi.org/10.1007/978-3-319-23820-3_19 

Chatterjee, K., Doyen, L., &; Vardi, M. (2015). The complexity of synthesis from probabilistic components. In 42nd International Colloquium (Vol. 9135, pp. 108–120). Kyoto, Japan: Springer Nature.https://doi.org/10.1007/978-3-662-47666-6_9 

Hammer, M., Krueger Burg, D., Tuffy, L., Cooper, B., Taschenberger, H., Goswami, S.,https://doi.org/10.1016/j.celrep.2015.09.011__Brose, N. (2015). Perturbed hippocampal synaptic inhibition and ;3-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. Cell Press.https://doi.org/10.1016/j.celrep.2015.09.011 

Strüber, M., Jonas, P. M., &; Bartos, M. (2015). Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1412996112 

Whitfield, J., Zhang, W., Herde, M., Clifton, B., Radziejewski, J., Janovjak, H. L.,https://doi.org/10.1002/pro.2721__Jackson, C. (2015). Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. Wiley.https://doi.org/10.1002/pro.2721 

Pavlogiannis, A., Chatterjee, K., Adlam, B., &; Nowak, M. (2015). Cellular cooperation with shift updating and repulsion. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/srep17147 

Hammar, P., Angermayr, A., Sjostrom, S., Van Der Meer, J., Hellingwerf, K., Hudson, E., &; Joensson, H. (2015). Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. BioMed Central.https://doi.org/10.1186/s13068-015-0380-2 

Bermano, A., Beeler, T., Kozlov, Y., Bradley, D., Bickel, B., &; Gross, M. (2015). Detailed spatio-temporal reconstruction of eyelids (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM.https://doi.org/10.1145/2766924 

Martin, T., Umetani, N., &; Bickel, B. (2015). OmniAD: Data-driven omni-directional aerodynamics (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM.https://doi.org/10.1145/2766919 

Schumacher, C., Bickel, B., Rys, J., Marschner, S., Daraio, C., &; Gross, M. (2015). Microstructures to control elasticity in 3D printing (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA: ACM.https://doi.org/10.1145/2766926 

Pérez, J., Thomaszewski, B., Coros, S., Bickel, B., Canabal, J., Sumner, R., &; Otaduy, M. (2015). Design and fabrication of flexible rod meshes (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM.https://doi.org/10.1145/2766998 

Da, F., Batty, C., Wojtan, C., &; Grinspun, E. (2015). Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM.https://doi.org/10.1145/2767003 

Kolmogorov, V., Rolinek, M., &; Takhanov, R. (2015). Effectiveness of structural restrictions for hybrid CSPs. In 26th International Symposium (Vol. 9472, pp. 566–577). Nagoya, Japan: Springer Nature.https://doi.org/10.1007/978-3-662-48971-0_48 

Ando, R., Thuerey, N., &; Wojtan, C. (2015). A stream function solver for liquid simulations (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA: ACM.https://doi.org/10.1145/2766935 

Guerrero, P., Jeschke, S., Wimmer, M., &; Wonka, P. (2015). Learning shape placements by example (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM.https://doi.org/10.1145/2766933 

Simásková, M., O’Brien, J., Khan-Djamei, M., Van Noorden, G., Ötvös, K., Vieten, A.,https://doi.org/10.1038/ncomms9717__Benková, E. (2015). Cytokinin response factors regulate PIN-FORMED auxin transporters. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms9717 

Fulek, R., Kyndl, J., Malinovid, I., &; Pálvölgyi, D. (2015). Clustered planarity testing revisited. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics.https://doi.org/10.37236/5002 

Maas, J., Rumpf, M., Schönlieb, C., &; Simon, S. (2015). A generalized model for optimal transport of images including dissipation and density modulation. ESAIM: Mathematical Modelling and Numerical Analysis. EDP Sciences.https://doi.org/10.1051/m2an/2015043 

Sazanov, L. A. (2015). A giant molecular proton pump: structure and mechanism of respiratory complex I. Nature Reviews Molecular Cell Biology. Nature Publishing Group.https://doi.org/10.1038/nrm3997 

Banerjee, A., Fuchsbauer, G., Peikert, C., Pietrzak, K. Z., &; Stevens, S. (2015). Key-homomorphic constrained pseudorandom functions. In 12th Theory of Cryptography Conference (Vol. 9015, pp. 31–60). Warsaw, Poland: Springer Nature.https://doi.org/10.1007/978-3-662-46497-7_2 

Fuchsbauer, G., Jafargholi, Z., &; Pietrzak, K. Z. (2015). A quasipolynomial reduction for generalized selective decryption on trees (Vol. 9215, pp. 601–620). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, USA: Springer.https://doi.org/10.1007/978-3-662-47989-6_29 

Benhamouda, F., Krenn, S., Lyubashevsky, V., &; Pietrzak, K. Z. (2015). Efficient zero-knowledge proofs for commitments from learning with errors over rings. Presented at the ESORICS: European Symposium on Research in Computer Security, Vienna, Austria: Springer.https://doi.org/10.1007/978-3-319-24174-6_16 

Demay, G., Gazi, P., Maurer, U., &; Tackmann, B. (2015). Query-complexity amplification for random oracles (Vol. 9063, pp. 159–180). Presented at the ICITS: International Conference on Information Theoretic Security, Lugano, Switzerland: Springer.https://doi.org/10.1007/978-3-319-17470-9_10 

Fuchsbauer, G., Hanser, C., &; Slamanig, D. (2015). Practical round-optimal blind signatures in the standard model (Vol. 9216, pp. 233–253). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-662-48000-7_12 

Gazi, P., &; Tessaro, S. (2015). Secret-key cryptography from ideal primitives: A systematic verview. In 2015 IEEE Information Theory Workshop. Jerusalem, Israel: IEEE.https://doi.org/10.1109/ITW.2015.7133163 

Gazi, P., Pietrzak, K. Z., &; Tessaro, S. (2015). Generic security of NMAC and HMAC with input whitening. Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer.https://doi.org/10.1007/978-3-662-48800-3_4 

Skórski, M., Golovnev, A., &; Pietrzak, K. Z. (2015). Condensed unpredictabilityhttps://doi.org/10.1007/978-3-662-47672-7_85__(Vol. 9134, pp. 1046–1057). Presented at the ICALP: Automata, Languages and Programming, Kyoto, Japan: Springer.https://doi.org/10.1007/978-3-662-47672-7_85 

Baldimtsi, F., Chase, M., Fuchsbauer, G., &; Kohlweiss, M. (2015). Anonymous transferable e-cash. In Public-Key Cryptography - PKC 2015 (Vol. 9020, pp. 101–124). Gaithersburg, MD, United States: Springer.https://doi.org/10.1007/978-3-662-46447-2_5 

Alwen, J. F., &; Serbinenko, V. (2015). High parallel complexity graphs and memory-hard functions. In Proceedings of the 47th annual ACM symposium on Theory of computing (pp. 595–603). Portland, OR, United States: ACM.https://doi.org/10.1145/2746539.2746622 

Bogomolov, S., Henzinger, T. A., Podelski, A., Ruess, J., &; Schilling, C. (2015). Adaptive moment closure for parameter inference of biochemical reaction networks. Presented at the CMSB: Computational Methods in Systems Biology, Nantes, France: Springer.https://doi.org/10.1007/978-3-319-23401-4_8 

Brázdil, T., Kiefer, S., Kudera, A., &; Novotný, P. (2015). Long-run average behaviour of probabilistic vector addition systems (pp. 44–55). Presented at the LICS: Logic in Computer Science, Kyoto, Japan: IEEE.https://doi.org/10.1109/LICS.2015.15 

Landau, D., Tausch, E., Taylor Weiner, A., Stewart, C., Reiter, J., Bahlo, J.,https://doi.org/10.1038/nature15395__Wu, C. (2015). Mutations driving CLL and their evolution in progression and relapse. Nature. Nature Publishing Group.https://doi.org/10.1038/nature15395 

Kovács, K., Steinmann, M., Halfon, O., Magistretti, P., &; Cardinaux, J. (2015). Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2. Cellular Signalling. Elsevier.https://doi.org/10.1016/j.cellsig.2015.08.001 

Brázdil, T., Korendiak, L., Krdál, J., Novotný, P., &; ehák, V. (2015). Optimizing performance of continuous-time stochastic systems using timeout synthesis. Presented at the QEST: Quantitative Evaluation of Systems, Madrid, Spain: Springer.https://doi.org/10.1007/978-3-319-22264-6_10 

Barkley, D., Song, B., Vasudevan, M., Lemoult, G. M., Avila, M., &; Hof, B. (2015). The rise of fully turbulent flow. Nature. Nature Publishing Group.https://doi.org/10.1038/nature15701 

Alwen, J. F., Ostrovsky, R., Zhou, H., &; Zikas, V. (2015). Incoercible multi-party computation and universally composable receipt-free voting. In Advances in Cryptology - CRYPTO 2015 (Vol. 9216, pp. 763–780). Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-662-48000-7_37 

Pietrzak, K. Z., &; Skórski, M. (2015). The chain rule for HILL pseudoentropy, revisited. Presented at the LATINCRYPT: Cryptology and Information Security in Latin America, Guadalajara, Mexico: Springer.https://doi.org/10.1007/978-3-319-22174-8_5 

Gazi, P., Pietrzak, K. Z., &; Tessaro, S. (2015). The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC (Vol. 9215, pp. 368–387). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-662-47989-6_18 

Adlam, B., Chatterjee, K., &; Nowak, M. (2015). Amplifiers of selection. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London.https://doi.org/10.1098/rspa.2015.0114 

Gazi, P., Lee, J., Seurin, Y., Steinberger, J., &; Tessaro, S. (2015). Relaxing full-codebook security: A refined analysis of key-length extension schemes. Presented at the FSE: Fast Software Encryption, Istanbul, Turkey: Springer.https://doi.org/10.1007/978-3-662-48116-5_16 

Bogomolov, S., Magazzeni, D., Minopoli, S., &; Wehrle, M. (2015). PDDL+ planning with hybrid automata: Foundations of translating must behavior (pp. 42–46). Presented at the ICAPS: International Conference on Automated Planning and Scheduling, Jerusalem, Israel: AAAI Press.

Lee, J., &; Schnelli, K. (2015). Edge universality for deformed Wigner matrices. Reviews in Mathematical Physics. World Scientific Publishing.https://doi.org/10.1142/S0129055X1550018X 

Lemoult, G. M., Maier, P., &; Hof, B. (2015). Taylor’s Forest. Physics of Fluids. American Institute of Physics.https://doi.org/10.1063/1.4930850 

Sixt, M. K., &; Raz, E. (2015). Editorial overview: Cell adhesion and migration. Current Opinion in Cell Biology. Elsevier.https://doi.org/10.1016/j.ceb.2015.09.004 

Vicoso, B., &; Bachtrog, D. (2015). Numerous transitions of sex chromosomes in Diptera. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1002078 

Sarris, M., &; Sixt, M. K. (2015). Navigating in tissue mazes: Chemoattractant interpretation in complex environments. Current Opinion in Cell Biology. Elsevier.https://doi.org/10.1016/j.ceb.2015.08.001 

Cohen Addad, V., &; de Mesmay, A. N. (2015). A fixed parameter tractable approximation scheme for the optimal cut graph of a surface (Vol. 9294, pp. 386–398). Presented at the ESA: European Symposium on Algorithms, Patras, Greece: Springer.https://doi.org/10.1007/978-3-662-48350-3_33 

Karasev, R., Kyndl, J., Paták, P., Patakova, Z., &; Tancer, M. (2015). Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-015-9720-z 

Michaliszyn, J., Otop, J., &; Kieroski, E. (2015). On the decidability of elementary modal logics. ACM Transactions on Computational Logic. ACM.https://doi.org/10.1145/2817825 

Franek, P., &; Krcál, M. (2015). Robust satisfiability of systems of equations. Journal of the ACM. ACM.https://doi.org/10.1145/2751524 

Letts, J. A., &; Sazanov, L. A. (2015). Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions. Current Opinion in Structural Biology. Elsevier.https://doi.org/10.1016/j.sbi.2015.08.008 

Kiermaier, E., &; Sixt, M. K. (2015). Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aad0867 

Frehse, G., Bogomolov, S., Greitschus, M., Strump, T., &; Podelski, A. (2015). Eliminating spurious transitions in reachability with support functions. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 149–158). Seattle, WA, United States: ACM.https://doi.org/10.1145/2728606.2728622 

Amaro, P., Franke, B., Krauth, J., Diepold, M., Fratini, F., Safari, L.,https://doi.org/10.1103/PhysRevA.92.022514__Santos, J. (2015). Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A. American Physical Society.https://doi.org/10.1103/PhysRevA.92.022514 

Bak, S., Bogomolov, S., &; Johnson, T. (2015). HYST: A source transformation and translation tool for hybrid automaton models (pp. 128–133). Presented at the HSCC: Hybrid Systems - Computation and Control, Seattle, WA, United States: Springer.https://doi.org/10.1145/2728606.2728630 

Svoreová, M., Chmelik, M., Leahy, K., Eniser, H., Chatterjee, K., Cbrná, I., &; Belta, C. (2015). Temporal logic motion planning using POMDPs with parity objectives: Case study paper. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 233–238). Seattle, WA, United States: ACM.https://doi.org/10.1145/2728606.2728617 

Chatterjee, K., &; Prabhu, V. (2015). Quantitative temporal simulation and refinement distances for timed systems. IEEE Transactions on Automatic Control. IEEE.https://doi.org/10.1109/TAC.2015.2404612 

Kaczmarczyk, J., Schickling, T., &; Bünemann, J. (2015). Evaluation techniques for Gutzwiller wave functions in finite dimensions. Physica Status Solidi (B): Basic Solid State Physics. Wiley.https://doi.org/10.1002/pssb.201552082 

Marre, O., Botella Soler, V., Simmons, K., Mora, T., Tkadik, G., &; Berry, M. (2015). High accuracy decoding of dynamical motion from a large retinal population. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1004304 

Uecker, H., Setter, D., &; Hermisson, J. (2015). Adaptive gene introgression after secondary contact. Journal of Mathematical Biology. Springer.https://doi.org/10.1007/s00285-014-0802-y 

Wysokiski, M., Kaczmarczyk, J., &; Spaek, J. (2015). Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.92.125135 

Tkadik, G., Mora, T., Marre, O., Amodei, D., Palmer, S., Berry Ii, M., &; Bialek, W. (2015). Thermodynamics and signatures of criticality in a network of neurons. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1514188112 

Velner, Y., Chatterjee, K., Doyen, L., Henzinger, T. A., Rabinovich, A., &; Raskin, J. (2015). The complexity of multi-mean-payoff and multi-energy games. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2015.03.001 

Van Loon, E., Katsnelson, M., &; Lemeshko, M. (2015). Ultralong-range order in the Fermi-Hubbard model with long-range interactions. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.92.081106 

Deuchert, A., Hainzl, C., &; Seiringer, R. (2015). Note on a family of monotone quantum relative entropies. Letters in Mathematical Physics. Springer.https://doi.org/10.1007/s11005-015-0787-5 

Broadhurst, L., Fifield, G., Vanzella, B., &; Pickup, M. (2015). An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas. Australian Journal of Botany. CSIRO.https://doi.org/10.1071/BT15023 

Pentina, A., &; Ben David, S. (2015). Multi-task and lifelong learning of kernels (Vol. 9355, pp. 194–208). Presented at the ALT: Algorithmic Learning Theory, Banff, AB, Canada: Springer.https://doi.org/10.1007/978-3-319-24486-0_13 

Ratheesh, A., Belyaeva, V., &; Siekhaus, D. E. (2015). Drosophila immune cell migration and adhesion during embryonic development and larval immune responses. Current Opinion in Cell Biology. Elsevier.https://doi.org/10.1016/j.ceb.2015.07.003 

Akopyan, A., &; Plakhov, A. (2015). Minimal resistance of curves under the single impact assumption. Society for Industrial and Applied Mathematics. SIAM.https://doi.org/10.1137/140993843 

Colin De Verdière, É., Hubard, A., &; de Mesmay, A. N. (2015). Discrete systolic inequalities and decompositions of triangulated surfaces. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-015-9679-9 

Cohen, M., Kicheva, A., Ribeiro, A., Blassberg, R., Page, K., Barnes, C., &; Briscoe, J. (2015). Ptc and Gli regulate Shh signalling dynamics via multiple mechanisms. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms7709 

Ando, R., Thürey, N., &; Wojtan, C. (2015). A dimension-reduced pressure solver for liquid simulations. Computer Graphics Forum. Wiley.https://doi.org/10.1111/cgf.12576 

Klehm, O., Rousselle, F., Papas, M., Bradley, D., Hery, C., Bickel, B.,https://doi.org/10.1111/cgf.12594__Beeler, T. (2015). Recent advances in facial appearance capture. Computer Graphics Forum. Wiley-Blackwell.https://doi.org/10.1111/cgf.12594 

Kuechler, A., Zink, A., Wieland, T., Lüdecke, H., Cremer, K., Salviati, L.,https://doi.org/10.1038/ejhg.2014.165__Engels, H. (2015). Loss-of-function variants of SET cause intellectual disability and the core phenotype of microdeletion 3.3 syndrome. European Journal of Human Genetics. Nature Publishing Group.https://doi.org/10.1038/ejhg.2014.165 

Pitanti, A., Fink, J. M., Safavi Naeini, A., Hill, J., Lei, C., Tredicucci, A., &; Painter, O. (2015). Strong opto-electro-mechanical coupling in a silicon photonic crystal cavity. Optics Express. Optical Society of America.https://doi.org/10.1364/OE.23.003196 

Altmeyer, S., Do, Y., &; Lai, Y. (2015). Transition to turbulence in Taylor-Couette ferrofluidic flow. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/srep10781 

Rei, D., Mason, X., Seo, J., Gräff, J., Rudenko, A., Wang, J.,https://doi.org/10.1073/pnas.1415845112__Tsai, L. (2015). Basolateral amygdala bidirectionally modulates stress induced hippocampal learning and memory deficits through a /Cdk5-dependent pathway. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1415845112 

Goldman, M., &; Royo-Letelier, J. (2015). Sharp interface limit for two components Bose-Einstein condensates. ESAIM - Control, Optimisation and Calculus of Variations. EDP Sciences.https://doi.org/10.1051/cocv/2014040 

Siegert, S., Seo, J., Kwon, E., Rudenko, A., Cho, S., Wang, W.,https://doi.org/10.1038/nn.4023__Tsai, L. (2015). The schizophrenia risk gene product miR-137 alters presynaptic plasticity. Nature Neuroscience. Nature Publishing Group.https://doi.org/10.1038/nn.4023 

Bollenbach, M. T. (2015). Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. Current Opinion in Microbiology. Elsevier.https://doi.org/10.1016/j.mib.2015.05.008 

Lahrz, M., Lemeshko, M., &; Mathey, L. (2015). Exotic roton excitations in quadrupolar Bose–Einstein condensates . New Journal of Physics. IOP Publishing Ltd.https://doi.org/10.1088/1367-2630/17/4/045005 

Safari, L., Santos, J., Amaro, P., Jänkälä, K., &; Fratini, F. (2015). Analytical evaluation of atomic form factors: Application to Rayleigh scattering. Journal of Mathematical Physics. American Institute of Physics.https://doi.org/10.1063/1.4921227 

Schmidt, R., &; Lemeshko, M. (2015). Rotation of quantum impurities in the presence of a many-body environment. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.114.203001 

Gupta, A., &; Henzinger, T. A. (2015). Guest editors’ introduction to special issue on computational methods in systems biology. ACM Transactions on Modeling and Computer Simulation. ACM.https://doi.org/10.1145/2745799 

Porazinski, S., Wang, H., Asaoka, Y., Behrndt, M., Miyamoto, T., Morita, H.,https://doi.org/10.1038/nature14215__Furutani Seiki, M. (2015). YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. Nature Publishing Group.https://doi.org/10.1038/nature14215 

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2015). Optimal cost almost-sure reachability in POMDPs. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence  (Vol. 5, pp. 3496–3502). Austin, TX, USA: AAAI Press.

Jeschke, S., &; Wojtan, C. (2015). Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2714572 

Polechova, J., &; Barton, N. H. (2015). Limits to adaptation along environmental gradients. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1421515112 

Zwiewka, M., Nodzyski, T., Robert, S., Vanneste, S., &; Friml, J. (2015). Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. Molecular Plant. Elsevier.https://doi.org/10.1016/j.molp.2015.03.007 

Chevereau, G., &; Bollenbach, M. T. (2015). Systematic discovery of drug interaction mechanisms. Molecular Systems Biology. Nature Publishing Group.https://doi.org/10.15252/msb.20156098 

Knebel, J., Weber, M., Krüger, T. H., &; Frey, E. (2015). Evolutionary games of condensates in coupled birth-death processes. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms7977 

Kappeler, P., Cremer, S., &; Nunn, C. (2015). Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.https://doi.org/10.1098/rstb.2014.0116 

Akopyan, A., Pirogov, S., &; Rybko, A. (2015). Invariant measures of genetic recombination process. Journal of Statistical Physics. Springer.https://doi.org/10.1007/s10955-015-1238-5 

Cerny, P., Henzinger, T. A., Kovács, L., Radhakrishna, A., &; Zwirchmayr, J. (2015). Segment abstraction for worst-case execution time analysis. Presented at the ESOP: European Symposium on Programming, London, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-46669-8_5 

Bloem, R., Chatterjee, K., Jacobs, S., &; Könighofer, R. (2015). Assume-guarantee synthesis for concurrent reactive programs with partial information (Vol. 9035, pp. 517–532). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-46681-0_50 

Brázdil, T., Chatterjee, K., Forejt, V., &; Kudera, A. (2015). Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-46681-0_12 

Kühnen, J., Braunshier, P., Schwegel, M., Kuhlmann, H., &; Hof, B. (2015). Subcritical versus supercritical transition to turbulence in curved pipes. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2015.184 

Schwamb, B., Pick, R., Fernández, S., Völp, K., Heering, J., Dötsch, V.,https://doi.org/10.1002/ijc.29498__Zörnig, M. (2015). FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer. Wiley.https://doi.org/10.1002/ijc.29498 

Benes, N., Kretinsky, J., Larsen, K., Möller, M., Sickert, S., &; Srba, J. (2015). Refinement checking on parametric modal transition systems. Acta Informatica. Springer.https://doi.org/10.1007/s00236-015-0215-4 

Vandael, D. H., Espinoza Martinez, C., &; Jonas, P. M. (2015). Excitement about inhibitory presynaptic terminals. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2015.03.006 

Geiger, B., Petrov, T., Kubin, G., &; Koeppl, H. (2015). Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. IEEE.https://doi.org/10.1109/TAC.2014.2364971 

Kolmogorov, V. (2015). A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE.https://doi.org/10.1109/TPAMI.2014.2363465 

Himschoot, E., Beeckman, T., Friml, J., &; Vanneste, S. (2015). Calcium is an organizer of cell polarity in plants. Biochimica et Biophysica Acta - Molecular Cell Research. Elsevier.https://doi.org/10.1016/j.bbamcr.2015.02.017 

Grones, P., &; Friml, J. (2015). AB: Finally docking. Molecular Plant. Elsevier.https://doi.org/10.1016/j.molp.2014.12.013 

Novak, S., &; Cremer, S. (2015). Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates. Journal of Theoretical Biology. Elsevier.https://doi.org/10.1016/j.jtbi.2015.02.018 

Priklopil, T., Kisdi, E., &; Gyllenberg, M. (2015). Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating. Evolution. Wiley.https://doi.org/10.1111/evo.12618 

Shah, N., Kolmogorov, V., &; Lampert, C. (2015). A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle (pp. 2737–2745). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE.https://doi.org/10.1109/CVPR.2015.7298890 

Royer, A., &; Lampert, C. (2015). Classifier adaptation at prediction time (pp. 1401–1409). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE.https://doi.org/10.1109/CVPR.2015.7298746 

Lampert, C. (2015). Predicting the future behavior of a time-varying probability distribution (pp. 942–950). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE.https://doi.org/10.1109/CVPR.2015.7298696 

Pentina, A., Sharmanska, V., &; Lampert, C. (2015). Curriculum learning of multiple tasks (pp. 5492–5500). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE.https://doi.org/10.1109/CVPR.2015.7299188 

Hühner, J., Inglés Prieto, Á., Neusüß, C., Lämmerhofer, M., &; Janovjak, H. L. (2015). Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection. Electrophoresis. Wiley.https://doi.org/10.1002/elps.201400451 

Robert, H., Grunewald, W., Sauer, M., Cannoot, B., Soriano, M., Swarup, R.,https://doi.org/10.1242/dev.115832__Friml, J. (2015). Plant embryogenesis requires AUX/LAX-mediated auxin influx. Development. Company of Biologists.https://doi.org/10.1242/dev.115832 

Park, Y., Do, Y., Altmeyer, S., Lai, Y., &; Lee, G. (2015). Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances. Physical Review E. American Physical Society.https://doi.org/10.1103/PhysRevE.91.022906 

Erdös, L., &; Knowles, A. (2015). The Altshuler–Shklovskii formulas for random band matrices II: The general case. Annales Henri Poincare. Springer.https://doi.org/10.1007/s00023-014-0333-5 

Ruess, J., &; Lygeros, J. (2015). Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks. ACM Transactions on Modeling and Computer Simulation. ACM.https://doi.org/10.1145/2688906 

Henzinger, T. A., &; Raskin, J. (2015). The equivalence problem for finite automata: Technical perspective. Communications of the ACM. ACM.https://doi.org/10.1145/2701001 

Grones, P., &; Friml, J. (2015). Auxin transporters and binding proteins at a glance. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.159418 

Boccara, C. N., Kjønigsen, L., Hammer, I., Bjaalie, J., Leergaard, T., &; Witter, M. (2015). A three-plane architectonic atlas of the rat hippocampal region. Hippocampus. Wiley.https://doi.org/10.1002/hipo.22407 

Chatterjee, K., &; Chmelik, M. (2015). POMDPs under probabilistic semantics. Artificial Intelligence. Elsevier.https://doi.org/10.1016/j.artint.2014.12.009 

Kremer, A., Lippens, S., Bartunkova, S., Asselbergh, B., Blanpain, C., Fendrych, M.,https://doi.org/10.1111/jmi.12211__Guérin, C. (2015). Developing 3D SEM in a broad biological context. Journal of Microscopy. Wiley-Blackwell.https://doi.org/10.1111/jmi.12211 

Könenberg, M., Moser, T., Seiringer, R., &; Yngvason, J. (2015). Superfluid behavior of a Bose-Einstein condensate in a random potential. New Journal of Physics. IOP Publishing Ltd.https://doi.org/10.1088/1367-2630/17/1/013022 

Fahrenberg, U., Kretinsky, J., Legay, A., &; Traonouez, L. (2015). Compositionality for quantitative specifications (Vol. 8997, pp. 306–324). Presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy: Springer.https://doi.org/10.1007/978-3-319-15317-9_19 

Keller-Schmidt, S., Tugrul, M., Eguíluz, V., Hernandez Garcia, E., &; Klemm, K. (2015). Anomalous scaling in an age-dependent branching model. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/10.1103/PhysRevE.91.022803 

Cires Rodriguez, E., &; Prieto, J. (2015). Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula. Journal of Plant Research. Springer.https://doi.org/10.1007/s10265-014-0691-6 

Tkadik, G., Dubuis, J., Petkova, M., &; Gregor, T. (2015). Positional information, positional error, and readout precision in morphogenesis: A mathematical framework. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.114.171850 

Sokolowski, T. R., &; Tkadik, G. (2015). Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/10.1103/PhysRevE.91.062710 

Pausinger, F., &; Steinerberger, S. (2015). On the distribution of local extrema in quantum chaos. Physics Letters, Section A. Elsevier.https://doi.org/10.1016/j.physleta.2014.12.010 

Rakusová, H., Fendrych, M., &; Friml, J. (2015). Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants. Current Opinion in Plant Biology. Elsevier.https://doi.org/10.1016/j.pbi.2014.12.002 

Gupta, A., Henzinger, T. A., Radhakrishna, A., Samanta, R., &; Tarrach, T. (2015). Succinct representation of concurrent trace sets (pp. 433–444). Presented at the POPL: Principles of Programming Languages, Mumbai, India: ACM.https://doi.org/10.1145/2676726.2677008 

Noren, P. (2015). The three-state toric homogeneous Markov chain model has Markov degree two. Journal of Symbolic Computation. Elsevier.https://doi.org/10.1016/j.jsc.2014.09.014 

Klimova, A., &; Rudas, T. (2015). Iterative scaling in curved exponential families. Scandinavian Journal of Statistics. Wiley.https://doi.org/10.1111/sjos.12139 

Hein, N., Hillar, C., Martin del Campo Sanchez, A., Sottile, F., &; Teitler, Z. (2015). The monotone secant conjecture in the real Schubert calculus. Experimental Mathematics. Taylor &; Francis.https://doi.org/10.1080/10586458.2014.980044 

Klimova, A., Uhler, C., &; Rudas, T. (2015). Faithfulness and learning hypergraphs from discrete distributions. Computational Statistics &; Data Analysis. Elsevier.https://doi.org/10.1016/j.csda.2015.01.017 

Kawada, D., Kobayashi, H., Tomita, T., Nakata, E., Nagano, M., Siekhaus, D. E.,https://doi.org/10.1016/j.bbamcr.2014.10.009__Toshimaa, J. (2015). The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins. Biochimica et Biophysica Acta - Molecular Cell Research. Elsevier.https://doi.org/10.1016/j.bbamcr.2014.10.009 

Shi, L., Rampp, M., Hof, B., &; Avila, M. (2015). A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow. Computers and Fluids. Elsevier.https://doi.org/10.1016/j.compfluid.2014.09.021 

Edelsbrunner, H., Jablonski, G., &; Mrozek, M. (2015). The persistent homology of a self-map. Foundations of Computational Mathematics. Springer.https://doi.org/10.1007/s10208-014-9223-y 

Bérard, B., Chatterjee, K., &; Sznajder, N. (2015). Probabilistic opacity for Markov decision processes. https://doi.org/10.1016/j.ipl.2014.09.001__Information Processing Letters. Elsevier.https://doi.org/10.1016/j.ipl.2014.09.001 

Nam, P., &; Seiringer, R. (2015). Collective excitations of Bose gases in the mean-field regime. Archive for Rational Mechanics and Analysis. Springer.https://doi.org/10.1007/s00205-014-0781-6 

Erdös, L., &; Knowles, A. (2015). The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-014-2119-5 

Chakraborty, S., Henzinger, T. A., Sezgin, A., &; Vafeiadis, V. (2015). Aspect-oriented linearizability proofs. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-11(1:20)2015 

Kolmogorov, V., Thapper, J., &; divný, S. (2015). The power of linear programming for general-valued CSPs. SIAM Journal on Computing. SIAM.https://doi.org/10.1137/130945648 

Browning, T. D., &; Munshi, R. (2015). Pairs of diagonal quadratic forms and linear correlations among sums of two squares. Forum Mathematicum. Walter de Gruyter GmbH.https://doi.org/10.1515/forum-2013-6024 

Browning, T. D. (2015). A survey of applications of the circle method to rational points. In Arithmetic and Geometry (pp. 89–113). Cambridge University Press.https://doi.org/10.1017/CBO9781316106877.009 

Browning, T. D., &; Vishe, P. (2015). Rational points on cubic hypersurfaces over F_q(t) . Geometric and Functional Analysis. Birkhäuser.https://doi.org/10.1007/s00039-015-0328-5 

Chatterjee, K., Joglekar, M., &; Shah, N. (2015). Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2015.01.050 

Attali, D., Bauer, U., Devillers, O., Glisse, M., &; Lieutier, A. (2015). Homological reconstruction and simplification in . Computational Geometry: Theory and Applications. Elsevier.https://doi.org/10.1016/j.comgeo.2014.08.010 

Walter, M., Kravchyk, K., Ibáñez, M., &; Kovalenko, M. (2015). Efficient and inexpensive sodium magnesium hybrid battery. Chemistry of Materials. ACS.https://doi.org/10.1021/acs.chemmater.5b03531 

Ibáñez, M., Korkosz, R., Luo, Z., Riba, P., Cadavid, D., Ortega, S.,https://doi.org/10.1021/jacs.5b00091__Kanatzidis, M. (2015). Electron doping in bottom up engineered thermoelectric nanomaterials through HCl mediated ligand displacement. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/jacs.5b00091 

Yu, X., Liu, J., Genç, A., Ibáñez, M., Luo, Z., Shavel, A.,https://doi.org/10.1021/acs.langmuir.5b02490__Cabot, A. (2015). Cu2ZnSn-AS nanoscale p-n heterostructures as sensitizers for photoelectrochemical water splitting. Langmuir. American Chemical Society.https://doi.org/10.1021/acs.langmuir.5b02490 

Lu, Z., Ibáñez, M., Antolín, A., Genç, A., Shavel, A., Contreras, S.,https://doi.org/10.1021/la504906q__Cabot, A. (2015). Size and aspect ratio control of Pd inf 2 inf Sn nanorods and their water denitration properties. Langmuir. American Chemical Society.https://doi.org/10.1021/la504906q 

Chatterjee, K., Doyen, L., Gimbert, H., &; Henzinger, T. A. (2015). Randomness for free. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2015.06.003 

Yu, X., Liu, J., Genç, A., Ibáñez, M., Luo, Z., Shavel, A.,https://doi.org/10.1021/acs.langmuir.5b02490__Cabot, A. (2015). Cu2ZnSn–AS Nanoscale p–n heterostructures as sensitizers for photoelectrochemical water splitting. Langmuir. American Chemical Society.https://doi.org/10.1021/acs.langmuir.5b02490 

Yu, X., An, X., Genç, A., Ibáñez, M., Arbiol, J., Zhang, Y., &; Cabot, A. (2015). Cu2ZnSn–PtM (M = Co, Ni) nanoheterostructures for photocatalytic hydrogen evolution. Journal of Physical Chemistry C. American Chemical Society.https://doi.org/10.1021/acs.jpcc.5b06199 

Chatterjee, K., Henzinger, T. A., Jobstmann, B., &; Singh, R. (2015). Measuring and synthesizing systems in probabilistic environments. Journal of the ACM. ACM.https://doi.org/10.1145/2699430 

Alpichshev, Z., Mahmood, F., Cao, G., &; Gedik, N. (2015). Confinement deconfinement transition as an indication of spin liquid type behavior in NIrO3. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.114.017203 

Chatterjee, K., Henzinger, M. H., &; Loitzenbauer, V. (2015). Improved algorithms for one-pair and k-pair Streett objectives. In Proceedings - Symposium on Logic in Computer Science (Vol. 2015–July). Kyoto, Japan: IEEE.https://doi.org/10.1109/LICS.2015.34 

Lewin, M., Nam, P., &; Rougerie, N. (2015). Derivation of nonlinear gibbs measures from many-body quantum mechanics. Journal de l’Ecole Polytechnique - Mathematiques. Ecole Polytechnique.https://doi.org/10.5802/jep.18 

Holst, K., Guseva, D., Schindler, S., Sixt, M. K., Braun, A., Chopra, H.,https://doi.org/10.1242/jcs.167999__Ponimaskin, E. (2015). The serotonin receptor 5-HR regulates the morphology and migratory properties of dendritic cells. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.167999 

Chatterjee, K., Doyen, L., Randour, M., &; Raskin, J. (2015). Looking at mean-payoff and total-payoff through windows. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2015.03.010 

Li, W., Ma, M., Feng, Y., Li, H., Wang, Y., Ma, Y.,https://doi.org/10.1016/j.cell.2015.09.037__Guo, H. (2015). EIN2-directed translational regulation of ethylene signaling in arabidopsis. Cell. Cell Press.https://doi.org/10.1016/j.cell.2015.09.037 

Chatterjee, K., &; Ibsen-Jensen, R. (2015). Qualitative analysis of concurrent mean payoff games. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2015.03.009 

Ahmed, U., Chatterjee, K., &; Gulwani, S. (2015). Automatic generation of alternative starting positions for simple traditional board games. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (Vol. 2, pp. 745–752). Austin, TX, USA: AAAI Press.

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2015). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications (pp. 325–330). Presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States: IEEE.https://doi.org/10.1109/ICRA.2015.7139019 

Chatterjee, K., Ibsen-Jensen, R., &; Hansen, K. (2015). The patience of concurrent stochastic games with safety and reachability objectives. IST Austria.https://doi.org/10.15479/AT:IST-2015-322-v1-1 

Anonymous, 1, &; Anonymous, 2. (2015). Optimal cost indefinite-horizon reachability in goal DEC-POMDPs. IST Austria.

Chatterjee, K., Komárková, Z., &; Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. Presented at the LICS: Logic in Computer Science, Kyoto, Japan: IEEE.https://doi.org/10.1109/LICS.2015.32 

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2015). Nested weighted automata. In Proceedings - Symposium on Logic in Computer Science (Vol. 2015–July). Kyoto, Japan: IEEE.https://doi.org/10.1109/LICS.2015.72 

Chatterjee, K., Komarkova, Z., &; Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria.https://doi.org/10.15479/AT:IST-2015-318-v1-1 

Chatterjee, K., Komarkova, Z., &; Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria.https://doi.org/10.15479/AT:IST-2015-318-v2-1 

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2015). Nested weighted automata. IST Austria.https://doi.org/10.15479/AT:IST-2015-170-v2-2 

Boker, U., Henzinger, T. A., &; Otop, J. (2015). The target discounted-sum problem. In LICS (pp. 750–761). Kyoto, Japan: IEEE.https://doi.org/10.1109/LICS.2015.74 

Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., &; Otop, J. (2015). Edit distance for pushdown automata. In 42nd International Colloquium (Vol. 9135, pp. 121–133). Kyoto, Japan: Springer Nature.https://doi.org/10.1007/978-3-662-47666-6_10 

Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria.https://doi.org/10.15479/AT:IST-2015-330-v2-1 

Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria.https://doi.org/10.15479/AT:IST-2015-319-v1-1 

Boker, U., Henzinger, T. A., &; Otop, J. (2015). The target discounted-sum problem. IST Austria.https://doi.org/10.15479/AT:IST-2015-335-v1-1 

Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., &; Otop, J. (2015). Edit distance for pushdown automata. IST Austria.https://doi.org/10.15479/AT:IST-2015-334-v1-1 

Chatterjee, K., Ibsen-Jensen, R., &; Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria.https://doi.org/10.15479/AT:IST-2015-323-v2-2 

Chatterjee, K., Ibsen-Jensen, R., &; Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria.https://doi.org/10.15479/AT:IST-2015-323-v1-1 

Reiter, J., Makohon-Moore, A., Gerold, J., Bozic, I., Chatterjee, K., Iacobuzio-Donahue, C.,https://doi.org/10.15479/AT:IST-2015-399-v1-1__Nowak, M. (2015). Reconstructing robust phylogenies of metastatic cancers. IST Austria.https://doi.org/10.15479/AT:IST-2015-399-v1-1 

Chatterjee, K., Chmelik, M., &; Davies, J. (2015). A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs. IST Austria.https://doi.org/10.15479/AT:IST-2015-325-v2-1 

Biswas, R., &; Bhowmick, P. (2015). From prima quadraginta octant to lattice sphere through primitive integer operations. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2015.11.018 

Biswas, R., &; Bhowmick, P. (2015). On different topological classes of spherical geodesic paths and circles inZ3. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2015.09.003 

Biswas, R., &; Bhowmick, P. (2015). Layer the sphere. The Visual Computer. Springer Nature.https://doi.org/10.1007/s00371-015-1101-3 

Sainsbury, S., Bernecky, C., &; Cramer, P. (2015). Structural basis of transcription initiation by RNA polymerase II. Nature Reviews Molecular Cell Biology. Nature Publishing Group.https://doi.org/10.1038/nrm3952 

Goaoc, X., Mabillard, I., Paták, P., Patakova, Z., Tancer, M., &; Wagner, U. (2015). On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result (Vol. 34, pp. 476–490). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SOCG.2015.476 

Fenk, L. A., &; de Bono, M. (2015). Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1423808112 

Laurent, P., Soltesz, Z., Nelson, G. M., Chen, C., Arellano-Carbajal, F., Levy, E., &; de Bono, M. (2015). Decoding a neural circuit controlling global animal state in C. elegans. ELife. eLife Sciences Publications.https://doi.org/10.7554/elife.04241 

Kolmogorov, V., Krokhin, A., &; Rolinek, M. (2015). The complexity of general-valued CSPs (pp. 1246–1258). Presented at the FOCS: Foundations of Computer Science, Berkeley, CA, United States: IEEE.https://doi.org/10.1109/FOCS.2015.80 

Zhou, L., Hinerman, J. M., Blaszczyk, M., Miller, J. L. C., Conrady, D. G., Barrow, A. D.,https://doi.org/10.1182/blood-2015-08-667055__Herr, A. B. (2015). Structural basis for collagen recognition by the immune receptor OSCAR. Blood. American Society of Hematology.https://doi.org/10.1182/blood-2015-08-667055 

Mondelli, M., Hassani, H., Sason, I., &; Urbanke, R. (2015). Achieving Marton’s region for broadcast channels using polar codes. IEEE Transactions on Information Theory. IEEE.https://doi.org/10.1109/tit.2014.2368555 

Mondelli, M., Hassani, H., &; Urbanke, R. (2015). Scaling exponent of list decoders with applications to polar codes. IEEE Transactions on Information Theory. IEEE.https://doi.org/10.1109/tit.2015.2453315 

Yu, J. F., Ramshaw, B. J., Kokanovi, I., Modic, K. A., Harrison, N., Day, J.,https://doi.org/10.1103/physrevb.92.180509__Cooper, J. R. (2015). Magnetization of underdoped YBCu3Oy above the irreversibility field. Physical Review B. APS.https://doi.org/10.1103/physrevb.92.180509 

Caruntu, D., Rostamzadeh, T., Costanzo, T., Salemizadeh Parizi, S., &; Caruntu, G. (2015). Solvothermal synthesis and controlled self-assembly of monodisperse titanium-based perovskite colloidal nanocrystals. Nanoscale. RSC.https://doi.org/10.1039/c5nr00737b 

Parizi, S. S., Conley, G., Costanzo, T., Howell, B., Mellinger, A., &; Caruntu, G. (2015). Fabrication of barium titanate/acrylonitrile-butadiene styrene/poly(methyl methacrylate) nanocomposite films for hybrid ferroelectric capacitors. RSC Advances. RSC.https://doi.org/10.1039/c5ra11347d 

Robinson, M. R., Hemani, G., Medina-Gomez, C., Mezzavilla, M., Esko, T., Shakhbazov, K.,https://doi.org/10.1038/ng.3401__Visscher, P. M. (2015). Population genetic differentiation of height and body mass index across Europe. Nature Genetics. Springer Nature.https://doi.org/10.1038/ng.3401 

Adams, M. J., Robinson, M. R., Mannarelli, M.-E., &; Hatchwell, B. J. (2015). Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird. Proceedings of the Royal Society B: Biological Sciences. The Royal Society.https://doi.org/10.1098/rspb.2015.0689 

Santure, A. W., Poissant, J., De Cauwer, I., van Oers, K., Robinson, M. R., Quinn, J. L.,https://doi.org/10.1111/mec.13452__Slate, J. (2015). Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations. Molecular Ecology. Wiley.https://doi.org/10.1111/mec.13452 

Alistarh, D.-A., Kopinsky, J., Li, J., &; Shavit, N. (2015). The SprayList: A scalable relaxed priority queue (Vol. 2015–January, pp. 11–20). Presented at the PPoPP: Principles and Practice of Parallel Pogramming, ACM.https://doi.org/10.1145/2688500.2688523 

Goodrich, C. P., Liu, A. J., &; Nagel, S. R. (2015). The principle of independent bond-level response: Tuning by pruning to exploit disorder for global behavior. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.114.225501 

van Drongelen, R., Pal, A., Goodrich, C. P., &; Idema, T. (2015). Collective dynamics of soft active particles. Physical Review E. American Physical Society.https://doi.org/10.1103/physreve.91.032706 

Sussman, D. M., Goodrich, C. P., Liu, A. J., &; Nagel, S. R. (2015). Disordered surface vibrations in jammed sphere packings. Soft Matter. Royal Society of Chemistry.https://doi.org/10.1039/c4sm02905d 

Alistarh, D.-A., Iglesias, J., &; Vojnovi, M. (2015). Streaming min-max hypergraph partitioning (Vol. 2015–January, pp. 1900–1908). Presented at the NIPS: Neural Information Processing Systems, Neural Information Processing Systems.

Alistarh, D.-A., Kopinsky, J., Kuznetsov, P., Ravi, S., &; Shavit, N. (2015). Inherent limitations of hybrid transactional memory (Vol. 9363, pp. 185–199). Presented at the DISC: Distributed Computing, Springer.https://doi.org/10.1007/978-3-662-48653-5_13 

Goodrich, C. P. (2015). Unearthing the anticrystal: Criticality in the linear response of  disordered solids. arXiv:1510.08820.

Alistarh, D.-A., Matveev, A., Leiserson, W., &; Shavit, N. (2015). ThreadScan: Automatic and scalable memory reclamation (Vol. 2015–June, pp. 123–132). Presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, ACM.https://doi.org/10.1145/2755573.2755600 

Alistarh, D.-A., &; Gelashvili, R. (2015). Polylogarithmic-time leader election in population protocols (Vol. 9135, pp. 479–491). Presented at the ICALP: International Colloquium on Automota, Languages and Programming, Springer.https://doi.org/10.1007/978-3-662-47666-6_38 

Alistarh, D.-A., Gelashvili, R., &; Vojnovi, M. (2015). Fast and exact majority in population protocols (Vol. 2015–July, pp. 47–56). Presented at the PODC: Principles of Distributed Computing, ACM.https://doi.org/10.1145/2767386.2767429 

Alistarh, D.-A., Sauerwald, T., &; Vojnovi, M. (2015). Lock-Free algorithms under stochastic schedulers (Vol. 2015–July, pp. 251–260). Presented at the PODC: Principles of Distributed Computing, ACM.https://doi.org/10.1145/2767386.2767430 

Alistarh, D.-A., Gelashvili, R., &; Vladu, A. (2015). How to elect a leader faster than a tournament (Vol. 2015–July, pp. 365–374). Presented at the PODC: Principles of Distributed Computing, ACM.https://doi.org/10.1145/2767386.2767420 

Alistarh, D.-A., Ballani, H., Costa, P., Funnell, A., Benjamin, J., Watts, P., &; Thomsen, B. (2015). A high-radix, low-latency optical switch for data centers (pp. 367–368). Presented at the SIGCOMM: Special Interest Group on Data Communication, London, United Kindgdom: ACM.https://doi.org/10.1145/2785956.2790035 

Engel, J., Schmalhorst, P. S., Kruger, A., Muller, C., Buettner, F., &; Routier, F. (2015). Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis. Glycobiology. Oxford University Press.https://doi.org/10.1093/glycob/cwv059 

Schur, F. K., Dick, R., Hagen, W., Vogt, V., &; Briggs, J. (2015). The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for thehttps://doi.org/10.1128/JVI.01502-15__domain in assembly. Journal of Virology. ASM.https://doi.org/10.1128/JVI.01502-15 

Schur, F. K., Hagen, W., Rumlová, M., Ruml, T., Müller, B., Kraüsslich, H., &; Briggs, J. (2015). Structure of the immature HIV-1 capsid in intact virus particles at 8.8 Å resolution. Nature. Nature Publishing Group.https://doi.org/10.1038/nature13838 

Einhorn, L., Singer, J., Muhr, M., Schoos, A., Oida, K., Singer, J.,https://doi.org/10.1016/j.jaci.2014.12.1263__Jensen-Jarolim, E. (2015). Generation of recombinant Fc;5RI;1 of dog, cat and horse for component-resolved allergy diagnosis in veterinary patients. Journal of Allergy and Clinical Immunology. Elsevier.https://doi.org/10.1016/j.jaci.2014.12.1263 

Marhavý, P., &; Benková, E. (2015). Real time analysis of lateral root organogenesis in arabidopsis. Bio-Protocol. Bio-protocol LLC.https://doi.org/10.21769/BioProtoc.1446 

Ma, P., Xue, Y., Coquelle, N., Haller, J. D., Yuwen, T., Ayala, I.,https://doi.org/10.1038/ncomms9361__Schanda, P. (2015). Observing the overall rocking motion of a protein in a crystal. Nature Communications. Springer Nature.https://doi.org/10.1038/ncomms9361 

Ma, P., &; Schanda, P. (2015). Conformational exchange processes in biological systems: Detection by solid-state NMR. EMagRes. Wiley.https://doi.org/10.1002/9780470034590.emrstm1418 

Usmanova, D., Ferretti, L., Povolotskaya, I., Vlasov, P., &; Kondrashov, F. (2015). A model of substitution trajectories in sequence space and long-term protein evolution. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1093/molbev/msu318 

Kaloshin, V., &; Zhang, K. (2015). Arnold diffusion for smooth convex systems of two and a half degrees of freedom. Nonlinearity. IOP Publishing.https://doi.org/10.1088/0951-7715/28/8/2699 

Guardia, M., &; Kaloshin, V. (2015). Growth of Sobolev norms in the cubic defocusing nonlinear Schrödinger equation. Journal of the European Mathematical Society. European Mathematical Society Publishing House.https://doi.org/10.4171/jems/499 

Palacci, J. A., Sacanna, S., Abramian, A., Barral, J., Hanson, K., Grosberg, A. Y.,https://doi.org/10.1126/sciadv.1400214__Chaikin, P. M. (2015). Artificial rheotaxis. Science Advances. American Association for the Advancement of Science .https://doi.org/10.1126/sciadv.1400214 

Arkhipova, O., Meer, M., Mikoulinskaia, G., Zakharova, M., Galushko, A., Akimenko, V., &; Kondrashov, F. (2015). Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0125888 

Lefauve, A., Muller, C. J., &; Melet, A. (2015). A three-dimensional map of tidal dissipation over abyssal hills. Journal of Geophysical Research: Oceans. American Geophysical Union.https://doi.org/10.1002/2014jc010598 

Sehring, I., Recho, P., Denker, E., Kourakis, M., Mathiesen, B., Hannezo, E. B.,https://doi.org/10.7554/eLife.09206__Jiang, D. (2015). Assembly and positioning of actomyosin rings by contractility and planar cell polarity. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.09206 

Krivelevich, M., Kwan, M. A., &; Sudakov, B. (2015). Cycles and matchings in randomly perturbed digraphs and hypergraphs. Electronic Notes in Discrete Mathematics. Elsevier.https://doi.org/10.1016/j.endm.2015.06.027 

Leung, H. S., Leung, P. S. S., Cheng, B., &; Ngan, A. H. W. (2015). A new dislocation-density-function dynamics scheme for computational crystal plasticity by explicit consideration of dislocation elastic interactions. International Journal of Plasticity. Elsevier.https://doi.org/10.1016/j.ijplas.2014.09.009 

Cheng, B., Tribello, G. A., &; Ceriotti, M. (2015). Solid-liquid interfacial free energy out of equilibrium. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/physrevb.92.180102 

Chevereau, G., Lukacisinova, M., Batur, T., Guvenek, A., Ayhan, D. H., Toprak, E., &; Bollenbach, M. T. (2015). Excel file containing the raw data for all figures. Public Library of Science.https://doi.org/10.1371/journal.pbio.1002299.s001 

Mcmahon, D., Fürst, M., Caspar, J., Theodorou, P., Brown, M., &; Paxton, R. (2015). A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees. Journal of Animal Ecology. Wiley.https://doi.org/10.1111/1365-2656.12345 

Theis, F., Ugelvig, L. V., Marr, C., &; Cremer, S. (2015). Opposing effects of allogrooming on disease transmission in ant societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The.https://doi.org/10.1098/rstb.2014.0108 

Theis, F., Ugelvig, L. V., Marr, C., &; Cremer, S. (2015). Data from: Opposing effects of allogrooming on disease transmission in ant societies. Dryad.https://doi.org/10.5061/dryad.dj2bf 

Friedlander, T., Mayo, A. E., Tlusty, T., &; Alon, U. (2015). Supporting information text. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1004055.s001 

Symonova, O., Topp, C., &; Edelsbrunner, H. (2015). DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0127657 

Symonova, O., Topp, C., &; Edelsbrunner, H. (2015). Root traits computed by DynamicRoots for the maize root shown in fig 2. Public Library of Science.https://doi.org/10.1371/journal.pone.0127657.s001 

Friedlander, T., Mayo, A., Tlusty, T., &; Alon, U. (2015). Evolution of bow-tie architectures in biology. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1004055 

Trubenova, B., Novak, S., &; Hager, R. (2015). Indirect genetic effects and the dynamics of social interactions. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0126907 

Trubenova, B., Novak, S., &; Hager, R. (2015). Description of the agent based simulations. Public Library of Science.https://doi.org/10.1371/journal.pone.0126907.s003 

Friedlander, T., Mayo, A. E., Tlusty, T., &; Alon, U. (2015). Evolutionary simulation code. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1004055.s002 

Zeljkovic, I., Okada, Y., Serbyn, M., Sankar, R., Walkup, D., Zhou, W.,https://doi.org/10.1038/nmat4215__Madhavan, V. (2015). Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators. Nature Materials. Nature Publishing Group.https://doi.org/10.1038/nmat4215 

Serbyn, M., Papi, Z., &; Abanin, D. (2015). Criterion for many-body localization-delocalization phase transition. Physical Review X. American Physical Society.https://doi.org/10.1103/PhysRevX.5.041047 

Higginbotham, A. P., Albrecht, S. M., Kirsanskas, G., Chang, W., Kuemmeth, F., Krogstrup, P.,https://doi.org/10.1038/nphys3461__Marcus, C. (2015). Parity lifetime of bound states in a proximitized semiconductor nanowire. Nature Physics. Nature Publishing Group.https://doi.org/10.1038/nphys3461 

Bounemoura, A., &; Kaloshin, V. (2015). A note on micro-instability for Hamiltonian systems close to integrable. Proceedings of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/proc/12796 

Kretz, C., Dai, M., Soylemez, O., Yee, A., Desch, K., Siemieniak, D.,https://doi.org/10.1073/pnas.1511328112__Ginsburg, D. (2015). Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMT. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1511328112 

Kondrashov, D., &; Kondrashov, F. (2015). Topological features of rugged fitness landscapes in sequence space. Trends in Genetics. Elsevier.https://doi.org/10.1016/j.tig.2014.09.009 

Richet, N., Liu, D., Legrand, P., Velours, C., Corpet, A., Gaubert, A.,https://doi.org/10.1093/nar/gkv021__Ochsenbein, F. (2015). Structural insight into how the human helicase subunit MCM2 may act as a histone chaperone together with AS at the replication fork. Nucleic Acids Research. Oxford University Press.https://doi.org/10.1093/nar/gkv021 

Boubaker, R., Platel, V., Bergès, A., Bancelin, M., &; Hannezo, E. B. (2015). Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop. Applied Thermal Engineering. Elsevier.https://doi.org/10.1016/j.applthermaleng.2014.10.009 

Hannezo, E. B., Dong, B., Recho, P., Joanny, J., &; Hayashi, S. (2015). Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1504762112 

García, S., Hannezo, E. B., Elgeti, J., Joanny, J., Silberzan, P., &; Gov, N. (2015). Physics of active jamming during collective cellular motion in a monolayer. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1510973112 

Rodrigues, J. A., &; Zilberman, D. (2015). Evolution and function of genomic imprinting in plants. Genes and Development. Cold Spring Harbor Laboratory Press.https://doi.org/10.1101/gad.269902.115 

Leung, P. S. S., Leung, H. S., Cheng, B., &; Ngan, A. H. W. (2015). Size dependence of yield strength simulated by a dislocation-density function dynamics approach. Modelling and Simulation in Materials Science and Engineering. IOP Publishing.https://doi.org/10.1088/0965-0393/23/3/035001 

Gómez Sicilia, À., Sikora, M. K., Cieplak, M., &; Carrión Vázquez, M. (2015). An exploration of the universe of polyglutamine structures. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1004541 

Tugrul, M., Paixao, T., Barton, N. H., &; Tkadik, G. (2015). Other fitness models for comparison &; for interacting TFBSs. Public Library of Science.https://doi.org/10.1371/journal.pgen.1005639.s001 

Gómez Sicilia, À., Sikora, M. K., Cieplak, M., &; Carrión Vázquez, M. (2015). An exploration of the universe of polyglutamine structures - submission to PLOS journals. Public Library of Science .https://doi.org/10.1371/journal.pcbi.1004541.s001 

Trubenova, B., Novak, S., &; Hager, R. (2015). Mathematical inference of the results. Public Library of Science.https://doi.org/10.1371/journal.pone.0126907.s001 

Konrad, M., Grasse, A. V., Tragust, S., &; Cremer, S. (2015). Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society.https://doi.org/10.1098/rspb.2014.1976 

Westhus, C., Ugelvig, L. V., Tourdot, E., Heinze, J., Doums, C., &; Cremer, S. (2015). Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. Dryad.https://doi.org/10.5061/dryad.7kc79 

Chevereau, G., Lukacisinova, M., Batur, T., Guvenek, A., Ayhan, D. H., Toprak, E., &; Bollenbach, M. T. (2015). Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs. Public Library of Science.https://doi.org/10.1371/journal.pbio.1002299.s008 

Ragettli, S., Pellicciotti, F., Immerzeel, W. W., Miles, E. S., Petersen, L., Heynen, M.,https://doi.org/10.1016/j.advwatres.2015.01.013__Shrestha, A. (2015). Unraveling the hydrology of a Himalayan catchment through integration of high resolution in situ data and remote sensing with an advanced simulation model. Advances in Water Resources. Elsevier.https://doi.org/10.1016/j.advwatres.2015.01.013 

Pellicciotti, F., Stephan, C., Miles, E., Herreid, S., Immerzeel, W. W., &; Bolch, T. (2015). Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999. Journal of Glaciology. International Glaciological Society.https://doi.org/10.3189/2015jog13j237 

Ayala, A., Pellicciotti, F., &; Shea, J. M. (2015). Modeling 2m air temperatures over mountain glaciers: Exploring the influence of katabatic cooling and external warming. Journal of Geophysical Research: Atmospheres. American Geophysical Union.https://doi.org/10.1002/2015jd023137 

Shea, J. M., Wagnon, P., Immerzeel, W. W., Biron, R., Brun, F., &; Pellicciotti, F. (2015). A comparative high-altitude meteorological analysis from three catchments in the Nepalese Himalaya. International Journal of Water Resources Development. Taylor &; Francis.https://doi.org/10.1080/07900627.2015.1020417 

Steiner, J. F., Pellicciotti, F., Buri, P., Miles, E. S., Immerzeel, W. W., &; Reid, T. D. (2015). Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya. Journal of Glaciology. International Glaciological Society.https://doi.org/10.3189/2015jog14j194 

Herreid, S., Pellicciotti, F., Ayala, A., Chesnokova, A., Kienholz, C., Shea, J., &; Shrestha, A. (2015). Satellite observations show no net change in the percentage of supraglacial debris-covered area in northern Pakistan from 1977 to 2014. Journal of Glaciology. International Glaciological Society.https://doi.org/10.3189/2015jog14j227 

Veldkamp, C., Kiermaier, E., Gabel Eissens, S., Gillitzer, M., Lippner, D., Disilvio, F.,https://doi.org/10.1021/acs.biochem.5b00560__Peterson, F. (2015). Solution structure of CCL19 and identification of overlapping CC and PSGL-1 binding sites. Biochemistry. American Chemical Society.https://doi.org/10.1021/acs.biochem.5b00560 

Martius, G. S., &; Olbrich, E. (2015). Quantifying self-organizing behavior of autonomous robots. In Proceedings of the 13th European Conference on Artificial Life (p. 78). York, United Kingdom: MIT Press.https://doi.org/10.7551/978-0-262-33027-5-ch018 

Johnson, K. C. M., Xia, S., Feng, X., &; Li, X. (2015). The chromatin remodeler SPLAYED negatively regulates SN-mediated immunity. Plant and Cell Physiology. Oxford University Press.https://doi.org/10.1093/pcp/pcv087 

Zhao, H., Sen, S., Udayabhaskararao, T., Sawczyk, M., Kudanda, K., Manna, D.,https://doi.org/10.1038/nnano.2015.256__Klajn, R. (2015). Reversible trapping and reaction acceleration within dynamically self-assembling nanoflasks. Nature Nanotechnology. Springer Nature.https://doi.org/10.1038/nnano.2015.256 

Kundu, P. K., Samanta, D., Leizrowice, R., Margulis, B., Zhao, H., Börner, M.,https://doi.org/10.1038/nchem.2303__Klajn, R. (2015). Light-controlled self-assembly of non-photoresponsive nanoparticles. Nature Chemistry. Springer Nature.https://doi.org/10.1038/nchem.2303 

Manna, D., Udayabhaskararao, T., Zhao, H., &; Klajn, R. (2015). Orthogonal light-induced self-assembly of nanoparticles using differently substituted azobenzenes. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201502419 

Lee, J.-W., &; Klajn, R. (2015). Dual-responsive nanoparticles that aggregate under the simultaneous action of light and CO2. Chemical Communications. Royal Society of Chemistry.https://doi.org/10.1039/c4cc08541h 

Moldt, T., Brete, D., Przyrembel, D., Das, S., Goldman, J. R., Kundu, P. K.,https://doi.org/10.1021/la504291n__Weinelt, M. (2015). Tailoring the properties of surface-immobilized azobenzenes by monolayer dilution and surface curvature. Langmuir. American Chemical Society.https://doi.org/10.1021/la504291n 

Singh, G., Chan, H., Udayabhaskararao, T., Gelman, E., Peddis, D., Baskin, A.,https://doi.org/10.1039/c4fd00265b__Klajn, R. (2015). Magnetic field-induced self-assembly of iron oxide nanocubes. Faraday Discussions. Royal Society of Chemistry.https://doi.org/10.1039/c4fd00265b 

Sun, Y., Scarabelli, L., Kotov, N., Tebbe, M., Lin, X.-M., Brullot, W.,https://doi.org/10.1039/c5fd90041g__Ghosh, S. (2015). Field-assisted self-assembly process: General discussion. Faraday Discussions. Royal Society of Chemistry.https://doi.org/10.1039/c5fd90041g 

Zhang, S. B., Baykusheva, D. R., Kraus, P. M., Wörner, H. J., &; Rohringer, N. (2015). Theoretical study of molecular electronic and rotational coherences by high-order-harmonic generation. Physical Review A. American Physical Society.https://doi.org/10.1103/physreva.91.023421 

Kraus, P. M., Tolstikhin, O. I., Baykusheva, D. R., Rupenyan, A., Schneider, J., Bisgaard, C. Z.,https://doi.org/10.1038/ncomms8039__Wörner, H. J. (2015). Observation of laser-induced electronic structure in oriented polyatomic molecules. Nature Communications. Springer Nature.https://doi.org/10.1038/ncomms8039 

Kraus, P. M., Mignolet, B., Baykusheva, D. R., Rupenyan, A., Horný, L., Penka, E. F.,https://doi.org/10.1126/science.aab2160__Wörner, H. J. (2015). Measurement and laser control of attosecond charge migration in ionized iodoacetylene. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aab2160 

Kraus, P. M., Mignolet, B., Baykusheva, D. R., Rupenyan, A., Horný, L., Penka, E. F.,https://doi.org/10.1088/1742-6596/635/11/112136__Wörner, H. J. (2015). Attosecond charge migration and its laser control. Journal of Physics: Conference Series. IOP Publishing.https://doi.org/10.1088/1742-6596/635/11/112136 

Walt, S. G., Ram, N. B., von Conta, A., Baykusheva, D. R., Atala, M., &; Wörner, H. J. (2015). Resolving the dynamics of valence-shell electrons and nuclei through laser-induced diffraction and holography. Journal of Physics: Conference Series. IOP Publishing.https://doi.org/10.1088/1742-6596/635/11/112135 

Wielgoss, S., Bergmiller, T., Bischofberger, A. M., &; Hall, A. R. (2015). Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria. Dryad.https://doi.org/10.5061/dryad.cj910 

Sharmanska, V. (2015). Learning with attributes for object recognition: Parametric and non-parametrics views. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1401 

Reiter, J., Kanodia, A., Gupta, R., Nowak, M., &; Chatterjee, K. (2015). Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society.https://doi.org/10.1098/rspb.2015.1041 

Reiter, J. (2015). The subclonal evolution of cancer. Institute of Science and Technology Austria.

Pausinger, F., &; Svane, A. (2015). A Koksma-Hlawka inequality for general discrepancy systems. Journal of Complexity. Academic Press.https://doi.org/10.1016/j.jco.2015.06.002 

Pausinger, F. (2015). On the approximation of intrinsic volumes. Institute of Science and Technology Austria.

Tugrul, M., Paixao, T., Barton, N. H., &; Tkadik, G. (2015). Dynamics of transcription factor binding site evolution. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1005639 

Benes, N., Daca, P., Henzinger, T. A., Kretinsky, J., &; Nickovic, D. (2015). Complete composition operators for IOCO-testing theory (pp. 101–110). Presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada: ACM.https://doi.org/10.1145/2737166.2737175 

Chatterjee, K., Chmelik, M., &; Daca, P. (2015). CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-015-0235-2 

Chatterjee, K., Ibsen-Jensen, R., Pavlogiannis, A., &; Goyal, P. (2015). Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. Mumbai, India: ACM.https://doi.org/10.1145/2676726.2676979 

Chatterjee, K., Pavlogiannis, A., &; Velner, Y. (2015). Quantitative interprocedural analysis. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . Mumbai, India: ACM.https://doi.org/10.1145/2676726.2676968 

Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs (Vol. 9206, pp. 140–157). Presented at the CAV: Computer Aided Verification, San Francisco, CA, USA: Springer.https://doi.org/10.1007/978-3-319-21690-4_9 

Chatterjee, K., Pavlogiannis, A., Kößler, A., &; Schmid, U. (2015). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In Real-Time Systems Symposium (Vol. 2015, pp. 118–127). Rome, Italy: IEEE.https://doi.org/10.1109/RTSS.2014.9 

Hahn, D., &; Wojtan, C. (2015). High-resolution brittle fracture simulation with boundary elements (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM.https://doi.org/10.1145/2766896 

Ruprecht, V., Wieser, S., Callan Jones, A., Smutny, M., Morita, H., Sako, K.,https://doi.org/10.1016/j.cell.2015.01.008__Heisenberg, C.-P. J. (2015). Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. Cell Press.https://doi.org/10.1016/j.cell.2015.01.008 

Adamowski, M., &; Friml, J. (2015). PIN-dependent auxin transport: Action, regulation, and evolution. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.114.134874 

Alt, J. (2015). The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. American Institute of Physics.https://doi.org/10.1063/1.4932606 

Inglés Prieto, Á., Gschaider-Reichhart, E., Muellner, M., Nowak, M., Nijman, S., Grusch, M., &; Janovjak, H. L. (2015). Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology. Nature Publishing Group.https://doi.org/10.1038/nchembio.1933 

Cepeda Humerez, S. A., Rieckh, G., &; Tkadik, G. (2015). Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.115.248101 

Avvakumov, S., Mabillard, I., Skopenkov, A., &; Wagner, U. (n.d.). Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv.

Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., &; Pavlogiannis, A. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria.https://doi.org/10.15479/AT:IST-2015-340-v1-1 

Anonymous, 1, Anonymous, 2, Anonymous, 3, &; Anonymous, 4. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria.

Svoreová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cbrná, I., &; Belta, C. (2015). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 259–268). Seattle, WA, United States: ACM.https://doi.org/10.1145/2728606.2728608 

Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., &; Tarrach, T. (2015). From non-preemptive to preemptive scheduling using synchronization synthesis. Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer.https://doi.org/10.1007/978-3-319-21668-3_11 

Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., &; Petrov, T. (2015). Model checking gene regulatory networks. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-46681-0_47 

Michalko, J., Lukacisinova, M., Bollenbach, M. T., &; Friml, J. (2015). Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene. 00 Research . 00 Research.https://doi.org/10.12688/f1000research.7143.1 

Priklopil, T., &; Chatterjee, K. (2015). Evolution of decisions in population games with sequentially searching individuals. Games. MDPI.https://doi.org/10.3390/g6040413 

Martius, G. S., &; Olbrich, E. (2015). Quantifying emergent behavior of autonomous robots. Entropy. MDPI.https://doi.org/10.3390/e17107266 

Chen, C., Wang, C., Zhao, X., Zhou, T., Xu, D., Wang, Z., &; Wang, Y. (2015). Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. SAGE Publications.https://doi.org/10.1177/1759091415575845 

Erbar, M., Maas, J., &; Tetali, P. (2015). Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models. Annales de La Faculté Des Sciences de Toulouse. Faculté des sciences de Toulouse.https://doi.org/10.5802/afst.1464 

Kick, B., Praetorius, F. M., Dietz, H., &; Weuster-Botz, D. (2015). Efficient production of single-stranded phage DNA as scaffolds for DNA origami. Nano Letters. ACS Publications.https://doi.org/10.1021/acs.nanolett.5b01461 

Brázdil, T., Chatterjee, K., Chmelik, M., Fellner, A., &; Kretinsky, J. (2015). Counterexample explanation by learning small strategies in Markov decision processes (Vol. 9206, pp. 158–177). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer.https://doi.org/10.1007/978-3-319-21690-4_10 

Fellner, A. (2015). Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:28 

Goaoc, X., Paták, P., Patakova, Z., Tancer, M., &; Wagner, U. (2015). Bounding Helly numbers via Betti numbers (Vol. 34, pp. 507–521). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SOCG.2015.507 

Browning, T. D., &; Prendiville, S. (n.d.). Improvements in Birch’s theorem on forms in many variables. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter.https://doi.org/10.1515/crelle-2014-0122 

Dziembowski, S., Faust, S., Kolmogorov, V., &; Pietrzak, K. Z. (2015). Proofs of space. In 35th Annual Cryptology Conference (Vol. 9216, pp. 585–605). Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-662-48000-7_29 

Michael, A. K., Harvey, S. L., Sammons, P. J., Anderson, A. P., Kopalle, H. M., Banham, A. H., &; Partch, C. L. (2015). Cancer/Testis antigen PAS silences the circadian clock. Molecular Cell. Elsevier.https://doi.org/10.1016/j.molcel.2015.03.031 

Michael, A. K., Asimgil, H., &; Partch, C. L. (2015). Cytosolic BMAL1 moonlights as a translation factor. Trends in Biochemical Sciences. Elsevier.https://doi.org/10.1016/j.tibs.2015.07.006 

Chevereau, G., Lukacisinova, M., Batur, T., Guvenek, A., Ayhan, D., Toprak, E., &; Bollenbach, M. T. (2015). Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1002299