Arkhipova O, Meer M, Mikoulinskaia G, et al. Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer. PLoS One. 2015;10(5). doi:10.1371/journal.pone.0125888
LibreCat: https://research-explorer.ista.ac.at/record/906
DOI: 10.1371/journal.pone.0125888

Lefauve A, Muller CJ, Melet A. A three-dimensional map of tidal dissipation over abyssal hills. Journal of Geophysical Research: Oceans. 2015;120(7):4760-4777. doi:10.1002/2014jc010598
LibreCat: https://research-explorer.ista.ac.at/record/9141
DOI: 10.1002/2014jc010598

Sehring I, Recho P, Denker E, et al. Assembly and positioning of actomyosin rings by contractility and planar cell polarity. eLife. 2015;4. doi:10.7554/eLife.09206
LibreCat: https://research-explorer.ista.ac.at/record/928
DOI: 10.7554/eLife.09206

Krivelevich M, Kwan MA, Sudakov B. Cycles and matchings in randomly perturbed digraphs and hypergraphs. Electronic Notes in Discrete Mathematics. 2015;49:181-187. doi:10.1016/j.endm.2015.06.027
LibreCat: https://research-explorer.ista.ac.at/record/9575
DOI: 10.1016/j.endm.2015.06.027
arXiv: 1501.04816

Leung HS, Leung PSS, Cheng B, Ngan AHW. A new dislocation-density-function dynamics scheme for computational crystal plasticity by explicit consideration of dislocation elastic interactions. International Journal of Plasticity. 2015;67:1-25. doi:10.1016/j.ijplas.2014.09.009
LibreCat: https://research-explorer.ista.ac.at/record/9673
DOI: 10.1016/j.ijplas.2014.09.009

Cheng B, Tribello GA, Ceriotti M. Solid-liquid interfacial free energy out of equilibrium. Physical Review B - Condensed Matter and Materials Physics. 2015;92(18). doi:10.1103/physrevb.92.180102
LibreCat: https://research-explorer.ista.ac.at/record/9688
DOI: 10.1103/physrevb.92.180102
arXiv: 1511.08668

Chevereau G, Lukacisinova M, Batur T, et al. Excel file containing the raw data for all figures. 2015. doi:10.1371/journal.pbio.1002299.s001
LibreCat: https://research-explorer.ista.ac.at/record/9711
DOI: 10.1371/journal.pbio.1002299.s001

Mcmahon D, Fürst M, Caspar J, Theodorou P, Brown M, Paxton R. A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees. Journal of Animal Ecology. 2015;84(3):615-624. doi:10.1111/1365-2656.12345
LibreCat: https://research-explorer.ista.ac.at/record/1855
DOI: 10.1111/1365-2656.12345
PMID: 25646973

Theis F, Ugelvig LV, Marr C, Cremer S. Opposing effects of allogrooming on disease transmission in ant societies. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2015;370(1669). doi:10.1098/rstb.2014.0108
LibreCat: https://research-explorer.ista.ac.at/record/1830
DOI: 10.1098/rstb.2014.0108
PMID: 25870394

Theis F, Ugelvig LV, Marr C, Cremer S. Data from: Opposing effects of allogrooming on disease transmission in ant societies. 2015. doi:10.5061/dryad.dj2bf
LibreCat: https://research-explorer.ista.ac.at/record/9721
DOI: 10.5061/dryad.dj2bf

Friedlander T, Mayo AE, Tlusty T, Alon U. Supporting information text. 2015. doi:10.1371/journal.pcbi.1004055.s001
LibreCat: https://research-explorer.ista.ac.at/record/9718
DOI: 10.1371/journal.pcbi.1004055.s001

Symonova O, Topp C, Edelsbrunner H. DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. PLoS One. 2015;10(6). doi:10.1371/journal.pone.0127657
LibreCat: https://research-explorer.ista.ac.at/record/1793
DOI: 10.1371/journal.pone.0127657

Symonova O, Topp C, Edelsbrunner H. Root traits computed by DynamicRoots for the maize root shown in fig 2. 2015. doi:10.1371/journal.pone.0127657.s001
LibreCat: https://research-explorer.ista.ac.at/record/9737
DOI: 10.1371/journal.pone.0127657.s001

