Naramoto S, Nodzyski T, Dainobu T, Takatsuka H, Okada T, Friml J, Fukuda H. 2014. VAN4 encodes a putative T that is required for normal cell growth and vein development in arabidopsis. Plant and Cell Physiology. 55(4), 750–763.
LibreCat: https://research-explorer.ista.ac.at/record/2222
DOI: 10.1093/pcp/pcu012

Altmeyer S. 2014. On secondary instabilities generating footbridges between spiral vortex flow. Fluid Dynamics Research. 46(2), 025503.
LibreCat: https://research-explorer.ista.ac.at/record/2224
DOI: 10.1088/0169-5983/46/2/025503

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.
LibreCat: https://research-explorer.ista.ac.at/record/2219
DOI: 10.1007/978-3-642-54631-0_1

de Vos M, Bollenbach MT. 2014. Suppressive drug interactions between antifungals. Chemistry and Biology. 21(4), 439–440.
LibreCat: https://research-explorer.ista.ac.at/record/2220
DOI: 10.1016/j.chembiol.2014.04.004
PMID: 24766845

Boker U, Henzinger TA. 2014. Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science. 10(1).
LibreCat: https://research-explorer.ista.ac.at/record/2233
DOI: 10.2168/LMCS-10(1:10)2014

Guzmán J, Schlögl A, Schmidt Hieber C. 2014. Stimfit: Quantifying electrophysiological data with Python. Frontiers in Neuroinformatics. 8(FEB), 16.
LibreCat: https://research-explorer.ista.ac.at/record/2230
DOI: 10.3389/fninf.2014.00016

Hu H, Jonas PM. 2014. A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons. Nature Neuroscience. 17(5), 686–693.
LibreCat: https://research-explorer.ista.ac.at/record/2228
DOI: 10.1038/nn.3678

Vyleta N, Jonas PM. 2014. Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. Science. 343(6171), 665–670.
LibreCat: https://research-explorer.ista.ac.at/record/2229
DOI: 10.1126/science.1244811

Song B, Hof B. 2014. Deterministic and stochastic aspects of the transition to turbulence. Journal of Statistical Mechanics Theory and Experiment. 2014(2), 001.
LibreCat: https://research-explorer.ista.ac.at/record/2232
DOI: 10.1088/1742-5468/2014/02/P02001
arXiv: 1403.4516

Rieckh G, Tkadik G. 2014. Noise and information transmission in promoters with multiple internal states. Biophysical Journal. 106(5), 1194–1204.
LibreCat: https://research-explorer.ista.ac.at/record/2231
DOI: 10.1016/j.bpj.2014.01.014
PMID: 24606943

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.
LibreCat: https://research-explorer.ista.ac.at/record/2226
DOI: 10.1103/PhysRevE.89.013001

Cires Rodriguez E, Baltisberger M, Cuesta C, Vargas P, Prieto J. 2014. Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences. Organisms Diversity and Evolution. 14(1), 1–10.
LibreCat: https://research-explorer.ista.ac.at/record/2227
DOI: 10.1007/s13127-013-0150-6

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).
LibreCat: https://research-explorer.ista.ac.at/record/2234
DOI: 10.2168/LMCS-10(1:13)2014

Jetchev D, Pietrzak KZ. 2014. How to fake auxiliary input. TCC: Theory of Cryptography Conference, LNCS, vol. 8349, 566–590.
LibreCat: https://research-explorer.ista.ac.at/record/2236
DOI: 10.1007/978-3-642-54242-8_24

Gadeyne A, Sánchez Rodríguez C, Vanneste S, Di Rubbo S, Zauber H, Vanneste K, Van Leene J, De Winne N, Eeckhout D, Persiau G, Van De Slijke E, Cannoot B, Vercruysse L, Mayers J, Adamowski M, Kania U, Ehrlich M, Schweighofer A, Ketelaar T, Maere S, Bednarek S, Friml J, Gevaert K, Witters E, Russinova E, Persson S, De Jaeger G, Van Damme D. 2014. The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants. Cell. 156(4), 691–704.
LibreCat: https://research-explorer.ista.ac.at/record/2240
DOI: 10.1016/j.cell.2014.01.039

