Tkadik, G., Marre, O., Amodei, D., Schneidman, E., Bialek, W., &; Berry, M. (2014). Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1003408 

Stroeymeyt, N., Casillas Perez, B. E., &; Cremer, S. (2014). Organisational immunity in social insects. Current Opinion in Insect Science. Elsevier.https://doi.org/10.1016/j.cois.2014.09.001 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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.

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 

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 

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 

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