Mognetti, B. M., Sari, A., Angioletti-Uberti, S., Cacciuto, A., Valeriani, C., &; Frenkel, D. (2013). Living clusters and crystals from low-density suspensions of active colloids. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.111.245702 

Sari, A., &; Cacciuto, A. (2013). Self-assembly of nanoparticles adsorbed on fluid and elastic membranes. Soft Matter. Royal Society of Chemistry.https://doi.org/10.1039/c3sm50188d 

Napoli, J. A., Sari, A., &; Cacciuto, A. (2013). Collapsing nanoparticle-laden nanotubes. Soft Matter. Royal Society of Chemistry.https://doi.org/10.1039/c3sm51495a 

Schlögl, A., Jonas, P. M., Schmidt-Hieber, C., &; Guzman, S. J. (2013). Stimfit: A fast visualization and analysis environment for cellular neurophysiology. Biomedical Engineering / Biomedizinische Technik. Graz, Austria: De Gruyter.https://doi.org/10.1515/bmt-2013-4181 

Polshyn, H., Budakian, R., &; Gu, G. (2013). Cantilever micro-susceptometry of mesoscopic Bi2212 samples. In APS March Meeting 2013 (Vol. 58). Baltimore, MD, United States: American Physical Society.

Vanneste, S., &; Friml, J. (2013). Calcium: The missing link in auxin action. Plants. MDPI.https://doi.org/10.3390/plants2040650 

Haas, A., Lippautz, M., Henzinger, T. A., Payer, H., Sokolova, A., Kirsch, C. M., &; Sezgin, A. (2013). Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation. In Proceedings of the ACM International Conference on Computing Frontiers - CF ’13. Ischia, Italy: ACM Press.https://doi.org/10.1145/2482767.2482789 

Barton, N. H. (2013). Differentiation. In Encyclopedia of Biodiversity (2nd ed., pp. 508–515). Elsevier.https://doi.org/10.1016/b978-0-12-384719-5.00031-9 

Liang, Y., Franks, T. M., Marchetto, M. C., Gage, F. H., &; Hetzer, M. (2013). Dynamic association of NU with the human genome. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1003308 

Toyama, B. H., Savas, J. N., Park, S. K., Harris, M. S., Ingolia, N. T., Yates, J. R., &; Hetzer, M. (2013). Identification of long-lived proteins reveals exceptional stability of essential cellular structures. Cell. Elsevier.https://doi.org/10.1016/j.cell.2013.07.037 

Hatch, E. M., Fischer, A. H., Deerinck, T. J., &; Hetzer, M. (2013). Catastrophic nuclear envelope collapse in cancer cell micronuclei. Cell. Elsevier.https://doi.org/10.1016/j.cell.2013.06.007 

Regner, B. M., Vudini, D., Domnisoru, C., Bartol, T. M., Hetzer, M., Tartakovsky, D. M., &; Sejnowski, T. J. (2013). Anomalous diffusion of single particles in cytoplasm. Biophysical Journal. Elsevier.https://doi.org/10.1016/j.bpj.2013.01.049 

Franks, T. M., &; Hetzer, M. (2013). The role of Nu in transcription regulation in healthy and diseased cells. Trends in Cell Biology. Elsevier.https://doi.org/10.1016/j.tcb.2012.10.013 

Toyama, B. H., &; Hetzer, M. (2013). Protein homeostasis: Live long, won’t prosper. Nature Reviews Molecular Cell Biology. Springer Nature.https://doi.org/10.1038/nrm3496 

Waitukaitis, S. R., &; Jaeger, H. (2013). In situ granular charge measurement by free-fall videography. Review of Scientific Instruments. AIP.https://doi.org/10.1063/1.4789496 

Sobral, D., Swinbank, A. M., Stott, J. P., Matthee, J. J., Bower, R. G., Smail, I.,https://doi.org/10.1088/0004-637x/779/2/139__Sharples, R. M. (2013). The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS. The Astrophysical Journal. IOP Publishing.https://doi.org/10.1088/0004-637x/779/2/139 

Waitukaitis, S. R., Roth, L., Vitelli, V., &; Jaeger, H. (2013). Dynamic jamming fronts. EPL. Elsevier.https://doi.org/10.1209/0295-5075/102/44001 

Baykan, E., Weber, I., &; Henzinger, M. H. (2013). A comprehensive study of techniques for URL-based web page language classification. ACM Transactions on the Web. Association for Computing Machinery.https://doi.org/10.1145/2435215.2435218 

Jaeger, H., Miskin, M., &; Waitukaitis, S. R. (2013). From nanoscale cohesion to macroscale entanglement: opportunities for designing granular aggregate behaviour by tailoring grain shape and interactions. In https://doi.org/10.1063/1.4811858__AIP Conference Proceedings (Vol. 1542, pp. 3–6). Sydney, Australia: AIP.https://doi.org/10.1063/1.4811858 

Dütting, P., Henzinger, M. H., &; Weber, I. (2013). Sponsored search, market equilibria, and the Hungarian Method. Information Processing Letters. Elsevier.https://doi.org/10.1016/j.ipl.2012.11.006 

Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2013). Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks. In 40th International Colloquium on Automata, Languages, and Programming (Vol. 7966, pp. 607–619). Riga, Latvia: Springer Nature.https://doi.org/10.1007/978-3-642-39212-2_53 

Dütting, P., Henzinger, M. H., &; Starnberger, M. (2013). Valuation compressions in VCG-based combinatorial auctions. In 9th International Conference on Web and Internet Economics (Vol. 8289, pp. 146–159). Cambridge, MA, USA: Springer Nature.https://doi.org/10.1007/978-3-642-45046-4_13 

Dvoák, W., Henzinger, M. H., &; Williamson, D. P. (2013). Maximizing a submodular function with viability constraints. In 21st Annual European Symposium on Algorithms (Vol. 8125, pp. 409–420). Sophia Antipolis, France: Springer Nature.https://doi.org/10.1007/978-3-642-40450-4_35 

Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2013). Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. In 54th Annual Symposium on Foundations of Computer Science (pp. 538–547). Berkeley, CA, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/focs.2013.64 

Dütting, P., Henzinger, M. H., &; Weber, I. (2013). Bidder optimal assignments for general utilities. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2013.01.030 

Pieber, B., Martinez, S. T., Cantillo, D., &; Kappe, C. O. (2013). In situ generation of diimide from hydrazine and oxygen: Continuous-flow transfer hydrogenation of olefins. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201303528 

Kappe, C. O., Pieber, B., &; Dallinger, D. (2013). Microwave effects in organic synthesis: Myth or reality? Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201204103 

Pieber, B., &; Kappe, C. O. (2013). Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent. Green Chemistry. Royal Society of Chemistry.https://doi.org/10.1039/c2gc36896j 

Petersen, L., Pellicciotti, F., Juszak, I., Carenzo, M., &; Brock, B. (2013). Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative. Annals of Glaciology. International Glaciological Society.https://doi.org/10.3189/2013aog63a477 

Juszak, I., &; Pellicciotti, F. (2013). A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability. Journal of Geophysical Research: Atmospheres. American Geophysical Union.https://doi.org/10.1002/jgrd.50277 

Immerzeel, W. W., Pellicciotti, F., &; Bierkens, M. F. P. (2013). Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds. Nature Geoscience. Springer Nature.https://doi.org/10.1038/ngeo1896 

