Barton NH. Does hybridisation influence speciation?  . Journal of Evolutionary Biology. 2013;26(2):267-269. doi:10.1111/jeb.12015

Barton NH. Recombination and sex. In: The Princeton Guide to Evolution. Princeton University Press; 2013:328-333.

Tkadik G, Granot Atedgi E, Segev R, Schneidman E. Retinal metric: a stimulus distance measure derived from population neural responses. Physical Review Letters. 2013;110(5). doi:10.1103/PhysRevLett.110.058104

Baster P, Robert S, Kleine Vehn J, et al. SCF^TI AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal. 2013;32(2):260-274. doi:10.1038/emboj.2012.310

Compagnon J, Heisenberg C-PJ. Neurulation coordinating cell polarisation and lumen formation. EMBO Journal. 2013;32(1):1-3. doi:10.1038/emboj.2012.325

Krenn S, Pietrzak KZ, Wadia A. A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. In: Sahai A, ed. Vol 7785. Springer; 2013:23-39. doi:10.1007/978-3-642-36594-2_2

Tommasi T, Quadrianto N, Caputo B, Lampert C. Beyond dataset bias: Multi-task unaligned shared knowledge transfer. 2013;7724:1-15. doi:10.1007/978-3-642-37331-2_1

Bangerter E, Barzan S, Krenn S, Sadeghi A, Schneider T, Tsay J. Bringing Zero-Knowledge Proofs of Knowledge to Practice. In: Christianson B, Malcolm J, Matyas V, Roe M, eds. Vol 7028. Springer; 2013:51-62. doi:10.1007/978-3-642-36213-2_9

Edelsbrunner H, Fasy BT, Rote G. Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions. Discrete &; Computational Geometry. 2013;49(4):797-822. doi:10.1007/s00454-013-9517-x

Ibáñez M, Cadavid D, Anselmi Tamburini U, et al. Colloidal synthesis and thermoelectric properties of Cu 2SnSe3 nanocrystals. Journal of Materials Chemistry A. 2013;1(4):1421-1426. doi:10.1039/C2TA00419D

Dubuis J, Tkadik G, Wieschaus E, Gregor T, Bialek W. Positional information, in bits. PNAS. 2013;110(41):16301-16308. doi:10.1073/pnas.1315642110

Chatterjee K, Henzinger MH, Joglekar M, Shah N. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 2013;42(3):301-327. doi:10.1007/s10703-012-0180-2

Pickup M, Field D, Rowell D, Young A. Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences. 2013;280(1750). doi:10.1098/rspb.2012.2058

Dickerson D, Bilkey D. Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience. 2013;7(DEC). doi:10.3389/fnbeh.2013.00217

Ward M, Lycett S, Avila D, Bollback JP, Leigh Brown A. Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary Biology. 2013;13(1). doi:10.1186/1471-2148-13-222

Cozzuol M, Clozato C, Holanda E, et al. A new species of tapir from the Amazon. Journal of Mammalogy. 2013;94(6):1331-1345. doi:10.1644/12-MAMM-A-169.1

Tarazona Santos E, Machado M, Magalhães W, et al. Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NC, and NC: Functional implications. Molecular Biology and Evolution. 2013;30(9):2157-2167. doi:10.1093/molbev/mst119

Di Rubbo S, Irani N, Kim S, et al. The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIV in arabidopsis. Plant Cell. 2013;25(8):2986-2997. doi:10.1105/tpc.113.114058

Kim S, Xu Z, Song K, et al. Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. 2013;25(8):2970-2985. doi:10.1105/tpc.113.114264

Pbndík A, Simonovik B, Petersson S, et al. 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. 2013;25(10):3858-3870. doi:10.1105/tpc.113.114421

Bargmann B, Vanneste S, Krouk G, et al. A map of cell typespecific auxin responses. Molecular Systems Biology. 2013;9(1). doi:10.1038/msb.2013.40

Chatterjee K, Doyen L, Randour M, Raskin J. Looking at mean-payoff and total-payoff through windows. 2013;8172:118-132. doi:10.1007/978-3-319-02444-8_10

