Chatterjee K, Ibsen-Jensen R. 2013. The complexity of ergodic games, IST Austria, 29p.
LibreCat: https://research-explorer.ista.ac.at/record/5404
DOI: 10.15479/AT:IST-2013-127-v1-1

Porsche J. 2013. Initiatives and projects related to RD, IST Austria,p.
LibreCat: https://research-explorer.ista.ac.at/record/5401

Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2013. Perfect-information stochastic mean-payoff parity games, IST Austria, 22p.
LibreCat: https://research-explorer.ista.ac.at/record/5405
DOI: 10.15479/AT:IST-2013-128-v1-1

Chatterjee K, Ibsen-Jensen R, Majumdar R. 2013. Edit distance for timed automata, IST Austria, 12p.
LibreCat: https://research-explorer.ista.ac.at/record/5409
DOI: 10.15479/AT:IST-2013-144-v1-1

Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL fragments. 13th International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 18–25.
LibreCat: https://research-explorer.ista.ac.at/record/1376
DOI: 10.1109/FMCAD.2013.6679386

Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL Fragments, IST Austria, 11p.
LibreCat: https://research-explorer.ista.ac.at/record/5406
DOI: 10.15479/AT:IST-2013-130-v1-1

Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p.
LibreCat: https://research-explorer.ista.ac.at/record/5408
DOI: 10.15479/AT:IST-2013-141-v1-1

Porsche J. 2013. Technical requirements and features, IST Austria,p.
LibreCat: https://research-explorer.ista.ac.at/record/5407

Ahmed U, Chatterjee K, Gulwani S. 2013. Automatic generation of alternative starting positions for traditional board games, IST Austria, 13p.
LibreCat: https://research-explorer.ista.ac.at/record/5410
DOI: 10.15479/AT:IST-2013-146-v1-1

Henzinger TA, Otop J. 2013. From model checking to model measuring. 8052, 273–287.
LibreCat: https://research-explorer.ista.ac.at/record/2327
DOI: 10.1007/978-3-642-40184-8_20

Schmid D, Huang T, Dirks R, Hosten O, Kwiat P. 2013. Polarization dependent focusing. QIM: Quantum Information and Measurement, Optics InfoBase Conference Papers, .
LibreCat: https://research-explorer.ista.ac.at/record/590
DOI: 10.1364/QIM.2013.W6.23

Hillar CJ, Martin del Campo Sanchez A. 2013. Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation. 50, 314–334.
LibreCat: https://research-explorer.ista.ac.at/record/5920
DOI: 10.1016/j.jsc.2012.06.006

Schmid D, Huang T, Hazrat S, Dirks R, Hosten O, Quint S, Thian D, Kwiat P. 2013. Adjustable and robust methods for polarization-dependent focusing. Optics Express. 21(13), 15538–15552.
LibreCat: https://research-explorer.ista.ac.at/record/591
DOI: 10.1364/OE.21.015538

Bernecky C, Cramer P. 2013. Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. 32(6), 771–772.
LibreCat: https://research-explorer.ista.ac.at/record/595
DOI: 10.1038/emboj.2013.36

Kodama-Namba E, Fenk LA, Bretscher AJ, Gross E, Busch KE, de Bono M. 2013. Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. 9(12), e1004011.
LibreCat: https://research-explorer.ista.ac.at/record/6128
DOI: 10.1371/journal.pgen.1004011
PMID: 24385919

Chen C, Fenk LA, de Bono M. 2013. Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. 41(20), e193.
LibreCat: https://research-explorer.ista.ac.at/record/6130
DOI: 10.1093/nar/gkt805
PMID: 24013562

Couto A, Oda S, Nikolaev VO, Soltesz Z, de Bono M. 2013. In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. 110(35), 01–10.
LibreCat: https://research-explorer.ista.ac.at/record/6133
DOI: 10.1073/pnas.1217428110
PMID: 23940325

Rodriguez M, Snoek LB, de Bono M, Kammenga JE. 2013. Worms under stress: C. elegans stress response and its relevance to complex human disease and aging. Trends in Genetics. 29(6), 367–374.
LibreCat: https://research-explorer.ista.ac.at/record/6135
DOI: 10.1016/j.tig.2013.01.010