Heynen, M., Pellicciotti, F., &; Carenzo, M. (2013). Parameter sensitivity of a distributed enhanced temperature-index melt model. Annals of Glaciology. International Glaciological Society.https://doi.org/10.3189/2013aog63a537 

Haikala, V., Jösch, M. A., Borst, A., &; Mauss, A. (2013). Optogenetic control of fly optomotor responses. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.0340-13.2013 

Jösch, M. A., Weber, F., Eichner, H., &; Borst, A. (2013). Functional specialization of parallel motion detection circuits in the fly. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.3374-12.2013 

Fischer, J. L. (2013). Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics .https://doi.org/10.1137/120874291 

Fischer, J. L. (2013). Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. Communications in Partial Differential Equations. Taylor &; Francis.https://doi.org/10.1080/03605302.2013.823548 

Fischer, J. L. (2013). Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations. Academic Press.https://doi.org/10.1016/j.jde.2013.07.028 

Chatterjee, K., &; Fijalkow, N. (2013). Infinite-state games with finitary conditions. In 22nd EACSL Annual Conference on Computer Science Logic (Vol. 23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CSL.2013.181 

Hofferek, G., Gupta, A., Könighofer, B., Jiang, J., &; Bloem, R. (2013). Synthesizing multiple boolean functions using interpolation on a single proof. In 2013 Formal Methods in Computer-Aided Design (pp. 77–84). Portland, OR, United States: IEEE.https://doi.org/10.1109/FMCAD.2013.6679394 

Boker, U., Kuperberg, D., Kupferman, O., &; Skrzypczak, M. (2013). Nondeterminism in the presence of a diverse or unknown future. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer.https://doi.org/10.1007/978-3-642-39212-2_11 

Hausel, T., Letellier, E., &; Rodríguez Villegas, F. (2013). Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. Princeton University Press.https://doi.org/10.4007/annals.2013.177.3.8 

Hausel, T. (2013). Global topology of the Hitchin system. In Handbook of Moduli: Volume II (Vol. 25, pp. 29–70). International Press.

Hausel, T., Letellier, E., &; Rodríguez Villegas, F. (2013). Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics. Academic Press.https://doi.org/10.1016/j.aim.2012.10.009 

De Cataldo, M., Hausel, T., &; Migliorini, L. (2013). Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. Worldwide Center of Mathematics.https://doi.org/10.5427/jsing.2013.7c 

Aceto, L., Henzinger, M. H., &; Sgall, J. (2013). 38th International Colloquium on Automata, Languages and Programming. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2012.11.002 

Kahane, N., Ribes, V., Kicheva, A., Briscoe, J., &; Kalcheim, C. (2013). The transition from differentiation to growth during dermomyotome-derived myogenesis depends on temporally restricted hedgehog signaling. Development. Company of Biologists.https://doi.org/10.1242/dev.092726 

Kicheva, A., Holtzer, L., Wartlick, O., Schmidt, T., &; González Gaitán, M. (2013). Quantitative imaging of morphogen gradients in drosophila imaginal discs. Cold Spring Harbor Protocols. Cold Spring Harbor Laboratory Press.https://doi.org/10.1101/pdb.top074237 

Ares, N., Katsaros, G., Golovach, V., Zhang, J., Prager, A., Glazman, L.,https://doi.org/10.1063/1.4858959__De Franceschi, S. (2013). SiGe quantum dots for fast hole spin Rabi oscillations. Applied Physics Letters. American Institute of Physics.https://doi.org/10.1063/1.4858959 

Ares, N., Golovach, V., Katsaros, G., Stoffel, M., Fournel, F., Glazman, L.,https://doi.org/10.1103/PhysRevLett.110.046602__De Franceschi, S. (2013). Nature of tunable hole g factors in quantum dots. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.046602 

Abdumalikov, A., Fink, J. M., Juliusson, K., Pechal, M., Berger, S., Wallraff, A., &; Filipp, S. (2013). Experimental realization of non-Abelian non-adiabatic geometric gates. Nature. Nature Publishing Group.https://doi.org/10.1038/nature12010 

Lang, C., Eichler, C., Steffen, L., Fink, J. M., Woolley, M., Blais, A., &; Wallraff, A. (2013). Correlations, indistinguishability and entanglement in Hong-Ou-Mandel experiments at microwave frequencies. Nature Physics. Nature Publishing Group.https://doi.org/10.1038/nphys2612 

Nissen, F., Fink, J. M., Mlynek, J., Wallraff, A., &; Keeling, J. (2013). Collective suppression of linewidths in circuit QED. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.203602 

Novarino, G., Baek, S., &; Gleeson, J. (2013). The sacred disease: The puzzling genetics of epileptic disorders. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2013.09.019 

Sazanov, L. A., Baradaran, R., Efremov, R., Berrisford, J., &; Minhas, G. (2013). A long road towards the structure of respiratory complex I, a giant molecular proton pump. Biochemical Society Transactions. Portland Press.https://doi.org/10.1042/BST20130193 

Baradaran, R., Berrisford, J., Minhas, G., &; Sazanov, L. A. (2013). Crystal structure of the entire respiratory complex i. Nature. Nature Publishing Group.https://doi.org/10.1038/nature11871 

Vicoso, B., &; Bachtrog, D. (2013). Reversal of an ancient sex chromosome to an autosome in Drosophila. Nature. Nature Publishing Group.https://doi.org/10.1038/nature12235 

Bonny, M., Fischer Friedrich, E., Loose, M., Schwille, P., &; Kruse, K. (2013). Membrane binding of MinE allows for a comprehensive description of Min-protein pattern formation. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1003347 

Uhler, C., Raskutti, G., Bühlmann, P., &; Yu, B. (2013). Geometry of the faithfulness assumption in causal inference. The Annals of Statistics. Institute of Mathematical Statistics.https://doi.org/10.1214/12-AOS1080 

Uhler, C., Slavkovic, A., &; Fienberg, S. (2013). Privacy-preserving data sharing for genome-wide association studies. Journal of Privacy and Confidentiality . Carnegie Mellon University.https://doi.org/10.29012/jpc.v5i1.629 

Vicoso, B., Kaiser, V., &; Bachtrog, D. (2013). Sex biased gene expression at homomorphic sex chromosomes in emus and its implication for sex chromosome evolution. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1217027110 

Vicoso, B., Emerson, J., Zektser, Y., Mahajan, S., &; Bachtrog, D. (2013). Comparative sex chromosome genomics in snakes: Differentiation evolutionary strata and lack of global dosage compensation. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1001643 

Coros, S., Thomaszewski, B., Noris, G., Sueda, S., Forberg, M., Sumner, R.,https://doi.org/10.1145/2461912.2461953__Bickel, B. (2013). Computational design of mechanical characters. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2461912.2461953 

Papas, M., Regg, C., Jarosz, W., Bickel, B., Jackson, P., Matusik, W.,https://doi.org/10.1145/2461912.2461974__Groß, M. (2013). Fabricating translucent materials using continuous pigment mixtures. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2461912.2461974 

Bermano, A., Bruschweiler, P., Grundhöfer, A., Iwai, D., Bickel, B., &; Groß, M. (2013). Augmenting physical avatars using projector-based illumination. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2508363.2508416 

Hildebrand, K., Bickel, B., &; Alexa, M. (2013). Orthogonal slicing for additive manufacturing. Computers and Graphics (Pergamon). Elsevier.https://doi.org/10.1016/j.cag.2013.05.011 

Skouras, M., Thomaszewski, B., Coros, S., Bickel, B., &; Groß, M. (2013). Computational design of actuated deformable characters. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2461912.2461979 

Miguel, E., Tamstorf, R., Bradley, D., Schvartzman, S., Thomaszewski, B., Bickel, B.,https://doi.org/10.1145/2508363.2508389 __Otaduy, M. (2013). Modeling and estimation of internal friction in cloth. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2508363.2508389  

Dirksen, S., Maas, J., &; Van Neerven, J. (2013). Poisson stochastic integration in Banach spaces. Electronic Journal of Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/EJP.v18-2945  

Rouiller, O., Bickel, B., Kautz, J., Matusik, W., &; Alexa, M. (2013). 3D printing spatially varying BRDFs. IEEE Computer Graphics and Applications. IEEE.https://doi.org/10.1109/MCG.2013.82  

Bickel, B., &; Alexa, M. (2013). Computational aspects of fabrication: Modeling, design and 3d printing. IEEE Computer Graphics and Applications. IEEE.https://doi.org/10.1109/MCG.2013.89 

Gigli, N., &; Maas, J. (2013). Gromov-Hausdorff convergence of discrete transportation metrics. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics .https://doi.org/10.1137/120886315  

Lemeshko, M. (2013). Manipulating scattering of ultracold atoms with light-induced dissipation. Frontiers Physics. Frontiers Media.https://doi.org/10.3389/fphy.2013.00017 

Henzinger, T. A., Kirsch, C., Payer, H., Sezgin, A., &; Sokolova, A. (2013). Quantitative relaxation of concurrent data structures. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language (pp. 317–328). Rome, Italy: ACM.https://doi.org/10.1145/2429069.2429109 

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2013). Quantitative abstraction refinement. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language (pp. 115–128). Rome, Italy: ACM.https://doi.org/10.1145/2429069.2429085 