Reiter J, Bozic I, Chatterjee K, Nowak M. TTP: Tool for Tumor Progression. IST Austria; 2013. doi:10.15479/AT:IST-2013-104-v1-1

Chatterjee K, Chmelik M, Tracol M. What is decidable about partially observable Markov decision processes with omega-regular objectives. 2013;23:165-180. doi:10.4230/LIPIcs.CSL.2013.165

Chatterjee K, Ibsen-Jensen R. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-126-v1-1

Henzinger TA, Sezgin A. How Free Is Your Linearizable Concurrent Data Structure? IST Austria; 2013. doi:10.15479/AT:IST-2013-123-v1-1

Chatterjee K, Chmelik M, Tracol M. What Is Decidable about Partially Observable Markov Decision Processes with <9-Regular Objectives. IST Austria; 2013. doi:10.15479/AT:IST-2013-109-v1-1

Chatterjee K, Ibsen-Jensen R. The Complexity of Ergodic Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-127-v1-1

Porsche J. Initiatives and Projects Related to RD. IST Austria; 2013.

Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-128-v1-1

Chatterjee K, Ibsen-Jensen R, Majumdar R. Edit Distance for Timed Automata. IST Austria; 2013. doi:10.15479/AT:IST-2013-144-v1-1

Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed Synthesis for LTL Fragments. IST Austria; 2013. doi:10.15479/AT:IST-2013-130-v1-1

Chatterjee K, Doyen L, Nain S, Vardi M. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria; 2013. doi:10.15479/AT:IST-2013-141-v1-1

Porsche J. Technical Requirements and Features. IST Austria; 2013.

Ahmed U, Chatterjee K, Gulwani S. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-146-v1-1

Henzinger TA, Otop J. From model checking to model measuring. 2013;8052:273-287. doi:10.1007/978-3-642-40184-8_20

Bernecky C, Cramer P. Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. 2013;32(6):771-772. doi:10.1038/emboj.2013.36

Kodama-Namba E, Fenk LA, Bretscher AJ, Gross E, Busch KE, de Bono M. Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. 2013;9(12). doi:10.1371/journal.pgen.1004011

Chen C, Fenk LA, de Bono M. Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. 2013;41(20). doi:10.1093/nar/gkt805

Couto A, Oda S, Nikolaev VO, Soltesz Z, de Bono M. In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. 2013;110(35):01-10. doi:10.1073/pnas.1217428110

Henzinger TA, Payer H, Sezgin A. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria; 2013. doi:10.15479/AT:IST-2013-124-v1-1

Mondelli M. A finite difference scheme for the stack filter simulating the MCM. Image Processing On Line. 2013;3:68-111. doi:10.5201/ipol.2013.53

Chatterjee K, Velner Y. Hyperplane separation technique for multidimensional mean-payoff games. 2013;8052:500-515. doi:10.1007/978-3-642-40184-8_35

Vogels TP, Froemke RC, Doyon N, et al. Inhibitory synaptic plasticity: Spike timing-dependence and putative network function. Frontiers in Neural Circuits. 2013;7. doi:10.3389/fncir.2013.00119

Petricevic B, Laengle J, Singer J, et al. 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. 2013;11. doi:10.1186/1479-5876-11-307

O’Brien J, Benková E. Cytokinin cross talking during biotic and abiotic stress responses. Frontiers in Plant Science. 2013;4. doi:10.3389/fpls.2013.00451

Cuesta C, Wabnik KT, Benková E. Systems approaches to study root architecture dynamics. Frontiers in Plant Science. 2013;4. doi:10.3389/fpls.2013.00537

Serbyn M, Skvortsov M. Onset of superconductivity in a voltage-biased normal-superconducting-normal microbridge. Physical Review B - Condensed Matter and Materials Physics. 2013;87(2). doi:10.1103/PhysRevB.87.020501

Okada Y, Serbyn M, Lin H, et al. Observation of dirac node formation and mass acquisition in a topological crystalline insulator. Science. 2013;341(6153):1496-1499. doi:10.1126/science.1239451

