Kernel based learning
N. Quadrianto, C. Lampert, in:, W. Dubitzky, O. Wolkenhauer, K. Cho, H. Yokota (Eds.), Encyclopedia of Systems Biology, Springer, 2013, pp. 1069–1069.

Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
K. Chatterjee, M.H. Henzinger, M. Joglekar, N. Shah, Formal Methods in System Design 42 (2013) 301–327.

Metal ions to control the morphology of semiconductor nanoparticles: Copper selenide nanocubes
W. Li, R. Zamani, M. Ibáñez, D. Cadavid, A. Shavel, J. Morante, J. Arbiol, A. Cabot, Journal of the American Chemical Society 135 (2013) 4664–4667.

Core shell nanoparticles as building blocks for the bottom-up production of functional nanocomposites: PbTe PbS thermoelectric properties
M. Ibáñez, R. Zamani, S. Gorsse, J. Fan, S. Ortega, D. Cadavid, J. Morante, J. Arbiol, A. Cabot, ACS Nano 7 (2013) 2573–2586.

Antimony-based ligand exchange to promote crystallization in spray-deposited Cu2ZnSnSe4 solar cells
A. Carrete, A. Shavel, X. Fontané, J. Montserrat, J. Fan, M. Ibáñez, E. Saucedo, A. Pérez Rodríguez, A. Cabot, Journal of the American Chemical Society 135 (2013) 15982–15985.

CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents
W. Li, R. Zamani, P. Rivera Gil, B. Pelaz, M. Ibáñez, D. Cadavid, A. Shavel, R. Alvarez Puebla, W. Parak, J. Arbiol, A. Cabot, Journal of the American Chemical Society 135 (2013) 7098–7101.

Cu2HgSnSe4 nanoparticles: synthesis and thermoelectric properties
W. Li, M. Ibáñez, R. Zamani, N. García Castelló, G. Stéphane, D. Cadavid, J. Prades, J. Arbiol, A. Cabot, CrystEngComm 44 (2013) 8966–8971.

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

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

Dynamic persistence of antibiotic-stressed mycobacteria
Y. Wakamoto, N. Dhar, R.P. Chait, K. Schneider, F. Signorino Gelo, S. Leibler, J. Mckinney, Science 339 (2013) 91–95.

Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza
M. Ward, S. Lycett, D. Avila, J.P. Bollback, A. Leigh Brown, BMC Evolutionary Biology 13 (2013).

A new species of tapir from the Amazon
M. Cozzuol, C. Clozato, E. Holanda, F. Rodrigues, S. Nienow, B. De Thoisy, R.A. Fernandes Redondo, F. Santos, Journal of Mammalogy 94 (2013) 1331–1345.

Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins
K. Greimel, V. Perz, K. Koren, R. Feola, A. Temel, C. Sohar, E. Herrero Acero, I. Klimant, G. Guebitz, Green Chemistry 15 (2013) 381–388.

Short blind signatures
O. Blazy, G. Fuchsbauer, D. Pointcheval, D. Vergnaud, Journal of Computer Security 21 (2013) 627–661.

Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NC, and NC: Functional implications
E. Tarazona Santos, M. Machado, W. Magalhães, R. Chen, F. Lyon, L. Burdett, A. Crenshaw, C. Fabbri, L. Pereira, L. Pinto, R.A. Fernandes Redondo, B. Sestanovich, M. Yeager, S. Chanock, Molecular Biology and Evolution 30 (2013) 2157–2167.