Biedl, T., Held, M., &; Huber, S. (2013). Recognizing straight skeletons and Voronoi diagrams and reconstructing their input (pp. 37–46). Presented at the ISVD: Voronoi Diagrams in Science and Engineering, St. Petersburg, Russia: IEEE.https://doi.org/10.1109/ISVD.2013.11 

Bhongale, S., Mathey, L., Zhao, E., Yelin, S., &; Lemeshko, M. (2013). Quantum phases of quadrupolar fermi gases in optical lattices. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.155301 

Lemeshko, M., Yao, N., Gorshkov, A., Weimer, H., Bennett, S., Momose, T., &; Gopalakrishnan, S. (2013). Controllable quantum spin glasses with magnetic impurities embedded in quantum solids. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.88.014426 

Lemeshko, M., Krems, R., Doyle, J., &; Kais, S. (2013). Manipulation of molecules with electromagnetic fields. Molecular Physics. Taylor &; Francis.https://doi.org/10.1080/00268976.2013.813595 

Lemeshko, M., &; Weimer, H. (2013). Dissipative binding of atoms by non-conservative forces. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms3230 

Biedl, T., Held, M., &; Huber, S. (2013). Reconstructing polygons from embedded straight skeletons. In 29th European Workshop on Computational Geometry (pp. 95–98). Braunschweig, Germany: TU Braunschweig.

Blanc, R., Gupta, A., Kovács, L., &; Kragl, B. (2013). Tree interpolation in Vampire. Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa: Springer.https://doi.org/10.1007/978-3-642-45221-5_13 

Chatterjee, K., Forejt, V., &; Wojtczak, D. (2013). Multi-objective discounted reward verification in graphs and MDPs. Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa: Springer.https://doi.org/10.1007/978-3-642-45221-5_17 

Michaliszyn, J., &; Otop, J. (2013). Elementary modal logics over transitive structures. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CSL.2013.563 

Matousek, J., Sedgwick, E., Tancer, M., &; Wagner, U. (2013). Untangling two systems of noncrossing curves. Presented at the GD: Graph Drawing and Network Visualization, Bordeaux, France: Springer.https://doi.org/10.1007/978-3-319-03841-4_41 

Alwen, J. F., Krenn, S., Pietrzak, K. Z., &; Wichs, D. (2013). Learning with rounding, revisited: New reduction properties and applications. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-642-40041-4_4 

Kiltz, E., Pietrzak, K. Z., &; Szegedy, M. (2013). Digital signatures with minimal overhead from indifferentiable random invertible functions. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-642-40041-4_31 

Danowski, P., Goldfarb, D., Schaffner, V., &; Seidler, W. (2013). Linked (Open) Data - Bibliographische Daten im Semantic Web. VÖB Mitteilungen. Verein Österreichischer Bibliothekarinnen und Bibliothekare.

Bernhard, D., Fuchsbauer, G., &; Ghadafi, E. (2013). Efficient signatures of knowledge and DAA in the standard model. Presented at the ACNS: Applied Cryptography and Network Security, Banff, AB, Canada: Springer.https://doi.org/10.1007/978-3-642-38980-1_33 

Liang, H., Xiao, G., Yin, H., Hippenmeyer, S., Horowitz, J., &; Ghashghaei, T. (2013). Neural development is dependent on the function of specificity protein 2 in cell cycle progression. Development. Company of Biologists.https://doi.org/10.1242/dev.085621 

Auzinger, T., Wimmer, M., &; Jeschke, S. (2013). Analytic Visibility on the GPU. Computer Graphics Forum. Wiley-Blackwell.https://doi.org/DOI: 10.1111/cgf.12061 

Bachrach, Y., Kohli, P., Kolmogorov, V., &; Zadimoghaddam, M. (2013). Optimal Coalition Structures in Cooperative Graph Games (pp. 81–87). Presented at the AAAI: Conference on Artificial Intelligence, Bellevue, WA, United States: AAAI Press.

Kolmogorov, V. (2013). Reweighted message passing revisited. IST Austria.

Pérez Gómez, R., Slovakova, J., Rives Quinto, N., Krejdí, A., &; Carmena, A. (2013). A serrate-notch-canoe complex mediates essential interactions between glia and neuroepithelial cells during Drosophila optic lobe development. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.125617 

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 

Uhler, C., &; Wright, S. (2013). Packing ellipsoids with overlap. SIAM Review. Society for Industrial and Applied Mathematics .https://doi.org/10.1137/120872309 

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 

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 

Pull, C., Hughes, W., &; Brown, M. (2013). Tolerating an infection: an indirect benefit of co-founding queen associations in the ant Lasius niger . Naturwissenschaften. Springer.https://doi.org/10.1007/s00114-013-1115-5 

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 

Henzinger, T. A. (2013). Quantitative reactive modeling and verification. Computer Science Research and Development. Springer.https://doi.org/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 

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 

Chatterjee, K., &; Sgall, J. (Eds.). (2013). Mathematical Foundations of Computer Science 2013 (Vol. 8087, p. VI-854). Presented at the MFCS: Mathematical Foundations of Computer Science, Klosterneuburg, Austria: Springer.https://doi.org/10.1007/978-3-642-40313-2 

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 

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 

Gupta, A., &; Henzinger, T. A. (Eds.). (2013). Computational Methods in Systems Biology (Vol. 8130). Presented at the CMSB: Computational Methods in Systems Biology, Klosterneuburg, Austria: Springer.https://doi.org/10.1007/978-3-642-40708-6 

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 

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 

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 

Danowski, P., &; Pohl, A. (2013). (Open) Linked Data in Bibliotheken (Vol. 50). De Gruyter.https://doi.org/10.1515/9783110278736 

