Palacci JA, Sacanna S, Abramian A, Barral J, Hanson K, Grosberg AY, Pine DJ, Chaikin PM. 2015. Artificial rheotaxis. Science Advances. 1(4), e1400214.
LibreCat: https://research-explorer.ista.ac.at/record/9057
DOI: 10.1126/sciadv.1400214
PMID: 26601175
arXiv: 1505.05111

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. 10(5).
LibreCat: https://research-explorer.ista.ac.at/record/906
DOI: 10.1371/journal.pone.0125888

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

Sehring I, Recho P, Denker E, Kourakis M, Mathiesen B, Hannezo EB, Dong B, Jiang D. 2015. Assembly and positioning of actomyosin rings by contractility and planar cell polarity. eLife. 4, e09206.
LibreCat: https://research-explorer.ista.ac.at/record/928
DOI: 10.7554/eLife.09206

Krivelevich M, Kwan MA, Sudakov B. 2015. Cycles and matchings in randomly perturbed digraphs and hypergraphs. Electronic Notes in Discrete Mathematics. 49, 181–187.
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. 2015. A new dislocation-density-function dynamics scheme for computational crystal plasticity by explicit consideration of dislocation elastic interactions. International Journal of Plasticity. 67, 1–25.
LibreCat: https://research-explorer.ista.ac.at/record/9673
DOI: 10.1016/j.ijplas.2014.09.009

Cheng B, Tribello GA, Ceriotti M. 2015. Solid-liquid interfacial free energy out of equilibrium. Physical Review B - Condensed Matter and Materials Physics. 92(18), 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, Guvenek A, Ayhan DH, Toprak E, Bollenbach MT. 2015. Excel file containing the raw data for all figures, Public Library of Science,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. 2015. A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees. Journal of Animal Ecology. 84(3), 615–624.
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. 2015. Opposing effects of allogrooming on disease transmission in ant societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 370(1669).
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. 2015. Data from: Opposing effects of allogrooming on disease transmission in ant societies, Dryad,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. 2015. Supporting information text, Public Library of Science,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. 2015. DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. PLoS One. 10(6), e0127657.
LibreCat: https://research-explorer.ista.ac.at/record/1793
DOI: 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,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. 2015. Evolution of bow-tie architectures in biology. PLoS Computational Biology. 11(3).
LibreCat: https://research-explorer.ista.ac.at/record/1827
DOI: 10.1371/journal.pcbi.1004055

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

Trubenova B, Novak S, Hager R. 2015. Description of the agent based simulations, Public Library of Science,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. 2015. Evolutionary simulation code, Public Library of Science,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, Sankar R, Walkup D, Zhou W, Liu J, Chang G, Wang Y, Hasan M, Chou F, Lin H, Bansil A, Fu L, Madhavan V. 2015. Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators. Nature Materials. 14(3), 318–324.
LibreCat: https://research-explorer.ista.ac.at/record/981
DOI: 10.1038/nmat4215

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

Higginbotham AP, Albrecht SM, Kirsanskas G, Chang W, Kuemmeth F, Krogstrup P, Jespersen T, Nygård J, Flensberg K, Marcus C. 2015. Parity lifetime of bound states in a proximitized semiconductor nanowire. Nature Physics. 11(12), 1017–1021.
LibreCat: https://research-explorer.ista.ac.at/record/99
DOI: 10.1038/nphys3461
arXiv: 1501.05155

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

Kretz C, Dai M, Soylemez O, Yee A, Desch K, Siemieniak D, Tomberg K, Kondrashov F, Meng F, Ginsburg D. 2015. Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMT. PNAS. 112(30), 9328–9333.
LibreCat: https://research-explorer.ista.ac.at/record/866
DOI: 10.1073/pnas.1511328112

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

Richet N, Liu D, Legrand P, Velours C, Corpet A, Gaubert A, Bakail MM, Moal-Raisin G, Guerois R, Compper C, Besle A, Guichard B, Almouzni G, 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. 43(3), 1905–1917.
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. 2015. Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop. Applied Thermal Engineering. 76, 1–8.
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. 2015. Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes. PNAS. 112(28), 8620–8625.
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. 2015. Physics of active jamming during collective cellular motion in a monolayer. PNAS. 112(50), 15314–15319.
LibreCat: https://research-explorer.ista.ac.at/record/933
DOI: 10.1073/pnas.1510973112
PMID: 26627719