The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIV in arabidopsis
S. Di Rubbo, N. Irani, S. Kim, Z. Xu, A. Gadeyne, W. Dejonghe, I. Vanhoutte, G. Persiau, D. Eeckhout, S. Simon, K. Song, J. Kleine Vehn, J. Friml, G. De Jaeger, D. Van Damme, I. Hwang, E. Russinova, Plant Cell 25 (2013) 2986–2997.

Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis
S. Kim, Z. Xu, K. Song, D. Kim, H. Kang, I. Reichardt, E. Sohn, J. Friml, G. Juergens, I. Hwang, Plant Cell 25 (2013) 2970–2985.

Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid
A. Pbndík, B. Simonovik, S. Petersson, E. Henyková, S. Simon, K. Greenham, Y. Zhang, M. Kowalczyk, M. Estelle, E. Zaeímalová, O. Novák, G. Sandberg, K. Ljung, Plant Cell 25 (2013) 3858–3870.

A map of cell typespecific auxin responses
B. Bargmann, S. Vanneste, G. Krouk, T. Nawy, I. Efroni, E. Shani, G. Choe, J. Friml, D. Bergmann, M. Estelle, K. Birnbaum, Molecular Systems Biology 9 (2013).

Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells
E. Fuertbauer, J. Zaujec, P. Uhrin, I. Raab, M. Weber, H. Schachner, M. Bauer, G. Schütz, B. Binder, M.K. Sixt, D. Kerjaschki, H. Stockinger, Immunology Letters 154 (2013) 31–41.

Looking at mean-payoff and total-payoff through windows
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, 8172 (2013) 118–132.

Local auxin sources orient the apical basal axis in arabidopsis embryos
H. Robert, P. Grones, A. Stepanova, L. Robles, A. Lokerse, J. Alonso, D. Weijers, J. Friml, Current Biology 23 (2013) 2506–2512.

Modeling framework for the establishment of the apical-basal embryonic axis in plants
K.T. Wabnik, H. Robert, R. Smith, J. Friml, Current Biology 23 (2013) 2513–2518.

TTP: Tool for Tumor Progression
J. Reiter, I. Bozic, K. Chatterjee, M. Nowak, TTP: Tool for Tumor Progression, IST Austria, 2013.

What is decidable about partially observable Markov decision processes with omega-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, 23 (2013) 165–180.

Qualitative analysis of concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, Qualitative Analysis of Concurrent Mean-Payoff Games, IST Austria, 2013.

How free is your linearizable concurrent data structure?
T.A. Henzinger, A. Sezgin, How Free Is Your Linearizable Concurrent Data Structure?, IST Austria, 2013.

What is decidable about partially observable Markov decision processes with <9-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, What Is Decidable about Partially Observable Markov Decision Processes with <9-Regular Objectives, IST Austria, 2013.

The complexity of ergodic games
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.

Initiatives and projects related to RD
J. Porsche, Initiatives and Projects Related to RD, IST Austria, 2013.

Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, Perfect-Information Stochastic Mean-Payoff Parity Games, IST Austria, 2013.

Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.

Distributed synthesis for LTL fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.

Distributed synthesis for LTL Fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, Distributed Synthesis for LTL Fragments, IST Austria, 2013.

The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.

Technical requirements and features
J. Porsche, Technical Requirements and Features, IST Austria, 2013.

Automatic generation of alternative starting positions for traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.

From model checking to model measuring
T.A. Henzinger, J. Otop, 8052 (2013) 273–287.

Polarization dependent focusing
D. Schmid, T. Huang, R. Dirks, O. Hosten, P. Kwiat, in:, OSA, 2013.

Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
C.J. Hillar, A. Martin del Campo Sanchez, Journal of Symbolic Computation 50 (2013) 314–334.

Adjustable and robust methods for polarization-dependent focusing
D. Schmid, T. Huang, S. Hazrat, R. Dirks, O. Hosten, S. Quint, D. Thian, P. Kwiat, Optics Express 21 (2013) 15538–15552.

Struggling to let go: A non-coding RNA directs its own extension and destruction
C. Bernecky, P. Cramer, EMBO Journal 32 (2013) 771–772.

Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans
E. Kodama-Namba, L.A. Fenk, A.J. Bretscher, E. Gross, K.E. Busch, M. de Bono, PLoS Genetics 9 (2013).

Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination
C. Chen, L.A. Fenk, M. de Bono, Nucleic Acids Research 41 (2013).