Boker U, Henzinger TA, Radhakrishna A. 2014. Battery transition systems. POPL: Principles of Programming Languages vol. 49, 595–606.
LibreCat: https://research-explorer.ista.ac.at/record/2239
DOI: 10.1145/2535838.2535875

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.
LibreCat: https://research-explorer.ista.ac.at/record/2235
DOI: 10.1038/nature12977

Beppu K, Sasaki T, Tanaka K, Yamanaka A, Fukazawa Y, Shigemoto R, Matsui K. 2014. Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage. Neuron. 81(2), 314–320.
LibreCat: https://research-explorer.ista.ac.at/record/2241
DOI: 10.1016/j.neuron.2013.11.011

Simon S, Skfpa P, Dobrev P, Petrásek J, Zaeímalová E, Friml J. 2014.Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In: Plant Chemical Genomics. Methods in Molecular Biology, vol. 1056, 255–264.
LibreCat: https://research-explorer.ista.ac.at/record/2245
DOI: 10.1007/978-1-62703-592-7_23

Grinshpun A, Phalitnonkiat P, Rubin S, Tarfulea A. 2014. Alternating traps in Muller and parity games. Theoretical Computer Science. 521, 73–91.
LibreCat: https://research-explorer.ista.ac.at/record/2246
DOI: 10.1016/j.tcs.2013.11.032

Dueck A, Eichner A, Sixt MK, Meister G. 2014. A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation. FEBS Letters. 588(4), 632–640.
LibreCat: https://research-explorer.ista.ac.at/record/2242
DOI: 10.1016/j.febslet.2014.01.009

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.
LibreCat: https://research-explorer.ista.ac.at/record/2254
DOI: 10.1016/j.neuron.2013.09.046

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.
LibreCat: https://research-explorer.ista.ac.at/record/2251
DOI: 10.1098/rstb.2012.0528
PMID: 24366138

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.
LibreCat: https://research-explorer.ista.ac.at/record/2253
DOI: 10.1111/tpj.12369

Capek D, Metscher B, Müller G. 2014. Thumbs down: A molecular-morphogenetic approach to avian digit homology. Journal of Experimental Zoology Part B: Molecular and Developmental Evolution. 322(1), 1–12.
LibreCat: https://research-explorer.ista.ac.at/record/2248
DOI: 10.1002/jez.b.22545

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.
LibreCat: https://research-explorer.ista.ac.at/record/2249
DOI: 10.1111/tpj.12373

Phadke S, Paixao T, Pham T, Pham S, Zufall R. 2014. Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila. Journal of Heredity. 105(1), 130–135.
LibreCat: https://research-explorer.ista.ac.at/record/2252
DOI: 10.1093/jhered/est063

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.
LibreCat: https://research-explorer.ista.ac.at/record/2261
DOI: 10.1093/nar/gkt1290

Hippenmeyer S. 2014.Molecular pathways controlling the sequential steps of cortical projection neuron migration. In:  Cellular and Molecular Control of Neuronal Migration. Advances in Experimental Medicine and Biology, vol. 800, 1–24.
LibreCat: https://research-explorer.ista.ac.at/record/2265
DOI: 10.1007/978-94-007-7687-6_1

Olsson C, Ulen J, Boykov Y, Kolmogorov V. 2014. Partial enumeration and curvature regularization. ICCV: International Conference on Computer Vision, 2936–2943.
LibreCat: https://research-explorer.ista.ac.at/record/2275
DOI: 10.1109/ICCV.2013.365

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.
LibreCat: https://research-explorer.ista.ac.at/record/2285
DOI: 10.1002/hipo.22214

Erdös L, Bourgade P, Yau H. 2014. Universality of general ;2-ensembles. Duke Mathematical Journal. 163(6), 1127–1190.
LibreCat: https://research-explorer.ista.ac.at/record/2699
DOI: 10.1215/00127094-2649752

