New Dirac points and multiple Landau level crossings in biased trilayer graphene
M. Serbyn, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 87 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/970
DOI: 10.1103/PhysRevB.87.115422

Local conservation laws and the structure of the many body localized states
M. Serbyn, Z. Papi, D. Abanin, Physical Review Letters 111 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/973
DOI: 10.1103/PhysRevLett.111.127201

Overscreened Kondo fixed point in S=1 spin liquid
M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 88 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/974
DOI: 10.1103/PhysRevB.88.024419
arXiv: 1212.5179

Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, BMC Evolutionary Biology 13 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2284
DOI: 10.1186/1471-2148-13-225

Transformation of stimulus correlations by the retina
K. Simmons, J. Prentice, G. Tkadik, J. Homann, H. Yee, S. Palmer, P. Nelson, V. Balasubramanian, PLoS Computational Biology 9 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2277
DOI: 10.1371/journal.pcbi.1003344

Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies
J. Hearn, G. Stone, N.H. Barton, K. Lohse, L. Bunnefeld, (2013).
LibreCat: https://research-explorer.ista.ac.at/record/9754
DOI: 10.5061/dryad.r3r60

Spinon-phonon interaction in algebraic spin liquids
M. Serbyn, P. Lee, Physical Review B - Condensed Matter and Materials Physics 87 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/976
DOI: 10.1103/PhysRevB.87.174424

Comparison of climate change signals in CMI and CMI multi-model ensembles and implications for Central Asian glaciers
A.F. Lutz, W.W. Immerzeel, A. Gobiet, F. Pellicciotti, M.F.P. Bierkens, Hydrology and Earth System Sciences 17 (2013) 3661–3677.
LibreCat: https://research-explorer.ista.ac.at/record/12638
DOI: 10.5194/hess-17-3661-2013

Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change
S. Ragettli, F. Pellicciotti, R. Bordoy, W.W. Immerzeel, Water Resources Research 49 (2013) 6048–6066.
LibreCat: https://research-explorer.ista.ac.at/record/12639
DOI: 10.1002/wrcr.20450

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Universality for random matrices and log-gases
L. Erdös, ArXiv (2012).
LibreCat: https://research-explorer.ista.ac.at/record/2696

Lecture notes on quantum Brownian motion
L. Erdös, in:, Oxford University Press, 2012, pp. 3–98.
LibreCat: https://research-explorer.ista.ac.at/record/2700

Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–473.
LibreCat: https://research-explorer.ista.ac.at/record/2715
DOI: 10.4230/LIPIcs.FSTTCS.2012.461

Evolutionary game dynamics in populations with different learners
K. Chatterjee, D. Zufferey, M. Nowak, Journal of Theoretical Biology 301 (2012) 161–173.
LibreCat: https://research-explorer.ista.ac.at/record/2848
DOI: 10.1016/j.jtbi.2012.02.021
PMID: 22394652

On the configuration space of Steiner minimal trees
H. Edelsbrunner, N. Strelkova, Russian Mathematical Surveys 67 (2012) 1167–1168.
LibreCat: https://research-explorer.ista.ac.at/record/2849
DOI: 10.1070/RM2012v067n06ABEH004820

Genetic approach towards the identification of auxin - cytokinin crosstalk components involved in root development
A. Bielach, J. Duclercq, P. Marhavý, E. Benková, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 367 (2012) 1469–1478.
LibreCat: https://research-explorer.ista.ac.at/record/2875
DOI: 10.1098/rstb.2011.0233

Approximate determinization of quantitative automata
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
LibreCat: https://research-explorer.ista.ac.at/record/2891
DOI: 10.4230/LIPIcs.FSTTCS.2012.362

The adaptive topology of a digital image
H. Edelsbrunner, O. Symonova, in:, IEEE, 2012, pp. 41–48.
LibreCat: https://research-explorer.ista.ac.at/record/2903
DOI: 10.1109/ISVD.2012.11

Interface Simulation Distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2012, pp. 29–42.
LibreCat: https://research-explorer.ista.ac.at/record/2916
DOI: 10.4204/EPTCS.96.3
arXiv: 1210.2450

Towards minimizing k-submodular functions
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
LibreCat: https://research-explorer.ista.ac.at/record/2930
DOI: 10.1007/978-3-642-32147-4_40

