Kelleher J, Etheridge A, Barton NH. 2014. Coalescent simulation in continuous space: Algorithms for large neighbourhood size. Theoretical Population Biology. 95, 13–23.

Barton NH, Novak S, Paixao T. 2014. Diverse forms of selection in evolution and computer science. PNAS. 111(29), 10398–10399.

Kolesnikov A, Guillaumin M, Ferrari V, Lampert C. 2014. Closed-form approximate CRF training for scalable image segmentation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ECCV: European Conference on Computer Vision, LNCS, vol. 8691, 550–565.

Khamis S, Lampert C. 2014. CoConut: Co-classification with output space regularization. Proceedings of the British Machine Vision Conference 2014. BMVC: British Machine Vision Conference.

De Vladar H, Barton NH. 2014. Stability and response of polygenic traits to stabilizing selection and mutation. Genetics. 197(2), 749–767.

Ajanki OH, Erdös L, Krüger TH. 2014. Local semicircle law with imprimitive variance matrix. Electronic Communications in Probability. 19.

Haws D, Martin del Campo Sanchez A, Takemura A, Yoshida R. 2014. Markov degree of the three-state toric homogeneous Markov chain model. Beitrage zur Algebra und Geometrie. 55(1), 161–188.

Dodis Y, Pietrzak KZ, Wichs D. 2014. Key derivation without entropy waste. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 8441, 93–110.

Bellet A, Habrard A, Morvant E, Sebban M. 2014. Learning a priori constrained weighted majority votes. Machine Learning. 97(1–2), 129–154.

cadek M, Krcál M, Matousek J, Sergeraert F, Vokínek L, Wagner U. 2014. Computing all maps into a sphere. Journal of the ACM. 61(3), 17.

Botella Soler V, Glendinning P. 2014. Hierarchy and polysynchrony in an adaptive network . Physical Review E Statistical Nonlinear and Soft Matter Physics. 89(6), 062809.

Chen T, Hainzl C, Pavlovi N, Seiringer R. 2014. On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti. Letters in Mathematical Physics. 104(7), 871–891.

Bloem R, Chatterjee K, Greimel K, Henzinger TA, Hofferek G, Jobstmann B, Könighofer B, Könighofer R. 2014. Synthesizing robust systems. Acta Informatica. 51(3–4), 193–220.

Kania U, Fendrych M, Friml J. 2014. Polar delivery in plants; commonalities and differences to animal epithelial cells. Open Biology. 4(APRIL), 140017.

Morvant E. 2014. Adaptation de domaine de vote de majorité par auto-étiquetage non itératif. CAP: Conférence Francophone sur l’Apprentissage Automatique (Machine Learning French Conference) vol. 1, 49–58.

Esparza J, Kretinsky J. 2014. From LTL to deterministic automata: A safraless compositional approach. CAV: Computer Aided Verification, LNCS, vol. 8559, 192–208.

Lahrz M, Lemeshko M, Sengstock K, Becker C, Mathey L. 2014. Detecting quadrupole interactions in ultracold Fermi gases. Physical Review A - Atomic, Molecular, and Optical Physics. 89(4), 043616.

Stoler Barak L, Moussion C, Shezen E, Hatzav M, Sixt MK, Alon R. 2014. Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One. 9(1), e85699.

Tanaka H, Nodzyski T, Kitakura S, Feraru M, Sasabe M, Ishikawa T, Kleine Vehn J, Kakimoto T, Friml J. 2014. BE/ARC is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis. Plant and Cell Physiology. 55(4), 737–749.

Bloemendal A, Erdös L, Knowles A, Yau H, Yin J. 2014. Isotropic local laws for sample covariance and generalized Wigner matrices. Electronic Journal of Probability. 19, 33.

Kiltz E, Masny D, Pietrzak KZ. 2014. Simple chosen-ciphertext security from low noise LPN. IACR: International Conference on Practice and Theory in Public-Key Cryptography, LNCS, vol. 8383, 1–18.

de Vos M, Bollenbach MT. 2014. Suppressive drug interactions between antifungals. Chemistry and Biology. 21(4), 439–440.

Boker U, Henzinger TA. 2014. Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science. 10(1).

Guzmán J, Schlögl A, Schmidt Hieber C. 2014. Stimfit: Quantifying electrophysiological data with Python. Frontiers in Neuroinformatics. 8(FEB), 16.

Hu H, Jonas PM. 2014. A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons. Nature Neuroscience. 17(5), 686–693.

Vyleta N, Jonas PM. 2014. Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. Science. 343(6171), 665–670.

Song B, Hof B. 2014. Deterministic and stochastic aspects of the transition to turbulence. Journal of Statistical Mechanics Theory and Experiment. 2014(2), 001.

Rieckh G, Tkadik G. 2014. Noise and information transmission in promoters with multiple internal states. Biophysical Journal. 106(5), 1194–1204.

Shi L, Hof B, Tilgner A. 2014. Transient growth of Ekman-Couette flow. Physical Review E Statistical Nonlinear and Soft Matter Physics. 89(1), 013001.

