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.
1850 Publications
2010 |Published| Journal Article | IST-REx-ID: 1046
Gustavsson M, Haller E, Mark M, et al. Interference of interacting matter waves. New Journal of Physics. 2010;12. doi:10.1088/1367-2630/12/6/065029
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 10908 | 
Blanc R, Henzinger TA, Hottelier T, Kovács L. ABC: Algebraic Bound Computation for loops. In: Clarke EM, Voronkov A, eds. Logic for Programming, Artificial Intelligence, and Reasoning. Vol 6355. LNCS. Berlin, Heidelberg: Springer Nature; 2010:103-118. doi:10.1007/978-3-642-17511-4_7
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 11754
Lang SB, Lashley JC, Modic KA, Fisher RA, Zhu WM, Ye ZG. Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. In: 15th IEEE Mediterranean Electrotechnical Conference. Institute of Electrical and Electronics Engineers; 2010. doi:10.1109/melcon.2010.5476345
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 11797 |
Feldman J, Henzinger MH, Korula N, Mirrokni VS, Stein C. Online stochastic packing applied to display ad allocation. In: 18th Annual European Symposium on Algorithms. Vol 6346. Springer Nature; 2010:182–194. doi:10.1007/978-3-642-15775-2_16
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Conference Paper | IST-REx-ID: 11798
Dütting P, Henzinger MH. Mechanisms for the marriage and the assignment game. In: 7th International Conference on Algorithms and Complexity. Vol 6078. Springer Nature; 2010:6–12. doi:10.1007/978-3-642-13073-1_2
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 11838 |
Dütting P, Henzinger MH, Weber I. Sponsored search, market equilibria, and the Hungarian Method. In: 27th International Symposium on Theoretical Aspects of Computer Science. Vol 5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:287-298. doi:10.4230/LIPICS.STACS.2010.2463
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2010 |Published| Journal Article | IST-REx-ID: 1465 |
Hausel T. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 2010;181(1):21-37. doi:10.1007/s00222-010-0241-3
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 1753 |
Songmuang R, Katsaros G, Monroy E, et al. Quantum transport in GaN/AlN double-barrier heterostructure nanowires. Nano Letters. 2010;10(9):3545-3550. doi:10.1021/nl1017578
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 2311
Rickheit G, Wartosch L, Schaffer S, et al. Role of ClC-5 in renal endocytosis is unique among ClC exchangers and does not require PY-motif-dependent ubiquitylation. Journal of Biological Chemistry. 2010;285(23):17595-17603. doi:10.1074/jbc.M110.115600
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2508
Atherton J, Kitano K, Baufreton J, et al. Selective participation of somatodendritic HCN channels in inhibitory but not excitatory synaptic integration in neurons of the subthalamic nucleus. Journal of Neuroscience. 2010;30(47):16025-16040. doi:10.1523/JNEUROSCI.3898-10.2010
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2506
Furuya S, Furuya K, Shigemoto R, Sokabe M. Localization of NK1 receptors and roles of substance-P in subepithelial fibroblasts of rat intestinal villi. Cell and Tissue Research. 2010;342(2):243-259. doi:10.1007/s00441-010-1056-7
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2507
Parajuli L, Fukazawa Y, Watanabe M, Shigemoto R. Subcellular distribution of α1G subunit of T-type calcium channel in the mouse dorsal lateral geniculate nucleus. Journal of Comparative Neurology. 2010;518(21):4362-4374. doi:10.1002/cne.22461
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2701 |
Erdös L, Schlein B, Yau H. Wegner estimate and level repulsion for Wigner random matrices. International Mathematics Research Notices. 2010;(3):436-479. doi:10.1093/imrn/rnp136
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 2762
Erdös L, Ramírez J, Yau H, Péché S, Schlein B. Bulk universality for Wigner matrices. Communications on Pure and Applied Mathematics. 2010;63(7):895-925. doi:10.1002/cpa.20317
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2761
Erdös L, Ramírez J, Schlein B, Yau H. Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation. Electronic Journal of Probability. 2010;15(18):526-603. doi:10.1214/EJP.v15-768
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2763
Erdös L, Ramírez J, Schlein B, Tao T, Van V, Yau H. Bulk universality for Wigner Hermitian matrices with subexponential decay. Mathematical Research Letters. 2010;17(4):667-674.
View
2010 |Published| Conference Paper | IST-REx-ID: 2979 |
Almeida J, Bangerter E, Barbosa M, Krenn S, Sadeghi A, Schneider T. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. In: Gritzalis D, Preneel B, Theoharidou M, eds. Vol 6345. Springer; 2010:151-167. doi:10.1007/978-3-642-15497-3
View
| DOI
| Download (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 2980 |
Bangerter E, Briner T, Henecka W, Krenn S, Sadeghi A, Schneider T. Automatic Generation of Sigma-Protocols. In: Martinelli F, Preneel B, eds. Vol 6391. Springer; 2010:67-82. doi:10.1007/978-3-642-16441-5
View
| DOI
| Download (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 2978 |
Bangerter E, Camenisch J, Krenn S. Efficiency Limitations for Σ-Protocols for Group Homomorphisms. In: Micciancio D, ed. Vol 5978. Springer; 2010:553-571. doi:10.1007/978-3-642-11799-2
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3071
Feraru E, Paciorek T, Feraru M, et al. The AP 3 β adaptin mediates the biogenesis and function of lytic vacuoles in Arabidopsis. Plant Cell. 2010;22(8):2812-2824. doi:10.1105/tpc.110.075424
View
| DOI