K. Chatterjee, T. A. Henzinger, J. Otop, and Y. Velner, Quantitative fair simulation games. IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5428
DOI: 10.15479/AT:IST-2014-315-v1-1

S. Cremer, “Gemeinsame Krankheitsabwehr in Ameisengesellschaften,” Zoologie. Deutsche Zoologische Gesellschaft, pp. 23–30, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1887

M. P. Postiglione and S. Hippenmeyer, “Monitoring neurogenesis in the cerebral cortex: an update,” Future Neurology, vol. 9, no. 3. Future Science Group, pp. 323–340, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2175
DOI: 10.2217/fnl.14.18

I. Milenkovi, T. Petrov, and G. Kovács, “Patterns of hippocampal tau pathology differentiate neurodegenerative dementias,” Dementia and Geriatric Cognitive Disorders, vol. 38, no. 5–6. Karger Publishers, pp. 375–388, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1913
DOI: 10.1159/000365548
PMID: 25195847

L. Erdös, “Random matrices, log-gases and Hölder regularity,” in Proceedings of the International Congress of Mathematicians, Seoul, Korea, 2014, vol. 3, pp. 214–236.
LibreCat: https://research-explorer.ista.ac.at/record/1507

R. Seiringer, “Structure of the excitation spectrum for many-body quantum systems,” in Proceeding of the International Congress of Mathematicans, Seoul, South Korea, 2014, vol. 3, pp. 1175–1194.
LibreCat: https://research-explorer.ista.ac.at/record/8044

A. Pentina and C. Lampert, “A PAC-Bayesian bound for Lifelong Learning,” presented at the ICML: International Conference on Machine Learning, Beijing, China, 2014, vol. 32, pp. 991–999.
LibreCat: https://research-explorer.ista.ac.at/record/2160

M. Iglesias Ham, M. Kerber, and C. Uhler, “Sphere packing with limited overlap,” arXiv. .
LibreCat: https://research-explorer.ista.ac.at/record/2012
DOI: 10.48550/arXiv.1401.0468
arXiv: 1401.0468

E. Stahl, T. Martin, F. M. Praetorius, and H. Dietz, “Facile and scalable preparation of pure and dense DNA origami solutions,” Angewandte Chemie International Edition, vol. 126, no. 47. Wiley, pp. 12949–12954, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/14301
DOI: 10.1002/ange.201405991
PMID: 25346175

Y. Guo and R. Seiringer, “On the mass concentration for Bose-Einstein condensates with attractive interactions,” Letters in Mathematical Physics, vol. 104, no. 2. Springer, pp. 141–156, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2281
DOI: 10.1007/s11005-013-0667-9
arXiv: 1301.5682

G. Tkadik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, and M. Berry, “Searching for collective behavior in a large network of sensory neurons,” PLoS Computational Biology, vol. 10, no. 1. Public Library of Science, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2257
DOI: 10.1371/journal.pcbi.1003408

W. Guan, A. K. Michael, M. L. McIntosh, L. Koren-Selfridge, J. P. Scott, and T. B. Clark, “Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of ;1-hydroxyboronate esters,” The Journal of Organic Chemistry, vol. 79, no. 15. American Chemical Society, pp. 7199–7204, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/15161
DOI: 10.1021/jo500773t

B. M. Mognetti, A. Sari, S. Angioletti-Uberti, A. Cacciuto, C. Valeriani, and D. Frenkel, “Living clusters and crystals from low-density suspensions of active colloids,” Physical Review Letters, vol. 111, no. 24. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/10384
DOI: 10.1103/physrevlett.111.245702
PMID: 24483677
arXiv: 1311.4681

A. Schlögl, P. M. Jonas, C. Schmidt-Hieber, and S. J. Guzman, “Stimfit: A fast visualization and analysis environment for cellular neurophysiology,” Biomedical Engineering / Biomedizinische Technik, vol. 58, no. SI-1-Track-G. De Gruyter, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/10396
DOI: 10.1515/bmt-2013-4181
PMID: 24042795

H. Polshyn, R. Budakian, and G. Gu, “Cantilever micro-susceptometry of mesoscopic Bi2212 samples,” in APS March Meeting 2013, Baltimore, MD, United States, 2013, vol. 58, no. 1.
LibreCat: https://research-explorer.ista.ac.at/record/10749

