Ragettli S, Cortés G, McPhee J, Pellicciotti F. 2013. An evaluation of approaches for modelling hydrological processes in high-elevation, glacierized Andean watersheds. Hydrological Processes. 28(23), 5674–5695.
LibreCat: https://research-explorer.ista.ac.at/record/12633
DOI: 10.1002/hyp.10055

Feng X, Zilberman D, Dickinson H. 2013. A conversation across generations: Soma-germ cell crosstalk in plants. Developmental Cell. 24(3), 215–225.
LibreCat: https://research-explorer.ista.ac.at/record/9520
DOI: 10.1016/j.devcel.2013.01.014
PMID: 23410937

Ely T, Das S, Li W, Kundu P, Tirosh E, Cahen D, Vilan A, Klajn R. 2013. Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. 24(18), 2370–2374.
LibreCat: https://research-explorer.ista.ac.at/record/13405
DOI: 10.1055/s-0033-1340087

Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. 2013. Dual-responsive nanoparticles and their self-assembly. Advanced Materials. 25(3), 422–426.
LibreCat: https://research-explorer.ista.ac.at/record/13406
DOI: 10.1002/adma.201201734
PMID: 22933327

Stephens G, Mora T, Tkadik G, Bialek W. 2013. Statistical thermodynamics of natural images. Physical Review Letters. 110(1), 018701.
LibreCat: https://research-explorer.ista.ac.at/record/2914
DOI: 10.1103/PhysRevLett.110.018701
arXiv: 0806.2694

Weber M, Sixt MK. 2013.Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations. In: Chemokines. Methods in Molecular Biology, vol. 1013, 215–226.
LibreCat: https://research-explorer.ista.ac.at/record/10900
DOI: 10.1007/978-1-62703-426-5_14
PMID: 23625502

Dragoi C, Gupta A, Henzinger TA. 2013.Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. vol. 8044, 174–190.
LibreCat: https://research-explorer.ista.ac.at/record/5747
DOI: 10.1007/978-3-642-39799-8_11

Chatterjee K, Chaubal S, Rubin S. 2013. How to travel between languages. 7th International Conference on Language and Automata Theory and Applications. LATA: Conference on Language and Automata Theory and ApplicationsLNCS, LNCS, vol. 7810, 214–225.
LibreCat: https://research-explorer.ista.ac.at/record/10902
DOI: 10.1007/978-3-642-37064-9_20

Edelsbrunner H. 2013. Persistent homology in image processing. Graph-Based Representations in Pattern Recognition. GbRPR: Graph-based Representations in Pattern RecognitionLNCS vol. 7877, 182–183.
LibreCat: https://research-explorer.ista.ac.at/record/10897
DOI: 10.1007/978-3-642-38221-5_19

Zufferey D. 2013. Analysis of dynamic message passing programs. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1405
DOI: 10.15479/at:ista:1405

Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction (eds. N. Piterman &; S. Smolka). 7795, 62–77.
LibreCat: https://research-explorer.ista.ac.at/record/2847
DOI: 10.1007/978-3-642-36742-7_5

Campinho P. 2013. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1406

Zagorsky B, Reiter J, Chatterjee K, Nowak M. 2013. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 8(12), e80814.
LibreCat: https://research-explorer.ista.ac.at/record/2247
DOI: 10.1371/journal.pone.0080814

Reiter J, Boei I, Allen B, Chatterjee K, Nowak M. 2013. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 6(1), 34–45.
LibreCat: https://research-explorer.ista.ac.at/record/2858
DOI: 10.1111/eva.12020

Boei I, Reiter J, Allen B, Antal T, Chatterjee K, Shah P, Moon Y, Yaqubie A, Kelly N, Le D, Lipson E, Chapman P, Diaz L, Vogelstein B, Nowak M. 2013. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2, e00747.
LibreCat: https://research-explorer.ista.ac.at/record/2816
DOI: 10.7554/eLife.00747