Friedlander T, Mayo A, Tlusty T, Alon U. Evolution of bow-tie architectures in biology. PLoS Computational Biology. 2015;11(3). doi:10.1371/journal.pcbi.1004055
LibreCat: https://research-explorer.ista.ac.at/record/1827
DOI: 10.1371/journal.pcbi.1004055

Trubenova B, Novak S, Hager R. Indirect genetic effects and the dynamics of social interactions. PLoS One. 2015;10(5). doi:10.1371/journal.pone.0126907
LibreCat: https://research-explorer.ista.ac.at/record/1809
DOI: 10.1371/journal.pone.0126907

Trubenova B, Novak S, Hager R. Description of the agent based simulations. 2015. doi:10.1371/journal.pone.0126907.s003
LibreCat: https://research-explorer.ista.ac.at/record/9772
DOI: 10.1371/journal.pone.0126907.s003

Friedlander T, Mayo AE, Tlusty T, Alon U. Evolutionary simulation code. 2015. doi:10.1371/journal.pcbi.1004055.s002
LibreCat: https://research-explorer.ista.ac.at/record/9773
DOI: 10.1371/journal.pcbi.1004055.s002

Zeljkovic I, Okada Y, Serbyn M, et al. Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators. Nature Materials. 2015;14(3):318-324. doi:10.1038/nmat4215
LibreCat: https://research-explorer.ista.ac.at/record/981
DOI: 10.1038/nmat4215

Serbyn M, Papi Z, Abanin D. Criterion for many-body localization-delocalization phase transition. Physical Review X. 2015;5(4). doi:10.1103/PhysRevX.5.041047
LibreCat: https://research-explorer.ista.ac.at/record/982
DOI: 10.1103/PhysRevX.5.041047

Higginbotham AP, Albrecht SM, Kirsanskas G, et al. Parity lifetime of bound states in a proximitized semiconductor nanowire. Nature Physics. 2015;11(12):1017-1021. doi:10.1038/nphys3461
LibreCat: https://research-explorer.ista.ac.at/record/99
DOI: 10.1038/nphys3461
arXiv: 1501.05155

Bounemoura A, Kaloshin V. A note on micro-instability for Hamiltonian systems close to integrable. Proceedings of the American Mathematical Society. 2015;144(4):1553-1560. doi:10.1090/proc/12796
LibreCat: https://research-explorer.ista.ac.at/record/8495
DOI: 10.1090/proc/12796

Kretz C, Dai M, Soylemez O, et al. Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMT. PNAS. 2015;112(30):9328-9333. doi:10.1073/pnas.1511328112
LibreCat: https://research-explorer.ista.ac.at/record/866
DOI: 10.1073/pnas.1511328112

Kondrashov D, Kondrashov F. Topological features of rugged fitness landscapes in sequence space. Trends in Genetics. 2015;31(1):24-33. doi:10.1016/j.tig.2014.09.009
LibreCat: https://research-explorer.ista.ac.at/record/886
DOI: 10.1016/j.tig.2014.09.009

Richet N, Liu D, Legrand P, et al. 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. 2015;43(3):1905-1917. doi:10.1093/nar/gkv021
LibreCat: https://research-explorer.ista.ac.at/record/9017
DOI: 10.1093/nar/gkv021
PMID: 25618846

Boubaker R, Platel V, Bergès A, Bancelin M, Hannezo EB. Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop. Applied Thermal Engineering. 2015;76:1-8. doi:10.1016/j.applthermaleng.2014.10.009
LibreCat: https://research-explorer.ista.ac.at/record/924
DOI: 10.1016/j.applthermaleng.2014.10.009

Hannezo EB, Dong B, Recho P, Joanny J, Hayashi S. Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes. PNAS. 2015;112(28):8620-8625. doi:10.1073/pnas.1504762112
LibreCat: https://research-explorer.ista.ac.at/record/929
DOI: 10.1073/pnas.1504762112

García S, Hannezo EB, Elgeti J, Joanny J, Silberzan P, Gov N. Physics of active jamming during collective cellular motion in a monolayer. PNAS. 2015;112(50):15314-15319. doi:10.1073/pnas.1510973112
LibreCat: https://research-explorer.ista.ac.at/record/933
DOI: 10.1073/pnas.1510973112
PMID: 26627719

Rodrigues JA, Zilberman D. Evolution and function of genomic imprinting in plants. Genes and Development. 2015;29(24):2517–2531. doi:10.1101/gad.269902.115
LibreCat: https://research-explorer.ista.ac.at/record/9532
DOI: 10.1101/gad.269902.115
PMID: 26680300