de Bono M, Schafer WR, Gottschalk A. 2013.Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans. In: Optogenetics. , 61–78.
LibreCat: https://research-explorer.ista.ac.at/record/6132

Lin T-C, Cole JM, Higginbotham AP, Edwards AJ, Piltz RO, Pérez-Moreno J, Seo J-Y, Lee S-C, Clays K, Kwon O-P. 2013. Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. 117(18), 9416–9430.
LibreCat: https://research-explorer.ista.ac.at/record/6370
DOI: 10.1021/jp400648q

Henzinger TA, Payer H, Sezgin A. 2013. Replacing competition with cooperation to achieve scalable lock-free FIFO queues , IST Austria, 23p.
LibreCat: https://research-explorer.ista.ac.at/record/6440
DOI: 10.15479/AT:IST-2013-124-v1-1

Mondelli M. 2013. A finite difference scheme for the stack filter simulating the MCM. Image Processing On Line. 3, 68–111.
LibreCat: https://research-explorer.ista.ac.at/record/6768
DOI: 10.5201/ipol.2013.53

Chatterjee K, Velner Y. 2013. Hyperplane separation technique for multidimensional mean-payoff games. 8052, 500–515.
LibreCat: https://research-explorer.ista.ac.at/record/2329
DOI: 10.1007/978-3-642-40184-8_35
arXiv: 1210.3141

Ottakam Thotiyl MM, Freunberger SA, Peng Z, Chen Y, Liu Z, Bruce PG. 2013. A stable cathode for the aprotic Li–O2 battery. Nature Materials. 12(11), 1050–1056.
LibreCat: https://research-explorer.ista.ac.at/record/7306
DOI: 10.1038/nmat3737

Chen Y, Freunberger SA, Peng Z, Fontaine O, Bruce PG. 2013. Charging a Li–O2 battery using a redox mediator. Nature Chemistry. 5(6), 489–494.
LibreCat: https://research-explorer.ista.ac.at/record/7307
DOI: 10.1038/nchem.1646

Tan S, Dai C, Liu H-T, Xue H-W. 2013. Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling. The Plant Cell. 25(7), 2618–2632.
LibreCat: https://research-explorer.ista.ac.at/record/7596
DOI: 10.1105/tpc.113.114322
PMID: 23897926

Tang Y, Tan S, Xue H. 2013. Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development. Acta Biochimica et Biophysica Sinica. 45(7), 549–560.
LibreCat: https://research-explorer.ista.ac.at/record/7595
DOI: 10.1093/abbs/gmt039
PMID: 23595027

Alistarh D-A, Aspnes J, Giakkoupis G, Woelfel P. 2013. Randomized loose renaming in O(loglogn) time. PODC: Principles of Distributed Computing, 200–209.
LibreCat: https://research-explorer.ista.ac.at/record/765
DOI: 10.1145/2484239.2484240

Robinson MR, Santure AW, DeCauwer I, Sheldon BC, Slate J. 2013. Partitioning of genetic variation across the genome using multimarker methods in a wild bird population. Molecular Ecology. 22(15), 3963–3980.
LibreCat: https://research-explorer.ista.ac.at/record/7745
DOI: 10.1111/mec.12375

Santure AW, De Cauwer I, Robinson MR, Poissant J, Sheldon BC, Slate J. 2013. Genomic dissection of variation in clutch size and egg mass in a wild great tit (Parus major) population. Molecular Ecology. 22(15), 3949–3962.
LibreCat: https://research-explorer.ista.ac.at/record/7746
DOI: 10.1111/mec.12376

Robinson MR, Beckerman AP. 2013. Quantifying multivariate plasticity: Genetic variation in resource acquisition drives plasticity in resource allocation to components of life history. Ecology Letters. 16(3), 281–290.
LibreCat: https://research-explorer.ista.ac.at/record/7747
DOI: 10.1111/ele.12047

Schoenholz SS, Goodrich CP, Kogan O, Liu AJ, Nagel SR. 2013. Stability of jammed packings II: The transverse length scale. Soft Matter. 9(46), 11000.
LibreCat: https://research-explorer.ista.ac.at/record/7775
DOI: 10.1039/c3sm51096d

