Pickup M, Wilson S, Freudenberger D, Nicholls N, Gould L, Hnatiuk S, Delandre J. 2013. Post-fire recovery of revegetated woodland communities in south-eastern Australia. Austral Ecology. 38(3), 300–312.
LibreCat: https://research-explorer.ista.ac.at/record/2823
DOI: 10.1111/j.1442-9993.2012.02404.x

Chatterjee K, Prabhu V. 2013. Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. Information and Computation. 228–229, 83–119.
LibreCat: https://research-explorer.ista.ac.at/record/2824
DOI: 10.1016/j.ic.2013.04.003

Tanaka H, Kitakura S, Rakusová H, Uemura T, Feraru M, De Rycke R, Robert S, Kakimoto T, Friml J. 2013. Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics. 9(5), e1003540.
LibreCat: https://research-explorer.ista.ac.at/record/2832
DOI: 10.1371/journal.pgen.1003540

Kolmogorov V, divný S. 2013. The complexity of conservative valued CSPs. Journal of the ACM. 60(2), 10.
LibreCat: https://research-explorer.ista.ac.at/record/2828
DOI: 10.1145/2450142.2450146
arXiv: 1110.2809

Shi L, Avila M, Hof B. 2013. Scale invariance at the onset of turbulence in couette flow. Physical Review Letters. 110(20), 204502.
LibreCat: https://research-explorer.ista.ac.at/record/2829
DOI: 10.1103/PhysRevLett.110.204502
arXiv: 1304.5446

Avila M, Mellibovsky F, Roland N, Hof B. 2013. Streamwise-localized solutions at the onset of turbulence in pipe flow. Physical Review Letters. 110(22), 224502.
LibreCat: https://research-explorer.ista.ac.at/record/2834
DOI: 10.1103/PhysRevLett.110.224502
arXiv: 1212.0230

Heisenberg C-PJ, Bellaïche Y. 2013. Forces in tissue morphogenesis and patterning. Cell. 153(5), 948–962.
LibreCat: https://research-explorer.ista.ac.at/record/2833
DOI: 10.1016/j.cell.2013.05.008

Moussion C, Sixt MK. 2013. A conduit to amplify innate immunity. Immunity. 38(5), 853–854.
LibreCat: https://research-explorer.ista.ac.at/record/2830
DOI: 10.1016/j.immuni.2013.05.005

Barton NH, Etheridge A, Kelleher J, Véber A. 2013. Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology. 87(1), 105–119.
LibreCat: https://research-explorer.ista.ac.at/record/2842
DOI: 10.1016/j.tpb.2013.03.001

Arquè Fuste G, Casanovas A, Dierssen M. 2013. Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome. PLoS One. 8(1), e54285.
LibreCat: https://research-explorer.ista.ac.at/record/2838
DOI: 10.1371/journal.pone.0054285

Weber M, Hauschild R, Schwarz J, Moussion C, de Vries I, Legler D, Luther S, Bollenbach MT, Sixt MK. 2013. Interstitial dendritic cell guidance by haptotactic chemokine gradients. Science. 339(6117), 328–332.
LibreCat: https://research-explorer.ista.ac.at/record/2839
DOI: 10.1126/science.1228456

Erdös L, Knowles A, Yau H, Yin J. 2013. The local semicircle law for a general class of random matrices. Electronic Journal of Probability. 18(59), 1–58.
LibreCat: https://research-explorer.ista.ac.at/record/2837
DOI: 10.1214/EJP.v18-2473

Yu H, Karampelias M, Robert S, Peer W, Swarup R, Ye S, Ge L, Cohen J, Murphy A, Friml J, Estelle M. 2013. Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. Plant Physiology. 162(2), 965–976.
LibreCat: https://research-explorer.ista.ac.at/record/2835
DOI: 10.1104/pp.113.217018
PMID: 23580592

Chatterjee K, Raman V. 2013. Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing. 26(4), 825–859.
LibreCat: https://research-explorer.ista.ac.at/record/2836
DOI: 10.1007/s00165-013-0283-6
arXiv: 1004.2697

Van Cauter T, Camon J, Alvernhe A, Elduayen C, Sargolini F, Save É. 2013. Distinct roles of medial and lateral entorhinal cortex in spatial cognition. Cerebral Cortex. 23(2), 451–459.
LibreCat: https://research-explorer.ista.ac.at/record/2840
DOI: 10.1093/cercor/bhs033

Morita H, Heisenberg C-PJ. 2013. Holding on and letting go: Cadherin turnover in cell intercalation. Developmental Cell. 24(6), 567–569.
LibreCat: https://research-explorer.ista.ac.at/record/2841
DOI: 10.1016/j.devcel.2013.03.007

