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

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

Persistent homology in image processing
H. Edelsbrunner, in:, Graph-Based Representations in Pattern Recognition, Springer Nature, Berlin, Heidelberg, 2013, pp. 182–183.
LibreCat: https://research-explorer.ista.ac.at/record/10897
DOI: 10.1007/978-3-642-38221-5_19

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

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

Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading, Institute of Science and Technology Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1406

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

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

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

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

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

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

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

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

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

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

Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection
D. Refardt, T. Bergmiller, R. Kümmerli, Proceedings of the Royal Society of London Series B Biological Sciences 280 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2853
DOI: 10.1098/rspb.2012.3035
PMID: 23516238

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

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

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

Large-scale cytological profiling for functional analysis of bioactive compounds
M.H. Woehrmann, W.M. Bray, J.K. Durbin, S.C. Nisam, A.K. Michael, E. Glassey, J.M. Stuart, R.S. Lokey, Molecular BioSystems 9 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/15162
DOI: 10.1039/c3mb70245f

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

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

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

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

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

The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books
S. zur Nedden, A.S. Doney, B.G. Frenguelli, in:, S. Masino, D. Boison (Eds.), Adenosine, 1st ed., Springer, New York, 2012, pp. 109–129.
LibreCat: https://research-explorer.ista.ac.at/record/10896
DOI: 10.1007/978-1-4614-3903-5_6

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

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

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

Extremely long-lived nuclear pore proteins in the rat brain
J.N. Savas, B.H. Toyama, T. Xu, J.R. Yates, M. Hetzer, Science 335 (2012) 942–942.
LibreCat: https://research-explorer.ista.ac.at/record/11092
DOI: 10.1126/science.1217421
PMID: 22300851

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

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

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

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

Thermoelectric properties of Ho-doped Bi0.88S.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
LibreCat: https://research-explorer.ista.ac.at/record/11751
DOI: 10.1007/s10853-012-6463-6
arXiv: 1201.6304

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

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

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

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
G.S. Kumar, B. Pieber, K.R. Reddy, C.O. Kappe, Chemistry - A European Journal 18 (2012) 6124–6128.
LibreCat: https://research-explorer.ista.ac.at/record/11963
DOI: 10.1002/chem.201200815
PMID: 22492535

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

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

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

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

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

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

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

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

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

Monolithic growth of ultrathin Ge nanowires on Si(001) 
J. Zhang, G. Katsaros, F. Montalenti, D. Scopece, R. Rezaev, C. Mickel, B. Rellinghaus, L. Miglio, S. De Franceschi, A. Rastelli, O. Schmidt, Physical Review Letters 109 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/1757
DOI: 10.1103/PhysRevLett.109.085502

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

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

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

Geometric phase and nonadiabatic effects in an electronic harmonic oscillator
M. Pechal, S. Berger, A. Abdumalikov, J.M. Fink, J. Mlynek, L. Steffen, A. Wallraff, S. Filipp, Physical Review Letters 108 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/1782
DOI: 10.1103/PhysRevLett.108.170401

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

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

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

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

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

Practical leakage-resilient symmetric cryptography
S. Faust, K.Z. Pietrzak, J. Schipper, in:,  Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.
LibreCat: https://research-explorer.ista.ac.at/record/2048
DOI: 10.1007/978-3-642-33027-8_13

Lapin: An efficient authentication protocol based on ring-LPN
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, K.Z. Pietrzak, in:,  Conference Proceedings FSE 2012, Springer, 2012, pp. 346–365.
LibreCat: https://research-explorer.ista.ac.at/record/2049
DOI: 10.1007/978-3-642-34047-5_20

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

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

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

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

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

Data-driven estimation of cloth simulation models
E. Miguel, D. Bradley, B. Thomaszewski, B. Bickel, W. Matusik, M. Otaduy, S. Marschner, in:, Wiley-Blackwell, 2012, pp. 519–528.
LibreCat: https://research-explorer.ista.ac.at/record/2106
DOI: 10.1111/j.1467-8659.2012.03031.x

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Cold quantum gases and bose einstein condensation
R. Seiringer, in:, V. Rivasseau, R. Seiringer, J. Solovej, T. Spencer (Eds.), Quantum Many Body Systems, Springer, 2012, pp. 55–92.
LibreCat: https://research-explorer.ista.ac.at/record/2399
DOI: 10.1007/978-3-642-29511-9_2

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

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

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

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

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

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

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

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

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

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

A consistent phylogenetic backbone for the fungi
I. Ebersberger, R. De Matos Simoes, A. Kupczok, M. Gube, E. Kothe, K. Voigt, A. Von Haeseler, Molecular Biology and Evolution 29 (2012) 1319–1334.
LibreCat: https://research-explorer.ista.ac.at/record/2411
DOI: 10.1093/molbev/msr285

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