Goodrich CP, Ellenbroek WG, Liu AJ. 2013. Stability of jammed packings I: The rigidity length scale. Soft Matter. 9(46), 10993.
LibreCat: https://research-explorer.ista.ac.at/record/7774
DOI: 10.1039/c3sm51095f

Vogels TP, Froemke RC, Doyon N, Gilson M, Haas JS, Liu R, Maffei A, Miller P, Wierenga CJ, Woodin MA, Zenke F, Sprekeler H. 2013. Inhibitory synaptic plasticity: Spike timing-dependence and putative network function. Frontiers in Neural Circuits. 7, 119.
LibreCat: https://research-explorer.ista.ac.at/record/8030
DOI: 10.3389/fncir.2013.00119
PMID: 23882186

Steffen A, Ladwein M, Dimchev GA, Hein A, Schwenkmezger L, Arens S, Ladwein K, Holleboom J, Schur FK, Small J, Schwarz J, Gerhard R, Faix J, Stradal T, Brakebusch C, Rottner K. 2013. Rac function is crucial for cell migration but is not required for spreading and focal adhesion formation. Journal of Cell Science. 126(20), 4572–4588.
LibreCat: https://research-explorer.ista.ac.at/record/811
DOI: 10.1242/jcs.118232

Koestler S, Steffen A, Nemethova M, Winterhoff M, Luo N, Holleboom J, Krupp J, Jacob S, Vinzenz M, Schur FK, Schlüter K, Gunning P, Winkler C, Schmeiser C, Faix J, Stradal T, Small J, Rottner K. 2013. Ar/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin. Molecular Biology of the Cell. 24(18), 2861–2875.
LibreCat: https://research-explorer.ista.ac.at/record/812
DOI: 10.1091/mbc.E12-12-0857

Schur FK, Hagen W, De Marco A, Briggs J. 2013. Determination of protein structure at 8.5Å resolution using cryo-electron tomography and sub-tomogram averaging. Journal of Structural Biology. 184(3), 394–400.
LibreCat: https://research-explorer.ista.ac.at/record/810
DOI: 10.1016/j.jsb.2013.10.015

Petricevic B, Laengle J, Singer J, Sachet M, Singer J, Steger G, Bartsch R, Jensen-Jarolim E, Bergmann M. 2013. Trastuzumab mediates antibody-dependent cell-mediated cytotoxicity and phagocytosis to the same extent in both adjuvant and metastatic HE/neu breast cancer patients. Journal of Translational Medicine. 11, 307.
LibreCat: https://research-explorer.ista.ac.at/record/8245
DOI: 10.1186/1479-5876-11-307
PMID: 24330813

O’Brien J, Benková E. 2013. Cytokinin cross talking during biotic and abiotic stress responses. Frontiers in Plant Science. 4, 451.
LibreCat: https://research-explorer.ista.ac.at/record/827
DOI: 10.3389/fpls.2013.00451

Cuesta C, Wabnik KT, Benková E. 2013. Systems approaches to study root architecture dynamics. Frontiers in Plant Science. 4, 537.
LibreCat: https://research-explorer.ista.ac.at/record/828
DOI: 10.3389/fpls.2013.00537

Galbiati F, Sinha Roy D, Simonini S, Cucinotta M, Ceccato L, Cuesta C, Simásková M, Benková E, Kamiuchi Y, Aida M, Weijers D, Simon R, Masiero S, Colombo L. 2013. An integrative model of the control of ovule primordia formation. The Plant journal for cell and molecular biology. 76(3), 446–455.
LibreCat: https://research-explorer.ista.ac.at/record/830
DOI: 10.1111/tpj.12309
PMID: 23941199

Péret B, Middleton A, French A, Larrieu A, Bishopp A, Njo M, Wells D, Porco S, Mellor N, Band L, Casimiro I, Kleine Vehn J, Vanneste S, Sairanen I, Mallet R, Sandberg G, Ljung K, Beeckman T, Benková E, Friml J, Kramer E, King J, De Smet I, Pridmore T, Owen M, Bennett M. 2013. Sequential induction of auxin efflux and influx carriers regulates lateral root emergence. Molecular Systems Biology. 9.
LibreCat: https://research-explorer.ista.ac.at/record/831
DOI: 10.1038/msb.2013.43

