Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Efficient synthesis for concurrency by semantics-preserving transformations. In: Vol 8044. Springer; 2013:951-967. doi:10.1007/978-3-642-39799-8_68
LibreCat: https://research-explorer.ista.ac.at/record/2445
DOI: 10.1007/978-3-642-39799-8_68

Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. 2013;23(1):76-82. doi:10.1016/j.cub.2012.11.034
LibreCat: https://research-explorer.ista.ac.at/record/2926
DOI: 10.1016/j.cub.2012.11.034

Brázdil T, Chatterjee K, Forejt V, Kudera A. Trading performance for stability in Markov decision processes. In: 28th Annual ACM/IEEE Symposium. IEEE; 2013:331-340. doi:10.1109/LICS.2013.39
LibreCat: https://research-explorer.ista.ac.at/record/2305
DOI: 10.1109/LICS.2013.39
arXiv: 1305.4103

Chatterjee K, Kößler A, Schmid U. Automated analysis of real-time scheduling using graph games. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. ACM; 2013:163-172. doi:10.1145/2461328.2461356
LibreCat: https://research-explorer.ista.ac.at/record/2820
DOI: 10.1145/2461328.2461356

Takhanov R, Kolmogorov V. Inference algorithms for pattern-based CRFs on sequence data. In: ICML’13 Proceedings of the 30th International Conference on International. Vol 28. ML Research Press; 2013:145-153.
LibreCat: https://research-explorer.ista.ac.at/record/2272

Remy E, Baster P, Friml J, Duque P. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling &; Behavior. 2013;8(10). doi:10.4161/psb.25688
LibreCat: https://research-explorer.ista.ac.at/record/2448
DOI: 10.4161/psb.25688
PMID: 23857365

Refardt D, Bergmiller T, Kümmerli R. 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. 2013;280(1759). doi:10.1098/rspb.2012.3035
LibreCat: https://research-explorer.ista.ac.at/record/2853
DOI: 10.1098/rspb.2012.3035
PMID: 23516238

Refardt D, Bergmiller T, Kümmerli R. Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection. 2013. doi:10.5061/dryad.b1q2n
LibreCat: https://research-explorer.ista.ac.at/record/9751
DOI: 10.5061/dryad.b1q2n

Joo WJ, Sweeney LB, Liang L, Luo L. Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. 2013;78(4):673-686. doi:10.1016/j.neuron.2013.03.022
LibreCat: https://research-explorer.ista.ac.at/record/7785
DOI: 10.1016/j.neuron.2013.03.022

Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. Proofs of Space. IST Austria; 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2274

Woehrmann MH, Bray WM, Durbin JK, et al. Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. 2013;9(11). doi:10.1039/c3mb70245f
LibreCat: https://research-explorer.ista.ac.at/record/15162
DOI: 10.1039/c3mb70245f

Sari A, Cacciuto A. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 2012;109(18). doi:10.1103/physrevlett.109.188101
LibreCat: https://research-explorer.ista.ac.at/record/10387
DOI: 10.1103/physrevlett.109.188101
PMID: 23215334
arXiv: 1206.3528

Sari A, Cacciuto A. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 2012;108(11). doi:10.1103/physrevlett.108.118101
LibreCat: https://research-explorer.ista.ac.at/record/10388
DOI: 10.1103/physrevlett.108.118101
PMID: 22540513
arXiv: 1201.0036

Erne B, Graff M, Klemm W, Danzl JG, Leschber G. Bulla in the lung. The Lancet. 2012;380(9849). doi:10.1016/S0140-6736(12)60690-4
LibreCat: https://research-explorer.ista.ac.at/record/1055
DOI: 10.1016/S0140-6736(12)60690-4

Mark M, Haller E, Lauber K, et al. Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. 2012;108(21). doi:10.1103/PhysRevLett.108.215302
LibreCat: https://research-explorer.ista.ac.at/record/1056
DOI: 10.1103/PhysRevLett.108.215302
arXiv: 1201.1008

Polshyn H, Budakian R. Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc. In: APS March Meeting 2012. Vol 57. American Physical Society; 2012.
LibreCat: https://research-explorer.ista.ac.at/record/10750

zur Nedden S, Doney AS, Frenguelli BG. The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In: Masino S, Boison D, eds. Adenosine. 1st ed. New York: Springer; 2012:109-129. doi:10.1007/978-1-4614-3903-5_6
LibreCat: https://research-explorer.ista.ac.at/record/10896
DOI: 10.1007/978-1-4614-3903-5_6