Serbyn M, Papi Z, Abanin D. Universal slow growth of entanglement in interacting strongly disordered systems. Physical Review Letters. 2013;110(26). doi:10.1103/PhysRevLett.110.260601

Arkhipov V, Noah T, Koschkar S, Kondrashov F. Birds of Mys Shmidta, north Chukotka, Russia. Forktail. 2013;(29):25-30.

Melet A, Nikurashin M, Muller CJ, et al. Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. 2013;118(11):6303-6318. doi:10.1002/2013jc009212

Muller CJ. Impact of convective organization on the response of tropical precipitation extremes to warming. Journal of Climate. 2013;26(14):5028-5043. doi:10.1175/jcli-d-12-00655.1

Palacci JA, Sacanna S, Vatchinsky A, Chaikin PM, Pine DJ. Photoactivated colloidal dockers for cargo transportation. Journal of the American Chemical Society. 2013;135(43):15978-15981. doi:10.1021/ja406090s

Zemach A, Kim MY, Hsieh P-H, et al. The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access -containing heterochromatin. Cell. 2013;153(1):193-205. doi:10.1016/j.cell.2013.02.033

Rodrigues JA, Ruan R, Nishimura T, et al. 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. 2013;110(19):7934-7939. doi:10.1073/pnas.1306164110

Cheng B, Ngan AHW. Thermally induced solid-solid structural transition of copper nanoparticles through direct geometrical conversion. The Journal of Chemical Physics. 2013;138(16). doi:10.1063/1.4802025

Serbyn M, Abanin D. New Dirac points and multiple Landau level crossings in biased trilayer graphene. Physical Review B - Condensed Matter and Materials Physics. 2013;87(11). doi:10.1103/PhysRevB.87.115422

Serbyn M, Papi Z, Abanin D. Local conservation laws and the structure of the many body localized states. Physical Review Letters. 2013;111(12). doi:10.1103/PhysRevLett.111.127201

Serbyn M, Senthil T, Lee P. Overscreened Kondo fixed point in S=1 spin liquid. Physical Review B - Condensed Matter and Materials Physics. 2013;88(2). doi:10.1103/PhysRevB.88.024419

Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology. 2013;13(1). doi:10.1186/1471-2148-13-225

Simmons K, Prentice J, Tkadik G, et al. Transformation of stimulus correlations by the retina. PLoS Computational Biology. 2013;9(12). doi:10.1371/journal.pcbi.1003344

Hearn J, Stone G, Barton NH, Lohse K, Bunnefeld L. Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies. 2013. doi:10.5061/dryad.r3r60

Serbyn M, Lee P. Spinon-phonon interaction in algebraic spin liquids. Physical Review B - Condensed Matter and Materials Physics. 2013;87(17). doi:10.1103/PhysRevB.87.174424

Lutz AF, Immerzeel WW, Gobiet A, Pellicciotti F, Bierkens MFP. Comparison of climate change signals in CMI and CMI multi-model ensembles and implications for Central Asian glaciers. Hydrology and Earth System Sciences. 2013;17(9):3661-3677. doi:10.5194/hess-17-3661-2013

Ragettli S, Pellicciotti F, Bordoy R, Immerzeel WW. Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change. Water Resources Research. 2013;49(9):6048-6066. doi:10.1002/wrcr.20450

Feng X, Zilberman D, Dickinson H. A conversation across generations: Soma-germ cell crosstalk in plants. Developmental Cell. 2013;24(3):215-225. doi:10.1016/j.devcel.2013.01.014

Stephens G, Mora T, Tkadik G, Bialek W. Statistical thermodynamics of natural images. Physical Review Letters. 2013;110(1). doi:10.1103/PhysRevLett.110.018701

Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. Vol 8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi:10.1007/978-3-642-39799-8_11

Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405

Bansal K, Koskinen E, Wies T, Zufferey D. Structural Counter Abstraction. Piterman N, Smolka S, eds. 2013;7795:62-77. doi:10.1007/978-3-642-36742-7_5