Haller JD, Schanda P. 2013. Amplitudes and time scales of picosecond-to-microsecond motion in proteins studied by solid-state NMR: a critical evaluation of experimental approaches and application to crystalline ubiquitin. Journal of Biomolecular NMR. 57(3), 263–280.
LibreCat: https://research-explorer.ista.ac.at/record/8461
DOI: 10.1007/s10858-013-9787-x

Rennella E, Cutuil T, Schanda P, Ayala I, Gabel F, Forge V, Corazza A, Esposito G, Brutscher B. 2013. Oligomeric states along the folding pathways of ;22-microglobulin: Kinetics, thermodynamics, and structure. Journal of Molecular Biology. 425(15), 2722–2736.
LibreCat: https://research-explorer.ista.ac.at/record/8462
DOI: 10.1016/j.jmb.2013.04.028

Breen M, Kemena C, Vlasov P, Notredame C, Kondrashov F. 2013. Breen et al. reply. Nature. 497(7451), –.
LibreCat: https://research-explorer.ista.ac.at/record/899
DOI: 10.1038/nature12220

Cheng B, Ngan AHW. 2013. The crystal structures of sintered copper nanoparticles: A molecular dynamics study. International Journal of Plasticity. 47, 65–79.
LibreCat: https://research-explorer.ista.ac.at/record/9674
DOI: 10.1016/j.ijplas.2013.01.006

Cheng B, Ngan AHW. 2013. The sintering and densification behaviour of many copper nanoparticles: A molecular dynamics study. Computational Materials Science. 74, 1–11.
LibreCat: https://research-explorer.ista.ac.at/record/9676
DOI: 10.1016/j.commatsci.2013.03.014

Serbyn M, Skvortsov M. 2013. Onset of superconductivity in a voltage-biased normal-superconducting-normal microbridge. Physical Review B - Condensed Matter and Materials Physics. 87(2).
LibreCat: https://research-explorer.ista.ac.at/record/971
DOI: 10.1103/PhysRevB.87.020501

Okada Y, Serbyn M, Lin H, Walkup D, Zhou W, Dhital C, Neupane M, Xu S, Wang Y, Sankar R, Chou F, Bansil A, Hasan M, Wilson S, Fu L, Madhavan V. 2013. Observation of dirac node formation and mass acquisition in a topological crystalline insulator. Science. 341(6153), 1496–1499.
LibreCat: https://research-explorer.ista.ac.at/record/972
DOI: 10.1126/science.1239451
arXiv: 1305.2823

Serbyn M, Papi Z, Abanin D. 2013. Universal slow growth of entanglement in interacting strongly disordered systems. Physical Review Letters. 110(26).
LibreCat: https://research-explorer.ista.ac.at/record/975
DOI: 10.1103/PhysRevLett.110.260601

Zagorsky B, Reiter J, Chatterjee K, Nowak M. 2013. Forgiver triumphs in alternating prisoner’s dilemma , Public Library of Science,10.1371/journal.pone.0080814.s001 .
LibreCat: https://research-explorer.ista.ac.at/record/9749
DOI: 10.1371/journal.pone.0080814.s001

Aeschbacher S, Futschik A, Beaumont M. 2013. Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. . Molecular Ecology. 22(4), 987–1002.
LibreCat: https://research-explorer.ista.ac.at/record/2944
DOI: 10.1111/mec.12165

Derelle R, Kondrashov F, Arkhipov V, Corbel H, Frantz A, Gasparini J, Jacquin L, Jacob G, Thibault S, Baudry E. 2013. Color differences among feral pigeons (Columba livia) are not attributable to sequence variation in the coding region of the melanocortin-1 receptor gene MR. BMC Research Notes. 6(1).
LibreCat: https://research-explorer.ista.ac.at/record/894
DOI: 10.1186/1756-0500-6-310

Palacci JA, Sacanna S, Steinberg AP, Pine DJ, Chaikin PM. 2013. Living crystals of light-activated colloidal surfers. Science. 339(6122), 936–940.
LibreCat: https://research-explorer.ista.ac.at/record/9055
DOI: 10.1126/science.1230020
PMID: 23371555

Arkhipov V, Noah T, Koschkar S, Kondrashov F. 2013. Birds of Mys Shmidta, north Chukotka, Russia. Forktail. (29), 25–30.
LibreCat: https://research-explorer.ista.ac.at/record/905