Gomez-Cavazos JS, Hetzer M. Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. 2012;24(6):775-783. doi:10.1016/j.ceb.2012.08.008
LibreCat: https://research-explorer.ista.ac.at/record/11089
DOI: 10.1016/j.ceb.2012.08.008
PMID: 22995343

Vargas JD, Hatch EM, Anderson DJ, Hetzer M. Transient nuclear envelope rupturing during interphase in human cancer cells. Nucleus. 2012;3(1):88-100. doi:10.4161/nucl.18954
LibreCat: https://research-explorer.ista.ac.at/record/11091
DOI: 10.4161/nucl.18954
PMID: 22567193

D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 2012;22(2):446-458. doi:10.1016/j.devcel.2011.11.021
LibreCat: https://research-explorer.ista.ac.at/record/11093
DOI: 10.1016/j.devcel.2011.11.021
PMID: 22264802

Savas JN, Toyama BH, Xu T, Yates JR, Hetzer M. Extremely long-lived nuclear pore proteins in the rat brain. Science. 2012;335(6071):942-942. doi:10.1126/science.1217421
LibreCat: https://research-explorer.ista.ac.at/record/11092
DOI: 10.1126/science.1217421
PMID: 22300851

Hatch EM, Hetzer M. RNP export by nuclear envelope budding. Cell. 2012;149(4):733-735. doi:10.1016/j.cell.2012.04.018
LibreCat: https://research-explorer.ista.ac.at/record/11090
DOI: 10.1016/j.cell.2012.04.018
PMID: 22579277

Waitukaitis SR, Jaeger H. Impact-activated solidification of dense suspensions via dynamic jamming fronts. Nature. 2012;487(7406):205-209. doi:10.1038/nature11187
LibreCat: https://research-explorer.ista.ac.at/record/113
DOI: 10.1038/nature11187

Waitukaitis SR, Jaeger H. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 2012;29(1E):1-1.
LibreCat: https://research-explorer.ista.ac.at/record/114

Dütting P, Henzinger MH, Weber I. Maximizing revenue from strategic recommendations under decaying trust. In: Proceedings of the 21st ACM International Conference on Information and Knowledge Management. Association for Computing Machinery; 2012:2268-2286. doi:10.1145/2396761.2398621
LibreCat: https://research-explorer.ista.ac.at/record/11656
DOI: 10.1145/2396761.2398621

Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 2012;47(15):5729-5734. doi:10.1007/s10853-012-6463-6
LibreCat: https://research-explorer.ista.ac.at/record/11751
DOI: 10.1007/s10853-012-6463-6
arXiv: 1201.6304

Dütting P, Henzinger MH, Starnberger M. Auctions with heterogeneous items and budget limits. In: 8th International Workshop on Internet and Network Economics. Vol 7695. Springer Nature; 2012:44–57. doi:10.1007/978-3-642-35311-6_4
LibreCat: https://research-explorer.ista.ac.at/record/11794
DOI: 10.1007/978-3-642-35311-6_4
arXiv: 1209.6448

Colini-Baldeschi R, Henzinger MH, Leonardi S, Starnberger M. On multiple keyword sponsored search auctions with budgets. In: 39th International Colloquium on Automata, Languages, and Programming. Vol 7392. Springer Nature; 2012:1–12. doi:10.1007/978-3-642-31585-5_1
LibreCat: https://research-explorer.ista.ac.at/record/11795
DOI: 10.1007/978-3-642-31585-5_1

Pieber B, Cantillo D, Kappe CO. Direct arylation of benzene with aryl bromides using hightemperature/highpressure process windows: Expanding the scope of C-H activation chemistry. Chemistry – A European Journal. 2012;18(16):5047-5055. doi:10.1002/chem.201103748
LibreCat: https://research-explorer.ista.ac.at/record/11964
DOI: 10.1002/chem.201103748
PMID: 22396386

Kumar GS, Pieber B, Reddy KR, Kappe CO. Copper-catalyzed formation of C-O bonds by direct ;1-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats. Chemistry - A European Journal. 2012;18(20):6124-6128. doi:10.1002/chem.201200815
LibreCat: https://research-explorer.ista.ac.at/record/11963
DOI: 10.1002/chem.201200815
PMID: 22492535