Reiter J, Boei I, Chatterjee K, Nowak M. 2013. TTP: Tool for tumor progression. Proceedings of 25th Int. Conf. on Computer Aided Verification. CAV: Computer Aided VerificationLecture Notes in Computer Science, LNCS, vol. 8044, 101–106.
LibreCat: https://research-explorer.ista.ac.at/record/2000
DOI: 10.1007/978-3-642-39799-8_6
arXiv: 1303.5251

Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2013. Efficient synthesis for concurrency by semantics-preserving transformations. CAV: Computer Aided Verification, LNCS, vol. 8044, 951–967.
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. 2013. Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. 23(1), 76–82.
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. 2013. Trading performance for stability in Markov decision processes. 28th Annual ACM/IEEE Symposium. LICS: Logic in Computer Science, 331–340.
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. 2013. Automated analysis of real-time scheduling using graph games. Proceedings of the 16th International conference on Hybrid systems: Computation and control. HSCC: Hybrid Systems - Computation and Control, 163–172.
LibreCat: https://research-explorer.ista.ac.at/record/2820
DOI: 10.1145/2461328.2461356

Takhanov R, Kolmogorov V. 2013. Inference algorithms for pattern-based CRFs on sequence data. ICML’13 Proceedings of the 30th International Conference on International. ICML: International Conference on Machine Learning, JMLR, vol. 28, 145–153.
LibreCat: https://research-explorer.ista.ac.at/record/2272

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

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

Refardt D, Bergmiller T, Kümmerli R. 2013. Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection, Dryad,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. 2013. Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. 78(4), 673–686.
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. 2013. Proofs of Space, IST Austria,p.
LibreCat: https://research-explorer.ista.ac.at/record/2274

Woehrmann MH, Bray WM, Durbin JK, Nisam SC, Michael AK, Glassey E, Stuart JM, Lokey RS. 2013. Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. 9(11), 2604.
LibreCat: https://research-explorer.ista.ac.at/record/15162
DOI: 10.1039/c3mb70245f

Sari A, Cacciuto A. 2012. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 109(18), 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. 2012. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 108(11), 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. 2012. Bulla in the lung. The Lancet. 380(9849).
LibreCat: https://research-explorer.ista.ac.at/record/1055
DOI: 10.1016/S0140-6736(12)60690-4

Mark M, Haller E, Lauber K, Danzl JG, Janisch A, Büchler H, Daley A, Nägerl H. 2012. Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. 108(21).
LibreCat: https://research-explorer.ista.ac.at/record/1056
DOI: 10.1103/PhysRevLett.108.215302
arXiv: 1201.1008

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

zur Nedden S, Doney AS, Frenguelli BG. 2012.The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In: Adenosine. , 109–129.
LibreCat: https://research-explorer.ista.ac.at/record/10896
DOI: 10.1007/978-1-4614-3903-5_6

Gomez-Cavazos JS, Hetzer M. 2012. Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. 24(6), 775–783.
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. 2012. Transient nuclear envelope rupturing during interphase in human cancer cells. Nucleus. 3(1), 88–100.
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. 2012. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 22(2), 446–458.
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. 2012. Extremely long-lived nuclear pore proteins in the rat brain. Science. 335(6071), 942–942.
LibreCat: https://research-explorer.ista.ac.at/record/11092
DOI: 10.1126/science.1217421
PMID: 22300851

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

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

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

Dütting P, Henzinger MH, Weber I. 2012. Maximizing revenue from strategic recommendations under decaying trust. Proceedings of the 21st ACM international conference on Information and knowledge management. CIKM: Conference on Information and Knowledge Management, 2268–2286.
LibreCat: https://research-explorer.ista.ac.at/record/11656
DOI: 10.1145/2396761.2398621

Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. 2012. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 47(15), 5729–5734.
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. 2012. Auctions with heterogeneous items and budget limits. 8th International Workshop on Internet and Network Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 7695, 44–57.
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. 2012. On multiple keyword sponsored search auctions with budgets. 39th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 7392, 1–12.
LibreCat: https://research-explorer.ista.ac.at/record/11795
DOI: 10.1007/978-3-642-31585-5_1

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

Kumar GS, Pieber B, Reddy KR, Kappe CO. 2012. 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. 18(20), 6124–6128.
LibreCat: https://research-explorer.ista.ac.at/record/11963
DOI: 10.1002/chem.201200815
PMID: 22492535