Leung PSS, Leung HS, Cheng B, Ngan AHW. Size dependence of yield strength simulated by a dislocation-density function dynamics approach. Modelling and Simulation in Materials Science and Engineering. 2015;23(3). doi:10.1088/0965-0393/23/3/035001
LibreCat: https://research-explorer.ista.ac.at/record/9684
DOI: 10.1088/0965-0393/23/3/035001

Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. An exploration of the universe of polyglutamine structures. PLoS Computational Biology. 2015;11(10). doi:10.1371/journal.pcbi.1004541
LibreCat: https://research-explorer.ista.ac.at/record/1566
DOI: 10.1371/journal.pcbi.1004541

Tugrul M, Paixao T, Barton NH, Tkadik G. Other fitness models for comparison &; for interacting TFBSs. 2015. doi:10.1371/journal.pgen.1005639.s001
LibreCat: https://research-explorer.ista.ac.at/record/9712
DOI: 10.1371/journal.pgen.1005639.s001

Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. An exploration of the universe of polyglutamine structures - submission to PLOS journals. 2015. doi:10.1371/journal.pcbi.1004541.s001
LibreCat: https://research-explorer.ista.ac.at/record/9714
DOI: 10.1371/journal.pcbi.1004541.s001

Trubenova B, Novak S, Hager R. Mathematical inference of the results. 2015. doi:10.1371/journal.pone.0126907.s001
LibreCat: https://research-explorer.ista.ac.at/record/9715
DOI: 10.1371/journal.pone.0126907.s001

Konrad M, Grasse AV, Tragust S, Cremer S. 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. 2015;282(1799). doi:10.1098/rspb.2014.1976
LibreCat: https://research-explorer.ista.ac.at/record/1993
DOI: 10.1098/rspb.2014.1976
PMID: 25473011

Westhus C, Ugelvig LV, Tourdot E, Heinze J, Doums C, Cremer S. Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. 2015. doi:10.5061/dryad.7kc79
LibreCat: https://research-explorer.ista.ac.at/record/9742
DOI: 10.5061/dryad.7kc79

Chevereau G, Lukacisinova M, Batur T, et al. Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs. 2015. doi:10.1371/journal.pbio.1002299.s008
LibreCat: https://research-explorer.ista.ac.at/record/9765
DOI: 10.1371/journal.pbio.1002299.s008

Ragettli S, Pellicciotti F, Immerzeel WW, et al. 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. 2015;78(4):94-111. doi:10.1016/j.advwatres.2015.01.013
LibreCat: https://research-explorer.ista.ac.at/record/12630
DOI: 10.1016/j.advwatres.2015.01.013

Pellicciotti F, Stephan C, Miles E, Herreid S, Immerzeel WW, Bolch T. Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999. Journal of Glaciology. 2015;61(226):373-386. doi:10.3189/2015jog13j237
LibreCat: https://research-explorer.ista.ac.at/record/12628
DOI: 10.3189/2015jog13j237

Ayala A, Pellicciotti F, Shea JM. Modeling 2m air temperatures over mountain glaciers: Exploring the influence of katabatic cooling and external warming. Journal of Geophysical Research: Atmospheres. 2015;120(8):3139-3157. doi:10.1002/2015jd023137
LibreCat: https://research-explorer.ista.ac.at/record/12631
DOI: 10.1002/2015jd023137

Shea JM, Wagnon P, Immerzeel WW, Biron R, Brun F, Pellicciotti F. A comparative high-altitude meteorological analysis from three catchments in the Nepalese Himalaya. International Journal of Water Resources Development. 2015;31(2):174-200. doi:10.1080/07900627.2015.1020417
LibreCat: https://research-explorer.ista.ac.at/record/12629
DOI: 10.1080/07900627.2015.1020417

Steiner JF, Pellicciotti F, Buri P, Miles ES, Immerzeel WW, Reid TD. Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya. Journal of Glaciology. 2015;61(229):889-907. doi:10.3189/2015jog14j194
LibreCat: https://research-explorer.ista.ac.at/record/12626
DOI: 10.3189/2015jog14j194

