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.
1621 Publications
2013 |Published| Conference Paper | IST-REx-ID: 2445 | 
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.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
2013 |Published| Journal Article | IST-REx-ID: 2926
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.
View
| Files available
| DOI
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, Current Biology 23 (2013) 76–82.
2012 |Published| Journal Article | IST-REx-ID: 11751
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
[Preprint]
View
| DOI
| arXiv
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
2012 |Published| Conference Paper | IST-REx-ID: 11794 |
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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 8th International Workshop on Internet and Network Economics, Springer Nature, 2012, pp. 44–57.
2012 |Published| Conference Paper | IST-REx-ID: 11795
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.
View
| Files available
| DOI
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.
2012 |Published| Conference Paper | IST-REx-ID: 1384 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
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.
2012 |Published| Journal Article | IST-REx-ID: 1757 |
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).
View
| DOI
| Download (ext.)
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).
2012 |Published| Journal Article | IST-REx-ID: 1783 |
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).
View
| DOI
| Download (ext.)
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).
2012 |Published| Conference Paper | IST-REx-ID: 2048 |
Practical leakage-resilient symmetric cryptography
S. Faust, K.Z. Pietrzak, J. Schipper, in:, Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Faust, K.Z. Pietrzak, J. Schipper, in:, Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.
2012 |Published| Conference Paper | IST-REx-ID: 2049 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, K.Z. Pietrzak, in:, Conference Proceedings FSE 2012, Springer, 2012, pp. 346–365.
2012 |Published| Journal Article | IST-REx-ID: 2262
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).
View
| DOI
B. Tasic, K. Miyamichi, S. Hippenmeyer, V. Dani, H. Zeng, W. Joo, H. Zong, Y. Chen Tsai, L. Luo, PLoS One 7 (2012).
2012 |Published| Journal Article | IST-REx-ID: 237
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.
View
| DOI
R. De La Bretèche, T.D. Browning, E. Peyre, Annals of Mathematics 175 (2012) 297–343.
2012 |Published| Book Chapter | IST-REx-ID: 2399
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.
View
| DOI
R. Seiringer, in:, V. Rivasseau, R. Seiringer, J. Solovej, T. Spencer (Eds.), Quantum Many Body Systems, Springer, 2012, pp. 55–92.
2012 |Published| Journal Article | IST-REx-ID: 242 |
Averages of shifted convolutions of d3 (n)
S. Baier, T.D. Browning, G. Marasingha, L. Zhao, Proceedings of the Edinburgh Mathematical Society 55 (2012) 551–576.
View
| DOI
| Download (ext.)
S. Baier, T.D. Browning, G. Marasingha, L. Zhao, Proceedings of the Edinburgh Mathematical Society 55 (2012) 551–576.
2012 |Published| Journal Article | IST-REx-ID: 2689
Quantitative regional and ultra structural localization of the Ca v2 3 subunit of R type calcium channel in mouse brain
L. Parajuli, C. Nakajima, Á. Kulik, K. Matsui, T. Schneider, R. Shigemoto, Y. Fukazawa, Journal of Neuroscience 32 (2012) 13555–13567.
View
| DOI
L. Parajuli, C. Nakajima, Á. Kulik, K. Matsui, T. Schneider, R. Shigemoto, Y. Fukazawa, Journal of Neuroscience 32 (2012) 13555–13567.
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.