Chatterjee K, Randour M, Raskin J. 2014. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 51(3–4), 129–163.
LibreCat: https://research-explorer.ista.ac.at/record/2716
DOI: 10.1007/s00236-013-0182-6
arXiv: 1201.5073

Edelsbrunner H, Morozovy D. 2014. Persistent homology: Theory and practice. ECM: European Congress of Mathematics, 31–50.
LibreCat: https://research-explorer.ista.ac.at/record/2905
DOI: 10.4171/120-1/3

Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. 2014. Interface simulation distances. Theoretical Computer Science. 560(3), 348–363.
LibreCat: https://research-explorer.ista.ac.at/record/1733
DOI: 10.1016/j.tcs.2014.08.019

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), .
LibreCat: https://research-explorer.ista.ac.at/record/2141
DOI: 10.1145/2597631

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.
LibreCat: https://research-explorer.ista.ac.at/record/3263
DOI: 10.1371/journal.pone.0085841

Chatterjee K. 2014. Qualitative concurrent parity games: Bounded rationality. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). CONCUR: Concurrency Theory, LNCS, vol. 8704, 544–559.
LibreCat: https://research-explorer.ista.ac.at/record/2054
DOI: 10.1007/978-3-662-44584-6_37

Fischlin M, Lehmann A, Pietrzak KZ. 2014. Robust multi-property combiners for hash functions. Journal of Cryptology. 27(3), 397–428.
LibreCat: https://research-explorer.ista.ac.at/record/2852
DOI: 10.1007/s00145-013-9148-7

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.
LibreCat: https://research-explorer.ista.ac.at/record/468
DOI: 10.1371/journal.pone.0107518

Aminof B, Rubin S. 2014. First cycle games. Electronic Proceedings in Theoretical Computer Science, EPTCS. SR: Strategic Reasoning, EPTCS, vol. 146, 83–90.
LibreCat: https://research-explorer.ista.ac.at/record/475
DOI: 10.4204/EPTCS.146.11

Biedl T, Huber S, Palfrader P. 2014. Planar matchings for weighted straight skeletons. 25th International Symposium, ISAAC 2014. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 8889, 117–127.
LibreCat: https://research-explorer.ista.ac.at/record/10892
DOI: 10.1007/978-3-319-13075-0_10

Prizak R, Ezard T, Hoyle R. 2014. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 4(15), 3139–3145.
LibreCat: https://research-explorer.ista.ac.at/record/537
DOI: 10.1002/ece3.1150

Chatterjee K. 2014. Partial-observation stochastic reachability and parity games. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 8634, 1–4.
LibreCat: https://research-explorer.ista.ac.at/record/1903
DOI: 10.1007/978-3-662-44522-8_1

Chatterjee K, Doyen L. 2014. Partial-observation stochastic games: How to win when belief fails. ACM Transactions on Computational Logic (TOCL). 15(2), 16.
LibreCat: https://research-explorer.ista.ac.at/record/2211
DOI: 10.1145/2579821
arXiv: 1107.2141

Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2014. Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). 15(4), 27.
LibreCat: https://research-explorer.ista.ac.at/record/2038
DOI: 10.1145/2629686

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.
LibreCat: https://research-explorer.ista.ac.at/record/2162
DOI: 10.1007/978-3-662-43951-7_11
arXiv: 1404.5734

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.
LibreCat: https://research-explorer.ista.ac.at/record/2213
DOI: 10.1007/978-3-642-54830-7_16
arXiv: 1401.3289

Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2014. Perfect-information stochastic mean-payoff parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 8412, 210–225.
LibreCat: https://research-explorer.ista.ac.at/record/2212
DOI: 10.1007/978-3-642-54830-7_14