Melet A, Nikurashin M, Muller CJ, Falahat S, Nycander J, Timko PG, Arbic BK, Goff JA. 2013. Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. 118(11), 6303–6318.
LibreCat: https://research-explorer.ista.ac.at/record/9153
DOI: 10.1002/2013jc009212

Muller CJ. 2013. Impact of convective organization on the response of tropical precipitation extremes to warming. Journal of Climate. 26(14), 5028–5043.
LibreCat: https://research-explorer.ista.ac.at/record/9154
DOI: 10.1175/jcli-d-12-00655.1

Palacci JA, Sacanna S, Vatchinsky A, Chaikin PM, Pine DJ. 2013. Photoactivated colloidal dockers for cargo transportation. Journal of the American Chemical Society. 135(43), 15978–15981.
LibreCat: https://research-explorer.ista.ac.at/record/9167
DOI: 10.1021/ja406090s
PMID: 24131488
arXiv: 1310.5724

Basan M, Elgeti J, Hannezo EB, Rappel W, Levine H. 2013. Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing. PNAS. 110(7), 2452–2459.
LibreCat: https://research-explorer.ista.ac.at/record/921
DOI: 10.1073/pnas.1219937110

Zemach A, Kim MY, Hsieh P-H, Coleman-Derr D, Eshed-Williams L, Thao K, Harmer SL, Zilberman D. 2013. The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access -containing heterochromatin. Cell. 153(1), 193–205.
LibreCat: https://research-explorer.ista.ac.at/record/9459
DOI: 10.1016/j.cell.2013.02.033
PMID: 23540698

Rodrigues JA, Ruan R, Nishimura T, Sharma MK, Sharma R, Ronald PC, Fischer RL, Zilberman D. 2013. Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm. Proceedings of the National Academy of Sciences. 110(19), 7934–7939.
LibreCat: https://research-explorer.ista.ac.at/record/9481
DOI: 10.1073/pnas.1306164110
PMID: 23613580

Cheng B, Ngan AHW. 2013. Thermally induced solid-solid structural transition of copper nanoparticles through direct geometrical conversion. The Journal of Chemical Physics. 138(16), 164314.
LibreCat: https://research-explorer.ista.ac.at/record/9663
DOI: 10.1063/1.4802025
PMID: 23635145

Cheng B, Ngan AHW. 2013. Crystal plasticity of Cu nanocrystals during collision. Materials Science and Engineering: A. 585, 326–334.
LibreCat: https://research-explorer.ista.ac.at/record/9682
DOI: 10.1016/j.msea.2013.07.065

Serbyn M, Abanin D. 2013. New Dirac points and multiple Landau level crossings in biased trilayer graphene. Physical Review B - Condensed Matter and Materials Physics. 87(11).
LibreCat: https://research-explorer.ista.ac.at/record/970
DOI: 10.1103/PhysRevB.87.115422

Serbyn M, Papi Z, Abanin D. 2013. Local conservation laws and the structure of the many body localized states. Physical Review Letters. 111(12).
LibreCat: https://research-explorer.ista.ac.at/record/973
DOI: 10.1103/PhysRevLett.111.127201

Serbyn M, Senthil T, Lee P. 2013. Overscreened Kondo fixed point in S=1 spin liquid. Physical Review B - Condensed Matter and Materials Physics. 88(2).
LibreCat: https://research-explorer.ista.ac.at/record/974
DOI: 10.1103/PhysRevB.88.024419
arXiv: 1212.5179

Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. 2013. Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology. 13(1), 225.
LibreCat: https://research-explorer.ista.ac.at/record/2284
DOI: 10.1186/1471-2148-13-225

Simmons K, Prentice J, Tkadik G, Homann J, Yee H, Palmer S, Nelson P, Balasubramanian V. 2013. Transformation of stimulus correlations by the retina. PLoS Computational Biology. 9(12), e1003344.
LibreCat: https://research-explorer.ista.ac.at/record/2277
DOI: 10.1371/journal.pcbi.1003344

Hearn J, Stone G, Barton NH, Lohse K, Bunnefeld L. 2013. Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies, Dryad,10.5061/dryad.r3r60 .
LibreCat: https://research-explorer.ista.ac.at/record/9754
DOI: 10.5061/dryad.r3r60