S. Vanneste and J. Friml, “Calcium: The missing link in auxin action,” Plants, vol. 2, no. 4. MDPI, pp. 650–675, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/10895
DOI: 10.3390/plants2040650
PMID: 27137397

Y. Liang, T. M. Franks, M. C. Marchetto, F. H. Gage, and M. Hetzer, “Dynamic association of NU with the human genome,” PLoS Genetics, vol. 9, no. 2. Public Library of Science, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11086
DOI: 10.1371/journal.pgen.1003308
PMID: 23468646

B. H. Toyama et al., “Identification of long-lived proteins reveals exceptional stability of essential cellular structures,” Cell, vol. 154, no. 5. Elsevier, pp. 971–982, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11087
DOI: 10.1016/j.cell.2013.07.037
PMID: 23993091

E. M. Hatch, A. H. Fischer, T. J. Deerinck, and M. Hetzer, “Catastrophic nuclear envelope collapse in cancer cell micronuclei,” Cell, vol. 154, no. 1. Elsevier, pp. 47–60, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11085
DOI: 10.1016/j.cell.2013.06.007
PMID: 23827674

B. M. Regner et al., “Anomalous diffusion of single particles in cytoplasm,” Biophysical Journal, vol. 104, no. 8. Elsevier, pp. 1652–1660, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11088
DOI: 10.1016/j.bpj.2013.01.049
PMID: 23601312

D. Sobral et al., “The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS,” The Astrophysical Journal, vol. 779, no. 2. IOP Publishing, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11520
DOI: 10.1088/0004-637x/779/2/139
arXiv: 1310.3822

P. Dütting, M. H. Henzinger, and I. Weber, “Sponsored search, market equilibria, and the Hungarian Method,” Information Processing Letters, vol. 113, no. 3. Elsevier, pp. 67–73, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11759
DOI: 10.1016/j.ipl.2012.11.006
arXiv: 0912.1934

M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks,” in 40th International Colloquium on Automata, Languages, and Programming, Riga, Latvia, 2013, vol. 7966, pp. 607–619.
LibreCat: https://research-explorer.ista.ac.at/record/11793
DOI: 10.1007/978-3-642-39212-2_53
arXiv: 1512.08147

P. Dütting, M. H. Henzinger, and M. Starnberger, “Valuation compressions in VCG-based combinatorial auctions,” in 9th International Conference on Web and Internet Economics, Cambridge, MA, USA, 2013, vol. 8289, pp. 146–159.
LibreCat: https://research-explorer.ista.ac.at/record/11791
DOI: 10.1007/978-3-642-45046-4_13
arXiv: 1310.3153

W. Dvoák, M. H. Henzinger, and D. P. Williamson, “Maximizing a submodular function with viability constraints,” in 21st Annual European Symposium on Algorithms, Sophia Antipolis, France, 2013, vol. 8125, pp. 409–420.
LibreCat: https://research-explorer.ista.ac.at/record/11792
DOI: 10.1007/978-3-642-40450-4_35
arXiv: 1611.05753

M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization,” in 54th Annual Symposium on Foundations of Computer Science, Berkeley, CA, United States, 2013, pp. 538–547.
LibreCat: https://research-explorer.ista.ac.at/record/11856
DOI: 10.1109/focs.2013.64
arXiv: 1308.0776

L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, and B. Brock, “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, vol. 54, no. 63. International Glaciological Society, pp. 120–130, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/12642
DOI: 10.3189/2013aog63a477

I. Juszak and F. Pellicciotti, “A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability,” Journal of Geophysical Research: Atmospheres, vol. 118, no. 8. American Geophysical Union, pp. 3066–3084, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/12643
DOI: 10.1002/jgrd.50277

M. Heynen, F. Pellicciotti, and M. Carenzo, “Parameter sensitivity of a distributed enhanced temperature-index melt model,” Annals of Glaciology, vol. 54, no. 63. International Glaciological Society, pp. 311–321, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/12641
DOI: 10.3189/2013aog63a537

K. Chatterjee and N. Fijalkow, “Infinite-state games with finitary conditions,” in 22nd EACSL Annual Conference on Computer Science Logic, Torino, Italy, 2013, vol. 23, pp. 181–196.
LibreCat: https://research-explorer.ista.ac.at/record/1374
DOI: 10.4230/LIPIcs.CSL.2013.181

