Gridchyn, I., &; Kolmogorov, V. (2013). Potts model, parametric maxflow and k-submodular functions (pp. 2320–2327). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE.https://doi.org/10.1109/ICCV.2013.288 
LibreCat: https://research-explorer.ista.ac.at/record/2276
DOI: 10.1109/ICCV.2013.288
arXiv: 1310.1771

Uhler, C., &; Wright, S. (2013). Packing ellipsoids with overlap. SIAM Review. Society for Industrial and Applied Mathematics .https://doi.org/10.1137/120872309 
LibreCat: https://research-explorer.ista.ac.at/record/2280
DOI: 10.1137/120872309
arXiv: 1204.0235

Pickup, M., &; Barrett, S. (2013). The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant. Ecology and Evolution. Wiley-Blackwell.https://doi.org/10.1002/ece3.465 
LibreCat: https://research-explorer.ista.ac.at/record/2287
DOI: 10.1002/ece3.465

Campinho, P., Behrndt, M., Ranft, J., Risler, T., Minc, N., &; Heisenberg, C.-P. J. (2013). Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb2869 
LibreCat: https://research-explorer.ista.ac.at/record/2282
DOI: 10.1038/ncb2869

Campinho, P., &; Heisenberg, C.-P. J. (2013). The force and effect of cell proliferation. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2013.225 
LibreCat: https://research-explorer.ista.ac.at/record/2286
DOI: 10.1038/emboj.2013.225
PMID: 24097062

Henzinger, T. A. (2013). Quantitative reactive modeling and verification. Computer Science Research and Development. Springer.https://doi.org/10.1007/s00450-013-0251-7 
LibreCat: https://research-explorer.ista.ac.at/record/2289
DOI: 10.1007/s00450-013-0251-7

Boutté, Y., Jonsson, K., Mcfarlane, H., Johnson, E., Gendre, D., Swarup, R.,https://doi.org/10.1073/pnas.1309057110__Bhalerao, R. (2013). ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1309057110 
LibreCat: https://research-explorer.ista.ac.at/record/2290
DOI: 10.1073/pnas.1309057110
PMID: 24043780

Kazmar, T., Kvon, E., Stark, A., &; Lampert, C. (2013). Drosophila Embryo Stage Annotation using Label Propagation. Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE.https://doi.org/10.1109/ICCV.2013.139 
LibreCat: https://research-explorer.ista.ac.at/record/2294
DOI: 10.1109/ICCV.2013.139

Sharmanska, V., Quadrianto, N., &; Lampert, C. (2013). Learning to rank using privileged information (pp. 825–832). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE.https://doi.org/10.1109/ICCV.2013.107 
LibreCat: https://research-explorer.ista.ac.at/record/2293
DOI: 10.1109/ICCV.2013.107

Ferrara, A., Fuchsbauer, G., &; Warinschi, B. (2013). Cryptographically enforced RBAC (pp. 115–129). Presented at the CSF: Computer Security Foundations, New Orleans, LA, United States: IEEE.https://doi.org/10.1109/CSF.2013.15 
LibreCat: https://research-explorer.ista.ac.at/record/2291
DOI: 10.1109/CSF.2013.15

Dragoi, C., Enea, C., &; Sighireanu, M. (2013). Local shape analysis for overlaid data structures (Vol. 7935, pp. 150–171). Presented at the SAS: Static Analysis Symposium, Seattle, WA, United States: Springer.https://doi.org/10.1007/978-3-642-38856-9_10 
LibreCat: https://research-explorer.ista.ac.at/record/2298
DOI: 10.1007/978-3-642-38856-9_10

Godhal, Y., Chatterjee, K., &; Henzinger, T. A. (2013). Synthesis of AMBA AHB from formal specification: A case study. International Journal on Software Tools for Technology Transfer. Springer.https://doi.org/10.1007/s10009-011-0207-9 
LibreCat: https://research-explorer.ista.ac.at/record/2299
DOI: 10.1007/s10009-011-0207-9