Desai, A., Gupta, V., Jackson, E., Qadeer, S., Rajamani, S., &; Zufferey, D. (2013). P: Safe asynchronous event-driven programming. In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 321–331). Seattle, WA, United States: ACM.https://doi.org/10.1145/2491956.2462184 

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 

Hippenmeyer, S. (2013). Dissection of gene function at clonal level using mosaic analysis with double markers. Frontiers in Biology. Springer.https://doi.org/10.1007/s11515-013-1279-6 

Pausinger, F. (2013). Van der Corput sequences and linear permutations. Electronic Notes in Discrete Mathematics. Elsevier.https://doi.org/10.1016/j.endm.2013.07.008 

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 

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 

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 

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 

Seiringer, R., Yngvason, J., &; Zagrebnov, V. (2013). Condensation of interacting bosons in a random potential. European Physical Journal: Special Topics. Springer.https://doi.org/10.1140/epjst/e2013-01759-5 

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 

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 

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 

Valderrama, M., Botella Soler, V., &; Le Van Quyen, M. (2013). Neuronal oscillations scale up and scale down the brain dynamics . In M. Meyer &; Z. Pesenson (Eds.), Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain. Wiley-VCH.https://doi.org/10.1002/9783527671632.ch08 

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 

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 

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 

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 

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 

Nodzyski, T., Feraru, M., Hirsch, S., De Rycke, R., Nicuales, C., Van Leene, J.,https://doi.org/10.1093/mp/sst044__Friml, J. (2013). Retromer subunits VPA and VP mediate prevacuolar compartment (PVC) function in Arabidopsis. Molecular Plant. Cell Press.https://doi.org/10.1093/mp/sst044 

Barbez, E., Laková, M., Paezová, M., Maizel, A., Zaeímalová, E., Petrásek, J.,https://doi.org/10.1186/1471-2229-13-20__Kleine Vehn, J. (2013). Single-cell-based system to monitor carrier driven cellular auxin homeostasis. BMC Plant Biology. BioMed Central.https://doi.org/10.1186/1471-2229-13-20 

Liu, J., Menhi, S., Topping, J., Friml, J., &; Lindsey, K. (2013). Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development. Frontiers in Plant Science. Frontiers Research Foundation.https://doi.org/10.3389/fpls.2013.00075 

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 

Viaene, T., Delwiche, C., Rensing, S., &; Friml, J. (2013). Origin and evolution of PIN auxin transporters in the green lineage. Trends in Plant Science. Cell Press.https://doi.org/10.1016/j.tplants.2012.08.009 

Browning, T. D., &; Munshi, R. (2013). Rational points on singular intersections of quadrics. Compositio Mathematica. Cambridge University Press.https://doi.org/10.1112/S0010437X13007185 

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 

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 

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 

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 

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 

Bojsen-Hansen, M., &; Wojtan, C. (2013). Liquid surface tracking with error compensation. ACM Transactions on Graphics. ACM.https://doi.org/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 

Browning, T. D. (2013). The Lang-Weil estimate for cubic hypersurfaces. Canadian Mathematical Bulletin. Unknown.https://doi.org/10.4153/CMB-2011-177-4 

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 

Budreck, E., Kwon, O., Jung, J., Baudouin, S., Thommen, A., Kim, H.,https://doi.org/10.1073/pnas.1214718110__Kim, J. (2013). Neuroligin-1 controls synaptic abundance of NMDA-type glutamate receptors through extracellular coupling. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1214718110 

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 

De La Bretèche, R., &; Browning, T. D. (2013). Counter examples to the Hasse principle among certain coflasque tori. Journal de Theorie Des Nombres de Bordeaux. Universite de Bordeaux I.https://doi.org/10.5802/jtnb.857 

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 

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 

Lampert, C., Nickisch, H., &; Harmeling, S. (2013). Attribute-based classification for zero-shot learning of object categories. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE.https://doi.org/10.1109/TPAMI.2013.140 

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.

Browning, T. D. (2013). Counting rational points on cubic hypersurfaces: Corrigendum. Mathematika. Unknown.https://doi.org/10.1112/S0025579313000132 

Dobi, A., Sartori, S., Busti, D., Van Der Putten, H., Singewald, N., Shigemoto, R., &; Ferraguti, F. (2013). Neural substrates for the distinct effects of presynaptic group III metabotropic glutamate receptors on extinction of contextual fear conditioning in mice. Neuropharmacology. Elsevier.https://doi.org/10.1016/j.neuropharm.2012.05.025 

Indriati, D., Kamasawa, N., Matsui, K., Meredith, A., Watanabe, M., &; Shigemoto, R. (2013). Quantitative localization of Ca.1 (P/Q-Type) voltage-dependent calcium channels in Purkinje cells: Somatodendritic gradient and distinct somatic coclustering with calcium-activated potassium channels. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.2921-12.2013 

Budisantoso, T., Harada, H., Kamasawa, N., Fukazawa, Y., Shigemoto, R., &; Matsui, K. (2013). Evaluation of glutamate concentration transient in the synaptic cleft of the rat calyx of Held. Journal of Physiology. Wiley-Blackwell.https://doi.org/10.1113/jphysiol.2012.241398 

Booker, S., Gross, A., Althof, D., Shigemoto, R., Bettler, B., Frotscher, M.,https://doi.org/10.1523/JNEUROSCI.1186-12.2013__Vida, I. (2013). Differential GABAB-receptor-mediated effects in perisomatic- and dendrite-targeting parvalbumin interneurons. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.1186-12.2013 

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 

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 

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 

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 

Paixao, T., &; Barton, N. H. (2013). A variance decomposition approach to the analysis of genetic algorithms. In Proceedings of the 15th annual conference on Genetic and evolutionary computation (pp. 845–852). Amsterdam, Netherlands: ACM.https://doi.org/10.1145/2463372.2463470 

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 

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 

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 

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 

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 

Avila, K., &; Hof, B. (2013). High-precision Taylor-Couette experiment to study subcritical transitions and the role of boundary conditions and size effects. Review of Scientific Instruments. American Institute of Physics.https://doi.org/10.1063/1.4807704 

Holzner, M., Song, B., Avila, M., &; Hof, B. (2013). Lagrangian approach to laminar-turbulent interfaces in transitional pipe flow. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2013.127 

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 

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 

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 

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 

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 

Novak, S., Chatterjee, K., &; Nowak, M. (2013). Density games. Journal of Theoretical Biology. Elsevier.https://doi.org/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 

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 

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 

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 

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 

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 

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. Wiley-Blackwell.https://doi.org/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. Elsevier.https://doi.org/10.1016/j.ic.2013.04.003 

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 

Kolmogorov, V., &; divný, S. (2013). The complexity of conservative valued CSPs. Journal of the ACM. ACM.https://doi.org/10.1145/2450142.2450146 

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 

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 

Heisenberg, C.-P. J., &; Bellaïche, Y. (2013). Forces in tissue morphogenesis and patterning. Cell. Cell Press.https://doi.org/10.1016/j.cell.2013.05.008 

Moussion, C., &; Sixt, M. K. (2013). A conduit to amplify innate immunity. Immunity. Cell Press.https://doi.org/10.1016/j.immuni.2013.05.005 

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 

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 

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 

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 

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 

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 

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. Oxford University Press.https://doi.org/10.1093/cercor/bhs033 