Chatterjee K, Ibsen-Jensen R, Majumdar R. 2014. Edit distance for timed automata. HSCC: Hybrid Systems - Computation and Control, 303–312.
LibreCat: https://research-explorer.ista.ac.at/record/2216
DOI: 10.1145/2562059.2562141

Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing, IST Austria, 20p.
LibreCat: https://research-explorer.ista.ac.at/record/5411
DOI: 10.15479/AT:IST-2014-148-v2-1

Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.
LibreCat: https://research-explorer.ista.ac.at/record/5413
DOI: 10.15479/AT:IST-2014-153-v2-2

Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.
LibreCat: https://research-explorer.ista.ac.at/record/5414
DOI: 10.15479/AT:IST-2014-153-v3-1

Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 31p.
LibreCat: https://research-explorer.ista.ac.at/record/5412
DOI: 10.15479/AT:IST-2014-153-v1-1

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.
LibreCat: https://research-explorer.ista.ac.at/record/2163
DOI: 10.1007/978-3-662-43951-7_10
arXiv: 1404.5453

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Improved algorithms for reachability and shortest path on low tree-width graphs, IST Austria, 34p.
LibreCat: https://research-explorer.ista.ac.at/record/5419
DOI: 10.15479/AT:IST-2014-187-v1-1

Henzinger TA, Otop J. 2014. Model measuring for hybrid systems. Proceedings of the 17th international conference on Hybrid systems: computation and control. HSCC: Hybrid Systems - Computation and Control, 213–222.
LibreCat: https://research-explorer.ista.ac.at/record/2217
DOI: 10.1145/2562059.2562130

Henzinger TA, Otop J. 2014. From model checking to model measuring, IST Austria, 14p.
LibreCat: https://research-explorer.ista.ac.at/record/5417
DOI: 10.15479/AT:IST-2014-172-v1-1

Henzinger TA, Otop J. 2014. Model measuring for hybrid systems, IST Austria, 22p.
LibreCat: https://research-explorer.ista.ac.at/record/5416
DOI: 10.15479/AT:IST-2014-171-v1-1

Chatterjee K, Doyen L. 2014. Games with a weak adversary, IST Austria, 18p.
LibreCat: https://research-explorer.ista.ac.at/record/5418
DOI: 10.15479/AT:IST-2014-176-v1-1

Chatterjee K, Ibsen-Jensen R. 2014. The value 1 problem for concurrent mean-payoff games, IST Austria, 49p.
LibreCat: https://research-explorer.ista.ac.at/record/5420
DOI: 10.15479/AT:IST-2014-191-v1-1

Porsche J. 2014. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none,p.
LibreCat: https://research-explorer.ista.ac.at/record/5422

Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 12p.
LibreCat: https://research-explorer.ista.ac.at/record/5424
DOI: 10.15479/AT:IST-2014-305-v1-1

Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 10p.
LibreCat: https://research-explorer.ista.ac.at/record/5426
DOI: 10.15479/AT:IST-2014-305-v2-1

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.
LibreCat: https://research-explorer.ista.ac.at/record/5423
DOI: 10.15479/AT:IST-2014-300-v1-1

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Optimal tree-decomposition balancing and reachability on low treewidth graphs, IST Austria, 24p.
LibreCat: https://research-explorer.ista.ac.at/record/5427
DOI: 10.15479/AT:IST-2014-314-v1-1

Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria, 27p.
LibreCat: https://research-explorer.ista.ac.at/record/5415
DOI: 10.15479/AT:IST-2014-170-v1-1

Chatterjee K, Ibsen-Jensen R, Nowak M. 2014. The complexity of evolution on graphs, IST Austria, 27p.
LibreCat: https://research-explorer.ista.ac.at/record/5421
DOI: 10.15479/AT:IST-2014-190-v2-2

Chatterjee K, Doyen L, Filiot E, Raskin J-F. 2014. Doomsday equilibria for omega-regular games. VMCAI 2014: Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 78–97.
LibreCat: https://research-explorer.ista.ac.at/record/10885
DOI: 10.1007/978-3-642-54013-4_5
arXiv: 1311.3238

Edelsbrunner H. 2014. A Short Course in Computational Geometry and Topology 1st ed., Cham: Springer Nature, IX, 110p.
LibreCat: https://research-explorer.ista.ac.at/record/6853
DOI: 10.1007/978-3-319-05957-0

Huszár K, Rolinek M. Playful Math - An introduction to mathematical games, IST Austria, 5p.
LibreCat: https://research-explorer.ista.ac.at/record/7038