Ragettli S, Pellicciotti F. 2012. 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. 48(3), 509.
LibreCat: https://research-explorer.ista.ac.at/record/12644
DOI: 10.1029/2011wr010559

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

Immerzeel WW, Pellicciotti F, Shrestha AB. 2012. Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. 32(1), 30–38.
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. 2012. Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. 117(), 105.
LibreCat: https://research-explorer.ista.ac.at/record/12648
DOI: 10.1029/2012jd017795

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

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

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

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

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

Zhang J, Katsaros G, Montalenti F, Scopece D, Rezaev R, Mickel C, Rellinghaus B, Miglio L, De Franceschi S, Rastelli A, Schmidt O. 2012. Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. 109(8).
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. 2012. Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. 109(18).
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. 2012. Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. 12(6), 3074–3079.
LibreCat: https://research-explorer.ista.ac.at/record/1756
DOI: 10.1021/nl300930m

Mlynek J, Abdumalikov A, Fink JM, Steffen L, Baur M, Lang C, Van Loo A, Wallraff A. 2012. Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 86(5).
LibreCat: https://research-explorer.ista.ac.at/record/1783
DOI: 10.1103/PhysRevA.86.053838

Pechal M, Berger S, Abdumalikov A, Fink JM, Mlynek J, Steffen L, Wallraff A, Filipp S. 2012. Geometric phase and nonadiabatic effects in an electronic harmonic oscillator. Physical Review Letters. 108(17).
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. 2012. Observation of entanglement between itinerant microwave photons and a superconducting qubit. Physical Review Letters. 109(24).
LibreCat: https://research-explorer.ista.ac.at/record/1784
DOI: 10.1103/PhysRevLett.109.240501

Siegert S, Cabuy E, Scherf B, Kohler H, Panda S, Le Y, Fehling H, Gaidatzis D, Stadler M, Roska B. 2012. Transcriptional code and disease map for adult retinal cell types. Nature Neuroscience. 15(3), 487–495.
LibreCat: https://research-explorer.ista.ac.at/record/1801
DOI: 10.1038/nn.3032

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

Efremov R, Sazanov LA. 2012. Structure of Escherichia coli OmpF porin from lipidic mesophase. Journal of Structural Biology. 178(3), 311–318.
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. 2012. Geometry sensing by self-organized protein patterns. PNAS. 109(38), 15283–15288.
LibreCat: https://research-explorer.ista.ac.at/record/1987
DOI: 10.1073/pnas.1206953109

Faust S, Pietrzak KZ, Schipper J. 2012. Practical leakage-resilient symmetric cryptography.  Conference proceedings CHES 2012. CHES: Cryptographic Hardware and Embedded Systems, LNCS, vol. 7428, 213–232.
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. 2012. Lapin: An efficient authentication protocol based on ring-LPN.  Conference proceedings FSE 2012. FSE: Fast Software Encryption, LNCS, vol. 7549, 346–365.
LibreCat: https://research-explorer.ista.ac.at/record/2049
DOI: 10.1007/978-3-642-34047-5_20

Zhou Q, Zhu H, Huang Q, Zhao L, Zhang G, Roy S, Vicoso B, Xuan Z, Ruan J, Zhang Y, Zhao R, Ye C, Zhang X, Wang J, Wang W, Bachtrog D. 2012. Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans. BMC Genomics. 13(1).
LibreCat: https://research-explorer.ista.ac.at/record/2073
DOI: 10.1186/1471-2164-13-109

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

Beeler T, Bickel B, Noris G, Beardsley P, Marschner S, Sumner R, Groß M. 2012. Coupled 3D reconstruction of sparse facial hair and skin. ACM Transactions on Graphics. 31(4).
LibreCat: https://research-explorer.ista.ac.at/record/2103
DOI: 10.1145/2185520.2185613

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

Bickel B, Kaufmann P, Skouras M, Thomaszewski B, Bradley D, Beeler T, Jackson P, Marschner S, Matusik W, Groß M. 2012. Physical face cloning. ACM Transactions on Graphics. 31(4).
LibreCat: https://research-explorer.ista.ac.at/record/2102
DOI: 10.1145/2185520.2185614