Seiringer, R. (2013). Hot topics in cold gases: A mathematical physics perspective. Japanese Journal of Mathematics. Springer.https://doi.org/10.1007/s11537-013-1264-5 
LibreCat: https://research-explorer.ista.ac.at/record/2297
DOI: 10.1007/s11537-013-1264-5
arXiv: 0908.3686

Danowski, P., &; Pohl, A. (2013). (Open) Linked Data in Bibliotheken (Vol. 50). De Gruyter.https://doi.org/10.1515/9783110278736 
LibreCat: https://research-explorer.ista.ac.at/record/2306
DOI: 10.1515/9783110278736

Giuliani, A., Lieb, É., &; Seiringer, R. (2013). Realization of stripes and slabs in two and three dimensions. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.88.064401 
LibreCat: https://research-explorer.ista.ac.at/record/2300
DOI: 10.1103/PhysRevB.88.064401
arXiv: 1305.5323

Seiringer, R., Yngvason, J., &; Zagrebnov, V. (2013). Disordered Bose-Einstein condensates with interaction (pp. 610–619). Presented at the ICMP: International Congress on Mathematical Physics, World Scientific Publishing.https://doi.org/10.1142/9789814449243_0063 
LibreCat: https://research-explorer.ista.ac.at/record/2315
DOI: 10.1142/9789814449243_0063
arXiv: 1209.4046

Frank, R., Hainzl, C., Seiringer, R., &; Solovej, J. (2013).https://doi.org/10.1007/978-3-0348-0531-5_3__Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction (pp. 57–88). Presented at the OTAMP: Operator Theory, Analysis and Mathematical Physics, Springer.https://doi.org/10.1007/978-3-0348-0531-5_3 
LibreCat: https://research-explorer.ista.ac.at/record/2319
DOI: 10.1007/978-3-0348-0531-5_3

Henzinger, T. A., Sezgin, A., &; Vafeiadis, V. (2013). Aspect-oriented linearizability proofs. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-642-40184-8_18 
LibreCat: https://research-explorer.ista.ac.at/record/2328
DOI: 10.1007/978-3-642-40184-8_18

Frank, R., Lewin, M., Lieb, É., &; Seiringer, R. (2013). A positive density analogue of the Lieb-Thirring inequality. Duke Mathematical Journal. Duke University Press.https://doi.org/10.1215/00127094-2019477 
LibreCat: https://research-explorer.ista.ac.at/record/2404
DOI: 10.1215/00127094-2019477

Frank, R., Lieb, É., &; Seiringer, R. (2013). Symmetry of bipolaron bound states for small Coulomb repulsion. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-012-1604-y 
LibreCat: https://research-explorer.ista.ac.at/record/2405
DOI: 10.1007/s00220-012-1604-y

Grech, P., &; Seiringer, R. (2013). The excitation spectrum for weakly interacting Bosons in a trap. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-013-1736-8 
LibreCat: https://research-explorer.ista.ac.at/record/2408
DOI: 10.1007/s00220-013-1736-8

Kupczok, A., &; Bollback, J. P. (2013). Probabilistic models for CRISPR spacer content evolution . BMC Evolutionary Biology. BioMed Central.https://doi.org/10.1186/1471-2148-13-54 
LibreCat: https://research-explorer.ista.ac.at/record/2412
DOI: 10.1186/1471-2148-13-54

Fernandes Redondo, R. A., Kupczok, A., Stift, G., &; Bollback, J. P. (2013). Complete genome sequence of the novel phage MG- infecting bacillus weihenstephanensis. Genome Announcements. American Society for Microbiology.https://doi.org/10.1128/genomeA.00216-13 
LibreCat: https://research-explorer.ista.ac.at/record/2410
DOI: 10.1128/genomeA.00216-13

Piskac, R., Wies, T., &; Zufferey, D. (2013). Automating separation logic using SMT. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer.https://doi.org/10.1007/978-3-642-39799-8_54 
LibreCat: https://research-explorer.ista.ac.at/record/2447
DOI: 10.1007/978-3-642-39799-8_54