Ragettli S, Pellicciotti F. Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters. Water Resources Research. 2012;48(3). doi:10.1029/2011wr010559
LibreCat: https://research-explorer.ista.ac.at/record/12644
DOI: 10.1029/2011wr010559

Pellicciotti F, Buergi C, Immerzeel WW, Konz M, Shrestha AB. Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies. Mountain Research and Development. 2012;32(1):39-50. doi:10.1659/mrd-journal-d-11-00092.1
LibreCat: https://research-explorer.ista.ac.at/record/12646
DOI: 10.1659/mrd-journal-d-11-00092.1

Immerzeel WW, Pellicciotti F, Shrestha AB. Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. 2012;32(1):30-38. doi:10.1659/mrd-journal-d-11-00097.1
LibreCat: https://research-explorer.ista.ac.at/record/12647
DOI: 10.1659/mrd-journal-d-11-00097.1

Reid TD, Carenzo M, Pellicciotti F, Brock BW. Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. 2012;117(). doi:10.1029/2012jd017795
LibreCat: https://research-explorer.ista.ac.at/record/12648
DOI: 10.1029/2012jd017795

Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking: A technique to pass information between verifiers. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM; 2012. doi:10.1145/2393596.2393664
LibreCat: https://research-explorer.ista.ac.at/record/1384
DOI: 10.1145/2393596.2393664

De Cataldo M, Hausel T, Migliorini L. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 2012;175(3):1329-1407. doi:10.4007/annals.2012.175.3.7
LibreCat: https://research-explorer.ista.ac.at/record/1472
DOI: 10.4007/annals.2012.175.3.7

Hausel T, Pauly C. Prym varieties of spectral covers. Geometry and Topology. 2012;16(3):1609-1638. doi:10.2140/gt.2012.16.1609
LibreCat: https://research-explorer.ista.ac.at/record/1471
DOI: 10.2140/gt.2012.16.1609

Browning TD, Baier S. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2012;2013(680):1-65. doi:https://doi.org/10.1515/crelle.2012.039
LibreCat: https://research-explorer.ista.ac.at/record/171
DOI: https://doi.org/10.1515/crelle.2012.039

Kicheva A, Cohen M, Briscoe J. Developmental pattern formation: Insights from physics and biology. Science. 2012;338(6104):210-212. doi:10.1126/science.1225182
LibreCat: https://research-explorer.ista.ac.at/record/1725
DOI: 10.1126/science.1225182

Zhang J, Katsaros G, Montalenti F, et al. Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. 2012;109(8). doi:10.1103/PhysRevLett.109.085502
LibreCat: https://research-explorer.ista.ac.at/record/1757
DOI: 10.1103/PhysRevLett.109.085502

Lee E, Jiang X, Aguado R, Katsaros G, Lieber C, De Franceschi S. Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. 2012;109(18). doi:10.1103/PhysRevLett.109.186802
LibreCat: https://research-explorer.ista.ac.at/record/1758
DOI: 10.1103/PhysRevLett.109.186802

Mongillo M, Spathis P, Katsaros G, Gentile P, De Franceschi S. Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. 2012;12(6):3074-3079. doi:10.1021/nl300930m
LibreCat: https://research-explorer.ista.ac.at/record/1756
DOI: 10.1021/nl300930m

Mlynek J, Abdumalikov A, Fink JM, et al. Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 2012;86(5). doi:10.1103/PhysRevA.86.053838
LibreCat: https://research-explorer.ista.ac.at/record/1783
DOI: 10.1103/PhysRevA.86.053838

Pechal M, Berger S, Abdumalikov A, et al. Geometric phase and nonadiabatic effects in an electronic harmonic oscillator. Physical Review Letters. 2012;108(17). doi:10.1103/PhysRevLett.108.170401
LibreCat: https://research-explorer.ista.ac.at/record/1782
DOI: 10.1103/PhysRevLett.108.170401

Eichler C, Lang C, Fink JM, Govenius J, Filipp S, Wallraff A. Observation of entanglement between itinerant microwave photons and a superconducting qubit. Physical Review Letters. 2012;109(24). doi:10.1103/PhysRevLett.109.240501
LibreCat: https://research-explorer.ista.ac.at/record/1784
DOI: 10.1103/PhysRevLett.109.240501

