Chmelik M, ehák V. 2013. Controllable-choice message sequence graphs. 7721, 118–130.
LibreCat: https://research-explorer.ista.ac.at/record/2886
DOI: 10.1007/978-3-642-36046-6_12

Fang S, Clark R, Zheng Y, Iyer Pascuzzi A, Weitz J, Kochian L, Edelsbrunner H, Liao H, Benfey P. 2013. Genotypic recognition and spatial responses by rice roots. PNAS. 110(7), 2670–2675.
LibreCat: https://research-explorer.ista.ac.at/record/2887
DOI: 10.1073/pnas.1222821110
PMID: 23362379

Chen C, Kolmogorov V, Yan Z, Metaxas D, Lampert C. 2013. Computing the M most probable modes of a graphical model.  AISTATS: Conference on Uncertainty in Artificial Intelligence,  JMLR: W&;CP, vol. 31, 161–169.
LibreCat: https://research-explorer.ista.ac.at/record/2901

Kerber M, Edelsbrunner H. 2013. 3D kinetic alpha complexes and their implementation. 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments. ALENEX: Algorithm Engineering and Experiments, ALENEX, , 70–77.
LibreCat: https://research-explorer.ista.ac.at/record/2906
DOI: 10.1137/1.9781611972931.6

Kelleher J, Barton NH, Etheridge A. 2013. Coalescent simulation in continuous space. Bioinformatics. 29(7), 955–956.
LibreCat: https://research-explorer.ista.ac.at/record/2910
DOI: 10.1093/bioinformatics/btt067

Barton NH, Etheridge A, Véber A. 2013. Modelling evolution in a spatial continuum. Journal of Statistical Mechanics Theory and Experiment. 2013(1).
LibreCat: https://research-explorer.ista.ac.at/record/2909
DOI: 10.1088/1742-5468/2013/01/P01002

Barton NH. 2013. Does hybridisation influence speciation?  . Journal of Evolutionary Biology. 26(2), 267–269.
LibreCat: https://research-explorer.ista.ac.at/record/2908
DOI: 10.1111/jeb.12015

Barton NH. 2013.Recombination and sex. In: The Princeton Guide to Evolution. , 328–333.
LibreCat: https://research-explorer.ista.ac.at/record/2907

Tkadik G, Granot Atedgi E, Segev R, Schneidman E. 2013. Retinal metric: a stimulus distance measure derived from population neural responses. Physical Review Letters. 110(5), 058104.
LibreCat: https://research-explorer.ista.ac.at/record/2913
DOI: 10.1103/PhysRevLett.110.058104

Baster P, Robert S, Kleine Vehn J, Vanneste S, Kania U, Grunewald W, De Rybel B, Beeckman T, Friml J. 2013. SCF^TI AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal. 32(2), 260–274.
LibreCat: https://research-explorer.ista.ac.at/record/2919
DOI: 10.1038/emboj.2012.310
PMID: 23211744

Compagnon J, Heisenberg C-PJ. 2013. Neurulation coordinating cell polarisation and lumen formation. EMBO Journal. 32(1), 1–3.
LibreCat: https://research-explorer.ista.ac.at/record/2920
DOI: 10.1038/emboj.2012.325
PMID: 23211745

Krenn S, Pietrzak KZ, Wadia A. 2013. A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. TCC: Theory of Cryptography Conference, LNCS, vol. 7785, 23–39.
LibreCat: https://research-explorer.ista.ac.at/record/2940
DOI: 10.1007/978-3-642-36594-2_2

Tommasi T, Quadrianto N, Caputo B, Lampert C. 2013. Beyond dataset bias: Multi-task unaligned shared knowledge transfer. 7724, 1–15.
LibreCat: https://research-explorer.ista.ac.at/record/2948
DOI: 10.1007/978-3-642-37331-2_1

Bangerter E, Barzan S, Krenn S, Sadeghi A, Schneider T, Tsay J. 2013. Bringing Zero-Knowledge Proofs of Knowledge to Practice. SPW: Security Protocols Workshop, LNCS, vol. 7028, 51–62.
LibreCat: https://research-explorer.ista.ac.at/record/2973
DOI: 10.1007/978-3-642-36213-2_9

