P. Daca, T. A. Henzinger, and A. Kupriyanov, “Array folds logic,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9780, pp. 230–248.

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs,” presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark, 2016, vol. 57.

D. Hahn and C. Wojtan, “Fast approximations for boundary element based brittle fracture simulation,” presented at the ACM SIGGRAPH, Anaheim, CA, USA, 2016, vol. 35, no. 4.

H. M. Abusalah, G. Fuchsbauer, and K. Z. Pietrzak, “Offline witness encryption,” presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK, 2016, vol. 9696, pp. 285–303.

H. M. Abusalah, G. Fuchsbauer, and K. Z. Pietrzak, “Constrained PRFs for unbounded inputs,” presented at the CT-RSA: Topics in Cryptology, San Francisco, CA, USA, 2016, vol. 9610, pp. 413–428.

H. M. Abusalah and G. Fuchsbauer, “Constrained PRFs for unbounded inputs with short keys,” presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK, 2016, vol. 9696, pp. 445–463.

E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, and H. L. Janovjak, “A phytochrome sensory domain permits receptor activation by red light,” Angewandte Chemie - International Edition, vol. 55, no. 21. Wiley, pp. 6339–6342, 2016.

T. Friedlander, R. Prizak, C. C. Guet, N. H. Barton, and G. Tkadik, “Intrinsic limits to gene regulation by global crosstalk,” Nature Communications, vol. 7. Nature Publishing Group, 2016.

W. Dejonghe et al., “Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification,” Nature Communications, vol. 7. Nature Publishing Group, 2016.

H. Watzinger et al., “Heavy-hole states in germanium hut wires,” Nano Letters, vol. 16, no. 11. American Chemical Society, pp. 6879–6885, 2016.

Y. Jiang et al., “Safety assured formal model driven design of the multifunction vehicle bus controller,” presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus, 2016, vol. 9995, pp. 757–763.

V. Kolmogorov, “Commutativity in the algorithmic Lovasz local lemma,” in Proceedings - Annual IEEE Symposium on Foundations of Computer Science, New Brunswick, NJ, USA , 2016, vol. 2016–December.

K. Chatterjee, H. Fu, P. Novotný, and R. Hasheminezhad, “Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 327–342.

N. H. Barton, “Data from: How does epistasis influence the response to selection?” Dryad, 2016.

R. A. Fernandes Redondo, H. de Vladar, T. Wodarski, and J. P. Bollback, “Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the =54 phage family.” The Royal Society, 2016.

R. Fulek, “C-planarity of embedded cyclic c-graphs,” presented at the GD: Graph Drawing and Network Visualization, Athens, Greece, 2016, vol. 9801, pp. 94–106.

D. Dotterrer, T. Kaufman, and U. Wagner, “On expansion and topological overlap,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 35.1-35.10.

J. Kowalski, J. Gan, P. M. Jonas, and A. Pernia-Andrade, “Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats,” Hippocampus, vol. 26, no. 5. Wiley, pp. 668–682, 2016.

V. Kolmogorov and R. Takhanov, “Inference algorithms for pattern-based CRFs on sequence data,” Algorithmica, vol. 76, no. 1. Springer, pp. 17–46, 2016.

Z. Liu et al., “The CLE gene family in Populus trichocarpa,” Plant Signaling &; Behavior, vol. 11, no. 6. Taylor &; Francis, 2016.

A. Rueda et al., “Efficient microwave to optical photon conversion: An electro-optical realization,” Optica, vol. 3, no. 6. Optica Publishing Group, pp. 597–604, 2016.

B. Midya and V. Konotop, “Modes and exceptional points in waveguides with impedance boundary conditions,” Optics Letters, vol. 41, no. 20. Optica Publishing Group, pp. 4621–4624, 2016.

E. Mazur, E. Benková, and J. Friml, “Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.

L. Tsai and S. Siegert, “How MicroRNAs Are involved in splitting the mind,” JAMA Psychiatry, vol. 73, no. 4. American Medical Association, pp. 409–410, 2016.

A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.

T. Ellis and D. Field, “Flower colour data and phylogeny (NEXUS) files.” Institute of Science and Technology Austria, 2016.

R. Hauschild, “Fiji script to determine average speed and direction of migration of cells.” Institute of Science and Technology Austria, 2016.

P. Swoboda, “Synthetic discrete tomography problems.” Institute of Science and Technology Austria, 2016.

M. Bojsen-Hansen, “Tracking, correcting and absorbing water surface waves,” Institute of Science and Technology Austria, 2016.