Kim MY, Zilberman D. 2014. DNA methylation as a system of plant genomic immunity. Trends in Plant Science. 19(5), 320–326.
LibreCat: https://research-explorer.ista.ac.at/record/9519
DOI: 10.1016/j.tplants.2014.01.014
PMID: 24618094 

Lagator M, Morgan A, Neve P, Colegrave N. 2014. Role of sex and migration in adaptation to sink environments. Evolution. 68(8), 2296–2305.
LibreCat: https://research-explorer.ista.ac.at/record/2083
DOI: 10.1111/evo.12440

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 .
LibreCat: https://research-explorer.ista.ac.at/record/9747
DOI: 10.5061/dryad.s42n1

Wolf S, Mcmahon D, Lim K, Pull C, Clark S, Paxton R, Osborne J. 2014. So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees. PLoS One. 9(8), e103989.
LibreCat: https://research-explorer.ista.ac.at/record/2086
DOI: 10.1371/journal.pone.0103989

Wolf S, Mcmahon D, Lim K, Pull C, Clark S, Paxton R, Osborne J. 2014. Supporting information, Public Library of Science,10.1371/journal.pone.0103989.s003 .
LibreCat: https://research-explorer.ista.ac.at/record/9888
DOI: 10.1371/journal.pone.0103989.s003

Huff JT, Zilberman D. 2014. Dnmt1-independent CG methylation contributes to nucleosome positioning in diverse eukaryotes. Cell. 156(6), 1286–1297.
LibreCat: https://research-explorer.ista.ac.at/record/9458
DOI: 10.1016/j.cell.2014.01.029
PMID: 24630728

Mérai Z, Chumak N, García-Aguilar M, Hsieh T-F, Nishimura T, Schoft VK, Bindics J, alusarz L, Arnoux S, Opravil S, Mechtler K, Zilberman D, Fischer RL, Tamaru H. 2014. The AAA-ATPase molecular chaperone Cd/ disassembles sumoylated centromeres, decondenses heterochromatin, and activates ribosomal RNA genes. Proceedings of the National Academy of Sciences. 111(45), 16166–16171.
LibreCat: https://research-explorer.ista.ac.at/record/9479
DOI: 10.1073/pnas.1418564111
PMID: 25344531

Lovrics A, Gao Y, Juhász B, Bock I, Byrne H, Dinnyés A, Kovács K. 2014. Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord. PLoS One. 9(11), e111430.
LibreCat: https://research-explorer.ista.ac.at/record/2004
DOI: 10.1371/journal.pone.0111430

Lovrics A, Gao Y, Juhász B, Bock I, Byrne HM, Dinnyés A, Kovács K. 2014. Transition probability between TF expression states when Db inhibits Nk.2, Public Library of Science,10.1371/journal.pone.0111430.s006 .
LibreCat: https://research-explorer.ista.ac.at/record/9722
DOI: 10.1371/journal.pone.0111430.s006

Chatterjee K, Pavlogiannis A, Adlam B, Nowak M. 2014. The time scale of evolutionary innovation. PLoS Computational Biology. 10(9), 7p.
LibreCat: https://research-explorer.ista.ac.at/record/2039
DOI: 10.1371/journal.pcbi.1003818

Westhus C, Ugelvig LV, Tourdot E, Heinze J, Doums C, Cremer S. 2014. Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. Behavioral Ecology and Sociobiology. 68(10), 1701–1710.
LibreCat: https://research-explorer.ista.ac.at/record/2161
DOI: 10.1007/s00265-014-1778-8

Lagator M, Colegrave N, Neve P. 2014. Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Proceedings of the Royal Society of London Series B Biological Sciences. 281(1794), 20141679.
LibreCat: https://research-explorer.ista.ac.at/record/2036
DOI: 10.1098/rspb.2014.1679

Konrad M, Grasse AV, Tragust S, Cremer S. 2014. Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host, Dryad,10.5061/dryad.vm0vc .
LibreCat: https://research-explorer.ista.ac.at/record/9740
DOI: 10.5061/dryad.vm0vc