Rodrigues JA, Zilberman D. 2015. Evolution and function of genomic imprinting in plants. Genes and Development. 29(24), 2517–2531.
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. 2015. Size dependence of yield strength simulated by a dislocation-density function dynamics approach. Modelling and Simulation in Materials Science and Engineering. 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. 2015. An exploration of the universe of polyglutamine structures. PLoS Computational Biology. 11(10), e1004541.
LibreCat: https://research-explorer.ista.ac.at/record/1566
DOI: 10.1371/journal.pcbi.1004541

Tugrul M, Paixao T, Barton NH, Tkadik G. 2015. Other fitness models for comparison &; for interacting TFBSs, Public Library of Science,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. 2015. An exploration of the universe of polyglutamine structures - submission to PLOS journals, Public Library of Science ,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. 2015. Mathematical inference of the results, Public Library of Science,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. 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. 282(1799), 20141976.
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. 2015. Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant, Dryad,10.5061/dryad.7kc79 .
LibreCat: https://research-explorer.ista.ac.at/record/9742
DOI: 10.5061/dryad.7kc79

Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan DH, Toprak E, Bollenbach MT. 2015. Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs, Public Library of Science,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, Miles ES, Petersen L, Heynen M, Shea JM, Stumm D, Joshi S, 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. 78(4), 94–111.
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. 2015. Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999. Journal of Glaciology. 61(226), 373–386.
LibreCat: https://research-explorer.ista.ac.at/record/12628
DOI: 10.3189/2015jog13j237

Ayala A, Pellicciotti F, Shea JM. 2015. Modeling 2m air temperatures over mountain glaciers: Exploring the influence of katabatic cooling and external warming. Journal of Geophysical Research: Atmospheres. 120(8), 3139–3157.
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. 2015. A comparative high-altitude meteorological analysis from three catchments in the Nepalese Himalaya. International Journal of Water Resources Development. 31(2), 174–200.
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. 2015. Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya. Journal of Glaciology. 61(229), 889–907.
LibreCat: https://research-explorer.ista.ac.at/record/12626
DOI: 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. 61(227), 524–536.
LibreCat: https://research-explorer.ista.ac.at/record/12627
DOI: 10.3189/2015jog14j227

Veldkamp C, Kiermaier E, Gabel Eissens S, Gillitzer M, Lippner D, Disilvio F, Mueller C, Wantuch P, Chaffee G, Famiglietti M, Zgoba D, Bailey A, Bah Y, Engebretson S, Graupner D, Lackner E, Larosa V, Medeiros T, Olson M, Phillips A, Pyles H, Richard A, Schoeller S, Touzeau B, Williams L, Sixt MK, Peterson F. 2015. Solution structure of CCL19 and identification of overlapping CC and PSGL-1 binding sites. Biochemistry. 54(27), 4163–4166.
LibreCat: https://research-explorer.ista.ac.at/record/1618
DOI: 10.1021/acs.biochem.5b00560
PMID: 26115234

Martius GS, Olbrich E. 2015. Quantifying self-organizing behavior of autonomous robots. Proceedings of the 13th European Conference on Artificial Life. ECAL: European Conference on Artificial Life, 78.
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. 2015. The chromatin remodeler SPLAYED negatively regulates SN-mediated immunity. Plant and Cell Physiology. 56(8), 1616–1623.
LibreCat: https://research-explorer.ista.ac.at/record/12196
DOI: 10.1093/pcp/pcv087
PMID: 26063389

Zhao H, Sen S, Udayabhaskararao T, Sawczyk M, Kudanda K, Manna D, Kundu PK, Lee J-W, Král P, Klajn R. 2015. Reversible trapping and reaction acceleration within dynamically self-assembling nanoflasks. Nature Nanotechnology. 11, 82–88.
LibreCat: https://research-explorer.ista.ac.at/record/13392
DOI: 10.1038/nnano.2015.256
PMID: 26595335