Morita, H., &; Heisenberg, C.-P. J. (2013). Holding on and letting go: Cadherin turnover in cell intercalation. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2013.03.007 

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 

Rosquete, M., von Wangenheim, D., Marhavý, P., Barbez, E., Stelzer, E., Benková, E.,https://doi.org/10.1016/j.cub.2013.03.064__Kleine Vehn, J. (2013). An auxin transport mechanism restricts positive orthogravitropism in lateral roots. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2013.03.064 

Edelsbrunner, H., &; Pausinger, F. (2013). Stable length estimates of tube-like shapes. In 17th IAPR International Conference on Discrete Geometry for Computer Imagery (Vol. 7749, pp. XV–XIX). Seville, Spain: Springer.https://doi.org/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. Elsevier.https://doi.org/10.1016/j.neuron.2013.01.021 

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 

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 

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. IOP Publishing Ltd.https://doi.org/10.1088/1742-5468/2013/03/P03015 

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 

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 

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 

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 

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 

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 

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 

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. IOP Publishing Ltd.https://doi.org/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. Botanical Society of America.https://doi.org/10.3732/ajb.1200264 

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 

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 

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 

Kucera, A., Henzinger, T. A., Nesetril, J., Vojnar, T., &; Antos, D. (Eds.). (2013). Mathematical and Engineering Methods in Computer Science (Vol. 7721, pp. 1–228). 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 

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 

Maître, J.-L., Berthoumieux, H., Krens, G., Salbreux, G., Julicher, F., Paluch, E., &; Heisenberg, C.-P. J. (2013). Cell adhesion mechanics of zebrafish gastrulation. Medecine Sciences. Éditions Médicales et Scientifiques.https://doi.org/10.1051/medsci/2013292011 

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 

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 

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.

Azevedo, R., Lohaus, R., &; Paixao, T. (2013). Networking networks. Evolution &; Development. Wiley-Blackwell.

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 

Kelleher, J., Barton, N. H., &; Etheridge, A. (2013). Coalescent simulation in continuous space. Bioinformatics. Oxford University Press.https://doi.org/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 

Barton, N. H. (2013). Does hybridisation influence speciation?  . Journal of Evolutionary Biology. Wiley-Blackwell.https://doi.org/10.1111/jeb.12015 

Barton, N. H. (2013). Recombination and sex. In The Princeton Guide to Evolution (pp. 328–333). Princeton University Press.

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 

Castanon, I., Abrami, L., Holtzer, L., Heisenberg, C.-P. J., Van Der Goot, F., &; González Gaitán, M. (2013). Anthrax toxin receptor 2a controls mitotic spindle positioning. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb2632 

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 

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 

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 

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 

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 

Chatterjee, K., De Alfaro, L., Faella, M., Majumdar, R., &; Raman, V. (2013). Code aware resource management. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-012-0170-4 

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 

Chen, C., &; Kerber, M. (2013). An output sensitive algorithm for persistent homology. Computational Geometry: Theory and Applications. Elsevier.https://doi.org/10.1016/j.comgeo.2012.02.010 

Ibáñez, M., Cadavid, D., Anselmi Tamburini, U., Zamani, R., Gorsse, S., Li, W.,https://doi.org/10.1039/C2TA00419D__Cabot, A. (2013). Colloidal synthesis and thermoelectric properties of Cu 2SnSe3 nanocrystals. Journal of Materials Chemistry A. Royal Society of Chemistry.https://doi.org/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. Royal Society of Chemistry.https://doi.org/10.1039/C3TA01455J 

Ibáñez, M., &; Cabot, A. (2013). All change for nanocrystals. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1239221 

Dubuis, J., Tkadik, G., Wieschaus, E., Gregor, T., &; Bialek, W. (2013). Positional information, in bits. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1315642110 

Li, W., Zamani, R., Rivera Gil, P., Pelaz, B., Ibáñez, M., Cadavid, D.,https://doi.org/10.1021/ja401428e__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. ACS.https://doi.org/10.1021/ja401428e 

Quadrianto, N., &; Lampert, C. (2013). Kernel based learning. In W. Dubitzky, O. Wolkenhauer, K. Cho, &; H. Yokota (Eds.), Encyclopedia of Systems Biology (Vol. 3, pp. 1069–1069). Springer.https://doi.org/10.1007/978-1-4419-9863-7_604 

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

Li, W., Zamani, R., Ibáñez, M., Cadavid, D., Shavel, A., Morante, J.,https://doi.org/10.1021/ja400472m__Cabot, A. (2013). Metal ions to control the morphology of semiconductor nanoparticles: Copper selenide nanocubes. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja400472m 

Ibáñez, M., Zamani, R., Gorsse, S., Fan, J., Ortega, S., Cadavid, D.,https://doi.org/10.1021/nn305971v__Cabot, A. (2013). Core shell nanoparticles as building blocks for the bottom-up production of functional nanocomposites: PbTe PbS thermoelectric properties. ACS Nano. American Chemical Society.https://doi.org/10.1021/nn305971v 

Carrete, A., Shavel, A., Fontané, X., Montserrat, J., Fan, J., Ibáñez, M.,https://doi.org/10.1021/ja4068639__Cabot, A. (2013). Antimony-based ligand exchange to promote crystallization in spray-deposited Cu2ZnSnSe4 solar cells. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja4068639 

Li, W., Zamani, R., Rivera Gil, P., Pelaz, B., Ibáñez, M., Cadavid, D.,https://doi.org/10.1021/ja401428e__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. American Chemical Society.https://doi.org/10.1021/ja401428e 

Li, W., Ibáñez, M., Zamani, R., García Castelló, N., Stéphane, G., Cadavid, D.,https://doi.org/10.1039/C3CE41583J__Cabot, A. (2013). Cu2HgSnSe4 nanoparticles: synthesis and thermoelectric properties. CrystEngComm. Royal Society of Chemistry.https://doi.org/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. Royal Society, The.https://doi.org/10.1098/rspb.2012.2058 

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. Frontiers Research Foundation.https://doi.org/10.3389/fnbeh.2013.00217 

Wakamoto, Y., Dhar, N., Chait, R. P., Schneider, K., Signorino Gelo, F., Leibler, S., &; Mckinney, J. (2013). Dynamic persistence of antibiotic-stressed mycobacteria. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1229858 

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

Cozzuol, M., Clozato, C., Holanda, E., Rodrigues, F., Nienow, S., De Thoisy, B.,https://doi.org/10.1644/12-MAMM-A-169.1__Santos, F. (2013). A new species of tapir from the Amazon. Journal of Mammalogy. Oxford University Press.https://doi.org/10.1644/12-MAMM-A-169.1 

Greimel, K., Perz, V., Koren, K., Feola, R., Temel, A., Sohar, C.,https://doi.org/10.1039/c2gc36666e__Guebitz, G. (2013). Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins. Green Chemistry. Royal Society of Chemistry.https://doi.org/10.1039/c2gc36666e 

Blazy, O., Fuchsbauer, G., Pointcheval, D., &; Vergnaud, D. (2013). Short blind signatures. Journal of Computer Security. IOS Press.https://doi.org/10.3233/JCS-130477 

Tarazona Santos, E., Machado, M., Magalhães, W., Chen, R., Lyon, F., Burdett, L.,https://doi.org/10.1093/molbev/mst119__Chanock, S. (2013). Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NC, and NC: Functional implications. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1093/molbev/mst119 