Serbyn M, Lee P. 2013. Spinon-phonon interaction in algebraic spin liquids. Physical Review B - Condensed Matter and Materials Physics. 87(17).
LibreCat: https://research-explorer.ista.ac.at/record/976
DOI: 10.1103/PhysRevB.87.174424

Lutz AF, Immerzeel WW, Gobiet A, Pellicciotti F, Bierkens MFP. 2013. Comparison of climate change signals in CMI and CMI multi-model ensembles and implications for Central Asian glaciers. Hydrology and Earth System Sciences. 17(9), 3661–3677.
LibreCat: https://research-explorer.ista.ac.at/record/12638
DOI: 10.5194/hess-17-3661-2013

Ragettli S, Pellicciotti F, Bordoy R, Immerzeel WW. 2013. Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change. Water Resources Research. 49(9), 6048–6066.
LibreCat: https://research-explorer.ista.ac.at/record/12639
DOI: 10.1002/wrcr.20450

Ragettli S, Cortés G, McPhee J, Pellicciotti F. 2013. An evaluation of approaches for modelling hydrological processes in high-elevation, glacierized Andean watersheds. Hydrological Processes. 28(23), 5674–5695.
LibreCat: https://research-explorer.ista.ac.at/record/12633
DOI: 10.1002/hyp.10055

Feng X, Zilberman D, Dickinson H. 2013. A conversation across generations: Soma-germ cell crosstalk in plants. Developmental Cell. 24(3), 215–225.
LibreCat: https://research-explorer.ista.ac.at/record/9520
DOI: 10.1016/j.devcel.2013.01.014
PMID: 23410937

Ely T, Das S, Li W, Kundu P, Tirosh E, Cahen D, Vilan A, Klajn R. 2013. Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. 24(18), 2370–2374.
LibreCat: https://research-explorer.ista.ac.at/record/13405
DOI: 10.1055/s-0033-1340087

Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. 2013. Dual-responsive nanoparticles and their self-assembly. Advanced Materials. 25(3), 422–426.
LibreCat: https://research-explorer.ista.ac.at/record/13406
DOI: 10.1002/adma.201201734
PMID: 22933327

Stephens G, Mora T, Tkadik G, Bialek W. 2013. Statistical thermodynamics of natural images. Physical Review Letters. 110(1), 018701.
LibreCat: https://research-explorer.ista.ac.at/record/2914
DOI: 10.1103/PhysRevLett.110.018701
arXiv: 0806.2694

Weber M, Sixt MK. 2013.Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations. In: Chemokines. Methods in Molecular Biology, vol. 1013, 215–226.
LibreCat: https://research-explorer.ista.ac.at/record/10900
DOI: 10.1007/978-1-62703-426-5_14
PMID: 23625502

Dragoi C, Gupta A, Henzinger TA. 2013.Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. vol. 8044, 174–190.
LibreCat: https://research-explorer.ista.ac.at/record/5747
DOI: 10.1007/978-3-642-39799-8_11

Chatterjee K, Chaubal S, Rubin S. 2013. How to travel between languages. 7th International Conference on Language and Automata Theory and Applications. LATA: Conference on Language and Automata Theory and ApplicationsLNCS, LNCS, vol. 7810, 214–225.
LibreCat: https://research-explorer.ista.ac.at/record/10902
DOI: 10.1007/978-3-642-37064-9_20

Edelsbrunner H. 2013. Persistent homology in image processing. Graph-Based Representations in Pattern Recognition. GbRPR: Graph-based Representations in Pattern RecognitionLNCS vol. 7877, 182–183.
LibreCat: https://research-explorer.ista.ac.at/record/10897
DOI: 10.1007/978-3-642-38221-5_19

Zufferey D. 2013. Analysis of dynamic message passing programs. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1405
DOI: 10.15479/at:ista:1405

Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction (eds. N. Piterman &; S. Smolka). 7795, 62–77.
LibreCat: https://research-explorer.ista.ac.at/record/2847
DOI: 10.1007/978-3-642-36742-7_5

Campinho P. 2013. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1406

Zagorsky B, Reiter J, Chatterjee K, Nowak M. 2013. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 8(12), e80814.
LibreCat: https://research-explorer.ista.ac.at/record/2247
DOI: 10.1371/journal.pone.0080814