T. Ellis, “The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone,” Institute of Science and Technology Austria, 2016.

M. Tugrul, “Evolution of transcriptional regulatory sequences,” Institute of Science and Technology Austria, 2016.

D. Field and T. Ellis, “Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012.” Institute of Science and Technology Austria, 2016.

T. Ellis, “Data on pollinator observations and offpsring phenotypes.” Institute of Science and Technology Austria, 2016.

T. Ellis, “Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.” Institute of Science and Technology Austria, 2016.

M. Tugrul, “Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase.” Institute of Science and Technology Austria, 2016.

M. Bojsen-Hansen, “Tracking, Correcting and Absorbing Water Surface Waves.” Institute of Science and Technology Austria, 2016.

M. Lukacisin, M. Landon, and R. Jajoo, “MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’” Institute of Science and Technology Austria, 2016.

S. N. Zhang et al., XTP: Enhanced X-ray timing and polarization mission,” in Proceedings of the SPIE, 2016, vol. 9905.

P. Soffitta et al., “XIPE: The x-ray imaging polarimetry explorer,” in Space Telescopes and Instrumentation 2016: Ultraviolet to Gamma Ray, Edinburgh, UK, 2016, vol. 9905.

E. Antolini, I. Caiazzo, R. Davé, and J. S. Heyl, “Using galaxy formation simulations to optimize LIGO follow-up observations,” Monthly Notices of the Royal Astronomical Society, vol. 466, no. 2. Oxford University Press, pp. 2212–2216, 2016.

D.-C. Tarlungeanu et al., “Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder,” Cell, vol. 167, no. 6. Cell Press, pp. 1481–1494, 2016.

A. F. Leithner et al., “Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes,” Nature Cell Biology, vol. 18. Nature Publishing Group, pp. 1253–1259, 2016.

K. Sako et al., “Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation,” Cell Reports, vol. 16, no. 3. Cell Press, pp. 866–877, 2016.

K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 733–747.

K. Chatterjee, H. Fu, and A. K. Goharshady, “Termination analysis of probabilistic programs through Positivstellensatz’s,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9779, pp. 3–22.

H. Polshyn, C. Zhang, T. Naibert, J. Eckstein, and R. Budakian, “Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy,” in APS March Meeting 2015, San Antonio, TX, United States, 2015, vol. 60, no. 1.

F. Parise, J. Lygeros, and J. Ruess, “Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study,” Frontiers in Environmental Science, vol. 3. Frontiers, 2015.

J. Mertens et al., “Directly reprogrammed human neurons retain aging-associated transcriptomic signatures and reveal age-related nucleocytoplasmic defects,” Cell Stem Cell, vol. 17, no. 6. Elsevier, pp. 705–718, 2015.

F. V. Jacinto, C. Benner, and M. Hetzer, “The nucleoporin Nu3 regulates embryonic stem cell pluripotency through gene silencing,” Genes &; Development, vol. 29, no. 12. Cold Spring Harbor Laboratory, pp. 1224–1238, 2015.

A. Ori et al., “Integrated transcriptome and proteome analyses reveal organ-specific proteome deterioration in old rats,” Cell Systems, vol. 1, no. 3. Elsevier, pp. 4-237, 2015.

A. Ibarra and M. Hetzer, “Nuclear pore proteins and the control of genome functions,” Genes &; Development, vol. 29, no. 4. Cold Spring Harbor Laboratory, pp. 337–349, 2015.

E. M. Hatch and M. Hetzer, “Linking micronuclei to chromosome fragmentation,” Cell, vol. 161, no. 7. Elsevier, pp. 1502–1504, 2015.

E. M. Hatch and M. Hetzer, “Chromothripsis,” Current Biology, vol. 25, no. 10. Elsevier, pp. -9, 2015.

D. Sobral et al., “Evidence for PopIII-like stellar populations in the most luminous Ly;1 emitters at the epoch of reionisation: Spectroscopic confirmation,” The Astrophysical Journal, vol. 808, no. 2. IOP Publishing, p. 139, 2015.

D. Sobral et al., “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, vol. 451, no. 3. Oxford University Press, pp. 2303–2323, 2015.

J. J. Matthee, D. Sobral, S. Santos, H. Röttgering, B. Darvish, and B. Mobasher, “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, vol. 451, no. 1. Oxford University Press, pp. 400–417, 2015.

A. Pallottini et al., “The brightest Ly;1 emitter: Pop III or black hole?,” Monthly Notices of the Royal Astronomical Society, vol. 453, no. 3. Oxford University Press, pp. 2465–2470, 2015.