G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, and R. Bloem, “Synthesizing multiple boolean functions using interpolation on a single proof,” in 2013 Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 77–84.
LibreCat: https://research-explorer.ista.ac.at/record/1385
DOI: 10.1109/FMCAD.2013.6679394
arXiv: 1308.4767

U. Boker, D. Kuperberg, O. Kupferman, and M. Skrzypczak, “Nondeterminism in the presence of a diverse or unknown future,” vol. 7966, no. PART 2. Springer, pp. 89–100, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1387
DOI: 10.1007/978-3-642-39212-2_11

T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Positivity for Kac polynomials and DT-invariants of quivers,” Annals of Mathematics, vol. 177, no. 3. Princeton University Press, pp. 1147–1168, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1442
DOI: 10.4007/annals.2013.177.3.8

T. Hausel, “Global topology of the Hitchin system,” in Handbook of Moduli: Volume II, vol. 25, International Press, 2013, pp. 29–70.
LibreCat: https://research-explorer.ista.ac.at/record/1443

M. De Cataldo, T. Hausel, and L. Migliorini, “Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces,” Journal of Singularities, vol. 7. Worldwide Center of Mathematics, pp. 23–38, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1470
DOI: 10.5427/jsing.2013.7c

N. Ares et al., “SiGe quantum dots for fast hole spin Rabi oscillations,” Applied Physics Letters, vol. 103, no. 26. American Institute of Physics, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1760
DOI: 10.1063/1.4858959

N. Ares et al., “Nature of tunable hole g factors in quantum dots,” Physical Review Letters, vol. 110, no. 4. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1759
DOI: 10.1103/PhysRevLett.110.046602

F. Nissen, J. M. Fink, J. Mlynek, A. Wallraff, and J. Keeling, “Collective suppression of linewidths in circuit QED,” Physical Review Letters, vol. 110, no. 20. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1786
DOI: 10.1103/PhysRevLett.110.203602

C. Uhler, G. Raskutti, P. Bühlmann, and B. Yu, “Geometry of the faithfulness assumption in causal inference,” The Annals of Statistics, vol. 41, no. 2. Institute of Mathematical Statistics, pp. 436–463, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2010
DOI: 10.1214/12-AOS1080
arXiv: 1207.0547

C. Uhler, A. Slavkovic, and S. Fienberg, “Privacy-preserving data sharing for genome-wide association studies,” Journal of Privacy and Confidentiality , vol. 5, no. 1. Carnegie Mellon University, pp. 137–166, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2009
DOI: 10.29012/jpc.v5i1.629

S. Dirksen, J. Maas, and J. Van Neerven, “Poisson stochastic integration in Banach spaces,” Electronic Journal of Probability, vol. 18. Institute of Mathematical Statistics, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2117
DOI: 10.1214/EJP.v18-2945 

N. Gigli and J. Maas, “Gromov-Hausdorff convergence of discrete transportation metrics,” SIAM Journal on Mathematical Analysis, vol. 45, no. 2. Society for Industrial and Applied Mathematics , pp. 879–899, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2129
DOI: 10.1137/120886315 

M. Lemeshko, “Manipulating scattering of ultracold atoms with light-induced dissipation,” Frontiers Physics, vol. 1, no. 17. Frontiers Media, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2139
DOI: 10.3389/fphy.2013.00017

T. A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, and A. Sokolova, “Quantitative relaxation of concurrent data structures,” in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language, Rome, Italy, 2013, pp. 317–328.
LibreCat: https://research-explorer.ista.ac.at/record/2181
DOI: 10.1145/2429069.2429109

S. Bhongale, L. Mathey, E. Zhao, S. Yelin, and M. Lemeshko, “Quantum phases of quadrupolar fermi gases in optical lattices,” Physical Review Letters, vol. 110, no. 15. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2204
DOI: 10.1103/PhysRevLett.110.155301

M. Lemeshko et al., “Controllable quantum spin glasses with magnetic impurities embedded in quantum solids,” Physical Review B - Condensed Matter and Materials Physics, vol. 88, no. 1. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2206
DOI: 10.1103/PhysRevB.88.014426

