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 

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 

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 

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 

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