Herreid S, Pellicciotti F, Ayala A, et al. Satellite observations show no net change in the percentage of supraglacial debris-covered area in northern Pakistan from 1977 to 2014. Journal of Glaciology. 2015;61(227):524-536. doi:10.3189/2015jog14j227
LibreCat: https://research-explorer.ista.ac.at/record/12627
DOI: 10.3189/2015jog14j227

Veldkamp C, Kiermaier E, Gabel Eissens S, et al. Solution structure of CCL19 and identification of overlapping CC and PSGL-1 binding sites. Biochemistry. 2015;54(27):4163-4166. doi:10.1021/acs.biochem.5b00560
LibreCat: https://research-explorer.ista.ac.at/record/1618
DOI: 10.1021/acs.biochem.5b00560
PMID: 26115234

Martius GS, Olbrich E. Quantifying self-organizing behavior of autonomous robots. In: Proceedings of the 13th European Conference on Artificial Life. MIT Press; 2015:78. doi:10.7551/978-0-262-33027-5-ch018
LibreCat: https://research-explorer.ista.ac.at/record/12881
DOI: 10.7551/978-0-262-33027-5-ch018

Johnson KCM, Xia S, Feng X, Li X. The chromatin remodeler SPLAYED negatively regulates SN-mediated immunity. Plant and Cell Physiology. 2015;56(8):1616-1623. doi:10.1093/pcp/pcv087
LibreCat: https://research-explorer.ista.ac.at/record/12196
DOI: 10.1093/pcp/pcv087
PMID: 26063389

Zhao H, Sen S, Udayabhaskararao T, et al. Reversible trapping and reaction acceleration within dynamically self-assembling nanoflasks. Nature Nanotechnology. 2015;11:82-88. doi:10.1038/nnano.2015.256
LibreCat: https://research-explorer.ista.ac.at/record/13392
DOI: 10.1038/nnano.2015.256
PMID: 26595335

Kundu PK, Samanta D, Leizrowice R, et al. Light-controlled self-assembly of non-photoresponsive nanoparticles. Nature Chemistry. 2015;7:646-652. doi:10.1038/nchem.2303
LibreCat: https://research-explorer.ista.ac.at/record/13394
DOI: 10.1038/nchem.2303
PMID: 26201741

Manna D, Udayabhaskararao T, Zhao H, Klajn R. Orthogonal light-induced self-assembly of nanoparticles using differently substituted azobenzenes. Angewandte Chemie International Edition. 2015;54(42):12394-12397. doi:10.1002/anie.201502419
LibreCat: https://research-explorer.ista.ac.at/record/13393
DOI: 10.1002/anie.201502419
PMID: 25959725

Lee J-W, Klajn R. Dual-responsive nanoparticles that aggregate under the simultaneous action of light and CO2. Chemical Communications. 2015;51(11):2036-2039. doi:10.1039/c4cc08541h
LibreCat: https://research-explorer.ista.ac.at/record/13395
DOI: 10.1039/c4cc08541h
PMID: 25417754

Moldt T, Brete D, Przyrembel D, et al. Tailoring the properties of surface-immobilized azobenzenes by monolayer dilution and surface curvature. Langmuir. 2015;31(3):1048-1057. doi:10.1021/la504291n
LibreCat: https://research-explorer.ista.ac.at/record/13396
DOI: 10.1021/la504291n
PMID: 25544061

Singh G, Chan H, Udayabhaskararao T, et al. Magnetic field-induced self-assembly of iron oxide nanocubes. Faraday Discussions. 2015;181:403-421. doi:10.1039/c4fd00265b
LibreCat: https://research-explorer.ista.ac.at/record/13397
DOI: 10.1039/c4fd00265b
PMID: 25920522

Sun Y, Scarabelli L, Kotov N, et al. Field-assisted self-assembly process: General discussion. Faraday Discussions. 2015;181:463-479. doi:10.1039/c5fd90041g
LibreCat: https://research-explorer.ista.ac.at/record/13398
DOI: 10.1039/c5fd90041g
PMID: 26149295

Zhang SB, Baykusheva DR, Kraus PM, Wörner HJ, Rohringer N. Theoretical study of molecular electronic and rotational coherences by high-order-harmonic generation. Physical Review A. 2015;91(2). doi:10.1103/physreva.91.023421
LibreCat: https://research-explorer.ista.ac.at/record/14017
DOI: 10.1103/physreva.91.023421
arXiv: 1504.03933