Edelsbrunner H, Fasy BT, Rote G. 2013. Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions. Discrete &; Computational Geometry. 49(4), 797–822.
LibreCat: https://research-explorer.ista.ac.at/record/2815
DOI: 10.1007/s00454-013-9517-x

Ibáñez M, Cadavid D, Anselmi Tamburini U, Zamani R, Gorsse S, Li W, López A, Morante J, Arbiol J, Cabot A. 2013. Colloidal synthesis and thermoelectric properties of Cu 2SnSe3 nanocrystals. Journal of Materials Chemistry A. 1(4), 1421–1426.
LibreCat: https://research-explorer.ista.ac.at/record/344
DOI: 10.1039/C2TA00419D

Dubuis J, Tkadik G, Wieschaus E, Gregor T, Bialek W. 2013. Positional information, in bits. PNAS. 110(41), 16301–16308.
LibreCat: https://research-explorer.ista.ac.at/record/3261
DOI: 10.1073/pnas.1315642110
PMID: 24089448

Chatterjee K, Henzinger MH, Joglekar M, Shah N. 2013. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 42(3), 301–327.
LibreCat: https://research-explorer.ista.ac.at/record/2831
DOI: 10.1007/s10703-012-0180-2
arXiv: 1104.3348

Pickup M, Field D, Rowell D, Young A. 2013. Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences. 280(1750), 2058.
LibreCat: https://research-explorer.ista.ac.at/record/450
DOI: 10.1098/rspb.2012.2058
PMID: 23173202

Dickerson D, Bilkey D. 2013. Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience. 7(DEC).
LibreCat: https://research-explorer.ista.ac.at/record/476
DOI: 10.3389/fnbeh.2013.00217

Ward M, Lycett S, Avila D, Bollback JP, Leigh Brown A. 2013. Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary Biology. 13(1), 222.
LibreCat: https://research-explorer.ista.ac.at/record/500
DOI: 10.1186/1471-2148-13-222

Cozzuol M, Clozato C, Holanda E, Rodrigues F, Nienow S, De Thoisy B, Fernandes Redondo RA, Santos F. 2013. A new species of tapir from the Amazon. Journal of Mammalogy. 94(6), 1331–1345.
LibreCat: https://research-explorer.ista.ac.at/record/501
DOI: 10.1644/12-MAMM-A-169.1

Tarazona Santos E, Machado M, Magalhães W, Chen R, Lyon F, Burdett L, Crenshaw A, Fabbri C, Pereira L, Pinto L, Fernandes Redondo RA, Sestanovich B, Yeager M, Chanock S. 2013. Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NC, and NC: Functional implications. Molecular Biology and Evolution. 30(9), 2157–2167.
LibreCat: https://research-explorer.ista.ac.at/record/508
DOI: 10.1093/molbev/mst119
PMID: 23821607

Di Rubbo S, Irani N, Kim S, Xu Z, Gadeyne A, Dejonghe W, Vanhoutte I, Persiau G, Eeckhout D, Simon S, Song K, Kleine Vehn J, Friml J, De Jaeger G, Van Damme D, Hwang I, Russinova E. 2013. The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIV in arabidopsis. Plant Cell. 25(8), 2986–2997.
LibreCat: https://research-explorer.ista.ac.at/record/509
DOI: 10.1105/tpc.113.114058
PMID: 23975899

Kim S, Xu Z, Song K, Kim D, Kang H, Reichardt I, Sohn E, Friml J, Juergens G, Hwang I. 2013. Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. 25(8), 2970–2985.
LibreCat: https://research-explorer.ista.ac.at/record/507
DOI: 10.1105/tpc.113.114264
PMID: 23975898

Pbndík A, Simonovik B, Petersson S, Henyková E, Simon S, Greenham K, Zhang Y, Kowalczyk M, Estelle M, Zaeímalová E, Novák O, Sandberg G, Ljung K. 2013. Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid. Plant Cell. 25(10), 3858–3870.
LibreCat: https://research-explorer.ista.ac.at/record/511
DOI: 10.1105/tpc.113.114421
PMID: 24163311

Bargmann B, Vanneste S, Krouk G, Nawy T, Efroni I, Shani E, Choe G, Friml J, Bergmann D, Estelle M, Birnbaum K. 2013. A map of cell typespecific auxin responses. Molecular Systems Biology. 9(1), 688.
LibreCat: https://research-explorer.ista.ac.at/record/516
DOI: 10.1038/msb.2013.40

