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

Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
LibreCat: https://research-explorer.ista.ac.at/record/10904
DOI: 10.1007/978-3-642-32940-1_10
arXiv: 1201.5073

Rigidity of eigenvalues of generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Advances in Mathematics 229 (2012) 1435–1515.
LibreCat: https://research-explorer.ista.ac.at/record/2770
DOI: 10.1016/j.aim.2011.12.010

The local relaxation flow approach to universality of the local statistics for random matrices
L. Erdös, B. Schlein, H. Yau, J. Yin, Annales de l’institut Henri Poincare (B) Probability and Statistics 48 (2012) 1–46.
LibreCat: https://research-explorer.ista.ac.at/record/2769
DOI: 10.1214/10-AIHP388

Bulk universality for generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Probability Theory and Related Fields 154 (2012) 341–407.
LibreCat: https://research-explorer.ista.ac.at/record/2767
DOI: 10.1007/s00440-011-0390-3

Wegner estimate and Anderson localization for random magnetic fields
L. Erdös, D. Hasler, Communications in Mathematical Physics 309 (2012) 507–542.
LibreCat: https://research-explorer.ista.ac.at/record/2768
DOI: 10.1007/s00220-011-1373-z

Universality of local spectral statistics of random matrices
L. Erdös, H. Yau, Bulletin of the American Mathematical Society 49 (2012) 377–414.
LibreCat: https://research-explorer.ista.ac.at/record/2775
DOI: 10.1090/S0273-0979-2012-01372-1

Relativistic Scott correction in self-generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/2777
DOI: 10.1063/1.3697417

Second order semiclassics with self generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Annales Henri Poincare 13 (2012) 671–730.
LibreCat: https://research-explorer.ista.ac.at/record/2772
DOI: 10.1007/s00023-011-0150-z

Spectral statistics of Erds-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 314 (2012) 587–640.
LibreCat: https://research-explorer.ista.ac.at/record/2776
DOI: 10.1007/s00220-012-1527-7

Scott correction for large atoms and molecules in a self-generated magnetic field
L. Erdös, S. Fournais, J. Solovej, Communications in Mathematical Physics 312 (2012) 847–882.
LibreCat: https://research-explorer.ista.ac.at/record/2774
DOI: 10.1007/s00220-012-1468-1

A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices
L. Erdös, H. Yau, Electronic Journal of Probability 17 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/2773
DOI: 10.1214/EJP.v17-1779

Anderson localization at band edges for random magnetic fields
L. Erdös, D. Hasler, Journal of Statistical Physics 146 (2012) 900–923.
LibreCat: https://research-explorer.ista.ac.at/record/2771
DOI: 10.1007/s10955-012-0445-6

Bulk universality of general ;2-ensembles with non-convex potential
P. Bourgade, L. Erdös, H. Yau, Journal of Mathematical Physics 53 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/2778
DOI: 10.1063/1.4751478

Wegner estimate for random magnetic Laplacian on  2
L. Erdös, D. Hasler, Annales Henri Poincare 13 (2012) 1719–1731.
LibreCat: https://research-explorer.ista.ac.at/record/2779
DOI: 10.1007/s00023-012-0177-9

Particle tracking for polydisperse sedimenting droplets in phase separation
T. Lapp, M. Rohloff, J. Vollmer, B. Hof, Experiments in Fluids 52 (2012) 1187–1200.
LibreCat: https://research-explorer.ista.ac.at/record/2802
DOI: 10.1007/s00348-011-1243-7

Edge state in pipe flow experiments
A. De Lózar, F. Mellibovsky, M. Avila, B. Hof, Physical Review Letters 108 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/2803
DOI: 10.1103/PhysRevLett.108.214502

Breath figures: Nucleation, growth, coalescence, and the size distribution of droplets
J. Blaschke, T. Lapp, B. Hof, J. Vollmer, Physical Review Letters 109 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/2804
DOI: 10.1103/PhysRevLett.109.068701

Dynamic pruning of factor graphs for maximum marginal prediction
C. Lampert, in:, Neural Information Processing Systems, 2012, pp. 82–90.
LibreCat: https://research-explorer.ista.ac.at/record/2825

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

