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 | 
Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Efficient Synthesis for Concurrency by Semantics-Preserving Transformations,” 8044:951–67. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_68.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2926
Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2012.11.034.
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 11751
Lukas, K. C., G. Joshi, Kimberly A Modic, Z. F. Ren, and C. P. Opeil. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.” Journal of Materials Science. Springer Nature, 2012. https://doi.org/10.1007/s10853-012-6463-6.
[Preprint]
View
| DOI
| arXiv
2012 |Published| Conference Paper | IST-REx-ID: 11794 |
Dütting, Paul, Monika H Henzinger, and Martin Starnberger. “Auctions with Heterogeneous Items and Budget Limits.” In 8th International Workshop on Internet and Network Economics, 7695:44–57. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-35311-6_4.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |Published| Conference Paper | IST-REx-ID: 11795
Colini-Baldeschi, Riccardo, Monika H Henzinger, Stefano Leonardi, and Martin Starnberger. “On Multiple Keyword Sponsored Search Auctions with Budgets.” In 39th International Colloquium on Automata, Languages, and Programming, 7392:1–12. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-31585-5_1.
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 1384 |
Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM, 2012. https://doi.org/10.1145/2393596.2393664.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |Published| Journal Article | IST-REx-ID: 1757 |
Zhang, Jianjun, Georgios Katsaros, Francesco Montalenti, Daniele Scopece, Roman Rezaev, Christine Mickel, Bernd Rellinghaus, et al. “Monolithic Growth of Ultrathin Ge Nanowires on Si(001) .” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.109.085502.
View
| DOI
| Download (ext.)
2012 |Published| Journal Article | IST-REx-ID: 1783 |
Mlynek, Jonas, Abdufarrukh Abdumalikov, Johannes M Fink, L. Steffen, Matthias Baur, C Lang, Arjan Van Loo, and Andreas Wallraff. “Demonstrating W-Type Entanglement of Dicke States in Resonant Cavity Quantum Electrodynamics.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2012. https://doi.org/10.1103/PhysRevA.86.053838.
View
| DOI
| Download (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 2048 |
Faust, Sebastian, Krzysztof Z Pietrzak, and Joachim Schipper. “Practical Leakage-Resilient Symmetric Cryptography.” In Conference Proceedings CHES 2012, 7428:213–32. Springer, 2012. https://doi.org/10.1007/978-3-642-33027-8_13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 2049 |
Heyse, Stefan, Eike Kiltz, Vadim Lyubashevsky, Christof Paar, and Krzysztof Z Pietrzak. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.” In Conference Proceedings FSE 2012, 7549:346–65. Springer, 2012. https://doi.org/10.1007/978-3-642-34047-5_20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |Published| Journal Article | IST-REx-ID: 2262
Tasic, Bosiljka, Kazunari Miyamichi, Simon Hippenmeyer, Vardhan Dani, H. Zeng, William Joo, Hui Zong, Yanru Chen Tsai, and Liqun Luo. “Extensions of MADM (Mosaic Analysis with Double Markers) in Mice .” PLoS One. Public Library of Science, 2012. https://doi.org/10.1371/journal.pone.0033332.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 237
De La Bretèche, Régis, Timothy D Browning, and Emmanuel Peyre. “On Manin’s Conjecture for a Family of Châtelet Surfaces.” Annals of Mathematics. Princeton University Press, 2012. https://doi.org/10.4007/annals.2012.175.1.8.
View
| DOI
2012 |Published| Book Chapter | IST-REx-ID: 2399
Seiringer, Robert. “Cold Quantum Gases and Bose Einstein Condensation.” In Quantum Many Body Systems, edited by Vincent Rivasseau, Robert Seiringer, Jan Solovej, and Thomas Spencer, 2051:55–92. Springer, 2012. https://doi.org/10.1007/978-3-642-29511-9_2.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 242 |
Baier, Stephan, Timothy D Browning, Gihan Marasingha, and Liangyi Zhao. “Averages of Shifted Convolutions of D3 (N).” Proceedings of the Edinburgh Mathematical Society. Cambridge University Press, 2012. https://doi.org/10.1017/S001309151100037X.
View
| DOI
| Download (ext.)
2012 |Published| Journal Article | IST-REx-ID: 2689
Parajuli, Laxmi, Chikako Nakajima, Ákos Kulik, Ko Matsui, Toni Schneider, Ryuichi Shigemoto, and Yugo Fukazawa. “Quantitative Regional and Ultra Structural Localization of the Ca v2 3 Subunit of R Type Calcium Channel in Mouse Brain.” Journal of Neuroscience. Society for Neuroscience, 2012. https://doi.org/10.1523/JNEUROSCI.1142-12.2012.
View
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 10904
Chatterjee, Krishnendu, Mickael Randour, and Jean-François Raskin. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” In CONCUR 2012 - Concurrency Theory, edited by Maciej Koutny and Irek Ulidowski, 7454:115–31. Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-32940-1_10.
[Preprint]
View
| Files available
| DOI
| arXiv
2012 |Published| Journal Article | IST-REx-ID: 2770
Erdös, László, Horng Yau, and Jun Yin. “Rigidity of Eigenvalues of Generalized Wigner Matrices.” Advances in Mathematics. Academic Press, 2012. https://doi.org/10.1016/j.aim.2011.12.010.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 2767
Erdös, László, Horng Yau, and Jun Yin. “Bulk Universality for Generalized Wigner Matrices.” Probability Theory and Related Fields. Springer, 2012. https://doi.org/10.1007/s00440-011-0390-3.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 2777
Erdös, László, Søren Fournais, and Jan Solovej. “Relativistic Scott Correction in Self-Generated Magnetic Fields.” Journal of Mathematical Physics. American Institute of Physics, 2012. https://doi.org/10.1063/1.3697417.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 2776
Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “Spectral Statistics of Erdős-Rényi Graphs II: Eigenvalue Spacing and the Extreme Eigenvalues.” Communications in Mathematical Physics. Springer, 2012. https://doi.org/10.1007/s00220-012-1527-7.
View
| DOI