Kraus PM, Tolstikhin OI, Baykusheva DR, et al. Observation of laser-induced electronic structure in oriented polyatomic molecules. Nature Communications. 2015;6. doi:10.1038/ncomms8039
LibreCat: https://research-explorer.ista.ac.at/record/14016
DOI: 10.1038/ncomms8039
PMID: 25940229

Kraus PM, Mignolet B, Baykusheva DR, et al. Measurement and laser control of attosecond charge migration in ionized iodoacetylene. Science. 2015;350(6262):790-795. doi:10.1126/science.aab2160
LibreCat: https://research-explorer.ista.ac.at/record/14013
DOI: 10.1126/science.aab2160
PMID: 26494175

Kraus PM, Mignolet B, Baykusheva DR, et al. Attosecond charge migration and its laser control. Journal of Physics: Conference Series. 2015;635(11). doi:10.1088/1742-6596/635/11/112136
LibreCat: https://research-explorer.ista.ac.at/record/14015
DOI: 10.1088/1742-6596/635/11/112136

Walt SG, Ram NB, von Conta A, Baykusheva DR, Atala M, Wörner HJ. Resolving the dynamics of valence-shell electrons and nuclei through laser-induced diffraction and holography. Journal of Physics: Conference Series. 2015;635(11). doi:10.1088/1742-6596/635/11/112135
LibreCat: https://research-explorer.ista.ac.at/record/14014
DOI: 10.1088/1742-6596/635/11/112135

Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria. 2015. doi:10.5061/dryad.cj910
LibreCat: https://research-explorer.ista.ac.at/record/9719
DOI: 10.5061/dryad.cj910

Sharmanska V. Learning with attributes for object recognition: Parametric and non-parametrics views. 2015. doi:10.15479/at:ista:1401
LibreCat: https://research-explorer.ista.ac.at/record/1401
DOI: 10.15479/at:ista:1401

Reiter J, Kanodia A, Gupta R, Nowak M, Chatterjee K. Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. 2015;282(1812). doi:10.1098/rspb.2015.1041
LibreCat: https://research-explorer.ista.ac.at/record/1709
DOI: 10.1098/rspb.2015.1041
PMID: 26180069

Reiter J. The subclonal evolution of cancer. 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1400

Pausinger F, Svane A. A Koksma-Hlawka inequality for general discrepancy systems. Journal of Complexity. 2015;31(6):773-797. doi:10.1016/j.jco.2015.06.002
LibreCat: https://research-explorer.ista.ac.at/record/1792
DOI: 10.1016/j.jco.2015.06.002

Pausinger F. On the approximation of intrinsic volumes. 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1399

Tugrul M, Paixao T, Barton NH, Tkadik G. Dynamics of transcription factor binding site evolution. PLoS Genetics. 2015;11(11). doi:10.1371/journal.pgen.1005639
LibreCat: https://research-explorer.ista.ac.at/record/1666
DOI: 10.1371/journal.pgen.1005639

Benes N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. Complete composition operators for IOCO-testing theory. In: ACM; 2015:101-110. doi:10.1145/2737166.2737175
LibreCat: https://research-explorer.ista.ac.at/record/1502
DOI: 10.1145/2737166.2737175

Chatterjee K, Chmelik M, Daca P. CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. 2015;47(2):230-264. doi:10.1007/s10703-015-0235-2
LibreCat: https://research-explorer.ista.ac.at/record/1501
DOI: 10.1007/s10703-015-0235-2

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A, Goyal P. Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. 2015;50(1):97-109. doi:10.1145/2676726.2676979
LibreCat: https://research-explorer.ista.ac.at/record/1602
DOI: 10.1145/2676726.2676979
arXiv: 1410.7724

Chatterjee K, Pavlogiannis A, Velner Y. Quantitative interprocedural analysis. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . 2015;50(1):539-551. doi:10.1145/2676726.2676968
LibreCat: https://research-explorer.ista.ac.at/record/1604
DOI: 10.1145/2676726.2676968

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster algorithms for quantitative verification in constant treewidth graphs. In: Vol 9206. Springer; 2015:140-157. doi:10.1007/978-3-319-21690-4_9
LibreCat: https://research-explorer.ista.ac.at/record/1607
DOI: 10.1007/978-3-319-21690-4_9

