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

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 

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 

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 

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 

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 

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