Zagorsky B, Reiter J, Chatterjee K, Nowak M. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 2013;8(12). doi:10.1371/journal.pone.0080814

Reiter J, Boei I, Allen B, Chatterjee K, Nowak M. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 2013;6(1):34-45. doi:10.1111/eva.12020

Boei I, Reiter J, Allen B, et al. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2013;2. doi:10.7554/eLife.00747

Reiter J, Boei I, Chatterjee K, Nowak M. TTP: Tool for tumor progression. In: Proceedings of 25th Int. Conf. on Computer Aided Verification. Vol 8044. Lecture Notes in Computer Science. Springer; 2013:101-106. doi:10.1007/978-3-642-39799-8_6

Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Efficient synthesis for concurrency by semantics-preserving transformations. In: Vol 8044. Springer; 2013:951-967. doi:10.1007/978-3-642-39799-8_68

Brázdil T, Chatterjee K, Forejt V, Kudera A. Trading performance for stability in Markov decision processes. In: 28th Annual ACM/IEEE Symposium. IEEE; 2013:331-340. doi:10.1109/LICS.2013.39

Takhanov R, Kolmogorov V. Inference algorithms for pattern-based CRFs on sequence data. In: ICML’13 Proceedings of the 30th International Conference on International. Vol 28. ML Research Press; 2013:145-153.

Remy E, Baster P, Friml J, Duque P. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling &; Behavior. 2013;8(10). doi:10.4161/psb.25688

Refardt D, Bergmiller T, Kümmerli R. 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. 2013;280(1759). doi:10.1098/rspb.2012.3035

Refardt D, Bergmiller T, Kümmerli R. Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection. 2013. doi:10.5061/dryad.b1q2n

Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. Proofs of Space. IST Austria; 2013.

Sari A, Cacciuto A. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 2012;109(18). doi:10.1103/physrevlett.109.188101

Sari A, Cacciuto A. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 2012;108(11). doi:10.1103/physrevlett.108.118101

Mark M, Haller E, Lauber K, et al. Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. 2012;108(21). doi:10.1103/PhysRevLett.108.215302

Polshyn H, Budakian R. Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc. In: APS March Meeting 2012. Vol 57. American Physical Society; 2012.

D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 2012;22(2):446-458. doi:10.1016/j.devcel.2011.11.021

Hatch EM, Hetzer M. RNP export by nuclear envelope budding. Cell. 2012;149(4):733-735. doi:10.1016/j.cell.2012.04.018

Waitukaitis SR, Jaeger H. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 2012;29(1E):1-1.

Dütting P, Henzinger MH, Starnberger M. Auctions with heterogeneous items and budget limits. In: 8th International Workshop on Internet and Network Economics. Vol 7695. Springer Nature; 2012:44–57. doi:10.1007/978-3-642-35311-6_4

Ragettli S, Pellicciotti F. 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. 2012;48(3). doi:10.1029/2011wr010559

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

Immerzeel WW, Pellicciotti F, Shrestha AB. Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. 2012;32(1):30-38. doi:10.1659/mrd-journal-d-11-00097.1

Reid TD, Carenzo M, Pellicciotti F, Brock BW. Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. 2012;117(). doi:10.1029/2012jd017795

Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking: A technique to pass information between verifiers. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM; 2012. doi:10.1145/2393596.2393664

De Cataldo M, Hausel T, Migliorini L. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 2012;175(3):1329-1407. doi:10.4007/annals.2012.175.3.7

Hausel T, Pauly C. Prym varieties of spectral covers. Geometry and Topology. 2012;16(3):1609-1638. doi:10.2140/gt.2012.16.1609

Browning TD, Baier S. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2012;2013(680):1-65. doi:https://doi.org/10.1515/crelle.2012.039

Zhang J, Katsaros G, Montalenti F, et al. Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. 2012;109(8). doi:10.1103/PhysRevLett.109.085502

Lee E, Jiang X, Aguado R, Katsaros G, Lieber C, De Franceschi S. Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. 2012;109(18). doi:10.1103/PhysRevLett.109.186802