Simon, S., Kubes, M., Baster, P., Robert, S., Dobrev, P., Friml, J.,https://doi.org/10.1111/nph.12437__Zaeímalová, E. (2013). Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist. Wiley.https://doi.org/10.1111/nph.12437 
LibreCat: https://research-explorer.ista.ac.at/record/2443
DOI: 10.1111/nph.12437

Chatterjee, K., Gaiser, A., &; Kretinsky, J. (2013). Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer.https://doi.org/10.1007/978-3-642-39799-8_37 
LibreCat: https://research-explorer.ista.ac.at/record/2446
DOI: 10.1007/978-3-642-39799-8_37
arXiv: 1304.5281

Chatterjee, K., &; aCki, J. (2013). Faster algorithms for Markov decision processes with low treewidth. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer.https://doi.org/10.1007/978-3-642-39799-8_36 
LibreCat: https://research-explorer.ista.ac.at/record/2444
DOI: 10.1007/978-3-642-39799-8_36
arXiv: 1304.0084

Baier, S., &; Browning, T. D. (2013). Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter.https://doi.org/10.1515/crelle.2012.039 
LibreCat: https://research-explorer.ista.ac.at/record/245
DOI: 10.1515/crelle.2012.039

Sanchez-Romero, I., Ariza, A., Wilson, K., Skjøt, M., Vind, J., De Maria, L.,https://doi.org/10.1371/journal.pone.0070013__Sánchez Ruiz, J. (2013). Mechanism of protein kinetic stabilization by engineered disulfide crosslinks. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0070013 
LibreCat: https://research-explorer.ista.ac.at/record/2471
DOI: 10.1371/journal.pone.0070013

Cazzonelli, C., Vanstraelen, M., Simon, S., Yin, K., Carron Arthur, A., Nisar, N.,https://doi.org/10.1371/journal.pone.0070069__Pogson, B. (2013). Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0070069 
LibreCat: https://research-explorer.ista.ac.at/record/2472
DOI: 10.1371/journal.pone.0070069

covanová, M., Sauer, M., Rychtá, J., Friml, J., Petrásek, J., &; Zaeímalová, E. (2013). Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0070050 
LibreCat: https://research-explorer.ista.ac.at/record/2470
DOI: 10.1371/journal.pone.0070050

Ando, R., Thuerey, N., &; Wojtan, C. (2013). Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2461912.2461982 
LibreCat: https://research-explorer.ista.ac.at/record/2466
DOI: 10.1145/2461912.2461982

Bernstein, G., &; Wojtan, C. (2013). Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2461912.2462027 
LibreCat: https://research-explorer.ista.ac.at/record/2467
DOI: 10.1145/2461912.2462027

Bojsen-Hansen, M., &; Wojtan, C. (2013). Liquid surface tracking with error compensation. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2461912.2461991 
LibreCat: https://research-explorer.ista.ac.at/record/2468
DOI: 10.1145/2461912.2461991

Maître, J.-L., &; Heisenberg, C.-P. J. (2013). Three functions of cadherins in cell adhesion. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2013.06.019 
LibreCat: https://research-explorer.ista.ac.at/record/2469
DOI: 10.1016/j.cub.2013.06.019
PMID: 23885883

Barton, N. H., Etheridge, A., Kelleher, J., &; Véber, A. (2013). Genetic hitch-hiking in spatially extended populations. Theoretical Population Biology. Elsevier.https://doi.org/10.1016/j.tpb.2012.12.001 
LibreCat: https://research-explorer.ista.ac.at/record/2473
DOI: 10.1016/j.tpb.2012.12.001

De La Bretèche, R., &; Browning, T. D. (2013). Density of Châtelet surfaces failing the Hasse principle. Proceedings of the London Mathematical Society. Oxford University Press.https://doi.org/10.1112/plms/pdt060 
LibreCat: https://research-explorer.ista.ac.at/record/250
DOI: 10.1112/plms/pdt060

Almagor, S., Boker, U., &; Kupferman, O. (2013). Formalizing and reasoning about quality. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer.https://doi.org/10.1007/978-3-642-39212-2_3 
LibreCat: https://research-explorer.ista.ac.at/record/2517
DOI: 10.1007/978-3-642-39212-2_3