In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor
A. Couto, S. Oda, V.O. Nikolaev, Z. Soltesz, M. de Bono, Proceedings of the National Academy of Sciences 110 (2013) 01–10.

Worms under stress: C. elegans stress response and its relevance to complex human disease and aging
M. Rodriguez, L.B. Snoek, M. de Bono, J.E. Kammenga, Trends in Genetics 29 (2013) 367–374.

Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans
M. de Bono, W.R. Schafer, A. Gottschalk, in:, P. Hegemann, S. Sigrist (Eds.), Optogenetics, Walter de Gruyter, 2013, pp. 61–78.

Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations
T.-C. Lin, J.M. Cole, A.P. Higginbotham, A.J. Edwards, R.O. Piltz, J. Pérez-Moreno, J.-Y. Seo, S.-C. Lee, K. Clays, O.-P. Kwon, The Journal of Physical Chemistry C 117 (2013) 9416–9430.

Replacing competition with cooperation to achieve scalable lock-free FIFO queues 
T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013.

A finite difference scheme for the stack filter simulating the MCM
M. Mondelli, Image Processing On Line 3 (2013) 68–111.

Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.

A stable cathode for the aprotic Li–O2 battery
M.M. Ottakam Thotiyl, S.A. Freunberger, Z. Peng, Y. Chen, Z. Liu, P.G. Bruce, Nature Materials 12 (2013) 1050–1056.

Charging a Li–O2 battery using a redox mediator
Y. Chen, S.A. Freunberger, Z. Peng, O. Fontaine, P.G. Bruce, Nature Chemistry 5 (2013) 489–494.

Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling
S. Tan, C. Dai, H.-T. Liu, H.-W. Xue, The Plant Cell 25 (2013) 2618–2632.

Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development
Y. Tang, S. Tan, H. Xue, Acta Biochimica et Biophysica Sinica 45 (2013) 549–560.

Randomized loose renaming in O(loglogn) time
D.-A. Alistarh, J. Aspnes, G. Giakkoupis, P. Woelfel, in:, ACM, 2013, pp. 200–209.

Partitioning of genetic variation across the genome using multimarker methods in a wild bird population
M.R. Robinson, A.W. Santure, I. DeCauwer, B.C. Sheldon, J. Slate, Molecular Ecology 22 (2013) 3963–3980.

Genomic dissection of variation in clutch size and egg mass in a wild great tit (Parus major) population
A.W. Santure, I. De Cauwer, M.R. Robinson, J. Poissant, B.C. Sheldon, J. Slate, Molecular Ecology 22 (2013) 3949–3962.

Quantifying multivariate plasticity: Genetic variation in resource acquisition drives plasticity in resource allocation to components of life history
M.R. Robinson, A.P. Beckerman, Ecology Letters 16 (2013) 281–290.

Stability of jammed packings II: The transverse length scale
S.S. Schoenholz, C.P. Goodrich, O. Kogan, A.J. Liu, S.R. Nagel, Soft Matter 9 (2013).

Stability of jammed packings I: The rigidity length scale
C.P. Goodrich, W.G. Ellenbroek, A.J. Liu, Soft Matter 9 (2013).

Inhibitory synaptic plasticity: Spike timing-dependence and putative network function
T.P. Vogels, R.C. Froemke, N. Doyon, M. Gilson, J.S. Haas, R. Liu, A. Maffei, P. Miller, C.J. Wierenga, M.A. Woodin, F. Zenke, H. Sprekeler, Frontiers in Neural Circuits 7 (2013).

Rac function is crucial for cell migration but is not required for spreading and focal adhesion formation
A. Steffen, M. Ladwein, G.A. Dimchev, A. Hein, L. Schwenkmezger, S. Arens, K. Ladwein, J. Holleboom, F.K. Schur, J. Small, J. Schwarz, R. Gerhard, J. Faix, T. Stradal, C. Brakebusch, K. Rottner, Journal of Cell Science 126 (2013) 4572–4588.