Chatterjee K, Pavlogiannis A, Kößler A, Schmid U. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In: Real-Time Systems Symposium. Vol 2015. IEEE; 2015:118-127. doi:10.1109/RTSS.2014.9
LibreCat: https://research-explorer.ista.ac.at/record/1714
DOI: 10.1109/RTSS.2014.9

Hahn D, Wojtan C. High-resolution brittle fracture simulation with boundary elements. In: Vol 34. ACM; 2015. doi:10.1145/2766896
LibreCat: https://research-explorer.ista.ac.at/record/1633
DOI: 10.1145/2766896

Ruprecht V, Wieser S, Callan Jones A, et al. Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. 2015;160(4):673-685. doi:10.1016/j.cell.2015.01.008
LibreCat: https://research-explorer.ista.ac.at/record/1537
DOI: 10.1016/j.cell.2015.01.008

Adamowski M, Friml J. PIN-dependent auxin transport: Action, regulation, and evolution. Plant Cell. 2015;27(1):20-32. doi:10.1105/tpc.114.134874
LibreCat: https://research-explorer.ista.ac.at/record/1591
DOI: 10.1105/tpc.114.134874
PMID: 25604445

Alt J. The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. 2015;56(10). doi:10.1063/1.4932606
LibreCat: https://research-explorer.ista.ac.at/record/1677
DOI: 10.1063/1.4932606

Inglés Prieto Á, Gschaider-Reichhart E, Muellner M, et al. Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology. 2015;11(12):952-954. doi:10.1038/nchembio.1933
LibreCat: https://research-explorer.ista.ac.at/record/1678
DOI: 10.1038/nchembio.1933

Cepeda Humerez SA, Rieckh G, Tkadik G. Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. 2015;115(24). doi:10.1103/PhysRevLett.115.248101
LibreCat: https://research-explorer.ista.ac.at/record/1576
DOI: 10.1103/PhysRevLett.115.248101

Avvakumov S, Mabillard I, Skopenkov A, Wagner U. Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv.
LibreCat: https://research-explorer.ista.ac.at/record/8183
arXiv: 1511.03501

Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria; 2015. doi:10.15479/AT:IST-2015-340-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5441
DOI: 10.15479/AT:IST-2015-340-v1-1

Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria; 2015.
LibreCat: https://research-explorer.ista.ac.at/record/5442

Svoreová M, Kretinsky J, Chmelik M, Chatterjee K, Cbrná I, Belta C. 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. ACM; 2015:259-268. doi:10.1145/2728606.2728608
LibreCat: https://research-explorer.ista.ac.at/record/1689
DOI: 10.1145/2728606.2728608

Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. 2015;9207:180-197. doi:10.1007/978-3-319-21668-3_11
LibreCat: https://research-explorer.ista.ac.at/record/1729
DOI: 10.1007/978-3-319-21668-3_11

Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking gene regulatory networks. 2015;9035:469-483. doi:10.1007/978-3-662-46681-0_47
LibreCat: https://research-explorer.ista.ac.at/record/1835
DOI: 10.1007/978-3-662-46681-0_47

Michalko J, Lukacisinova M, Bollenbach MT, Friml J. Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene. 00 Research . 2015;4. doi:10.12688/f1000research.7143.1
LibreCat: https://research-explorer.ista.ac.at/record/1509
DOI: 10.12688/f1000research.7143.1

Priklopil T, Chatterjee K. Evolution of decisions in population games with sequentially searching individuals. Games. 2015;6(4):413-437. doi:10.3390/g6040413
LibreCat: https://research-explorer.ista.ac.at/record/1681
DOI: 10.3390/g6040413

Martius GS, Olbrich E. Quantifying emergent behavior of autonomous robots. Entropy. 2015;17(10):7266-7297. doi:10.3390/e17107266
LibreCat: https://research-explorer.ista.ac.at/record/1655
DOI: 10.3390/e17107266

Chen C, Wang C, Zhao X, et al. Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. 2015;7(2). doi:10.1177/1759091415575845
LibreCat: https://research-explorer.ista.ac.at/record/1834
DOI: 10.1177/1759091415575845

Erbar M, Maas J, Tetali P. Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models. Annales de la faculté des sciences de Toulouse. 2015;24(4):781-800. doi:10.5802/afst.1464
LibreCat: https://research-explorer.ista.ac.at/record/1635
DOI: 10.5802/afst.1464
arXiv: 1409.8605