M. Lemeshko, R. Krems, J. Doyle, and S. Kais, “Manipulation of molecules with electromagnetic fields,” Molecular Physics, vol. 111, no. 12–13. Taylor &; Francis, pp. 1648–1682, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2205
DOI: 10.1080/00268976.2013.813595

M. Lemeshko and H. Weimer, “Dissipative binding of atoms by non-conservative forces,” Nature Communications, vol. 4. Nature Publishing Group, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2207
DOI: 10.1038/ncomms3230

T. Biedl, M. Held, and S. Huber, “Reconstructing polygons from embedded straight skeletons,” in 29th European Workshop on Computational Geometry, Braunschweig, Germany, 2013, pp. 95–98.
LibreCat: https://research-explorer.ista.ac.at/record/2210

R. Blanc, A. Gupta, L. Kovács, and B. Kragl, “Tree interpolation in Vampire,” vol. 8312. Springer, pp. 173–181, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2237
DOI: 10.1007/978-3-642-45221-5_13

J. Michaliszyn and J. Otop, “Elementary modal logics over transitive structures,” vol. 23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 563–577, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2243
DOI: 10.4230/LIPIcs.CSL.2013.563

J. Matousek, E. Sedgwick, M. Tancer, and U. Wagner, “Untangling two systems of noncrossing curves,” vol. 8242. Springer, pp. 472–483, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2244
DOI: 10.1007/978-3-319-03841-4_41
arXiv: 1302.6475

J. F. Alwen, S. Krenn, K. Z. Pietrzak, and D. Wichs, “Learning with rounding, revisited: New reduction properties and applications,” vol. 8042, no. 1. Springer, pp. 57–74, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2259
DOI: 10.1007/978-3-642-40041-4_4

E. Kiltz, K. Z. Pietrzak, and M. Szegedy, “Digital signatures with minimal overhead from indifferentiable random invertible functions,” vol. 8042. Springer, pp. 571–588, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2258
DOI: 10.1007/978-3-642-40041-4_31

P. Danowski, D. Goldfarb, V. Schaffner, and W. Seidler, “Linked (Open) Data - Bibliographische Daten im Semantic Web,” VÖB Mitteilungen, vol. 66, no. 3/4. Verein Österreichischer Bibliothekarinnen und Bibliothekare, pp. 559–587, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2256

D. Bernhard, G. Fuchsbauer, and E. Ghadafi, “Efficient signatures of knowledge and DAA in the standard model,” vol. 7954. Springer, pp. 518–533, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2260
DOI: 10.1007/978-3-642-38980-1_33

H. Liang, G. Xiao, H. Yin, S. Hippenmeyer, J. Horowitz, and T. Ghashghaei, “Neural development is dependent on the function of specificity protein 2 in cell cycle progression,” Development, vol. 140, no. 3. Company of Biologists, pp. 552–561, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2264
DOI: 10.1242/dev.085621
PMID: 23293287

Y. Bachrach, P. Kohli, V. Kolmogorov, and M. Zadimoghaddam, “Optimal Coalition Structures in Cooperative Graph Games,” presented at the AAAI: Conference on Artificial Intelligence, Bellevue, WA, United States, 2013, pp. 81–87.
LibreCat: https://research-explorer.ista.ac.at/record/2270
arXiv: 1108.5248

V. Kolmogorov, Reweighted message passing revisited. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2273

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

C. Uhler and S. Wright, “Packing ellipsoids with overlap,” SIAM Review, vol. 55, no. 4. Society for Industrial and Applied Mathematics , pp. 671–706, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2280
DOI: 10.1137/120872309
arXiv: 1204.0235

M. Pickup and S. Barrett, “The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant,” Ecology and Evolution, vol. 3, no. 3. Wiley-Blackwell, pp. 629–639, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2287
DOI: 10.1002/ece3.465

P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, and C.-P. J. Heisenberg, “Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly,” Nature Cell Biology, vol. 15. Nature Publishing Group, pp. 1405–1414, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2282
DOI: 10.1038/ncb2869

P. Campinho and C.-P. J. Heisenberg, “The force and effect of cell proliferation,” EMBO Journal, vol. 32, no. 21. Wiley-Blackwell, pp. 2783–2784, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2286
DOI: 10.1038/emboj.2013.225
PMID: 24097062