Di Rubbo, S., Irani, N., Kim, S., Xu, Z., Gadeyne, A., Dejonghe, W.,https://doi.org/10.1105/tpc.113.114058__Russinova, E. (2013). The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIV in arabidopsis. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.113.114058 

Kim, S., Xu, Z., Song, K., Kim, D., Kang, H., Reichardt, I.,https://doi.org/10.1105/tpc.113.114264__Hwang, I. (2013). Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.113.114264 

Pbndík, A., Simonovik, B., Petersson, S., Henyková, E., Simon, S., Greenham, K.,https://doi.org/10.1105/tpc.113.114421__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. American Society of Plant Biologists.https://doi.org/10.1105/tpc.113.114421 

Bargmann, B., Vanneste, S., Krouk, G., Nawy, T., Efroni, I., Shani, E.,https://doi.org/10.1038/msb.2013.40__Birnbaum, K. (2013). A map of cell typespecific auxin responses. Molecular Systems Biology. Nature Publishing Group.https://doi.org/10.1038/msb.2013.40 

Fuertbauer, E., Zaujec, J., Uhrin, P., Raab, I., Weber, M., Schachner, H.,https://doi.org/10.1016/j.imlet.2013.07.007__Stockinger, H. (2013). Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells. Immunology Letters. Elsevier.https://doi.org/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. Presented at the ATVA: Automated Technology for Verification and Analysis, Hanoi, Vietnam: Springer.https://doi.org/10.1007/978-3-319-02444-8_10 

Robert, H., Grones, P., Stepanova, A., Robles, L., Lokerse, A., Alonso, J.,https://doi.org/10.1016/j.cub.2013.09.039__Friml, J. (2013). Local auxin sources orient the apical basal axis in arabidopsis embryos. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2013.09.039 

Wabnik, K. T., Robert, H., Smith, R., &; Friml, J. (2013). Modeling framework for the establishment of the apical-basal embryonic axis in plants. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2013.10.038 

Reiter, J., Bozic, I., Chatterjee, K., &; Nowak, M. (2013). TTP: Tool for Tumor Progression. IST Austria.https://doi.org/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. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CSL.2013.165 

Chatterjee, K., &; Ibsen-Jensen, R. (2013). Qualitative analysis of concurrent mean-payoff games. IST Austria.https://doi.org/10.15479/AT:IST-2013-126-v1-1 

Henzinger, T. A., &; Sezgin, A. (2013). How free is your linearizable concurrent data structure? IST Austria.https://doi.org/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.https://doi.org/10.15479/AT:IST-2013-109-v1-1 

Chatterjee, K., &; Ibsen-Jensen, R. (2013). The complexity of ergodic games. IST Austria.https://doi.org/10.15479/AT:IST-2013-127-v1-1 

Porsche, J. (2013). Initiatives and projects related to RD. IST Austria.

Chatterjee, K., Doyen, L., Gimbert, H., &; Oualhadj, Y. (2013). Perfect-information stochastic mean-payoff parity games. IST Austria.https://doi.org/10.15479/AT:IST-2013-128-v1-1 

Chatterjee, K., Ibsen-Jensen, R., &; Majumdar, R. (2013). Edit distance for timed automata. IST Austria.https://doi.org/10.15479/AT:IST-2013-144-v1-1 

Chatterjee, K., Henzinger, T. A., Otop, J., &; Pavlogiannis, A. (2013). Distributed synthesis for LTL fragments. In 13th International Conference on Formal Methods in Computer-Aided Design (pp. 18–25). Portland, OR, United States: IEEE.https://doi.org/10.1109/FMCAD.2013.6679386 

Chatterjee, K., Henzinger, T. A., Otop, J., &; Pavlogiannis, A. (2013). Distributed synthesis for LTL Fragments. IST Austria.https://doi.org/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.https://doi.org/10.15479/AT:IST-2013-141-v1-1 

Porsche, J. (2013). Technical requirements and features. IST Austria.

Ahmed, U., Chatterjee, K., &; Gulwani, S. (2013). Automatic generation of alternative starting positions for traditional board games. IST Austria.https://doi.org/10.15479/AT:IST-2013-146-v1-1 

Henzinger, T. A., &; Otop, J. (2013). From model checking to model measuring. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Springer.https://doi.org/10.1007/978-3-642-40184-8_20 

Schmid, D., Huang, T., Dirks, R., Hosten, O., &; Kwiat, P. (2013). Polarization dependent focusing. Presented at the QIM: Quantum Information and Measurement, OSA.https://doi.org/10.1364/QIM.2013.W6.23 

Hillar, C. J., &; Martin del Campo Sanchez, A. (2013). Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation. Elsevier.https://doi.org/10.1016/j.jsc.2012.06.006 

Schmid, D., Huang, T., Hazrat, S., Dirks, R., Hosten, O., Quint, S.,https://doi.org/10.1364/OE.21.015538__Kwiat, P. (2013). Adjustable and robust methods for polarization-dependent focusing. Optics Express. Optical Society of America.https://doi.org/10.1364/OE.21.015538 

Bernecky, C., &; Cramer, P. (2013). Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2013.36 

Kodama-Namba, E., Fenk, L. A., Bretscher, A. J., Gross, E., Busch, K. E., &; de Bono, M. (2013). Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. Public Library of Science (PLoS).https://doi.org/10.1371/journal.pgen.1004011 

Chen, C., Fenk, L. A., &; de Bono, M. (2013). Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. Oxford University Press.https://doi.org/10.1093/nar/gkt805 

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

Rodriguez, M., Snoek, L. B., de Bono, M., &; Kammenga, J. E. (2013). Worms under stress: C. elegans stress response and its relevance to complex human disease and aging. Trends in Genetics. Elsevier.https://doi.org/10.1016/j.tig.2013.01.010 

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

Lin, T.-C., Cole, J. M., Higginbotham, A. P., Edwards, A. J., Piltz, R. O., Pérez-Moreno, J.,https://doi.org/10.1021/jp400648q__Kwon, O.-P. (2013). Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. American Chemical Society (ACS).https://doi.org/10.1021/jp400648q 

Henzinger, T. A., Payer, H., &; Sezgin, A. (2013). Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria.https://doi.org/10.15479/AT:IST-2013-124-v1-1 

Mondelli, M. (2013). A finite difference scheme for the stack filter simulating the MCM. Image Processing On Line. Image Processing On Line.https://doi.org/10.5201/ipol.2013.53 

Chatterjee, K., &; Velner, Y. (2013). Hyperplane separation technique for multidimensional mean-payoff games. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentinia: Springer.https://doi.org/10.1007/978-3-642-40184-8_35 

Ottakam Thotiyl, M. M., Freunberger, S. A., Peng, Z., Chen, Y., Liu, Z., &; Bruce, P. G. (2013). A stable cathode for the aprotic Li–O2 battery. Nature Materials. Springer Nature.https://doi.org/10.1038/nmat3737 

Chen, Y., Freunberger, S. A., Peng, Z., Fontaine, O., &; Bruce, P. G. (2013). Charging a Li–O2 battery using a redox mediator. Nature Chemistry. Springer Nature.https://doi.org/10.1038/nchem.1646 

Tan, S., Dai, C., Liu, H.-T., &; Xue, H.-W. (2013). Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling. The Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.113.114322 

Tang, Y., Tan, S., &; Xue, H. (2013). Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development. Acta Biochimica et Biophysica Sinica. Oxford University Press.https://doi.org/10.1093/abbs/gmt039 