Ar/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin
S. Koestler, A. Steffen, M. Nemethova, M. Winterhoff, N. Luo, J. Holleboom, J. Krupp, S. Jacob, M. Vinzenz, F.K. Schur, K. Schlüter, P. Gunning, C. Winkler, C. Schmeiser, J. Faix, T. Stradal, J. Small, K. Rottner, Molecular Biology of the Cell 24 (2013) 2861–2875.

Determination of protein structure at 8.5Å resolution using cryo-electron tomography and sub-tomogram averaging
F.K. Schur, W. Hagen, A. De Marco, J. Briggs, Journal of Structural Biology 184 (2013) 394–400.

Trastuzumab mediates antibody-dependent cell-mediated cytotoxicity and phagocytosis to the same extent in both adjuvant and metastatic HE/neu breast cancer patients
B. Petricevic, J. Laengle, J. Singer, M. Sachet, J. Singer, G. Steger, R. Bartsch, E. Jensen-Jarolim, M. Bergmann, Journal of Translational Medicine 11 (2013).

Cytokinin cross talking during biotic and abiotic stress responses
J. O’Brien, E. Benková, Frontiers in Plant Science 4 (2013).

Systems approaches to study root architecture dynamics
C. Cuesta, K.T. Wabnik, E. Benková, Frontiers in Plant Science 4 (2013).

An integrative model of the control of ovule primordia formation
F. Galbiati, D. Sinha Roy, S. Simonini, M. Cucinotta, L. Ceccato, C. Cuesta, M. Simásková, E. Benková, Y. Kamiuchi, M. Aida, D. Weijers, R. Simon, S. Masiero, L. Colombo, The Plant Journal for Cell and Molecular Biology 76 (2013) 446–455.