Kick B, Praetorius FM, Dietz H, Weuster-Botz D. Efficient production of single-stranded phage DNA as scaffolds for DNA origami. Nano Letters. 2015;15(7):4672-4676. doi:10.1021/acs.nanolett.5b01461
LibreCat: https://research-explorer.ista.ac.at/record/14303
DOI: 10.1021/acs.nanolett.5b01461
PMID: 26028443

Brázdil T, Chatterjee K, Chmelik M, Fellner A, Kretinsky J. Counterexample explanation by learning small strategies in Markov decision processes. In: Vol 9206. Springer; 2015:158-177. doi:10.1007/978-3-319-21690-4_10
LibreCat: https://research-explorer.ista.ac.at/record/1603
DOI: 10.1007/978-3-319-21690-4_10

Fellner A. Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. 2015. doi:10.15479/AT:ISTA:28
LibreCat: https://research-explorer.ista.ac.at/record/5549
DOI: 10.15479/AT:ISTA:28

Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Bounding Helly numbers via Betti numbers. In: Vol 34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:507-521. doi:10.4230/LIPIcs.SOCG.2015.507
LibreCat: https://research-explorer.ista.ac.at/record/1512
DOI: 10.4230/LIPIcs.SOCG.2015.507

Browning TD, Prendiville S. Improvements in Birch’s theorem on forms in many variables. Journal fur die Reine und Angewandte Mathematik. 2017(731):203-234. doi:10.1515/crelle-2014-0122
LibreCat: https://research-explorer.ista.ac.at/record/271
DOI: 10.1515/crelle-2014-0122
arXiv: 1402.4489

Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. Proofs of space. In: 35th Annual Cryptology Conference. Vol 9216. Springer; 2015:585-605. doi:10.1007/978-3-662-48000-7_29
LibreCat: https://research-explorer.ista.ac.at/record/1675
DOI: 10.1007/978-3-662-48000-7_29

Michael AK, Harvey SL, Sammons PJ, et al. Cancer/Testis antigen PAS silences the circadian clock. Molecular Cell. 2015;58(5):743-754. doi:10.1016/j.molcel.2015.03.031
LibreCat: https://research-explorer.ista.ac.at/record/15160
DOI: 10.1016/j.molcel.2015.03.031

Michael AK, Asimgil H, Partch CL. Cytosolic BMAL1 moonlights as a translation factor. Trends in Biochemical Sciences. 2015;40(9):489-490. doi:10.1016/j.tibs.2015.07.006
LibreCat: https://research-explorer.ista.ac.at/record/15159
DOI: 10.1016/j.tibs.2015.07.006

Chevereau G, Lukacisinova M, Batur T, et al. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 2015;13(11). doi:10.1371/journal.pbio.1002299
LibreCat: https://research-explorer.ista.ac.at/record/1619
DOI: 10.1371/journal.pbio.1002299

Sari A, Chebaro YC, Knowles TPJ, Frenkel D. Crucial role of nonspecific interactions in amyloid nucleation. Proceedings of the National Academy of Sciences. 2014;111(50):17869-17874. doi:10.1073/pnas.1410159111
LibreCat: https://research-explorer.ista.ac.at/record/10382
DOI: 10.1073/pnas.1410159111
PMID: 25453085
arXiv: 1412.0897

Mallory SA, Sari A, Valeriani C, Cacciuto A. Anomalous thermomechanical properties of a self-propelled colloidal fluid. Physical Review E. 2014;89(5). doi:10.1103/physreve.89.052303
LibreCat: https://research-explorer.ista.ac.at/record/10383
DOI: 10.1103/physreve.89.052303
PMID: 25353796
arXiv: 1310.0826

Jensen N, Danzl JG, Willig K, et al. Coordinate-targeted and coordinate-stochastic super-resolution microscopy with the reversibly switchable fluorescent protein dreiklang. ChemPhysChem. 2014;15(4):756-762. doi:10.1002/cphc.201301034
LibreCat: https://research-explorer.ista.ac.at/record/1058
DOI: 10.1002/cphc.201301034

Hashimoto M, Morita H, Ueno N. Molecular and cellular mechanisms of development underlying congenital diseases. Congenital Anomalies. 2014;54(1):1-7. doi:10.1111/cga.12039
LibreCat: https://research-explorer.ista.ac.at/record/10815
DOI: 10.1111/cga.12039
PMID: 24666178