El Masri L, Schulte R, Timmermeyer N, Thanisch S, Crummenerl L, Jansen G, Michiels N, Schulenburg H. 2013. Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution. Ecology Letters. 16(4), 461–468.
LibreCat: https://research-explorer.ista.ac.at/record/2846
DOI: 10.1111/ele.12068

Rosquete M, von Wangenheim D, Marhavý P, Barbez E, Stelzer E, Benková E, Maizel A, Kleine Vehn J. 2013. An auxin transport mechanism restricts positive orthogravitropism in lateral roots. Current Biology. 23(9), 817–822.
LibreCat: https://research-explorer.ista.ac.at/record/2844
DOI: 10.1016/j.cub.2013.03.064

Edelsbrunner H, Pausinger F. 2013. Stable length estimates of tube-like shapes. 17th IAPR International Conference on Discrete Geometry for Computer Imagery. DGCI: Discrete Geometry for Computer Imagery, LNCS, vol. 7749, XV–XIX.
LibreCat: https://research-explorer.ista.ac.at/record/2843
DOI: 10.1007/978-3-642-37067-0

Rose T, Schönenberger P, Jezek K, Oertner T. 2013. Developmental refinement of vesicle cycling at Schaffer collateral synapses. Neuron. 77(6), 1109–1121.
LibreCat: https://research-explorer.ista.ac.at/record/2845
DOI: 10.1016/j.neuron.2013.01.021

Chatterjee K, De Alfaro L, Henzinger TA. 2013. Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences. 79(5), 640–657.
LibreCat: https://research-explorer.ista.ac.at/record/2854
DOI: 10.1016/j.jcss.2012.12.001

Tkadik G, Marre O, Mora T, Amodei D, Berry M, Bialek W. 2013. The simplest maximum entropy model for collective behavior in a neural network. Journal of Statistical Mechanics Theory and Experiment. 2013(3), 011.
LibreCat: https://research-explorer.ista.ac.at/record/2850
DOI: 10.1088/1742-5468/2013/03/P03011
arXiv: 1207.6319

Berry M, Tkadik G, Dubuis J, Marre O, Da Silveira R. 2013. A simple method for estimating the entropy of neural activity. Journal of Statistical Mechanics Theory and Experiment. 2013(3), 015.
LibreCat: https://research-explorer.ista.ac.at/record/2851
DOI: 10.1088/1742-5468/2013/03/P03015

Szobota S, Mckenzie C, Janovjak HL. 2013. Optical control of ligand-gated ion channels. Methods in Molecular Biology. 998, 417–435.
LibreCat: https://research-explorer.ista.ac.at/record/2857
DOI: 10.1007/978-1-62703-351-0_32

Dupret D, O’Neill J, Csicsvari JL. 2013. Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning. Neuron. 78(1), 166–180.
LibreCat: https://research-explorer.ista.ac.at/record/2860
DOI: 10.1016/j.neuron.2013.01.033

Hippenmeyer S, Johnson R, Luo L. 2013. Mosaic analysis with double markers reveals cell type specific paternal growth dominance. Cell Reports. 3(3), 960–967.
LibreCat: https://research-explorer.ista.ac.at/record/2855
DOI: 10.1016/j.celrep.2013.02.002

Levitz J, Pantoja C, Gaub B, Janovjak HL, Reiner A, Hoagland A, Schoppik D, Kane B, Stawski P, Schier A, Trauner D, Isacoff E. 2013. Optical control of metabotropic glutamate receptors. Nature Neuroscience. 16, 507–516.
LibreCat: https://research-explorer.ista.ac.at/record/2856
DOI: 10.1038/nn.3346
PMID: 23455609

Bendich P, Edelsbrunner H, Morozov D, Patel A. 2013. Homology and robustness of level and interlevel sets. Homology, Homotopy and Applications. 15(1), 51–72.
LibreCat: https://research-explorer.ista.ac.at/record/2859
DOI: 10.4310/HHA.2013.v15.n1.a3
arXiv: 1102.3389

Granot Atedgi E, Tkadik G, Segev R, Schneidman E. 2013. Stimulus-dependent maximum entropy models of neural population codes. PLoS Computational Biology. 9(3), e1002922.
LibreCat: https://research-explorer.ista.ac.at/record/2863
DOI: 10.1371/journal.pcbi.1002922

Tay H, Schulze S, Compagnon J, Foley F, Heisenberg C-PJ, Yost HJ, Abdelilah Seyfried S, Amack J. 2013. Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle. Development. 140(7), 1550–1559.
LibreCat: https://research-explorer.ista.ac.at/record/2862
DOI: 10.1242/dev.087130
PMID: 23482490