Siegert S, Cabuy E, Scherf B, et al. Transcriptional code and disease map for adult retinal cell types. Nature Neuroscience. 2012;15(3):487-495. doi:10.1038/nn.3032
LibreCat: https://research-explorer.ista.ac.at/record/1801
DOI: 10.1038/nn.3032

Efremov R, Sazanov LA. The coupling mechanism of respiratory complex i - A structural and evolutionary perspective. Biochimica et Biophysica Acta - Bioenergetics. 2012;1817(10):1785-1795. doi:10.1016/j.bbabio.2012.02.015
LibreCat: https://research-explorer.ista.ac.at/record/1976
DOI: 10.1016/j.bbabio.2012.02.015

Efremov R, Sazanov LA. Structure of Escherichia coli OmpF porin from lipidic mesophase. Journal of Structural Biology. 2012;178(3):311-318. doi:10.1016/j.jsb.2012.03.005
LibreCat: https://research-explorer.ista.ac.at/record/1972
DOI: 10.1016/j.jsb.2012.03.005

Schweizer J, Loose M, Bonny M, Kruse K, Mönch I, Schwille P. Geometry sensing by self-organized protein patterns. PNAS. 2012;109(38):15283-15288. doi:10.1073/pnas.1206953109
LibreCat: https://research-explorer.ista.ac.at/record/1987
DOI: 10.1073/pnas.1206953109

Faust S, Pietrzak KZ, Schipper J. Practical leakage-resilient symmetric cryptography. In: 10.1007/978-3-642-33027-8_13__Conference Proceedings CHES 2012. Vol 7428. Springer; 2012:213-232. doi:10.1007/978-3-642-33027-8_13
LibreCat: https://research-explorer.ista.ac.at/record/2048
DOI: 10.1007/978-3-642-33027-8_13

Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. Lapin: An efficient authentication protocol based on ring-LPN. In: 10.1007/978-3-642-34047-5_20__Conference Proceedings FSE 2012. Vol 7549. Springer; 2012:346-365. doi:10.1007/978-3-642-34047-5_20
LibreCat: https://research-explorer.ista.ac.at/record/2049
DOI: 10.1007/978-3-642-34047-5_20

Zhou Q, Zhu H, Huang Q, et al. Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans. BMC Genomics. 2012;13(1). doi:10.1186/1471-2164-13-109
LibreCat: https://research-explorer.ista.ac.at/record/2073
DOI: 10.1186/1471-2164-13-109

Hildebrand K, Bickel B, Alexa M. crdbrd: Shape fabrication by sliding planar slices. Computer Graphics Forum. 2012;31(2pt3):583-592. doi:10.1111/j.1467-8659.2012.03037.x
LibreCat: https://research-explorer.ista.ac.at/record/2079
DOI: 10.1111/j.1467-8659.2012.03037.x

Beeler T, Bickel B, Noris G, et al. Coupled 3D reconstruction of sparse facial hair and skin. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185613
LibreCat: https://research-explorer.ista.ac.at/record/2103
DOI: 10.1145/2185520.2185613

BacHer M, Bickel B, James D, Pfister H. Fabricating articulated characters from skinned meshes. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185543
LibreCat: https://research-explorer.ista.ac.at/record/2101
DOI: 10.1145/2185520.2185543

Bickel B, Kaufmann P, Skouras M, et al. Physical face cloning. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185614
LibreCat: https://research-explorer.ista.ac.at/record/2102
DOI: 10.1145/2185520.2185614

Miguel E, Bradley D, Thomaszewski B, et al. Data-driven estimation of cloth simulation models. In: Vol 31. Wiley-Blackwell; 2012:519-528. doi:10.1111/j.1467-8659.2012.03031.x
LibreCat: https://research-explorer.ista.ac.at/record/2106
DOI: 10.1111/j.1467-8659.2012.03031.x

Otaduy M, Bickel B, Bradley D, Wang H. Data-driven simulation methods in computer graphics: Cloth, tissue and faces. In: ACM; 2012. doi:10.1145/2343483.2343495
LibreCat: https://research-explorer.ista.ac.at/record/2104
DOI: 10.1145/2343483.2343495

Skouras M, Thomaszewski B, Bickel B, Groß M. Computational design of rubber balloons. In: Vol 31. Wiley-Blackwell; 2012:835-844. doi:10.1111/j.1467-8659.2012.03064.x
LibreCat: https://research-explorer.ista.ac.at/record/2105
DOI: 10.1111/j.1467-8659.2012.03064.x