Kundu PK, Samanta D, Leizrowice R, Margulis B, Zhao H, Börner M, Udayabhaskararao T, Manna D, Klajn R. 2015. Light-controlled self-assembly of non-photoresponsive nanoparticles. Nature Chemistry. 7, 646–652.
LibreCat: https://research-explorer.ista.ac.at/record/13394
DOI: 10.1038/nchem.2303
PMID: 26201741

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

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

Moldt T, Brete D, Przyrembel D, Das S, Goldman JR, Kundu PK, Gahl C, Klajn R, Weinelt M. 2015. Tailoring the properties of surface-immobilized azobenzenes by monolayer dilution and surface curvature. Langmuir. 31(3), 1048–1057.
LibreCat: https://research-explorer.ista.ac.at/record/13396
DOI: 10.1021/la504291n
PMID: 25544061

Singh G, Chan H, Udayabhaskararao T, Gelman E, Peddis D, Baskin A, Leitus G, Král P, Klajn R. 2015. Magnetic field-induced self-assembly of iron oxide nanocubes. Faraday Discussions. 181, 403–421.
LibreCat: https://research-explorer.ista.ac.at/record/13397
DOI: 10.1039/c4fd00265b
PMID: 25920522

Sun Y, Scarabelli L, Kotov N, Tebbe M, Lin X-M, Brullot W, Isa L, Schurtenberger P, Moehwald H, Fedin I, Velev O, Faivre D, Sorensen C, Perzynski R, Chanana M, Li Z, Bresme F, Král P, Firlar E, Schiffrin D, Souza Junior JB, Fery A, Shevchenko E, Tarhan O, Alivisatos AP, Disch S, Klajn R, Ghosh S. 2015. Field-assisted self-assembly process: General discussion. Faraday Discussions. 181, 463–479.
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. 2015. Theoretical study of molecular electronic and rotational coherences by high-order-harmonic generation. Physical Review A. 91(2), 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, Rupenyan A, Schneider J, Bisgaard CZ, Morishita T, Jensen F, Madsen LB, Wörner HJ. 2015. Observation of laser-induced electronic structure in oriented polyatomic molecules. Nature Communications. 6, 7039.
LibreCat: https://research-explorer.ista.ac.at/record/14016
DOI: 10.1038/ncomms8039
PMID: 25940229

Kraus PM, Mignolet B, Baykusheva DR, Rupenyan A, Horný L, Penka EF, Grassi G, Tolstikhin OI, Schneider J, Jensen F, Madsen LB, Bandrauk AD, Remacle F, Wörner HJ. 2015. Measurement and laser control of attosecond charge migration in ionized iodoacetylene. Science. 350(6262), 790–795.
LibreCat: https://research-explorer.ista.ac.at/record/14013
DOI: 10.1126/science.aab2160
PMID: 26494175

Kraus PM, Mignolet B, Baykusheva DR, Rupenyan A, Horný L, Penka EF, Tolstikhin OI, Schneider J, Jensen F, Madsen LB, Bandrauk AD, Remacle F, Wörner HJ. 2015. Attosecond charge migration and its laser control. Journal of Physics: Conference Series. 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. 2015. Resolving the dynamics of valence-shell electrons and nuclei through laser-induced diffraction and holography. Journal of Physics: Conference Series. 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. 2015. Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria, Dryad,10.5061/dryad.cj910 .
LibreCat: https://research-explorer.ista.ac.at/record/9719
DOI: 10.5061/dryad.cj910

Sharmanska V. 2015. Learning with attributes for object recognition: Parametric and non-parametrics views. Institute of Science and Technology Austria.
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. 2015. Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. 282(1812).
LibreCat: https://research-explorer.ista.ac.at/record/1709
DOI: 10.1098/rspb.2015.1041
PMID: 26180069

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

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

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