Miguel E, Bradley D, Thomaszewski B, Bickel B, Matusik W, Otaduy M, Marschner S. 2012. Data-driven estimation of cloth simulation models. Computer Graphics Forum vol. 31, 519–528.
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. 2012. Data-driven simulation methods in computer graphics: Cloth, tissue and faces. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques.
LibreCat: https://research-explorer.ista.ac.at/record/2104
DOI: 10.1145/2343483.2343495

Skouras M, Thomaszewski B, Bickel B, Groß M. 2012. Computational design of rubber balloons. EUROGRAPHICS: European Association for Computer Graphics vol. 31, 835–844.
LibreCat: https://research-explorer.ista.ac.at/record/2105
DOI: 10.1111/j.1467-8659.2012.03064.x

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

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

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

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

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

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

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

Preiner R, Jeschke S, Wimmer M. 2012. Auto splats: Dynamic point cloud visualization on the GPU. EGPGV: Eurographics Symposium on Parallel Graphics and Visualization, 139–148.
LibreCat: https://research-explorer.ista.ac.at/record/2267
DOI: 10.2312/EGPGV/EGPGV12/139-148

Tasic B, Miyamichi K, Hippenmeyer S, Dani V, Zeng H, Joo W, Zong H, Chen Tsai Y, Luo L. 2012. Extensions of MADM (Mosaic Analysis with Double Markers) in Mice . PLoS One. 7(3).
LibreCat: https://research-explorer.ista.ac.at/record/2262
DOI: 10.1371/journal.pone.0033332

Auzinger T, Guthe M, Jeschke S. 2012. Analytic anti-aliasing of linear functions on polytopes. EUROGRAPHICS: European Association for Computer Graphics, Computer Graphics Forum, vol. 31, 335–344.
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. 2012. The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics. 10(2), 310–322.
LibreCat: https://research-explorer.ista.ac.at/record/2302
DOI: 10.1109/TCBB.2012.91
PMID: 22778152

Dixon Salazar T, Silhavy J, Udpa N, Schroth J, Bielas S, Schaffer A, Olvera J, Bafna V, Zaki M, Abdel Salam G, Mansour L, Selim L, Abdel Hadi S, Marzouki N, Ben Omran T, Al Saana N, Sönmez F, Celep F, Azam M, Hill K, Collazo A, Fenstermaker A, Novarino G, Akizu N, Garimella K, Sougnez C, Russ C, Gabriel S, Gleeson J. 2012. Exome sequencing can improve diagnosis and alter patient management. Science Translational Medicine. 4(138).
LibreCat: https://research-explorer.ista.ac.at/record/2313
DOI: 10.1126/scitranslmed.3003544

Novarino G, El Fishawy P, Kayserili H, Meguid N, Scott E, Schroth J, Silhavy J, Kara M, Khalil R, Ben Omran T, Ercan Sencicek A, Hashish A, Sanders S, Gupta A, Hashem H, Matern D, Gabriel S, Sweetman L, Rahimi Y, Harris R, State M, Gleeson J. 2012. Mutations in BCKD-kinase lead to a potentially treatable form of autism with epilepsy. Science. 338(6105), 394–397.
LibreCat: https://research-explorer.ista.ac.at/record/2314
DOI: 10.1126/science.1224631

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

Frank R, Hainzl C, Seiringer R, Solovej J. 2012. Microscopic derivation of the Ginzburg-Landau model. ICMP: International Congress on Mathematical Physics, 575–583.
LibreCat: https://research-explorer.ista.ac.at/record/2317
DOI: 10.1142/9789814449243_0060

Frank R, Lieb É, Seiringer R, Thomas L. 2012. Ground state properties of multi-polaron systems. ICMP: International Congress on Mathematical Physics, 477–485.
LibreCat: https://research-explorer.ista.ac.at/record/2316
DOI: 10.1142/9789814449243_0045

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

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

Seiringer R. 2012.Cold quantum gases and bose einstein condensation. In: Quantum Many Body Systems. Lecture Notes in Mathematics, vol. 2051, 55–92.
LibreCat: https://research-explorer.ista.ac.at/record/2399
DOI: 10.1007/978-3-642-29511-9_2

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

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

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

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

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

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