Hairer M, Maas J. A spatial version of the Itô-Stratonovich correction. Annals of Probability. 2012;40(4):1675-1714. doi:10.1214/11-AOP662
LibreCat: https://research-explorer.ista.ac.at/record/2125
DOI: 10.1214/11-AOP662

Erbar M, Maas J. Ricci curvature of finite Markov chains via convexity of the entropy. Archive for Rational Mechanics and Analysis. 2012;206(3):997-1038. doi:10.1007/s00205-012-0554-z
LibreCat: https://research-explorer.ista.ac.at/record/2127
DOI: 10.1007/s00205-012-0554-z

Maas J, Van Neerven J, Portal P. Whitney coverings and the tent spaces T 1,q (;3) for the Gaussian measure. Arkiv för Matematik. 2012;50(2):379-395. doi:10.1007/s11512-010-0143-z
LibreCat: https://research-explorer.ista.ac.at/record/2128
DOI: 10.1007/s11512-010-0143-z

Lemeshko M, Friedrich B. Interaction between polar molecules subject to a far-off-resonant optical field: Entangled dipoles up- or down-holding each other. Molecular Physics. 2012;110(15-16):1873-1881. doi:10.1080/00268976.2012.689868
LibreCat: https://research-explorer.ista.ac.at/record/2203
DOI: 10.1080/00268976.2012.689868

Lemeshko M, Krems R, Weimer H. Nonadiabatic preparation of spin crystals with ultracold polar molecules. Physical Review Letters. 2012;109(3). doi:10.1103/PhysRevLett.109.035301
LibreCat: https://research-explorer.ista.ac.at/record/2201
DOI: 10.1103/PhysRevLett.109.035301

Alyabyshev S, Lemeshko M, Krems R. Sensitive imaging of electromagnetic fields with paramagnetic polar molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 2012;86(1). doi:10.1103/PhysRevA.86.013409
LibreCat: https://research-explorer.ista.ac.at/record/2202
DOI: 10.1103/PhysRevA.86.013409

Liang H, Hippenmeyer S, Ghashghaei H. A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology open. 2012;1(12):1200-1203. doi:10.1242/bio.20122287
LibreCat: https://research-explorer.ista.ac.at/record/2263
DOI: 10.1242/bio.20122287

Preiner R, Jeschke S, Wimmer M. Auto splats: Dynamic point cloud visualization on the GPU. In: Eurographics Association; 2012:139-148. doi:10.2312/EGPGV/EGPGV12/139-148
LibreCat: https://research-explorer.ista.ac.at/record/2267
DOI: 10.2312/EGPGV/EGPGV12/139-148

Tasic B, Miyamichi K, Hippenmeyer S, et al. Extensions of MADM (Mosaic Analysis with Double Markers) in Mice . PLoS One. 2012;7(3). doi:10.1371/journal.pone.0033332
LibreCat: https://research-explorer.ista.ac.at/record/2262
DOI: 10.1371/journal.pone.0033332

Auzinger T, Guthe M, Jeschke S. Analytic anti-aliasing of linear functions on polytopes. In: Vol 31. Wiley-Blackwell; 2012:335-344. doi:http://dx.doi.org/10.1111/j.1467-8659.2012.03012.x
LibreCat: https://research-explorer.ista.ac.at/record/2268
DOI: http://dx.doi.org/10.1111/j.1467-8659.2012.03012.x

Henzinger TA, Mateescu M. The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics. 2012;10(2):310-322. doi:10.1109/TCBB.2012.91
LibreCat: https://research-explorer.ista.ac.at/record/2302
DOI: 10.1109/TCBB.2012.91
PMID: 22778152

Dixon Salazar T, Silhavy J, Udpa N, et al. Exome sequencing can improve diagnosis and alter patient management. Science Translational Medicine. 2012;4(138). doi:10.1126/scitranslmed.3003544
LibreCat: https://research-explorer.ista.ac.at/record/2313
DOI: 10.1126/scitranslmed.3003544

Novarino G, El Fishawy P, Kayserili H, et al. Mutations in BCKD-kinase lead to a potentially treatable form of autism with epilepsy. Science. 2012;338(6105):394-397. doi:10.1126/science.1224631
LibreCat: https://research-explorer.ista.ac.at/record/2314
DOI: 10.1126/science.1224631