Reiter J, Boei I, Allen B, Chatterjee K, Nowak M. 2013. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 6(1), 34–45.
LibreCat: https://research-explorer.ista.ac.at/record/2858
DOI: 10.1111/eva.12020

Boei I, Reiter J, Allen B, Antal T, Chatterjee K, Shah P, Moon Y, Yaqubie A, Kelly N, Le D, Lipson E, Chapman P, Diaz L, Vogelstein B, Nowak M. 2013. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2, e00747.
LibreCat: https://research-explorer.ista.ac.at/record/2816
DOI: 10.7554/eLife.00747

Reiter J, Boei I, Chatterjee K, Nowak M. 2013. TTP: Tool for tumor progression. Proceedings of 25th Int. Conf. on Computer Aided Verification. CAV: Computer Aided VerificationLecture Notes in Computer Science, LNCS, vol. 8044, 101–106.
LibreCat: https://research-explorer.ista.ac.at/record/2000
DOI: 10.1007/978-3-642-39799-8_6
arXiv: 1303.5251

Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2013. Efficient synthesis for concurrency by semantics-preserving transformations. CAV: Computer Aided Verification, LNCS, vol. 8044, 951–967.
LibreCat: https://research-explorer.ista.ac.at/record/2445
DOI: 10.1007/978-3-642-39799-8_68

Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. 2013. Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. 23(1), 76–82.
LibreCat: https://research-explorer.ista.ac.at/record/2926
DOI: 10.1016/j.cub.2012.11.034

Brázdil T, Chatterjee K, Forejt V, Kudera A. 2013. Trading performance for stability in Markov decision processes. 28th Annual ACM/IEEE Symposium. LICS: Logic in Computer Science, 331–340.
LibreCat: https://research-explorer.ista.ac.at/record/2305
DOI: 10.1109/LICS.2013.39
arXiv: 1305.4103

Chatterjee K, Kößler A, Schmid U. 2013. Automated analysis of real-time scheduling using graph games. Proceedings of the 16th International conference on Hybrid systems: Computation and control. HSCC: Hybrid Systems - Computation and Control, 163–172.
LibreCat: https://research-explorer.ista.ac.at/record/2820
DOI: 10.1145/2461328.2461356

Takhanov R, Kolmogorov V. 2013. Inference algorithms for pattern-based CRFs on sequence data. ICML’13 Proceedings of the 30th International Conference on International. ICML: International Conference on Machine Learning, JMLR, vol. 28, 145–153.
LibreCat: https://research-explorer.ista.ac.at/record/2272

Remy E, Baster P, Friml J, Duque P. 2013. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling &; Behavior. 8(10), e25688.
LibreCat: https://research-explorer.ista.ac.at/record/2448
DOI: 10.4161/psb.25688
PMID: 23857365

Refardt D, Bergmiller T, Kümmerli R. 2013. Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. 280(1759).
LibreCat: https://research-explorer.ista.ac.at/record/2853
DOI: 10.1098/rspb.2012.3035
PMID: 23516238

Refardt D, Bergmiller T, Kümmerli R. 2013. Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection, Dryad,10.5061/dryad.b1q2n .
LibreCat: https://research-explorer.ista.ac.at/record/9751
DOI: 10.5061/dryad.b1q2n

Joo WJ, Sweeney LB, Liang L, Luo L. 2013. Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. 78(4), 673–686.
LibreCat: https://research-explorer.ista.ac.at/record/7785
DOI: 10.1016/j.neuron.2013.03.022

Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. 2013. Proofs of Space, IST Austria,p.
LibreCat: https://research-explorer.ista.ac.at/record/2274

Woehrmann MH, Bray WM, Durbin JK, Nisam SC, Michael AK, Glassey E, Stuart JM, Lokey RS. 2013. Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. 9(11), 2604.
LibreCat: https://research-explorer.ista.ac.at/record/15162
DOI: 10.1039/c3mb70245f

Sari A, Cacciuto A. 2012. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 109(18), 188101.
LibreCat: https://research-explorer.ista.ac.at/record/10387
DOI: 10.1103/physrevlett.109.188101
PMID: 23215334
arXiv: 1206.3528