Retargeting a maize ;2-glucosidase to the vacuole - Evidence from intact plants that zeatin-O-glucoside is stored in the vacuole
N. Kiran, E. Benková, A. Reková, J. Dubová, J. Malbeck, K. Palme, B. Brzobohatý, Phytochemistry 79 (2012) 67–77.
LibreCat: https://research-explorer.ista.ac.at/record/2876
DOI: 10.1016/j.phytochem.2012.03.012

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

Pin1 independent leaf initiation in Arabidopsis
B. Guenot, E. Bayer, D. Kierzkowski, R. Smith, T. Mandel, P. dádníková, E. Benková, C. Kuhlemeier, Plant Physiology 159 (2012) 1501–1510.
LibreCat: https://research-explorer.ista.ac.at/record/2878
DOI: 10.1104/pp.112.200402

The transcription factors BEL1 and SPL are required for cytokinin and auxin signaling during ovule development in Arabidopsis
S. Bencivenga, S. Simonini, E. Benková, L. Colombo, Plant Cell 24 (2012) 2886–2897.
LibreCat: https://research-explorer.ista.ac.at/record/2879
DOI: 10.1105/tpc.112.100164

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

Synthesis from incompatible specifications
P. Cerny, S. Gopi, T.A. Henzinger, A. Radhakrishna, N. Totla, in:, Proceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 53–62.
LibreCat: https://research-explorer.ista.ac.at/record/2890
DOI: 10.1145/2380356.2380371

Quantitative reactive models
T.A. Henzinger, in:, Conference Proceedings MODELS 2012, Springer, 2012, pp. 1–2.
LibreCat: https://research-explorer.ista.ac.at/record/2888
DOI: 10.1007/978-3-642-33666-9_1

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

The game of active search for extra terrestrial intelligence Breaking the Great Silence 
H. de Vladar, International Journal of Astrobiology 12 (2012) 53–62.
LibreCat: https://research-explorer.ista.ac.at/record/2917
DOI: 10.1017/S1473550412000407

Open problems in discrete and computational geometry
H. Edelsbrunner, A. Ivanov, R. Karasev, Automatic Control and Computer Sciences in print (2012).
LibreCat: https://research-explorer.ista.ac.at/record/2911

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

Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies
L.V. Ugelvig, S. Cremer, Functional Ecology 26 (2012) 1300–1312.
LibreCat: https://research-explorer.ista.ac.at/record/2938
DOI: 10.1111/1365-2435.12013

A dual decomposition approach to feature correspondence
L. Torresani, V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (2012) 259–271.
LibreCat: https://research-explorer.ista.ac.at/record/2931
DOI: 10.1109/TPAMI.2012.105

Independent implementability of viewpoints
T.A. Henzinger, D. Nickovic, in:,  Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.
LibreCat: https://research-explorer.ista.ac.at/record/2942
DOI: 10.1007/978-3-642-34059-8_20

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

HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes
J. Girard, C. Moussion, R. Förster, Nature Reviews Immunology 12 (2012) 762–773.
LibreCat: https://research-explorer.ista.ac.at/record/2945
DOI: 10.1038/nri3298

The medial entorhinal cortex keeps Up
D. Dupret, J.L. Csicsvari, Nature Neuroscience 15 (2012) 1471–1472.
LibreCat: https://research-explorer.ista.ac.at/record/2949
DOI: 10.1038/nn.3245

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

Forces driving epithelial spreading in zebrafish gastrulation
M. Behrndt, G. Salbreux, P. Campinho, R. Hauschild, F. Oswald, J. Roensch, S. Grill, C.-P.J. Heisenberg, Science 338 (2012) 257–260.
LibreCat: https://research-explorer.ista.ac.at/record/2950
DOI: 10.1126/science.1224143

Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells
J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch, C.-P.J. Heisenberg, Science 338 (2012) 253–256.
LibreCat: https://research-explorer.ista.ac.at/record/2951
DOI: 10.1126/science.1225399