Seiringer R. Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory. 2012;2(3):321-328. doi:10.4171/JST/31
LibreCat: https://research-explorer.ista.ac.at/record/2318
DOI: 10.4171/JST/31

Frank R, Hainzl C, Seiringer R, Solovej J. Microscopic derivation of the Ginzburg-Landau model. In: World Scientific Publishing; 2012:575-583. doi:10.1142/9789814449243_0060
LibreCat: https://research-explorer.ista.ac.at/record/2317
DOI: 10.1142/9789814449243_0060

Frank R, Lieb É, Seiringer R, Thomas L. Ground state properties of multi-polaron systems. In: World Scientific Publishing; 2012:477-485. doi:10.1142/9789814449243_0045
LibreCat: https://research-explorer.ista.ac.at/record/2316
DOI: 10.1142/9789814449243_0045

De La Bretèche R, Browning TD, Peyre E. On Manin’s conjecture for a family of Châtelet surfaces. Annals of Mathematics. 2012;175(1):297-343. doi:10.4007/annals.2012.175.1.8
LibreCat: https://research-explorer.ista.ac.at/record/237
DOI: 10.4007/annals.2012.175.1.8

Baier S, Browning TD. Inhomogeneous quadratic congruences. Functiones et Approximatio, Commentarii Mathematici. 2012;47(2):267-286. doi:10.7169/facm/2012.47.2.9
LibreCat: https://research-explorer.ista.ac.at/record/238
DOI: 10.7169/facm/2012.47.2.9

Seiringer R. Cold quantum gases and bose einstein condensation. In: Rivasseau V, Seiringer R, Solovej J, Spencer T, eds. Quantum Many Body Systems. Vol 2051. Springer; 2012:55-92. doi:10.1007/978-3-642-29511-9_2
LibreCat: https://research-explorer.ista.ac.at/record/2399
DOI: 10.1007/978-3-642-29511-9_2

Freiji A, Hainzl C, Seiringer R. The gap equation for spin-polarized fermions. Journal of Mathematical Physics. 2012;53(1). doi:10.1063/1.3670747
LibreCat: https://research-explorer.ista.ac.at/record/2394
DOI: 10.1063/1.3670747

Frank R, Hainzl C, Seiringer R, Solovej J. Microscopic derivation of Ginzburg-Landau theory. Journal of the American Mathematical Society. 2012;25(3):667-713. doi:10.1090/S0894-0347-2012-00735-8
LibreCat: https://research-explorer.ista.ac.at/record/2395
DOI: 10.1090/S0894-0347-2012-00735-8

Landon B, Seiringer R. The scattering length at positive temperature. Letters in Mathematical Physics. 2012;100(3):237-243. doi:10.1007/s11005-012-0566-5
LibreCat: https://research-explorer.ista.ac.at/record/2396
DOI: 10.1007/s11005-012-0566-5

Jaksi V, Ogata Y, Pillet C, Seiringer R. Quantum hypothesis testing and non-equilibrium statistical mechanics. Reviews in Mathematical Physics. 2012;24(6). doi:10.1142/S0129055X12300026
LibreCat: https://research-explorer.ista.ac.at/record/2398
DOI: 10.1142/S0129055X12300026

Hainzl C, Seiringer R. Low density limit of BCS theory and Bose-Einstein condensation of Fermion pairs. Letters in Mathematical Physics. 2012;100(2):119-138. doi:10.1007/s11005-011-0535-4
LibreCat: https://research-explorer.ista.ac.at/record/2397
DOI: 10.1007/s11005-011-0535-4

Browning TD, Valckenborgh KV. Sums of three squareful numbers. Experimental Mathematics. 2012;21(2):204-211. doi:10.1080/10586458.2011.605733
LibreCat: https://research-explorer.ista.ac.at/record/240
DOI: 10.1080/10586458.2011.605733

Frank R, Lieb É, Seiringer R. Binding of polarons and atoms at threshold. Communications in Mathematical Physics. 2012;313(2):405-424. doi:10.1007/s00220-012-1436-9
LibreCat: https://research-explorer.ista.ac.at/record/2400
DOI: 10.1007/s00220-012-1436-9

Seiringer R, Yngvason J, Zagrebnov V. Disordered Bose-Einstein condensates with interaction in one dimension. Journal of Statistical Mechanics Theory and Experiment. 2012;2012(11). doi:10.1088/1742-5468/2012/11/P11007
LibreCat: https://research-explorer.ista.ac.at/record/2403
DOI: 10.1088/1742-5468/2012/11/P11007