R. Colini-Baldeschi, S. Leonardi, M. H. Henzinger, and M. Starnberger, “On multiple keyword sponsored search auctions with budgets,” ACM Transactions on Economics and Computation, vol. 4, no. 1. Association for Computing Machinery, 2015.

P. Dütting, M. H. Henzinger, and M. Starnberger, “Auctions for heterogeneous items and budget limits,” ACM Transactions on Economics and Computation, vol. 4, no. 1. Association for Computing Machinery, 2015.

Y. K. Cheung, M. H. Henzinger, M. Hoefer, and M. Starnberger, “Combinatorial auctions with conflict-based externalities,” in 11th International Conference on Web and Internet Economics, Amsterdam, Netherlands, 2015, vol. 9470, pp. 230–243.

O. Ben-Zwi, M. H. Henzinger, and V. Loitzenbauer, “Ad exchange: Envy-free auctions with mediators,” in 11th International Conference on Web and Internet Economics, Amsterdam, Netherlands, 2015, vol. 9470, pp. 104–117.

M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Improved algorithms for decremental single-source reachability on directed graphs,” in 42nd International Colloquium on Automata, Languages and Programming, Kyoto, Japan, 2015, vol. 9134, pp. 725–736.

M. H. Henzinger, S. Krinninger, and V. Loitzenbauer, “Finding 2-edge and 2-vertex strongly connected components in quadratic time,” in 2nd International Colloquium on Automata, Languages and Programming, Kyoto, Japan, 2015, vol. 9134, pp. 713–724.

W. Dvoák and M. H. Henzinger, “Online ad assignment with an ad exchange,” in 12th International Workshop of Approximation and Online Algorithms, Wroclaw, Poland, 2015, vol. 8952, pp. 156–167.

S. Bhattacharya, M. H. Henzinger, and G. F. Italiano, “Design of dynamic algorithms via primal-dual method,” in 42nd International Colloquium on Automata, Languages and Programming, Kyoto, Japan, 2015, vol. 9134, pp. 206–218.

O. Chernomor et al., “Split diversity in constrained conservation prioritization using integer linear programming,” Methods in Ecology and Evolution, vol. 6, no. 1. Wiley, pp. 83–91, 2015.

M. H. Henzinger, S. Krinninger, D. Nanongkai, and T. Saranurak, “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, 2015.

S. Bhattacharya, M. H. Henzinger, D. Nanongkai, and C. Tsourakakis, “Space- and time-efficient algorithm for maintaining dense subgraphs on one-pass dynamic streams,” in 47th Annual ACM Symposium on Theory of Computing, Portland, OR, United States, 2015, pp. 173–182.

S. Bhattacharya, W. Dvorák, M. H. Henzinger, and  Martin Starnberger, “Welfare maximization with friends-of-friends network externalities,” in 32nd International Symposium on Theoretical Aspects of Computer Science, Garching, Germany, 2015, vol. 30, pp. 90–102.

M. H. Henzinger and V. Loitzenbauer, “Truthful unit-demand auctions with budgets revisited,” Theoretical Computer Science, vol. 573. Elsevier, pp. 1–15, 2015.

S. R. Waitukaitis, R. Menaut, B. Chen, and M. Van Hecke, “Origami multistability: From single vertices to metasheets,” APS Physics, Physical Review Letters, vol. 114, no. 5. American Physical Society, 2015.

L. Yu et al., “V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis,” Nature Plants, vol. 1, no. 7. Nature Publishing Group, 2015.

A. Pentina and C. Lampert, “Lifelong learning with non-i.i.d. tasks,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2015, vol. 2015, pp. 1540–1548.

R. Kwitt, S. Huber, M. Niethammer, W. Lin, and U. Bauer, “Statistical topological data analysis-A kernel perspective,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2015, vol. 28, pp. 3070–3078.

T. Paixao, D. Sudholt, J. Heredia, and B. Trubenova, “First steps towards a runtime comparison of natural and artificial evolution,” in Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, Madrid, Spain, 2015, pp. 1455–1462.

A. Ferrara, G. Fuchsbauer, B. Liu, and B. Warinschi, “Policy privacy in cryptographic access control,” presented at the CSF: Computer Security Foundations, Verona, Italy, 2015, pp. 46–60.

T. Hausel and F. Rodríguez Villegas, “Cohomology of large semiprojective hyperkähler varieties,” Asterisque, vol. 2015, no. 370. Societe Mathematique de France, pp. 113–156, 2015.