Sequential induction of auxin efflux and influx carriers regulates lateral root emergence
B. Péret, A. Middleton, A. French, A. Larrieu, A. Bishopp, M. Njo, D. Wells, S. Porco, N. Mellor, L. Band, I. Casimiro, J. Kleine Vehn, S. Vanneste, I. Sairanen, R. Mallet, G. Sandberg, K. Ljung, T. Beeckman, E. Benková, J. Friml, E. Kramer, J. King, I. De Smet, T. Pridmore, M. Owen, M. Bennett, Molecular Systems Biology 9 (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
J.D. Haller, P. Schanda, Journal of Biomolecular NMR 57 (2013) 263–280.

Oligomeric states along the folding pathways of ;22-microglobulin: Kinetics, thermodynamics, and structure
E. Rennella, T. Cutuil, P. Schanda, I. Ayala, F. Gabel, V. Forge, A. Corazza, G. Esposito, B. Brutscher, Journal of Molecular Biology 425 (2013) 2722–2736.

Breen et al. reply
M. Breen, C. Kemena, P. Vlasov, C. Notredame, F. Kondrashov, Nature 497 (2013) –.

The crystal structures of sintered copper nanoparticles: A molecular dynamics study
B. Cheng, A.H.W. Ngan, International Journal of Plasticity 47 (2013) 65–79.

The sintering and densification behaviour of many copper nanoparticles: A molecular dynamics study
B. Cheng, A.H.W. Ngan, Computational Materials Science 74 (2013) 1–11.

Onset of superconductivity in a voltage-biased normal-superconducting-normal microbridge
M. Serbyn, M. Skvortsov, Physical Review B - Condensed Matter and Materials Physics 87 (2013).

Observation of dirac node formation and mass acquisition in a topological crystalline insulator
Y. Okada, M. Serbyn, H. Lin, D. Walkup, W. Zhou, C. Dhital, M. Neupane, S. Xu, Y. Wang, R. Sankar, F. Chou, A. Bansil, M. Hasan, S. Wilson, L. Fu, V. Madhavan, Science 341 (2013) 1496–1499.

Universal slow growth of entanglement in interacting strongly disordered systems
M. Serbyn, Z. Papi, D. Abanin, Physical Review Letters 110 (2013).

Forgiver triumphs in alternating prisoner's dilemma 
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, (2013).

Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. 
S. Aeschbacher, A. Futschik, M. Beaumont, Molecular Ecology 22 (2013) 987–1002.

Color differences among feral pigeons (Columba livia) are not attributable to sequence variation in the coding region of the melanocortin-1 receptor gene MR
R. Derelle, F. Kondrashov, V. Arkhipov, H. Corbel, A. Frantz, J. Gasparini, L. Jacquin, G. Jacob, S. Thibault, E. Baudry, BMC Research Notes 6 (2013).

Living crystals of light-activated colloidal surfers
J.A. Palacci, S. Sacanna, A.P. Steinberg, D.J. Pine, P.M. Chaikin, Science 339 (2013) 936–940.

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

Internal tide generation by abyssal hills using analytical theory
A. Melet, M. Nikurashin, C.J. Muller, S. Falahat, J. Nycander, P.G. Timko, B.K. Arbic, J.A. Goff, Journal of Geophysical Research: Oceans 118 (2013) 6303–6318.

Impact of convective organization on the response of tropical precipitation extremes to warming
C.J. Muller, Journal of Climate 26 (2013) 5028–5043.

Photoactivated colloidal dockers for cargo transportation
J.A. Palacci, S. Sacanna, A. Vatchinsky, P.M. Chaikin, D.J. Pine, Journal of the American Chemical Society 135 (2013) 15978–15981.

Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing
M. Basan, J. Elgeti, E.B. Hannezo, W. Rappel, H. Levine, PNAS 110 (2013) 2452–2459.

The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access -containing heterochromatin
A. Zemach, M.Y. Kim, P.-H. Hsieh, D. Coleman-Derr, L. Eshed-Williams, K. Thao, S.L. Harmer, D. Zilberman, Cell 153 (2013) 193–205.

Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm
J.A. Rodrigues, R. Ruan, T. Nishimura, M.K. Sharma, R. Sharma, P.C. Ronald, R.L. Fischer, D. Zilberman, Proceedings of the National Academy of Sciences 110 (2013) 7934–7939.

Thermally induced solid-solid structural transition of copper nanoparticles through direct geometrical conversion
B. Cheng, A.H.W. Ngan, The Journal of Chemical Physics 138 (2013).

Crystal plasticity of Cu nanocrystals during collision
B. Cheng, A.H.W. Ngan, Materials Science and Engineering: A 585 (2013) 326–334.

New Dirac points and multiple Landau level crossings in biased trilayer graphene
M. Serbyn, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 87 (2013).

Local conservation laws and the structure of the many body localized states
M. Serbyn, Z. Papi, D. Abanin, Physical Review Letters 111 (2013).

Overscreened Kondo fixed point in S=1 spin liquid
M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 88 (2013).

Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, BMC Evolutionary Biology 13 (2013).

Transformation of stimulus correlations by the retina
K. Simmons, J. Prentice, G. Tkadik, J. Homann, H. Yee, S. Palmer, P. Nelson, V. Balasubramanian, PLoS Computational Biology 9 (2013).

Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies
J. Hearn, G. Stone, N.H. Barton, K. Lohse, L. Bunnefeld, (2013).

Spinon-phonon interaction in algebraic spin liquids
M. Serbyn, P. Lee, Physical Review B - Condensed Matter and Materials Physics 87 (2013).

Comparison of climate change signals in CMI and CMI multi-model ensembles and implications for Central Asian glaciers
A.F. Lutz, W.W. Immerzeel, A. Gobiet, F. Pellicciotti, M.F.P. Bierkens, Hydrology and Earth System Sciences 17 (2013) 3661–3677.

Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change
S. Ragettli, F. Pellicciotti, R. Bordoy, W.W. Immerzeel, Water Resources Research 49 (2013) 6048–6066.