Brázdil T, Broeek V, Chatterjee K, Forejt V, Kudera A. 2014. Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science. 10(1).

Jetchev D, Pietrzak KZ. 2014. How to fake auxiliary input. TCC: Theory of Cryptography Conference, LNCS, vol. 8349, 566–590.

Fürst M, Mcmahon D, Osborne J, Paxton R, Brown M. 2014. Disease associations between honeybees and bumblebees as a threat to wild pollinators. Nature. 506(7488), 364–366.

Grinshpun A, Phalitnonkiat P, Rubin S, Tarfulea A. 2014. Alternating traps in Muller and parity games. Theoretical Computer Science. 521, 73–91.

Kuchibhatla D, Sherman W, Chung B, Cook S, Schneider G, Eisenhaber B, Karlin D. 2014. Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently ‘orphan’ viral proteins. Journal of Virology. 88(1), 10–20.

Pernia-Andrade A, Jonas PM. 2014. Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron. 81(1), 140–152.

Csicsvari JL, Dupret D. 2014. Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 369(1635), 20120528.

Bailly A, Wang B, Zwiewka M, Pollmann S, Schenck D, Lüthen H, Schulz A, Friml J, Geisler M. 2014. Expression of TWISTED DWAR lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal. 77(1), 108–118.

Chen Y, Aung K, Roldík J, Walicki K, Friml J, Brandizzí F. 2014. Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal. 77(1), 97–107.

Zhu F, Gamboa M, Farruggio A, Hippenmeyer S, Tasic B, Schüle B, Chen Tsai Y, Calos M. 2014. DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. 42(5), e34.

Olsson C, Ulen J, Boykov Y, Kolmogorov V. 2014. Partial enumeration and curvature regularization. ICCV: International Conference on Computer Vision, 2936–2943.

Hosp J, Strüber M, Yanagawa Y, Obata K, Vida I, Jonas PM, Bartos M. 2014. Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus. 23(2), 189–203.

Lieb É, Seiringer R. 2014. Equivalence of two definitions of the effective mass of a polaron. Journal of Statistical Physics. 154(1–2), 51–57.

Browning TD, Matthiesen L, Skorobogatov A. 2014. Rational points on pencils of conics and quadrics with many degenerate fibres. Annals of Mathematics. 180(1), 381–402.

Erdös L, Bourgade P, Yau H. 2014. Universality of general ;2-ensembles. Duke Mathematical Journal. 163(6), 1127–1190.

Chatterjee K, Randour M, Raskin J. 2014. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 51(3–4), 129–163.

Edelsbrunner H, Morozovy D. 2014. Persistent homology: Theory and practice. ECM: European Congress of Mathematics, 31–50.

Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. 2014. Interface simulation distances. Theoretical Computer Science. 560(3), 348–363.

Chatterjee K, Henzinger MH. 2014. Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. Journal of the ACM. 61(3), .

Tkadik G, Ghosh A, Schneidman E, Segev R. 2014. Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. 9(1), e85841.

Li W, Ibáñez M, Cadavid D, Zamani R, Rubio Garcia J, Gorsse S, Morante J, Arbiol J, Cabot A. 2014. Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4. Journal of Nanoparticle Research. 16(3).

Pilarczyk P, Real P. 2014. Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. Advances in Computational Mathematics. 41(1), 253–275.

Cimadom A, Ulloa A, Meidl P, Zöttl M, Zöttl E, Fessl B, Nemeth E, Dvorak M, Cunninghame F, Tebbich S. 2014. Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One. 9(9), 0107518.

Aminof B, Rubin S. 2014. First cycle games. Electronic Proceedings in Theoretical Computer Science, EPTCS. SR: Strategic Reasoning, EPTCS, vol. 146, 83–90.

Prizak R, Ezard T, Hoyle R. 2014. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 4(15), 3139–3145.

Chatterjee K, Doyen L. 2014. Partial-observation stochastic games: How to win when belief fails. ACM Transactions on Computational Logic (TOCL). 15(2), 16.

Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2014. Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). 15(4), 27.

Chatterjee K, Ibsen-Jensen R. 2014. The complexity of ergodic mean payoff games. ICST: International Conference on Software Testing, Verification and Validation, LNCS, vol. 8573, 122–133.

Chatterjee K, Doyen L, Nain S, Vardi M. 2014. The complexity of partial-observation stochastic parity games with finite-memory strategies. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 8412, 242–257.

Chatterjee K, Ibsen-Jensen R, Majumdar R. 2014. Edit distance for timed automata. HSCC: Hybrid Systems - Computation and Control, 303–312.

Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing, IST Austria, 20p.

Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.

Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.

Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 31p.

Chatterjee K, Doyen L. 2014. Games with a weak adversary. Lecture Notes in Computer Science. ICALP: Automata, Languages and Programming, LNCS, vol. 8573, 110–121.

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Improved algorithms for reachability and shortest path on low tree-width graphs, IST Austria, 34p.

Henzinger TA, Otop J. 2014. From model checking to model measuring, IST Austria, 14p.

Henzinger TA, Otop J. 2014. Model measuring for hybrid systems, IST Austria, 22p.