Botella Soler V, Oteo J, Ros J, Glendinning P. 2013. Lyapunov exponent and topological entropy plateaus in piecewise linear maps. Journal of Physics A: Mathematical and Theoretical. 46(12), 125101.
LibreCat: https://research-explorer.ista.ac.at/record/2861
DOI: 10.1088/1751-8113/46/12/125101

Vandenbussche F, Callebert P, dádníková P, Benková E, Van Der Straeten D. 2013. Brassinosteroid control of shoot gravitropism interacts with ethylene and depends on auxin signaling components. American Journal of Botany. 100(1), 215–225.
LibreCat: https://research-explorer.ista.ac.at/record/2877
DOI: 10.3732/ajb.1200264

Wang B, Bailly A, Zwiewk M, Henrichs S, Azzarello E, Mancuso S, Maeshima M, Friml J, Schulz A, Geisler M. 2013. Arabidopsis TWISTED DWAR functionally interacts with auxin exporter ABC on the root plasma membrane. Plant Cell. 25(1), 202–214.
LibreCat: https://research-explorer.ista.ac.at/record/2883
DOI: 10.1105/tpc.112.105999
PMID: 23321285

Marhavý P, Vanstraelen M, De Rybel B, Zhaojun D, Bennett M, Beeckman T, Benková E. 2013. Auxin reflux between the endodermis and pericycle promotes lateral root initiation. EMBO Journal. 32(1), 149–158.
LibreCat: https://research-explorer.ista.ac.at/record/2880
DOI: 10.1038/emboj.2012.303
PMID: 23178590

Löfke C, Zwiewka M, Heilmann I, Van Montagu M, Teichmann T, Friml J. 2013. Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism. PNAS. 110(9), 3627–3632.
LibreCat: https://research-explorer.ista.ac.at/record/2882
DOI: 10.1073/pnas.1300107110
PMID: 23391733

Kucera A, Henzinger TA, Nesetril J, Vojnar T, Antos D eds. 2013. Mathematical and Engineering Methods in Computer Science, Springer,p.
LibreCat: https://research-explorer.ista.ac.at/record/2885
DOI: 10.1007/978-3-642-36046-6

Li H, Xu T, Lin D, Wen M, Xie M, Duclercq J, Bielach A, Kim J, Reddy GV, Zuo J, Benková E, Friml J, Guo H, Yang Z. 2013. Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis. Cell Research. 23(2), 290–299.
LibreCat: https://research-explorer.ista.ac.at/record/2881
DOI: 10.1038/cr.2012.146

Maître J-L, Berthoumieux H, Krens G, Salbreux G, Julicher F, Paluch E, Heisenberg C-PJ. 2013. Cell adhesion mechanics of zebrafish gastrulation. Medecine Sciences. 29(2), 147–150.
LibreCat: https://research-explorer.ista.ac.at/record/2884
DOI: 10.1051/medsci/2013292011

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

Azevedo R, Lohaus R, Paixao T. 2013. Networking networks. Evolution &; Development. 10(5), 514–515.
LibreCat: https://research-explorer.ista.ac.at/record/2900

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

Castanon I, Abrami L, Holtzer L, Heisenberg C-PJ, Van Der Goot F, González Gaitán M. 2013. Anthrax toxin receptor 2a controls mitotic spindle positioning. Nature Cell Biology. 15(1), 28–39.
LibreCat: https://research-explorer.ista.ac.at/record/2918
DOI: 10.1038/ncb2632

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

Chatterjee K, De Alfaro L, Faella M, Majumdar R, Raman V. 2013. Code aware resource management. Formal Methods in System Design. 42(2), 142–174.
LibreCat: https://research-explorer.ista.ac.at/record/3116
DOI: 10.1007/s10703-012-0170-4

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

Chen C, Kerber M. 2013. An output sensitive algorithm for persistent homology. Computational Geometry: Theory and Applications. 46(4), 435–447.
LibreCat: https://research-explorer.ista.ac.at/record/2939
DOI: 10.1016/j.comgeo.2012.02.010

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

Cadavid D, Ibáñez M, Shavel A, Durá O, López De La Torre M, Cabot A. 2013. Organic ligand displacement by metal salts to enhance nanoparticle functionality: Thermoelectric properties of Ag inf 2 inf Te. Journal of Materials Chemistry A. 1(15), 4864–4870.
LibreCat: https://research-explorer.ista.ac.at/record/352
DOI: 10.1039/C3TA01455J

Ibáñez M, Cabot A. 2013. All change for nanocrystals. Science. 340(6135), 935–936.
LibreCat: https://research-explorer.ista.ac.at/record/378
DOI: 10.1126/science.1239221

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

