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.
11357 Publications
2010 |
Published |
Book Chapter |
IST-REx-ID: 4392
Cerny P, Henzinger TA, Radhakrishna A. Quantitative Simulation Games. In: Manna Z, Peled D, eds. Time For Verification: Essays in Memory of Amir Pnueli. Vol 6200. Essays in Memory of Amir Pnueli. Springer; 2010:42-60. doi:10.1007/978-3-642-13754-9_3
View
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4393 |
Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:235-268. doi:10.1007/978-3-642-15375-4_18
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4395
Burckhardt S, Musuvathi M, Singh V. Verifying local transformations on relaxed memory models. In: Gupta R, ed. Vol 6011. Springer; 2010:104-123. doi:10.1007/978-3-642-11970-5_7
View
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4396 |
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277. doi:10.1007/978-3-642-12029-9_19
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 11752
Yang X, Riseborough PS, Modic KA, et al. Influence of magnetic fields on structural martensitic transitions. In: Journal of Physics: Conference Series. Vol 200. IOP Publishing; 2009. doi:10.1088/1742-6596/200/3/032062
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 11799
Dütting P, Henzinger M, Weber I. Bidder optimal assignments for general utilities. In: 5th International Workshop on Internet and Network Economics. Vol 5929. Springer Nature; 2009:575-582. doi:10.1007/978-3-642-10841-9_58
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 11905
Baykan E, Henzinger M, Marian L, Weber I. Purely URL-based topic classification. In: 18th International World Wide Web Conference. Association for Computing Machinery; 2009:1109-1110. doi:10.1145/1526709.1526880
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 11906
Abdel Hamid O, Behzadi B, Christoph S, Henzinger M. Detecting the origin of text segments efficiently. In: 18th International World Wide Web Conference. Association for Computing Machinery; 2009:61-70. doi:10.1145/1526709.1526719
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 11912 |
Baykan Eda, Henzinger M, Keller SF, de Castelberg S, Kinzler M. A comparison of techniques for sampling web pages. In: 26th International Symposium on Theoretical Aspects of Computer Science. Vol 3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2009:13-30. doi:10.4230/LIPICS.STACS.2009.1809
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2009 |
Published |
Journal Article |
IST-REx-ID: 2680
Guetg N, Seddik R, Vigot R, et al. The GABA B1a isoform mediates heterosynaptic depression at hippocampal mossy fiber synapses. Journal of Neuroscience. 2009;29(5):1414-1423. doi:10.1523/JNEUROSCI.3697-08.2009
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2682
Jiang Y, Horimoto N, Imura K, Matsui K, Shigemoto R. Bioimaging with two-photon-induced luminescence from triangular nanoplates and nanoparticle aggregates of gold. Advanced Materials. 2009;21(22):2309-2313. doi:10.1002/adma.200802312
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2683
Pan B, Dong Y, Ito W, Yanagawa Y, Shigemoto R, Morozov A. Selective gating of glutamatergic inputs to excitatory neurons of amygdala by presynaptic GABAb receptor. Neuron. 2009;61(6):917-929. doi:10.1016/j.neuron.2009.01.029
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2684
Kaufmann W, Ferraguti F, Fukazawa Y, et al. Large-conductance calcium-activated potassium channels in Purkinje cell plasma membranes are clustered at sites of hypolemmal microdomains. Journal of Comparative Neurology. 2009;515(2):215-230. doi:10.1002/cne.22066
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2685
Tanaka H, Ma J, Tanaka K, et al. Mice with altered myelin proteolipid protein gene expression display cognitive deficits accompanied by abnormal neuron-glia interactions and decreased conduction velocities. Journal of Neuroscience. 2009;29(26):8363-8371. doi:10.1523/JNEUROSCI.3216-08.2009
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2686
Tomita H, Sugano E, Fukazawa Y, et al. Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter. PLoS One. 2009;4(11). doi:10.1371/journal.pone.0007679
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2703
Erdös L, Schlein B, Yau H. Semicircle law on short scales and delocalization of eigenvectors for Wigner random matrices. Annals of Probability. 2009;37(3):815-852. doi:10.1214/08-AOP421
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 2757
Erdös L, Schlein B. Quantum dynamics with mean field interactions: A new approach. Journal of Statistical Physics. 2009;134(5-6):859-870. doi:10.1007/s10955-008-9570-7
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2758
Erdös L, Schlein B, Yau H. Local semicircle law and complete delocalization for Wigner random matrices. Communications in Mathematical Physics. 2009;287(2):641-655. doi:10.1007/s00220-008-0636-9
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2759
Erdös L, Michelangeli A, Schlein B. Dynamical formation of correlations in a Bose-Einstein condensate. Communications in Mathematical Physics. 2009;289(3):1171-1210. doi:10.1007/s00220-009-0828-y
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2760
Erdös L, Schlein B, Yau H. Rigorous derivation of the gross-pitaevskii equation with a large interaction potential. Journal of the American Mathematical Society. 2009;22(4):1099-1156. doi:10.1090/S0894-0347-09-00635-3
View
| DOI