Tugrul M, Paixao T, Barton NH, Tkadik G. 2015. Dynamics of transcription factor binding site evolution. PLoS Genetics. 11(11).
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. 2015. Complete composition operators for IOCO-testing theory. CBSE: Component-Based Software Engineering , Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering , , 101–110.
LibreCat: https://research-explorer.ista.ac.at/record/1502
DOI: 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. 47(2), 230–264.
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. 2015. Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. 50(1), 97–109.
LibreCat: https://research-explorer.ista.ac.at/record/1602
DOI: 10.1145/2676726.2676979
arXiv: 1410.7724

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

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2015. Faster algorithms for quantitative verification in constant treewidth graphs. CAV: Computer Aided Verification, LNCS, vol. 9206, 140–157.
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. 2015. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium vol. 2015, 118–127.
LibreCat: https://research-explorer.ista.ac.at/record/1714
DOI: 10.1109/RTSS.2014.9

Hahn D, Wojtan C. 2015. High-resolution brittle fracture simulation with boundary elements. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 151.
LibreCat: https://research-explorer.ista.ac.at/record/1633
DOI: 10.1145/2766896

Ruprecht V, Wieser S, Callan Jones A, Smutny M, Morita H, Sako K, Barone V, Ritsch Marte M, Sixt MK, Voituriez R, Heisenberg C-PJ. 2015. Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. 160(4), 673–685.
LibreCat: https://research-explorer.ista.ac.at/record/1537
DOI: 10.1016/j.cell.2015.01.008

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

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

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

Cepeda Humerez SA, Rieckh G, Tkadik G. 2015. Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. 115(24), 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, 1511.03501.
LibreCat: https://research-explorer.ista.ac.at/record/8183
arXiv: 1511.03501

Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2015. Algorithms for algebraic path properties in concurrent systems of constant treewidth components, IST Austria, 24p.
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. 2015. Algorithms for algebraic path properties in concurrent systems of constant treewidth components, IST Austria, 22p.
LibreCat: https://research-explorer.ista.ac.at/record/5442

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. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, 259–268.
LibreCat: https://research-explorer.ista.ac.at/record/1689
DOI: 10.1145/2728606.2728608

Cerny P, Clarke E, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach T. 2015. From non-preemptive to preemptive scheduling using synchronization synthesis. 9207, 180–197.
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. 2015. Model checking gene regulatory networks. 9035, 469–483.
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. 2015. Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene. 00 Research . 4.
LibreCat: https://research-explorer.ista.ac.at/record/1509
DOI: 10.12688/f1000research.7143.1

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

Martius GS, Olbrich E. 2015. Quantifying emergent behavior of autonomous robots. Entropy. 17(10), 7266–7297.
LibreCat: https://research-explorer.ista.ac.at/record/1655
DOI: 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. 7(2).
LibreCat: https://research-explorer.ista.ac.at/record/1834
DOI: 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. 24(4), 781–800.
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. 2015. Efficient production of single-stranded phage DNA as scaffolds for DNA origami. Nano Letters. 15(7), 4672–4676.
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. 2015. Counterexample explanation by learning small strategies in Markov decision processes. CAV: Computer Aided Verification, LNCS, vol. 9206, 158–177.
LibreCat: https://research-explorer.ista.ac.at/record/1603
DOI: 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,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. 2015. Bounding Helly numbers via Betti numbers. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34, 507–521.
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.
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. 2015. Proofs of space. 35th Annual Cryptology Conference. CRYPTO: International Cryptology Conference, LNCS, vol. 9216, 585–605.
LibreCat: https://research-explorer.ista.ac.at/record/1675
DOI: 10.1007/978-3-662-48000-7_29

Michael AK, Harvey SL, Sammons PJ, Anderson AP, Kopalle HM, Banham AH, Partch CL. 2015. Cancer/Testis antigen PAS silences the circadian clock. Molecular Cell. 58(5), 743–754.
LibreCat: https://research-explorer.ista.ac.at/record/15160
DOI: 10.1016/j.molcel.2015.03.031

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

Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan D, Toprak E, Bollenbach MT. 2015. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 13(11), e1002299.
LibreCat: https://research-explorer.ista.ac.at/record/1619
DOI: 10.1371/journal.pbio.1002299