T. A. Henzinger, “Quantitative reactive modeling and verification,” Computer Science Research and Development, vol. 28, no. 4. Springer, pp. 331–344, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2289
DOI: 10.1007/s00450-013-0251-7

Y. Boutté et al., “ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation,” PNAS, vol. 110, no. 40. National Academy of Sciences, pp. 16259–16264, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2290
DOI: 10.1073/pnas.1309057110
PMID: 24043780

T. Kazmar, E. Kvon, A. Stark, and C. Lampert, “Drosophila Embryo Stage Annotation using Label Propagation,” presented at the ICCV: International Conference on Computer Vision, Sydney, Australia, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2294
DOI: 10.1109/ICCV.2013.139

V. Sharmanska, N. Quadrianto, and C. Lampert, “Learning to rank using privileged information,” presented at the ICCV: International Conference on Computer Vision, Sydney, Australia, 2013, pp. 825–832.
LibreCat: https://research-explorer.ista.ac.at/record/2293
DOI: 10.1109/ICCV.2013.107

A. Ferrara, G. Fuchsbauer, and B. Warinschi, “Cryptographically enforced RBAC,” presented at the CSF: Computer Security Foundations, New Orleans, LA, United States, 2013, pp. 115–129.
LibreCat: https://research-explorer.ista.ac.at/record/2291
DOI: 10.1109/CSF.2013.15

C. Dragoi, C. Enea, and M. Sighireanu, “Local shape analysis for overlaid data structures,” presented at the SAS: Static Analysis Symposium, Seattle, WA, United States, 2013, vol. 7935, pp. 150–171.
LibreCat: https://research-explorer.ista.ac.at/record/2298
DOI: 10.1007/978-3-642-38856-9_10

Y. Godhal, K. Chatterjee, and T. A. Henzinger, “Synthesis of AMBA AHB from formal specification: A case study,” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6. Springer, pp. 585–601, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2299
DOI: 10.1007/s10009-011-0207-9

R. Seiringer, “Hot topics in cold gases: A mathematical physics perspective,” Japanese Journal of Mathematics, vol. 8, no. 2. Springer, pp. 185–232, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2297
DOI: 10.1007/s11537-013-1264-5
arXiv: 0908.3686

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

A. Giuliani, É. Lieb, and R. Seiringer, “Realization of stripes and slabs in two and three dimensions,” Physical Review B, vol. 88, no. 6. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2300
DOI: 10.1103/PhysRevB.88.064401
arXiv: 1305.5323

R. Seiringer, J. Yngvason, and V. Zagrebnov, “Disordered Bose-Einstein condensates with interaction,” presented at the ICMP: International Congress on Mathematical Physics, 2013, pp. 610–619.
LibreCat: https://research-explorer.ista.ac.at/record/2315
DOI: 10.1142/9789814449243_0063
arXiv: 1209.4046

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

T. A. Henzinger, A. Sezgin, and V. Vafeiadis, “Aspect-oriented linearizability proofs,” vol. 8052. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 242–256, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2328
DOI: 10.1007/978-3-642-40184-8_18

R. Frank, M. Lewin, É. Lieb, and R. Seiringer, “A positive density analogue of the Lieb-Thirring inequality,” Duke Mathematical Journal, vol. 162, no. 3. Duke University Press, pp. 435–495, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2404
DOI: 10.1215/00127094-2019477

R. Frank, É. Lieb, and R. Seiringer, “Symmetry of bipolaron bound states for small Coulomb repulsion,” Communications in Mathematical Physics, vol. 319, no. 2. Springer, pp. 557–573, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2405
DOI: 10.1007/s00220-012-1604-y

P. Grech and R. Seiringer, “The excitation spectrum for weakly interacting Bosons in a trap,” Communications in Mathematical Physics, vol. 322, no. 2. Springer, pp. 559–591, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2408
DOI: 10.1007/s00220-013-1736-8

A. Kupczok and J. P. Bollback, “Probabilistic models for CRISPR spacer content evolution ,” BMC Evolutionary Biology, vol. 13, no. 1. BioMed Central, pp. 54–54, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2412
DOI: 10.1186/1471-2148-13-54