Kolmogorov, V. (2013). The power of linear programming for finite-valued CSPs: A constructive characterization (Vol. 7965, pp. 625–636). Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer.https://doi.org/10.1007/978-3-642-39206-1_53 
LibreCat: https://research-explorer.ista.ac.at/record/2518
DOI: 10.1007/978-3-642-39206-1_53
arXiv: 1207.7213

Quadrianto, N., Sharmanska, V., Knowles, D., &; Ghahramani, Z. (2013). The supervised IBP: Neighbourhood preserving infinite latent feature models. In Proceedings of the 29th conference uncertainty in Artificial Intelligence (pp. 527–536). Bellevue, WA, United States: AUAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/2520

Erdös, L., Fournais, S., &; Solovej, J. (2013). Stability and semiclassics in self-generated fields. Journal of the European Mathematical Society. European Mathematical Society.https://doi.org/10.4171/JEMS/416 
LibreCat: https://research-explorer.ista.ac.at/record/2698
DOI: 10.4171/JEMS/416
arXiv: 1105.0506

Erdös, L., Knowles, A., Yau, H., &; Yin, J. (2013). Delocalization and diffusion profile for random band matrices. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-013-1773-3 
LibreCat: https://research-explorer.ista.ac.at/record/2697
DOI: 10.1007/s00220-013-1773-3

Barton, N. H., &; Paixao, T. (2013). Can quantitative and population genetics help us understand evolutionary computation? In Proceedings of the 15th annual conference on Genetic and evolutionary computation (pp. 1573–1580). Amsterdam, Netherlands: ACM.https://doi.org/10.1145/2463372.2463568 
LibreCat: https://research-explorer.ista.ac.at/record/2718
DOI: 10.1145/2463372.2463568

Long, H., Paixao, T., Azevedo, R., &; Zufall, R. (2013). Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.113.153536 
LibreCat: https://research-explorer.ista.ac.at/record/2720
DOI: 10.1534/genetics.113.153536
PMID: 23934880

Erdös, L., &; Farrell, B. (2013). Local eigenvalue density for general MANOVA matrices. Journal of Statistical Physics. Springer.https://doi.org/10.1007/s10955-013-0807-8 
LibreCat: https://research-explorer.ista.ac.at/record/2782
DOI: 10.1007/s10955-013-0807-8
arXiv: 1207.0031

Erdös, L., Knowles, A., Yau, H., &; Yin, J. (2013). Spectral statistics of Erds-Rényi graphs I: Local semicircle law. Annals of Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/11-AOP734 
LibreCat: https://research-explorer.ista.ac.at/record/2781
DOI: 10.1214/11-AOP734

Erdös, L., Knowles, A., &; Yau, H. (2013). Averaging fluctuations in resolvents of random band matrices. Annales Henri Poincare. Birkhäuser.https://doi.org/10.1007/s00023-013-0235-y 
LibreCat: https://research-explorer.ista.ac.at/record/2780
DOI: 10.1007/s00023-013-0235-y

cadek, M., Krcál, M., Matousek, J., Vokínek, L., &; Wagner, U. (2013). Extending continuous maps: Polynomiality and undecidability. In 45th Annual ACM Symposium on theory of computing (pp. 595–604). Palo Alto, CA, United States: ACM.https://doi.org/10.1145/2488608.2488683 
LibreCat: https://research-explorer.ista.ac.at/record/2807
DOI: 10.1145/2488608.2488683

Landberg, K., Pederson, E., Viaene, T., Bozorg, B., Friml, J., Jönsson, H.,https://doi.org/10.1104/pp.113.214023__Sundberg, E. (2013). The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain. Plant Physiology. American Society of Plant Biologists.https://doi.org/10.1104/pp.113.214023 
LibreCat: https://research-explorer.ista.ac.at/record/2808
DOI: 10.1104/pp.113.214023
PMID: 23669745

de Vos, M., Poelwijk, F., Battich, N., Ndika, J., &; Tans, S. (2013). Environmental dependence of genetic constraint. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1003580 
LibreCat: https://research-explorer.ista.ac.at/record/2810
DOI: 10.1371/journal.pgen.1003580