Generalized sequential tree-reweighted message passing
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
LibreCat: https://research-explorer.ista.ac.at/record/2928
arXiv: 1205.6352

The power of linear programming for valued CSPs: a constructive characterization
V. Kolmogorov, The Power of Linear Programming for Valued CSPs: A Constructive Characterization, Unknown, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2929

Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500.
LibreCat: https://research-explorer.ista.ac.at/record/2937
DOI: 10.1145/2382196.2382249

Finite automata with time delay blocks
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
LibreCat: https://research-explorer.ista.ac.at/record/2936
DOI: 10.1145/2380356.2380370

Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions
N. Hadizadeh Yazdi, C.C. Guet, R. Johnson, J. Marko, Molecular Microbiology 86 (2012) 1318–1333.
LibreCat: https://research-explorer.ista.ac.at/record/2943
DOI: 10.1111/mmi.12071

On the optimality of functionals over triangulations of Delaunay sets
N. Dolbilin, H. Edelsbrunner, O. Musin, Russian Mathematical Surveys 67 (2012) 781–783.
LibreCat: https://research-explorer.ista.ac.at/record/2941
DOI: 10.1070/RM2012v067n04ABEH004807

MicroRNAs associated with the different human Argonaute proteins
A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, G. Meister, Nucleic Acids Research 40 (2012) 9850–9862.
LibreCat: https://research-explorer.ista.ac.at/record/2946
DOI: 10.1093/nar/gks705

Equivalence of games with probabilistic uncertainty and partial observation games
K. Chatterjee, M. Chmelik, R. Majumdar, in:, Springer, 2012, pp. 385–399.
LibreCat: https://research-explorer.ista.ac.at/record/2947
DOI: 10.1007/978-3-642-33386-6_30

A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo
A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, P.M. Jonas, Biophysical Journal 103 (2012) 1429–1439.
LibreCat: https://research-explorer.ista.ac.at/record/2954
DOI: 10.1016/j.bpj.2012.08.039
PMID: 23062335

Hippocampal place cells can encode multiple trial-dependent features through rate remapping
K. Allen, J.N. Rawlins, D. Bannerman, J.L. Csicsvari, Journal of Neuroscience 32 (2012) 14752–14766.
LibreCat: https://research-explorer.ista.ac.at/record/2958
DOI: 10.1523/JNEUROSCI.6175-11.2012
PMID: 23077060

Geometry of maximum likelihood estimation in Gaussian graphical models
C. Uhler, Annals of Statistics 40 (2012) 238–261.
LibreCat: https://research-explorer.ista.ac.at/record/2959
DOI: 10.1214/11-AOS957

The dynamics of male-male competition in Cardiocondyla obscurior ants
S. Cremer, M. Suefuji, A. Schrempf, J. Heinze, BMC Ecology 12 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/2966
DOI: 10.1186/1472-6785-12-7

A novel approach for choosing summary statistics in approximate Bayesian computation
S. Aeschbacher, M. Beaumont, A. Futschik, Genetics 192 (2012) 1027–1047.
LibreCat: https://research-explorer.ista.ac.at/record/2962
DOI: 10.1534/genetics.112.143164
PMID: 22960215

Kontext Open Access: Creative Commons
P. Danowski, Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare 65 (2012) 200–212.
LibreCat: https://research-explorer.ista.ac.at/record/2965

Commitments and efficient zero knowledge proofs from learning parity with noise
A. Jain, S. Krenn, K.Z. Pietrzak, A. Tentes, in:, X. Wang, K. Sako (Eds.), Springer, 2012, pp. 663–680.
LibreCat: https://research-explorer.ista.ac.at/record/2974
DOI: 10.1007/978-3-642-34961-4_40

Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling
S. Goswami, I. Bucurenciu, P.M. Jonas, Journal of Neuroscience 32 (2012) 14294–14304.
LibreCat: https://research-explorer.ista.ac.at/record/2969
DOI: 10.1523/JNEUROSCI.6104-11.2012
PMID: 23055500

Controlling liquids using meshes
K. Raveendran, N. Thuerey, C. Wojtan, G. Turk, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, ACM, 2012, pp. 255–264.
LibreCat: https://research-explorer.ista.ac.at/record/3119

Tracking surfaces with evolving topology
M. Bojsen-Hansen, H. Li, C. Wojtan, ACM Transactions on Graphics 31 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/3118
DOI: 10.1145/2185520.2185549