Chatterjee K, Doyen L, Randour M, Raskin J. 2013. Looking at mean-payoff and total-payoff through windows. 8172, 118–132.
LibreCat: https://research-explorer.ista.ac.at/record/2279
DOI: 10.1007/978-3-319-02444-8_10

Reiter J, Bozic I, Chatterjee K, Nowak M. 2013. TTP: Tool for Tumor Progression, IST Austria, 17p.
LibreCat: https://research-explorer.ista.ac.at/record/5399
DOI: 10.15479/AT:IST-2013-104-v1-1

Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with omega-regular objectives. 23, 165–180.
LibreCat: https://research-explorer.ista.ac.at/record/2295
DOI: 10.4230/LIPIcs.CSL.2013.165

Chatterjee K, Ibsen-Jensen R. 2013. Qualitative analysis of concurrent mean-payoff games, IST Austria, 33p.
LibreCat: https://research-explorer.ista.ac.at/record/5403
DOI: 10.15479/AT:IST-2013-126-v1-1

Henzinger TA, Sezgin A. 2013. How free is your linearizable concurrent data structure?, IST Austria, 16p.
LibreCat: https://research-explorer.ista.ac.at/record/5402
DOI: 10.15479/AT:IST-2013-123-v1-1

Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with <9-regular objectives, IST Austria, 41p.
LibreCat: https://research-explorer.ista.ac.at/record/5400
DOI: 10.15479/AT:IST-2013-109-v1-1

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, 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sari A, Cacciuto A. 2012. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 108(11), 118101.
LibreCat: https://research-explorer.ista.ac.at/record/10388
DOI: 10.1103/physrevlett.108.118101
PMID: 22540513
arXiv: 1201.0036

Mark M, Haller E, Lauber K, Danzl JG, Janisch A, Büchler H, Daley A, Nägerl H. 2012. Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. 108(21).
LibreCat: https://research-explorer.ista.ac.at/record/1056
DOI: 10.1103/PhysRevLett.108.215302
arXiv: 1201.1008

Polshyn H, Budakian R. 2012. Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc. APS March Meeting 2012. APS: American Physical Society, Bulletin of the American Physical Society, vol. 57, .00008.
LibreCat: https://research-explorer.ista.ac.at/record/10750

D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. 2012. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 22(2), 446–458.
LibreCat: https://research-explorer.ista.ac.at/record/11093
DOI: 10.1016/j.devcel.2011.11.021
PMID: 22264802

Hatch EM, Hetzer M. 2012. RNP export by nuclear envelope budding. Cell. 149(4), 733–735.
LibreCat: https://research-explorer.ista.ac.at/record/11090
DOI: 10.1016/j.cell.2012.04.018
PMID: 22579277

Waitukaitis SR, Jaeger H. 2012. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 29(1E), 1-1.
LibreCat: https://research-explorer.ista.ac.at/record/114

Dütting P, Henzinger MH, Starnberger M. 2012. Auctions with heterogeneous items and budget limits. 8th International Workshop on Internet and Network Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 7695, 44–57.
LibreCat: https://research-explorer.ista.ac.at/record/11794
DOI: 10.1007/978-3-642-35311-6_4
arXiv: 1209.6448

Ragettli S, Pellicciotti F. 2012. Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters. Water Resources Research. 48(3), 509.
LibreCat: https://research-explorer.ista.ac.at/record/12644
DOI: 10.1029/2011wr010559

Pellicciotti F, Buergi C, Immerzeel WW, Konz M, Shrestha AB. 2012. Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies. Mountain Research and Development. 32(1), 39–50.
LibreCat: https://research-explorer.ista.ac.at/record/12646
DOI: 10.1659/mrd-journal-d-11-00092.1

Immerzeel WW, Pellicciotti F, Shrestha AB. 2012. Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. 32(1), 30–38.
LibreCat: https://research-explorer.ista.ac.at/record/12647
DOI: 10.1659/mrd-journal-d-11-00097.1

Reid TD, Carenzo M, Pellicciotti F, Brock BW. 2012. Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. 117(), 105.
LibreCat: https://research-explorer.ista.ac.at/record/12648
DOI: 10.1029/2012jd017795