Chatterjee, K., Alfaro, L., &; Majumdar, R. (2013). The complexity of coverage. International Journal of Foundations of Computer Science. World Scientific Publishing.https://doi.org/10.1142/S0129054113400066 
LibreCat: https://research-explorer.ista.ac.at/record/2814
DOI: 10.1142/S0129054113400066
arXiv: 0804.4525

Avila, M., &; Hof, B. (2013). Nature of laminar-turbulence intermittency in shear flows. Physical Review E. American Institute of Physics.https://doi.org/10.1103/PhysRevE.87.063012 
LibreCat: https://research-explorer.ista.ac.at/record/2811
DOI: 10.1103/PhysRevE.87.063012
arXiv: 1306.5890

Samanta, D., Dubief, Y., Holzner, M., Schäfer, C., Morozov, A., Wagner, C., &; Hof, B. (2013). Elasto-inertial turbulence. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1219666110 
LibreCat: https://research-explorer.ista.ac.at/record/2813
DOI: 10.1073/pnas.1219666110
PMID: 23757498

Attali, D., Bauer, U., Devillers, O., Glisse, M., &; Lieutier, A. (2013). Homological reconstruction and simplification in . In Proceedings of the 29th annual symposium on Computational Geometry (pp. 117–125). Rio de Janeiro, Brazil: ACM.https://doi.org/10.1145/2462356.2462373 
LibreCat: https://research-explorer.ista.ac.at/record/2812
DOI: 10.1145/2462356.2462373

Novak, S., Chatterjee, K., &; Nowak, M. (2013). Density games. Journal of Theoretical Biology. Elsevier.https://doi.org/10.1016/j.jtbi.2013.05.029 
LibreCat: https://research-explorer.ista.ac.at/record/2817
DOI: 10.1016/j.jtbi.2013.05.029

Chatterjee, K., &; Prabhu, V. (2013). Quantitative timed simulation functions and refinement metrics for real-time systems. In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (Vol. 1, pp. 273–282). Philadelphia, PA USA: Springer.https://doi.org/10.1145/2461328.2461370 
LibreCat: https://research-explorer.ista.ac.at/record/2819
DOI: 10.1145/2461328.2461370

Rajan, K., Marre, O., &; Tkadik, G. (2013). Learning quadratic receptive fields from neural responses to natural stimuli. Neural Computation. MIT Press .https://doi.org/10.1162/NECO_a_00463 
LibreCat: https://research-explorer.ista.ac.at/record/2818
DOI: 10.1162/NECO_a_00463
arXiv: 1209.0121

Tran Viet, K., Powell, C., Barathi, V., Klemm, T., Maurer Stroh, S., Limviphuvadh, V.,https://doi.org/10.1016/j.ajhg.2013.04.005__Young, T. (2013). Mutations in SCO2 are associated with autosomal-dominant high-grade myopia. American Journal of Human Genetics. Cell Press.https://doi.org/10.1016/j.ajhg.2013.04.005 
LibreCat: https://research-explorer.ista.ac.at/record/2826
DOI: 10.1016/j.ajhg.2013.04.005
PMID: 23643385

Topp, C., Iyer Pascuzzi, A., Anderson, J., Lee, C., Zurek, P., Symonova, O.,https://doi.org/10.1073/pnas.1304354110__Benfey, P. (2013). 3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1304354110 
LibreCat: https://research-explorer.ista.ac.at/record/2822
DOI: 10.1073/pnas.1304354110
PMID: 25673779

Remy, E., Cabrito, T., Baster, P., Batista, R., Teixeira, M., Friml, J.,https://doi.org/10.1105/tpc.113.110353__Duque, P. (2013). A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.113.110353 
LibreCat: https://research-explorer.ista.ac.at/record/2821
DOI: 10.1105/tpc.113.110353
PMID: 23524662

