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.
1704 Publications
2012 |Published| Conference Paper | IST-REx-ID: 11794 | 
P. Dütting, M. H. Henzinger, and M. Starnberger, “Auctions with heterogeneous items and budget limits,” in 8th International Workshop on Internet and Network Economics, Liverpool, United Kingdom, 2012, vol. 7695, pp. 44–57.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |Published| Conference Paper | IST-REx-ID: 11795
R. Colini-Baldeschi, M. H. Henzinger, S. Leonardi, and M. Starnberger, “On multiple keyword sponsored search auctions with budgets,” in 39th International Colloquium on Automata, Languages, and Programming, Warwick, United Kingdom, 2012, vol. 7392, pp. 1–12.
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 1384 |
D. Beyer, T. A. Henzinger, M. Keremoglu, and P. 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, Cary, NC, USA, 2012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |Published| Journal Article | IST-REx-ID: 1757 |
J. Zhang et al., “Monolithic growth of ultrathin Ge nanowires on Si(001) ,” Physical Review Letters, vol. 109, no. 8. American Physical Society, 2012.
View
| DOI
| Download (ext.)
2012 |Published| Journal Article | IST-REx-ID: 1783 |
J. Mlynek et al., “Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 5. American Physical Society, 2012.
View
| DOI
| Download (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 2048 |
S. Faust, K. Z. Pietrzak, and J. Schipper, “Practical leakage-resilient symmetric cryptography,” in Conference proceedings CHES 2012, Leuven, Belgium, 2012, vol. 7428, pp. 213–232.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 2049 |
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, and K. Z. Pietrzak, “Lapin: An efficient authentication protocol based on ring-LPN,” in Conference proceedings FSE 2012, Washington, DC, USA, 2012, vol. 7549, pp. 346–365.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |Published| Journal Article | IST-REx-ID: 242 |
S. Baier, T. D. Browning, G. Marasingha, and L. Zhao, “Averages of shifted convolutions of d3 (n),” Proceedings of the Edinburgh Mathematical Society, vol. 55, no. 3. Cambridge University Press, pp. 551–576, 2012.
View
| DOI
| Download (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 10904
K. Chatterjee, M. Randour, and J.-F. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” in CONCUR 2012 - Concurrency Theory, Newcastle upon Tyne, United Kingdom, 2012, vol. 7454, pp. 115–131.
[Preprint]
View
| Files available
| DOI
| arXiv