Li W, Zamani R, Rivera Gil P, Pelaz B, Ibáñez M, Cadavid D, Shavel A, Alvarez Puebla R, Parak W, Arbiol J, Cabot A. 2013. CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents. Journal of the American Chemical Society. 135(19), 7098–7101.
LibreCat: https://research-explorer.ista.ac.at/record/331
DOI: 10.1021/ja401428e

Quadrianto N, Lampert C. 2013.Kernel based learning. In: Encyclopedia of Systems Biology. vol. 3, 1069–1069.
LibreCat: https://research-explorer.ista.ac.at/record/3321
DOI: 10.1007/978-1-4419-9863-7_604

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

Li W, Zamani R, Ibáñez M, Cadavid D, Shavel A, Morante J, Arbiol J, Cabot A. 2013. Metal ions to control the morphology of semiconductor nanoparticles: Copper selenide nanocubes. Journal of the American Chemical Society. 135(12), 4664–4667.
LibreCat: https://research-explorer.ista.ac.at/record/342
DOI: 10.1021/ja400472m

Ibáñez M, Zamani R, Gorsse S, Fan J, Ortega S, Cadavid D, Morante J, Arbiol J, Cabot A. 2013. Core shell nanoparticles as building blocks for the bottom-up production of functional nanocomposites: PbTe PbS thermoelectric properties. ACS Nano. 7(3), 2573–2586.
LibreCat: https://research-explorer.ista.ac.at/record/343
DOI: 10.1021/nn305971v

Carrete A, Shavel A, Fontané X, Montserrat J, Fan J, Ibáñez M, Saucedo E, Pérez Rodríguez A, Cabot A. 2013. Antimony-based ligand exchange to promote crystallization in spray-deposited Cu2ZnSnSe4 solar cells. Journal of the American Chemical Society. 135(43), 15982–15985.
LibreCat: https://research-explorer.ista.ac.at/record/351
DOI: 10.1021/ja4068639

Li W, Zamani R, Rivera Gil P, Pelaz B, Ibáñez M, Cadavid D, Shavel A, Alvarez Puebla R, Parak W, Arbiol J, Cabot A. 2013. CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents. Journal of the American Chemical Society. 135(19), 7098–7101.
LibreCat: https://research-explorer.ista.ac.at/record/353
DOI: 10.1021/ja401428e

Li W, Ibáñez M, Zamani R, García Castelló N, Stéphane G, Cadavid D, Prades J, Arbiol J, Cabot A. 2013. Cu2HgSnSe4 nanoparticles: synthesis and thermoelectric properties. CrystEngComm. 44, 8966–8971.
LibreCat: https://research-explorer.ista.ac.at/record/376
DOI: 10.1039/C3CE41583J

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

Wakamoto Y, Dhar N, Chait RP, Schneider K, Signorino Gelo F, Leibler S, Mckinney J. 2013. Dynamic persistence of antibiotic-stressed mycobacteria. Science. 339(6115), 91–95.
LibreCat: https://research-explorer.ista.ac.at/record/499
DOI: 10.1126/science.1229858

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

Greimel K, Perz V, Koren K, Feola R, Temel A, Sohar C, Herrero Acero E, Klimant I, Guebitz G. 2013. Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins. Green Chemistry. 15(2), 381–388.
LibreCat: https://research-explorer.ista.ac.at/record/505
DOI: 10.1039/c2gc36666e

Blazy O, Fuchsbauer G, Pointcheval D, Vergnaud D. 2013. Short blind signatures. Journal of Computer Security. 21(5), 627–661.
LibreCat: https://research-explorer.ista.ac.at/record/502
DOI: 10.3233/JCS-130477

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

Fuertbauer E, Zaujec J, Uhrin P, Raab I, Weber M, Schachner H, Bauer M, Schütz G, Binder B, Sixt MK, Kerjaschki D, Stockinger H. 2013. Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells. Immunology Letters. 154(1–2), 31–41.
LibreCat: https://research-explorer.ista.ac.at/record/522
DOI: 10.1016/j.imlet.2013.07.007

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

Robert H, Grones P, Stepanova A, Robles L, Lokerse A, Alonso J, Weijers D, Friml J. 2013. Local auxin sources orient the apical basal axis in arabidopsis embryos. Current Biology. 23(24), 2506–2512.
LibreCat: https://research-explorer.ista.ac.at/record/528
DOI: 10.1016/j.cub.2013.09.039

Wabnik KT, Robert H, Smith R, Friml J. 2013. Modeling framework for the establishment of the apical-basal embryonic axis in plants. Current Biology. 23(24), 2513–2518.
LibreCat: https://research-explorer.ista.ac.at/record/527
DOI: 10.1016/j.cub.2013.10.038

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