R. A. Fernandes Redondo, A. Kupczok, G. Stift, and J. P. Bollback, “Complete genome sequence of the novel phage MG- infecting bacillus weihenstephanensis,” Genome Announcements, vol. 1, no. 3. American Society for Microbiology, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2410
DOI: 10.1128/genomeA.00216-13

R. Piskac, T. Wies, and D. Zufferey, “Automating separation logic using SMT,” vol. 8044. Springer, pp. 773–789, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2447
DOI: 10.1007/978-3-642-39799-8_54

S. Simon et al., “Defining the selectivity of processes along the auxin response chain: A study using auxin analogues,” New Phytologist, vol. 200, no. 4. Wiley, pp. 1034–1048, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2443
DOI: 10.1111/nph.12437

K. Chatterjee, A. Gaiser, and J. Kretinsky, “Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis,” vol. 8044. Springer, pp. 559–575, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2446
DOI: 10.1007/978-3-642-39799-8_37
arXiv: 1304.5281

K. Chatterjee and J. aCki, “Faster algorithms for Markov decision processes with low treewidth,” vol. 8044. Springer, pp. 543–558, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2444
DOI: 10.1007/978-3-642-39799-8_36
arXiv: 1304.0084

S. Baier and T. D. Browning, “Inhomogeneous cubic congruences and rational points on del Pezzo surfaces,” Journal fur die Reine und Angewandte Mathematik, no. 680. Walter de Gruyter, pp. 69–151, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/245
DOI: 10.1515/crelle.2012.039

I. Sanchez-Romero et al., “Mechanism of protein kinetic stabilization by engineered disulfide crosslinks,” PLoS One, vol. 8, no. 7. Public Library of Science, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2471
DOI: 10.1371/journal.pone.0070013

C. Cazzonelli et al., “Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development,” PLoS One, vol. 8, no. 7. Public Library of Science, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2472
DOI: 10.1371/journal.pone.0070069

M. covanová, M. Sauer, J. Rychtá, J. Friml, J. Petrásek, and E. Zaeímalová, “Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells,” PLoS One, vol. 8, no. 7. Public Library of Science, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2470
DOI: 10.1371/journal.pone.0070050

R. Ando, N. Thuerey, and C. Wojtan, “Highly adaptive liquid simulations on tetrahedral meshes,” ACM Transactions on Graphics, vol. 32, no. 4. ACM, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2466
DOI: 10.1145/2461912.2461982

G. Bernstein and C. Wojtan, “Putting holes in holey geometry: Topology change for arbitrary surfaces,” ACM Transactions on Graphics, vol. 32, no. 4. ACM, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2467
DOI: 10.1145/2461912.2462027

M. Bojsen-Hansen and C. Wojtan, “Liquid surface tracking with error compensation,” ACM Transactions on Graphics, vol. 32, no. 4. ACM, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2468
DOI: 10.1145/2461912.2461991

J.-L. Maître and C.-P. J. Heisenberg, “Three functions of cadherins in cell adhesion,” Current Biology, vol. 23, no. 14. Cell Press, pp. 6–3, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2469
DOI: 10.1016/j.cub.2013.06.019
PMID: 23885883

N. H. Barton, A. Etheridge, J. Kelleher, and A. Véber, “Genetic hitch-hiking in spatially extended populations,” Theoretical Population Biology, vol. 87, no. 8. Elsevier, pp. 75–89, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2473
DOI: 10.1016/j.tpb.2012.12.001

R. De La Bretèche and T. D. Browning, “Density of Châtelet surfaces failing the Hasse principle,” Proceedings of the London Mathematical Society, vol. 108, no. 4. Oxford University Press, pp. 1030–1078, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/250
DOI: 10.1112/plms/pdt060

S. Almagor, U. Boker, and O. Kupferman, “Formalizing and reasoning about quality,” vol. 7966, no. Part 2. Springer, pp. 15–27, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2517
DOI: 10.1007/978-3-642-39212-2_3

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

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

L. Erdös, S. Fournais, and J. Solovej, “Stability and semiclassics in self-generated fields,” Journal of the European Mathematical Society, vol. 15, no. 6. European Mathematical Society, pp. 2093–2113, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2698
DOI: 10.4171/JEMS/416
arXiv: 1105.0506