Alistarh, D.-A., Aspnes, J., Giakkoupis, G., &; Woelfel, P. (2013). Randomized loose renaming in O(loglogn) time (pp. 200–209). Presented at the PODC: Principles of Distributed Computing, ACM.https://doi.org/10.1145/2484239.2484240 

Robinson, M. R., Santure, A. W., DeCauwer, I., Sheldon, B. C., &; Slate, J. (2013). Partitioning of genetic variation across the genome using multimarker methods in a wild bird population. Molecular Ecology. Wiley.https://doi.org/10.1111/mec.12375 

Santure, A. W., De Cauwer, I., Robinson, M. R., Poissant, J., Sheldon, B. C., &; Slate, J. (2013). Genomic dissection of variation in clutch size and egg mass in a wild great tit (Parus major) population. Molecular Ecology. Wiley.https://doi.org/10.1111/mec.12376 

Robinson, M. R., &; Beckerman, A. P. (2013). Quantifying multivariate plasticity: Genetic variation in resource acquisition drives plasticity in resource allocation to components of life history. Ecology Letters. Wiley.https://doi.org/10.1111/ele.12047 

Schoenholz, S. S., Goodrich, C. P., Kogan, O., Liu, A. J., &; Nagel, S. R. (2013). Stability of jammed packings II: The transverse length scale. Soft Matter. Royal Society of Chemistry.https://doi.org/10.1039/c3sm51096d 

Goodrich, C. P., Ellenbroek, W. G., &; Liu, A. J. (2013). Stability of jammed packings I: The rigidity length scale. Soft Matter. Royal Society of Chemistry.https://doi.org/10.1039/c3sm51095f 

Vogels, T. P., Froemke, R. C., Doyon, N., Gilson, M., Haas, J. S., Liu, R.,https://doi.org/10.3389/fncir.2013.00119__Sprekeler, H. (2013). Inhibitory synaptic plasticity: Spike timing-dependence and putative network function. Frontiers in Neural Circuits. Frontiers Media.https://doi.org/10.3389/fncir.2013.00119 

Steffen, A., Ladwein, M., Dimchev, G. A., Hein, A., Schwenkmezger, L., Arens, S.,https://doi.org/10.1242/jcs.118232__Rottner, K. (2013). Rac function is crucial for cell migration but is not required for spreading and focal adhesion formation. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.118232 

Koestler, S., Steffen, A., Nemethova, M., Winterhoff, M., Luo, N., Holleboom, J.,https://doi.org/10.1091/mbc.E12-12-0857__Rottner, K. (2013). Ar/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin. Molecular Biology of the Cell. American Society for Biology.https://doi.org/10.1091/mbc.E12-12-0857 

Schur, F. K., Hagen, W., De Marco, A., &; Briggs, J. (2013). Determination of protein structure at 8.5Å resolution using cryo-electron tomography and sub-tomogram averaging. Journal of Structural Biology. Academic Press.https://doi.org/10.1016/j.jsb.2013.10.015 

Petricevic, B., Laengle, J., Singer, J., Sachet, M., Singer, J., Steger, G.,https://doi.org/10.1186/1479-5876-11-307__Bergmann, M. (2013). Trastuzumab mediates antibody-dependent cell-mediated cytotoxicity and phagocytosis to the same extent in both adjuvant and metastatic HE/neu breast cancer patients. Journal of Translational Medicine. Springer Nature.https://doi.org/10.1186/1479-5876-11-307 

O’Brien, J., &; Benková, E. (2013). Cytokinin cross talking during biotic and abiotic stress responses. Frontiers in Plant Science. Frontiers Research Foundation.https://doi.org/10.3389/fpls.2013.00451 

Cuesta, C., Wabnik, K. T., &; Benková, E. (2013). Systems approaches to study root architecture dynamics. Frontiers in Plant Science. Frontiers Research Foundation.https://doi.org/10.3389/fpls.2013.00537 

Galbiati, F., Sinha Roy, D., Simonini, S., Cucinotta, M., Ceccato, L., Cuesta, C.,https://doi.org/10.1111/tpj.12309__Colombo, L. (2013). An integrative model of the control of ovule primordia formation. The Plant Journal for Cell and Molecular Biology. Wiley-Blackwell.https://doi.org/10.1111/tpj.12309 

Péret, B., Middleton, A., French, A., Larrieu, A., Bishopp, A., Njo, M.,https://doi.org/10.1038/msb.2013.43__Bennett, M. (2013). Sequential induction of auxin efflux and influx carriers regulates lateral root emergence. Molecular Systems Biology. Nature Publishing Group.https://doi.org/10.1038/msb.2013.43 