Du, Y., Tejos, R., Beck, M., Himschoot, E., Li, H., Robatzek, S.,https://doi.org/10.1073/pnas.1220205110__Friml, J. (2013). Salicylic acid interferes with clathrin-mediated endocytic protein trafficking. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1220205110 
LibreCat: https://research-explorer.ista.ac.at/record/2827
DOI: 10.1073/pnas.1220205110
PMID: 23613581

Tanaka, H., Kitakura, S., Rakusová, H., Uemura, T., Feraru, M., De Rycke, R.,https://doi.org/10.1371/journal.pgen.1003540__Friml, J. (2013). Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1003540 
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. ACM.https://doi.org/10.1145/2450142.2450146 
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. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.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. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.224502 
LibreCat: https://research-explorer.ista.ac.at/record/2834
DOI: 10.1103/PhysRevLett.110.224502
arXiv: 1212.0230

Barton, N. H., Etheridge, A., Kelleher, J., &; Véber, A. (2013). Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology. Elsevier.https://doi.org/10.1016/j.tpb.2013.03.001 
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. Public Library of Science.https://doi.org/10.1371/journal.pone.0054285 
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.,https://doi.org/10.1126/science.1228456__Sixt, M. K. (2013). Interstitial dendritic cell guidance by haptotactic chemokine gradients. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1228456 
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. Institute of Mathematical Statistics.https://doi.org/10.1214/EJP.v18-2473 
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.,https://doi.org/10.1104/pp.113.217018__Estelle, M. (2013). Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. Plant Physiology. American Society of Plant Biologists.https://doi.org/10.1104/pp.113.217018 
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. Springer.https://doi.org/10.1007/s00165-013-0283-6 
LibreCat: https://research-explorer.ista.ac.at/record/2836
DOI: 10.1007/s00165-013-0283-6
arXiv: 1004.2697

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

Chatterjee, K., De Alfaro, L., &; Henzinger, T. A. (2013). Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences. Elsevier.https://doi.org/10.1016/j.jcss.2012.12.001 
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. IOP Publishing Ltd.https://doi.org/10.1088/1742-5468/2013/03/P03011 
LibreCat: https://research-explorer.ista.ac.at/record/2850
DOI: 10.1088/1742-5468/2013/03/P03011
arXiv: 1207.6319

Szobota, S., Mckenzie, C., &; Janovjak, H. L. (2013). Optical control of ligand-gated ion channels. Methods in Molecular Biology. Springer.https://doi.org/10.1007/978-1-62703-351-0_32 
LibreCat: https://research-explorer.ista.ac.at/record/2857
DOI: 10.1007/978-1-62703-351-0_32

Dupret, D., O’Neill, J., &; Csicsvari, J. L. (2013). Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2013.01.033 
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. Cell Press.https://doi.org/10.1016/j.celrep.2013.02.002 
LibreCat: https://research-explorer.ista.ac.at/record/2855
DOI: 10.1016/j.celrep.2013.02.002

Levitz, J., Pantoja, C., Gaub, B., Janovjak, H. L., Reiner, A., Hoagland, A.,https://doi.org/10.1038/nn.3346__Isacoff, E. (2013). Optical control of metabotropic glutamate receptors. Nature Neuroscience. Nature Publishing Group.https://doi.org/10.1038/nn.3346 
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. International Press.https://doi.org/10.4310/HHA.2013.v15.n1.a3 
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. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1002922 
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.-P. J., Yost, H. J.,https://doi.org/10.1242/dev.087130__Amack, J. (2013). Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle. Development. Company of Biologists.https://doi.org/10.1242/dev.087130 
LibreCat: https://research-explorer.ista.ac.at/record/2862
DOI: 10.1242/dev.087130
PMID: 23482490

Wang, B., Bailly, A., Zwiewk, M., Henrichs, S., Azzarello, E., Mancuso, S.,https://doi.org/10.1105/tpc.112.105999__Geisler, M. (2013). Arabidopsis TWISTED DWAR functionally interacts with auxin exporter ABC on the root plasma membrane. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.112.105999 
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. Wiley-Blackwell.https://doi.org/10.1038/emboj.2012.303 
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. National Academy of Sciences.https://doi.org/10.1073/pnas.1300107110 
LibreCat: https://research-explorer.ista.ac.at/record/2882
DOI: 10.1073/pnas.1300107110
PMID: 23391733