Chatterjee K, Doyen L. 2014. Games with a weak adversary, IST Austria, 18p.

Chatterjee K, Ibsen-Jensen R. 2014. The value 1 problem for concurrent mean-payoff games, IST Austria, 49p.

Porsche J. 2014. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none,p.

Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 12p.

Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 10p.

Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. 2014. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks, IST Austria, 14p.

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Optimal tree-decomposition balancing and reachability on low treewidth graphs, IST Austria, 24p.

Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2014. Optimal cost almost-sure reachability in POMDPs, IST Austria, 22p.

Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria, 27p.

Chatterjee K, Ibsen-Jensen R, Nowak M. 2014. The complexity of evolution on graphs, IST Austria, 27p.

Dereziski J, Napiórkowski MM. 2014. Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. 15(12), 2409–2439.

Lee J, Vrijsen G, Teper I, Hosten O, Kasevich M. 2014. Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. 39(13), 4005–4008.

Gross E, Soltesz Z, Oda S, Zelmanovich V, Abergel Z, de Bono M. 2014. GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. 34(50), 16726–16738.

Chen C, Itakura E, Weber KP, Hegde RS, de Bono M. 2014. An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. 10(3), e1004082.

Linneweber GA, Jacobson J, Busch KE, Hudry B, Christov CP, Dormann D, Yuan M, Otani T, Knust E, de Bono M, Miguel-Aliaga I. 2014. Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. 156(1–2), 69–83.

Bretèche R de la, Browning TD. 2014. Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie des Nombres de Bordeaux. 26(1), 25–44.

Mondelli M, Urbanke R, Hassani H. 2014. How to achieve the capacity of asymmetric channels. 52nd Annual Allerton Conference on Communication, Control, and Computing. Allerton Conference on Communication, Control, and Computing, 789–796.

Mondelli M, Hassani H, Urbanke R. 2014. From polar to Reed-Muller codes: A technique to improve the finite-length performance. IEEE Transactions on Communications. 62(9), 3084–3091.

Huszár K, Rolinek M. Playful Math - An introduction to mathematical games, IST Austria, 5p.

Modic KA, Smidt TE, Kimchi I, Breznay NP, Biffin A, Choi S, Johnson RD, Coldea R, Watkins-Curry P, McCandless GT, Chan JY, Gandara F, Islam Z, Vishwanath A, Shekhter A, McDonald RD, Analytis JG. 2014. Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate. Nature Communications. 5, 4203.

Tan S, Xue H-W. 2014. Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of AC. Cell Reports. 9(5), 1692–1702.

Alistarh D-A, Censor Hillel K, Shavit N. 2014. Are lock-free concurrent algorithms practically wait-free? STOC: Symposium on Theory of Computing, 714–723.

Alistarh D-A, Kopinsky J, Matveev A, Shavit N. 2014. The levelarray: A fast, practical long-lived renaming algorithm. ICDCS: International Conference on Distributed Computing Systems, 348–357.

Goodrich CP, Liu AJ, Nagel SR. 2014. Comment on “Repulsive contact interactions make jammed particulate systems inherently nonharmonic”. Physical Review Letters. 112(4), 049801.

Araya R, Vogels TP, Yuste R. 2014. Activity-dependent dendritic spine neck changes are correlated with synaptic strength. Proceedings of the National Academy of Sciences. 111(28), 95–04.

Tomm C, Avermann M, Petersen C, Gerstner W, Vogels TP. 2014. Connection-type-specific biases make uniform random network models consistent with cortical recordings. Journal of Neurophysiology. 112(8), 1801–1814.

Hennequin G, Vogels TP, Gerstner W. 2014. Optimal control of transient dynamics in balanced networks supports generation of complex movements. Neuron. 82(6), 1394–1406.

Higginbotham AP, Kuemmeth F, Hanson M, Gossard A, Marcus C. 2014. Coherent operations and screening in multielectron spin qubits. APS Physics, Physical Review Letters. 112(2), 026801.

Greenhill C, Kwan MA, Wind D. 2014. On the number of spanning trees in random regular graphs. The Electronic Journal of Combinatorics. 21(1), .45.

Perkovic M, Kunz M, Endesfelder U, Bunse S, Wigge C, Yu Z, Hodirnau V-V, Scheffer MP, Seybert A, Malkusch S, Schuman EM, Heilemann M, Frangakis AS. 2014. Correlative light- and electron microscopy with chemical tags. Journal of Structural Biology. 186(2), 205–213.

Lagator M, Morgan A, Neve P, Colegrave N. 2014. Role of sex and migration in adaptation to sink environments. Evolution. 68(8), 2296–2305.

Lagator M, Morgan A, Neve P, Colegrave N. 2014. Data from: Role of sex and migration in adaptation to sink environments, Dryad,10.5061/dryad.s42n1 .

Serbyn M, Knap M, Gopalakrishnan S, Papi Z, Yao N, Laumann C, Abanin D, Lukin M, Demler E. 2014. Interferometric probes of many-body localization. Physical Review Letters. 113(14).