Frank R, Seiringer R. Lieb-Thirring inequality for a model of particles with point interactions. Journal of Mathematical Physics. 2012;53(9). doi:10.1063/1.3697416
LibreCat: https://research-explorer.ista.ac.at/record/2402
DOI: 10.1063/1.3697416

Lieb É, Seiringer R. Further implications of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. 2012;149(1):86-91. doi:10.1007/s10955-012-0585-8
LibreCat: https://research-explorer.ista.ac.at/record/2401
DOI: 10.1007/s10955-012-0585-8

Ebersberger I, De Matos Simoes R, Kupczok A, et al. A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution. 2012;29(5):1319-1334. doi:10.1093/molbev/msr285
LibreCat: https://research-explorer.ista.ac.at/record/2411
DOI: 10.1093/molbev/msr285

De La Bretèche R, Browning TD. Binary forms as sums of two squares and Châtelet surfaces. Israel Journal of Mathematics. 2012;191(2):973-1012. doi:10.1007/s11856-012-0019-y
LibreCat: https://research-explorer.ista.ac.at/record/241
DOI: 10.1007/s11856-012-0019-y

Baier S, Browning TD, Marasingha G, Zhao L. Averages of shifted convolutions of d3 (n). Proceedings of the Edinburgh Mathematical Society. 2012;55(3):551-576. doi:10.1017/S001309151100037X
LibreCat: https://research-explorer.ista.ac.at/record/242
DOI: 10.1017/S001309151100037X

Browning TD, Heath Brown R. Quadratic polynomials represented by norm forms. Geometric and Functional Analysis. 2012;22(5):1124-1190. doi:10.1007/s00039-012-0168-5
LibreCat: https://research-explorer.ista.ac.at/record/243
DOI: 10.1007/s00039-012-0168-5

cadek M, Krcál M, Matousek J, Sergeraert F, Vokínek L, Wagner U. Computing all maps into a sphere. In: SIAM; 2012:1-10.
LibreCat: https://research-explorer.ista.ac.at/record/2440

Matousek J, Tancer M, Wagner U. A geometric proof of the colored Tverberg theorem. Discrete &; Computational Geometry. 2012;47(2):245-265. doi:10.1007/s00454-011-9368-2
LibreCat: https://research-explorer.ista.ac.at/record/2438
DOI: 10.1007/s00454-011-9368-2

Browning TD, Haynes A. Incomplete kloosterman sums and multiplicative inverses in short intervals. International Journal of Number Theory. 2012;9(2):481-486. doi: https://doi.org/10.1142/S1793042112501448
LibreCat: https://research-explorer.ista.ac.at/record/244
DOI:  https://doi.org/10.1142/S1793042112501448

Chen D, Morin P, Wagner U. Absolute approximation of Tukey depth: Theory and experiments. Computational Geometry: Theory and Applications. 2012;46(5):566-573. doi:10.1016/j.comgeo.2012.03.001
LibreCat: https://research-explorer.ista.ac.at/record/2439
DOI: 10.1016/j.comgeo.2012.03.001

Gundert A, Wagner U. On Laplacians of random complexes. In: ACM; 2012:151-160. doi:10.1145/2261250.2261272
LibreCat: https://research-explorer.ista.ac.at/record/2441
DOI: 10.1145/2261250.2261272

Feraru E, Feraru M, Asaoka R, et al. BE/Rabb regulates trans-Golgi network-to-plasma membrane protein trafficking in Arabidopsis. Plant Cell. 2012;24(7):3074-3086. doi:10.1105/tpc.112.098152
LibreCat: https://research-explorer.ista.ac.at/record/2453
DOI: 10.1105/tpc.112.098152

Beeckman T, Friml J. Plant developmental biologists meet on stairways in Matera. Development. 2012;139(20):3677-3682. doi:10.1242/dev.080861
LibreCat: https://research-explorer.ista.ac.at/record/2456
DOI: 10.1242/dev.080861

Zwiewka M, Friml J. Fluorescence imaging-based forward genetic screens to identify trafficking regulators in plants. Frontiers in Plant Science. 2012;3(May). doi:10.3389/fpls.2012.00097
LibreCat: https://research-explorer.ista.ac.at/record/2459
DOI: 10.3389/fpls.2012.00097