Li, H., Xu, T., Lin, D., Wen, M., Xie, M., Duclercq, J.,https://doi.org/10.1038/cr.2012.146__Yang, Z. (2013). Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis. Cell Research. Nature Publishing Group.https://doi.org/10.1038/cr.2012.146 
LibreCat: https://research-explorer.ista.ac.at/record/2881
DOI: 10.1038/cr.2012.146

Chmelik, M., &; ehák, V. (2013). Controllable-choice message sequence graphs. Presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Znojmo, Czech Republic: Springer.https://doi.org/10.1007/978-3-642-36046-6_12 
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.,https://doi.org/10.1073/pnas.1222821110__Benfey, P. (2013). Genotypic recognition and spatial responses by rice roots. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1222821110 
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 (Vol. 31, pp. 161–169). Presented at the  AISTATS: Conference on Uncertainty in Artificial Intelligence, Scottsdale, AZ, United States: JMLR.
LibreCat: https://research-explorer.ista.ac.at/record/2901

Kerber, M., &; Edelsbrunner, H. (2013). 3D kinetic alpha complexes and their implementation. In 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments (pp. 70–77). New Orleans, LA, United States: Society of Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611972931.6 
LibreCat: https://research-explorer.ista.ac.at/record/2906
DOI: 10.1137/1.9781611972931.6

Kelleher, J., Barton, N. H., &; Etheridge, A. (2013). Coalescent simulation in continuous space. Bioinformatics. Oxford University Press.https://doi.org/10.1093/bioinformatics/btt067 
LibreCat: https://research-explorer.ista.ac.at/record/2910
DOI: 10.1093/bioinformatics/btt067

Barton, N. H., Etheridge, A., &; Véber, A. (2013). Modelling evolution in a spatial continuum. Journal of Statistical Mechanics Theory and Experiment. IOP Publishing Ltd.https://doi.org/10.1088/1742-5468/2013/01/P01002 
LibreCat: https://research-explorer.ista.ac.at/record/2909
DOI: 10.1088/1742-5468/2013/01/P01002

Barton, N. H. (2013). Does hybridisation influence speciation?  . Journal of Evolutionary Biology. Wiley-Blackwell.https://doi.org/10.1111/jeb.12015 
LibreCat: https://research-explorer.ista.ac.at/record/2908
DOI: 10.1111/jeb.12015

Barton, N. H. (2013). Recombination and sex. In The Princeton Guide to Evolution (pp. 328–333). Princeton University Press.
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. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.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.,https://doi.org/10.1038/emboj.2012.310__Friml, J. (2013). SCF^TI AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2012.310 
LibreCat: https://research-explorer.ista.ac.at/record/2919
DOI: 10.1038/emboj.2012.310
PMID: 23211744

Compagnon, J., &; Heisenberg, C.-P. J. (2013). Neurulation coordinating cell polarisation and lumen formation. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2012.325 
LibreCat: https://research-explorer.ista.ac.at/record/2920
DOI: 10.1038/emboj.2012.325
PMID: 23211745

Krenn, S., Pietrzak, K. Z., &; Wadia, A. (2013). A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. In A. Sahai (Ed.) (Vol. 7785, pp. 23–39). Presented at the TCC: Theory of Cryptography Conference, Tokyo, Japan: Springer.https://doi.org/10.1007/978-3-642-36594-2_2 
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. Presented at the ACCV: Asian Conference on Computer Vision, Daejeon, Korea: Springer.https://doi.org/10.1007/978-3-642-37331-2_1 
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. In B. Christianson, J. Malcolm, V. Matyas, &; M. Roe (Eds.) (Vol. 7028, pp. 51–62). Presented at the SPW: Security Protocols Workshop, Springer.https://doi.org/10.1007/978-3-642-36213-2_9 
LibreCat: https://research-explorer.ista.ac.at/record/2973
DOI: 10.1007/978-3-642-36213-2_9

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