Haller, J. D., &; Schanda, P. (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. Journal of Biomolecular NMR. Springer Nature.https://doi.org/10.1007/s10858-013-9787-x 

Rennella, E., Cutuil, T., Schanda, P., Ayala, I., Gabel, F., Forge, V.,https://doi.org/10.1016/j.jmb.2013.04.028__Brutscher, B. (2013). Oligomeric states along the folding pathways of ;22-microglobulin: Kinetics, thermodynamics, and structure. Journal of Molecular Biology. Elsevier.https://doi.org/10.1016/j.jmb.2013.04.028 

Breen, M., Kemena, C., Vlasov, P., Notredame, C., &; Kondrashov, F. (2013). Breen et al. reply. Nature. Nature Publishing Group.https://doi.org/10.1038/nature12220 

Cheng, B., &; Ngan, A. H. W. (2013). The crystal structures of sintered copper nanoparticles: A molecular dynamics study. International Journal of Plasticity. Elsevier.https://doi.org/10.1016/j.ijplas.2013.01.006 

Cheng, B., &; Ngan, A. H. W. (2013). The sintering and densification behaviour of many copper nanoparticles: A molecular dynamics study. Computational Materials Science. Elsevier.https://doi.org/10.1016/j.commatsci.2013.03.014 

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

Okada, Y., Serbyn, M., Lin, H., Walkup, D., Zhou, W., Dhital, C.,https://doi.org/10.1126/science.1239451__Madhavan, V. (2013). Observation of dirac node formation and mass acquisition in a topological crystalline insulator. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1239451 

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

Zagorsky, B., Reiter, J., Chatterjee, K., &; Nowak, M. (2013). Forgiver triumphs in alternating prisoner’s dilemma . Public Library of Science.https://doi.org/10.1371/journal.pone.0080814.s001 

Aeschbacher, S., Futschik, A., &; Beaumont, M. (2013). Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. . Molecular Ecology. Wiley-Blackwell.https://doi.org/10.1111/mec.12165 

Derelle, R., Kondrashov, F., Arkhipov, V., Corbel, H., Frantz, A., Gasparini, J.,https://doi.org/10.1186/1756-0500-6-310__Baudry, E. (2013). Color differences among feral pigeons (Columba livia) are not attributable to sequence variation in the coding region of the melanocortin-1 receptor gene MR. BMC Research Notes. BioMed Central.https://doi.org/10.1186/1756-0500-6-310 

Palacci, J. A., Sacanna, S., Steinberg, A. P., Pine, D. J., &; Chaikin, P. M. (2013). Living crystals of light-activated colloidal surfers. Science. American Association for the Advancement of Science .https://doi.org/10.1126/science.1230020 

Arkhipov, V., Noah, T., Koschkar, S., &; Kondrashov, F. (2013). Birds of Mys Shmidta, north Chukotka, Russia. Forktail. Oriental Bird Club.

Melet, A., Nikurashin, M., Muller, C. J., Falahat, S., Nycander, J., Timko, P. G.,https://doi.org/10.1002/2013jc009212__Goff, J. A. (2013). Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. American Geophysical Union.https://doi.org/10.1002/2013jc009212 

Muller, C. J. (2013). Impact of convective organization on the response of tropical precipitation extremes to warming. Journal of Climate. American Meteorological Society.https://doi.org/10.1175/jcli-d-12-00655.1 

Palacci, J. A., Sacanna, S., Vatchinsky, A., Chaikin, P. M., &; Pine, D. J. (2013). Photoactivated colloidal dockers for cargo transportation. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja406090s 

Basan, M., Elgeti, J., Hannezo, E. B., Rappel, W., &; Levine, H. (2013). Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1219937110 

Zemach, A., Kim, M. Y., Hsieh, P.-H., Coleman-Derr, D., Eshed-Williams, L., Thao, K.,https://doi.org/10.1016/j.cell.2013.02.033__Zilberman, D. (2013). The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access -containing heterochromatin. Cell. Elsevier.https://doi.org/10.1016/j.cell.2013.02.033 

Rodrigues, J. A., Ruan, R., Nishimura, T., Sharma, M. K., Sharma, R., Ronald, P. C.,https://doi.org/10.1073/pnas.1306164110__Zilberman, D. (2013). Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1306164110 

Cheng, B., &; Ngan, A. H. W. (2013). Thermally induced solid-solid structural transition of copper nanoparticles through direct geometrical conversion. The Journal of Chemical Physics. AIP Publishing.https://doi.org/10.1063/1.4802025 

Cheng, B., &; Ngan, A. H. W. (2013). Crystal plasticity of Cu nanocrystals during collision. Materials Science and Engineering: A. Elsevier.https://doi.org/10.1016/j.msea.2013.07.065 

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

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

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

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

Simmons, K., Prentice, J., Tkadik, G., Homann, J., Yee, H., Palmer, S.,https://doi.org/10.1371/journal.pcbi.1003344__Balasubramanian, V. (2013). Transformation of stimulus correlations by the retina. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1003344 

Hearn, J., Stone, G., Barton, N. H., Lohse, K., &; Bunnefeld, L. (2013). Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies. Dryad.https://doi.org/10.5061/dryad.r3r60 

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

Lutz, A. F., Immerzeel, W. W., Gobiet, A., Pellicciotti, F., &; Bierkens, M. F. P. (2013). Comparison of climate change signals in CMI and CMI multi-model ensembles and implications for Central Asian glaciers. Hydrology and Earth System Sciences. Copernicus GmbH.https://doi.org/10.5194/hess-17-3661-2013 

Ragettli, S., Pellicciotti, F., Bordoy, R., &; Immerzeel, W. W. (2013). Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change. Water Resources Research. American Geophysical Union.https://doi.org/10.1002/wrcr.20450 

Ragettli, S., Cortés, G., McPhee, J., &; Pellicciotti, F. (2013). An evaluation of approaches for modelling hydrological processes in high-elevation, glacierized Andean watersheds. Hydrological Processes. Wiley.https://doi.org/10.1002/hyp.10055 

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

Ely, T., Das, S., Li, W., Kundu, P., Tirosh, E., Cahen, D.,https://doi.org/10.1055/s-0033-1340087__Klajn, R. (2013). Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. Georg Thieme Verlag.https://doi.org/10.1055/s-0033-1340087 

Das, S., Ranjan, P., Maiti, P. S., Singh, G., Leitus, G., &; Klajn, R. (2013). Dual-responsive nanoparticles and their self-assembly. Advanced Materials. Wiley.https://doi.org/10.1002/adma.201201734 

Stephens, G., Mora, T., Tkadik, G., &; Bialek, W. (2013). Statistical thermodynamics of natural images. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.018701 

Weber, M., &; Sixt, M. K. (2013). Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations. In A. Cardona &; E. Ubogu (Eds.), Chemokines (Vol. 1013, pp. 215–226). Totowa, NJ: Humana Press.https://doi.org/10.1007/978-1-62703-426-5_14 

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

Chatterjee, K., Chaubal, S., &; Rubin, S. (2013). How to travel between languages. In 7th International Conference on Language and Automata Theory and Applications (Vol. 7810, pp. 214–225). Berlin, Heidelberg: Springer Nature.https://doi.org/10.1007/978-3-642-37064-9_20 

Edelsbrunner, H. (2013). Persistent homology in image processing. In Graph-Based Representations in Pattern Recognition (Vol. 7877, pp. 182–183). Berlin, Heidelberg: Springer Nature.https://doi.org/10.1007/978-3-642-38221-5_19 

Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1405 

Bansal, K., Koskinen, E., Wies, T., &; Zufferey, D. (2013). Structural Counter Abstraction. (N. Piterman &; S. Smolka, Eds.). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy: Springer.https://doi.org/10.1007/978-3-642-36742-7_5 

Campinho, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.

Zagorsky, B., Reiter, J., Chatterjee, K., &; Nowak, M. (2013). Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0080814 

Reiter, J., Boei, I., Allen, B., Chatterjee, K., &; Nowak, M. (2013). The effect of one additional driver mutation on tumor progression. Evolutionary Applications. Wiley-Blackwell.https://doi.org/10.1111/eva.12020 

Boei, I., Reiter, J., Allen, B., Antal, T., Chatterjee, K., Shah, P.,https://doi.org/10.7554/eLife.00747__Nowak, M. (2013). Evolutionary dynamics of cancer in response to targeted combination therapy. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.00747 

Reiter, J., Boei, I., Chatterjee, K., &; Nowak, M. (2013). TTP: Tool for tumor progression. In Proceedings of 25th Int. Conf. on Computer Aided Verification (Vol. 8044, pp. 101–106). St. Petersburg, Russia: Springer.https://doi.org/10.1007/978-3-642-39799-8_6 

Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., &; Tarrach, T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations (Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer.https://doi.org/10.1007/978-3-642-39799-8_68 

Tragust, S., Mitteregger, B., Barone, V., Konrad, M., Ugelvig, L. V., &; Cremer, S. (2013). Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2012.11.034 

Brázdil, T., Chatterjee, K., Forejt, V., &; Kudera, A. (2013). Trading performance for stability in Markov decision processes. In 28th Annual ACM/IEEE Symposium (pp. 331–340). New Orleans, LA, United States: IEEE.https://doi.org/10.1109/LICS.2013.39 

Chatterjee, K., Kößler, A., &; Schmid, U. (2013). Automated analysis of real-time scheduling using graph games. In Proceedings of the 16th International conference on Hybrid systems: Computation and control (pp. 163–172). Philadelphia, PA, United States: ACM.https://doi.org/10.1145/2461328.2461356 

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

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

Refardt, D., Bergmiller, T., &; Kümmerli, R. (2013). Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society.https://doi.org/10.1098/rspb.2012.3035 

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

Joo, W. J., Sweeney, L. B., Liang, L., &; Luo, L. (2013). Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2013.03.022 

Dziembowski, S., Faust, S., Kolmogorov, V., &; Pietrzak, K. Z. (2013). Proofs of Space. IST Austria.

Woehrmann, M. H., Bray, W. M., Durbin, J. K., Nisam, S. C., Michael, A. K., Glassey, E.,https://doi.org/10.1039/c3mb70245f__Lokey, R. S. (2013). Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. Royal Society of Chemistry.https://doi.org/10.1039/c3mb70245f