Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1957 Publications
2012 |Published| Conference Paper | IST-REx-ID: 10904
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.
[Preprint]
View
| Files available
| DOI
| arXiv
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
2012 |Published| Journal Article | IST-REx-ID: 2770
Rigidity of eigenvalues of generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Advances in Mathematics 229 (2012) 1435–1515.
View
| DOI
L. Erdös, H. Yau, J. Yin, Advances in Mathematics 229 (2012) 1435–1515.
2012 |Published| Journal Article | IST-REx-ID: 2767
Bulk universality for generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Probability Theory and Related Fields 154 (2012) 341–407.
View
| DOI
L. Erdös, H. Yau, J. Yin, Probability Theory and Related Fields 154 (2012) 341–407.
2012 |Published| Journal Article | IST-REx-ID: 2777
Relativistic Scott correction in self-generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
View
| DOI
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
2012 |Published| Journal Article | IST-REx-ID: 2776
Spectral statistics of Erdős-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.
View
| DOI
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 314 (2012) 587–640.
2012 |Published| Journal Article | IST-REx-ID: 2774
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.
View
| DOI
L. Erdös, S. Fournais, J. Solovej, Communications in Mathematical Physics 312 (2012) 847–882.
2012 |Published| Journal Article | IST-REx-ID: 2773
A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices
L. Erdös, H. Yau, Electronic Journal of Probability 17 (2012).
View
| DOI
L. Erdös, H. Yau, Electronic Journal of Probability 17 (2012).
2012 |Published| Journal Article | IST-REx-ID: 2771
Anderson localization at band edges for random magnetic fields
L. Erdös, D. Hasler, Journal of Statistical Physics 146 (2012) 900–923.
View
| DOI
L. Erdös, D. Hasler, Journal of Statistical Physics 146 (2012) 900–923.
2012 |Published| Journal Article | IST-REx-ID: 2879
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.
View
| DOI
S. Bencivenga, S. Simonini, E. Benková, L. Colombo, Plant Cell 24 (2012) 2886–2897.
2012 |Published| Conference Paper | IST-REx-ID: 2891 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
View
| Files available
| DOI
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
2012 |Published| Conference Paper | IST-REx-ID: 2888
Quantitative reactive models
T.A. Henzinger, in:, Conference Proceedings MODELS 2012, Springer, 2012, pp. 1–2.
View
| DOI
T.A. Henzinger, in:, Conference Proceedings MODELS 2012, Springer, 2012, pp. 1–2.
2012 |Published| Conference Paper | IST-REx-ID: 2930 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Towards minimizing k-submodular functions
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
2012 |Published| Conference Paper | IST-REx-ID: 2942
Independent implementability of viewpoints
T.A. Henzinger, D. Nickovic, in:, Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.
View
| DOI
T.A. Henzinger, D. Nickovic, in:, Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.
2012 |Published| Journal Article | IST-REx-ID: 2946 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
View
| Files available
| DOI
A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, G. Meister, Nucleic Acids Research 40 (2012) 9850–9862.
2012 |Published| Conference Paper | IST-REx-ID: 2947 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Equivalence of games with probabilistic uncertainty and partial observation games
K. Chatterjee, M. Chmelik, R. Majumdar, in:, Springer, 2012, pp. 385–399.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, M. Chmelik, R. Majumdar, in:, Springer, 2012, pp. 385–399.
2012 |Published| Journal Article | IST-REx-ID: 2962 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A novel approach for choosing summary statistics in approximate Bayesian computation
S. Aeschbacher, M. Beaumont, A. Futschik, Genetics 192 (2012) 1027–1047.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
S. Aeschbacher, M. Beaumont, A. Futschik, Genetics 192 (2012) 1027–1047.
2012 |Published| Conference Paper | IST-REx-ID: 2974 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Submitted Version]
View
| Files available
| DOI
A. Jain, S. Krenn, K.Z. Pietrzak, A. Tentes, in:, X. Wang, K. Sako (Eds.), Springer, 2012, pp. 663–680.
2012 |Published| Conference Paper | IST-REx-ID: 2971
Interactive labeling of image segmentation hierarchies
G. Zankl, Y. Haxhimusa, A. Ion, in:, Springer, 2012, pp. 11–20.
View
| DOI
G. Zankl, Y. Haxhimusa, A. Ion, in:, Springer, 2012, pp. 11–20.
2012 |Published| Journal Article | IST-REx-ID: 3108
A novel putative auxin carrier family regulates intracellular auxin homeostasis in plants
E. Barbez, M. Kubeš, J. Rolčík, C. Béziat, A. Pěnčík, B. Wang, M. Rosquete, J. Zhu, P. Dobrev, Y. Lee, E. Zašímalová, J. Petrášek, M. Geisler, J. Friml, J. Kleine Vehn, Nature 485 (2012) 119–122.
View
| DOI
E. Barbez, M. Kubeš, J. Rolčík, C. Béziat, A. Pěnčík, B. Wang, M. Rosquete, J. Zhu, P. Dobrev, Y. Lee, E. Zašímalová, J. Petrášek, M. Geisler, J. Friml, J. Kleine Vehn, Nature 485 (2012) 119–122.
2012 |Published| Journal Article | IST-REx-ID: 3120 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fano 3 folds in codimension 4 Tom and Jerry Part I
G. Brown, M. Kerber, M. Reid, Compositio Mathematica 148 (2012) 1171–1194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
G. Brown, M. Kerber, M. Reid, Compositio Mathematica 148 (2012) 1171–1194.