Lagator M, Colegrave N, Neve P. 2014. Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses, Dryad,10.5061/dryad.85dn7 .
LibreCat: https://research-explorer.ista.ac.at/record/9741
DOI: 10.5061/dryad.85dn7

Chatterjee K, Pavlogiannis A, Adlam B, Novak M. 2014. Detailed proofs for “The time scale of evolutionary innovation”, Public Library of Science,10.1371/journal.pcbi.1003818.s001 .
LibreCat: https://research-explorer.ista.ac.at/record/9739
DOI: 10.1371/journal.pcbi.1003818.s001

Hearn J, Stone G, Bunnefeld L, Nicholls J, Barton NH, Lohse K. 2014. Likelihood-based inference of population history from low-coverage de novo genome assemblies. Molecular Ecology. 23(1), 198–211.
LibreCat: https://research-explorer.ista.ac.at/record/2170
DOI: 10.1111/mec.12578

Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. 2014. Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies, Dryad,10.5061/dryad.nc0gc .
LibreCat: https://research-explorer.ista.ac.at/record/9753
DOI: 10.5061/dryad.nc0gc

Simmons K, Prentice J, Tkadik G, Homann J, Yee H, Palmer S, Nelson P, Balasubramanian V. 2014. Data from: Transformation of stimulus correlations by the retina, Dryad,10.5061/dryad.246qg .
LibreCat: https://research-explorer.ista.ac.at/record/9752
DOI: 10.5061/dryad.246qg

Dhar R, Bergmiller T, Wagner A. 2014. Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. Evolution. 68(6), 1775–1791.
LibreCat: https://research-explorer.ista.ac.at/record/9931
DOI: 10.1111/evo.12373
PMID: 24495000

Dhar R, Bergmiller T, Wagner A. 2014. Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes, Dryad,10.5061/dryad.jc402 .
LibreCat: https://research-explorer.ista.ac.at/record/9932
DOI: 10.5061/dryad.jc402

Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2014. Polynomial-time algorithms for energy games with special weight structures. Algorithmica. 70(3), 457–492.
LibreCat: https://research-explorer.ista.ac.at/record/535
DOI: 10.1007/s00453-013-9843-7
arXiv: 1604.08234

Zobel V, Reininghaus J, Hotz I. 2014. Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature. Topological Methods in Data Analysis and Visualization III . , Mathematics and Visualization, , 249–262.
LibreCat: https://research-explorer.ista.ac.at/record/10886
DOI: 10.1007/978-3-319-04099-8_16

Smutny M, Behrndt M, Campinho P, Ruprecht V, Heisenberg C-PJ. 2014.UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. In: Tissue Morphogenesis. vol. 1189, 219–235.
LibreCat: https://research-explorer.ista.ac.at/record/6178
DOI: 10.1007/978-1-4939-1164-6_15
PMID: 25245697

Seiringer R. 2014. The excitation spectrum for Bose fluids with weak interactions. Jahresbericht der Deutschen Mathematiker-Vereinigung. 116, 21–41.
LibreCat: https://research-explorer.ista.ac.at/record/10814
DOI: 10.1365/s13291-014-0083-9

Günther D, Reininghaus J, Seidel H-P, Weinkauf T. 2014.Notes on the simplification of the Morse-Smale complex. In: Topological Methods in Data Analysis and Visualization III. , 135–150.
LibreCat: https://research-explorer.ista.ac.at/record/10817
DOI: 10.1007/978-3-319-04099-8_9

Konrad M. 2014. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1395

Marhavá P. 2014. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1402

Edelsbrunner H, Pausinger F. 2014. Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. 50(1), 164–177.
LibreCat: https://research-explorer.ista.ac.at/record/2255
DOI: 10.1007/s10851-013-0468-x

Mabillard I, Wagner U. 2014. Eliminating Tverberg points, I. An analogue of the Whitney trick. Proceedings of the Annual Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, 171–180.
LibreCat: https://research-explorer.ista.ac.at/record/2159
DOI: 10.1145/2582112.2582134