J. Reininghaus, S. Huber, U. Bauer, and R. Kwitt, “A stable multi-scale kernel for topological machine learning,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA, 2015, pp. 4741–4748.

C. Dragoi, T. A. Henzinger, and D. Zufferey, “The need for language support for fault-tolerant distributed systems,” vol. 32. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 90–102, 2015.

D. Andergassen et al., “Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data,” Nucleic Acids Research, vol. 43, no. 21. Oxford University Press, 2015.

J. Kretinsky, K. Larsen, S. Laursen, and J. Srba, “Polynomial time decidability of weighted synchronization under partial observability,” presented at the CONCUR: Concurrency Theory, Madrid, Spain, 2015, vol. 42, pp. 142–154.

H. Edelsbrunner, M. Iglesias Ham, and V. Kurlin, “Relaxed disk packing,” in Proceedings of the 27th Canadian Conference on Computational Geometry, Ontario, Canada, 2015, vol. 2015–August, pp. 128–135.

Z. Bao, L. Lin, G. Pan, and W. Zhou, “Spectral statistics of large dimensional spearman s rank correlation matrix and its application,” Annals of Statistics, vol. 43, no. 6. Institute of Mathematical Statistics, pp. 2588–2623, 2015.

C. Sadel, “A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles,” Ergodic Theory and Dynamical Systems, vol. 35, no. 5. Cambridge University Press, pp. 1582–1591, 2015.

P. Franek and M. Krcál, “On computability and triviality of well groups,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 842–856.

Z. Bao, G. Pan, and W. Zhou, “Universality for the largest eigenvalue of sample covariance matrices with general population,” Annals of Statistics, vol. 43, no. 1. Institute of Mathematical Statistics, pp. 382–421, 2015.

L. Erdös and H. Yau, “Gap universality of generalized Wigner and ;2 ensembles,” Journal of the European Mathematical Society, vol. 17, no. 8. European Mathematical Society, pp. 1927–2036, 2015.

Z. Bao, G. Pan, and W. Zhou, “The logarithmic law of random determinant,” Bernoulli, vol. 21, no. 3. Bernoulli Society for Mathematical Statistics and Probability, pp. 1600–1628, 2015.

A. Pal and B. Vicoso, “The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression,” Genome Biology and Evolution, vol. 7, no. 12. Oxford University Press, pp. 3259–3268, 2015.

M. Erbar, J. Maas, and M. Renger, “From large deviations to Wasserstein gradient flows in multiple dimensions,” Electronic Communications in Probability, vol. 20. Institute of Mathematical Statistics, 2015.

N. H. Barton and M. Servedio, “The interpretation of selection coefficients,” Evolution, vol. 69, no. 5. Wiley, pp. 1101–1112, 2015.

B. Bauer et al., “Arbeitsgruppe eNationale Strategie“des Open Access Network Austria OANA,” VÖB Mitteilungen, vol. 68, no. 3. Verein Österreichischer Bibliothekare, pp. 5803607, 2015.

J. Ruess, “Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space,” Journal of Chemical Physics, vol. 143, no. 24. American Institute of Physics, 2015.

H. Wang et al., “Transcriptional regulation of PIN genes by FOUR LIPS and MY during Arabidopsis root gravitropism,” Nature Communications, vol. 6. Nature Publishing Group, 2015.

J. Ruess, F. Parise, A. Milias Argeitis, M. Khammash, and J. Lygeros, “Iterative experiment design guides the characterization of a light-inducible gene expression circuit,” PNAS, vol. 112, no. 26. National Academy of Sciences, pp. 8148–8153, 2015.

D. H. Vandael, A. Marcantoni, and E. Carbone, “Ca.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells,” Current Molecular Pharmacology, vol. 8, no. 2. Bentham Science Publishers, pp. 149–161, 2015.

T. Paixao et al., “Toward a unifying framework for evolutionary processes,”  Journal of Theoretical Biology, vol. 383. Elsevier, pp. 28–43, 2015.

Y. Nakamura et al., “Nanoscale distribution of presynaptic C+ channels and its impact on vesicular release during development,” Neuron, vol. 85, no. 1. Elsevier, pp. 145–158, 2015.

P. Nguyen, C. Field, A. Groen, T. Mitchison, and M. Loose, “Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins,” in Building a Cell from its Components Parts, vol. 128, Academic Press, 2015, pp. 223–241.

L. El Masri et al., “Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes,” PLoS Biology, vol. 13, no. 6. Public Library of Science, pp. 1–30, 2015.