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, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Simulation Games.” In Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, 6200:42–60. Essays in Memory of Amir Pnueli. Springer, 2010. https://doi.org/10.1007/978-3-642-13754-9_3.
View
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4393 |
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,” 6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_18.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4395
Burckhardt, Sebastian, Madanlal Musuvathi, and Vasu Singh. “Verifying Local Transformations on Relaxed Memory Models.” edited by Rajiv Gupta, 6011:104–23. Springer, 2010. https://doi.org/10.1007/978-3-642-11970-5_7.
View
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4396 |
Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_19.
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 11752
Yang, Xiaodong, Peter S Riseborough, Kimberly A Modic, R A Fisher, C P Oppeil, T R Finlayson, J C Cooley, et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” In Journal of Physics: Conference Series, Vol. 200. IOP Publishing, 2009. https://doi.org/10.1088/1742-6596/200/3/032062.
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 11799
Dütting, Paul, Monika Henzinger, and Ingmar Weber. “Bidder Optimal Assignments for General Utilities.” In 5th International Workshop on Internet and Network Economics, 5929:575–82. Springer Nature, 2009. https://doi.org/10.1007/978-3-642-10841-9_58.
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 11905
Baykan, Eda, Monika Henzinger, Ludmila Marian, and Ingmar Weber. “Purely URL-Based Topic Classification.” In 18th International World Wide Web Conference, 1109–10. Association for Computing Machinery, 2009. https://doi.org/10.1145/1526709.1526880.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 11906
Abdel Hamid, Ossama, Behshad Behzadi, Stefan Christoph, and Monika Henzinger. “Detecting the Origin of Text Segments Efficiently.” In 18th International World Wide Web Conference, 61–70. Association for Computing Machinery, 2009. https://doi.org/10.1145/1526709.1526719.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 11912 |
Baykan, Eda, Monika Henzinger, Stefan F. Keller, Sebastian de Castelberg, and Markus Kinzler. “A Comparison of Techniques for Sampling Web Pages.” In 26th International Symposium on Theoretical Aspects of Computer Science, 3:13–30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2009. https://doi.org/10.4230/LIPICS.STACS.2009.1809.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2009 |
Published |
Journal Article |
IST-REx-ID: 2680
Guetg, Nicole, Riad Seddik, Réjan Vigot, Rostislav Tureček, Martin Gassmann, Kaspar Vogt, Hans Bräuner Osborne, et al. “The GABA B1a Isoform Mediates Heterosynaptic Depression at Hippocampal Mossy Fiber Synapses.” Journal of Neuroscience. Society for Neuroscience, 2009. https://doi.org/10.1523/JNEUROSCI.3697-08.2009.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2682
Jiang, Yuqiang, Noriko Horimoto, Kohei Imura, Ko Matsui, and Ryuichi Shigemoto. “Bioimaging with Two-Photon-Induced Luminescence from Triangular Nanoplates and Nanoparticle Aggregates of Gold.” Advanced Materials. Wiley-Blackwell, 2009. https://doi.org/10.1002/adma.200802312.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2683
Pan, Bingxing, Yu Dong, Wataru Ito, Yuchio Yanagawa, Ryuichi Shigemoto, and Alexei Morozov. “Selective Gating of Glutamatergic Inputs to Excitatory Neurons of Amygdala by Presynaptic GABAb Receptor.” Neuron. Elsevier, 2009. https://doi.org/10.1016/j.neuron.2009.01.029.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2684
Kaufmann, Walter, Francesco Ferraguti, Yugo Fukazawa, Yu Kasugai, Ryuichi Shigemoto, Petter Laake, Joseph Sexton, et al. “Large-Conductance Calcium-Activated Potassium Channels in Purkinje Cell Plasma Membranes Are Clustered at Sites of Hypolemmal Microdomains.” Journal of Comparative Neurology. Wiley-Blackwell, 2009. https://doi.org/10.1002/cne.22066.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2685
Tanaka, Hisataka, Jianmei Ma, Kenji Tanaka, Keizo Takao, Munekazu Komada, Koichi Tanda, Ayaka Suzuki, 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. Society for Neuroscience, 2009. https://doi.org/10.1523/JNEUROSCI.3216-08.2009.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2686
Tomita, Hiroshi, Eriko Sugano, Yugo Fukazawa, Hitomi Isago, Yuka Sugiyama, Teru Hiroi, Toru Ishizuka, et al. “Visual Properties of Transgenic Rats Harboring the Channelrhodopsin-2 Gene Regulated by the Thy-1.2 Promoter.” PLoS One. Public Library of Science, 2009. https://doi.org/10.1371/journal.pone.0007679.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2703
Erdös, László, Benjamin Schlein, and Horng Yau. “Semicircle Law on Short Scales and Delocalization of Eigenvectors for Wigner Random Matrices.” Annals of Probability. Institute of Mathematical Statistics, 2009. https://doi.org/10.1214/08-AOP421.
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 2757
Erdös, László, and Benjamin Schlein. “Quantum Dynamics with Mean Field Interactions: A New Approach.” Journal of Statistical Physics. Springer, 2009. https://doi.org/10.1007/s10955-008-9570-7.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2758
Erdös, László, Benjamin Schlein, and Horng Yau. “Local Semicircle Law and Complete Delocalization for Wigner Random Matrices.” Communications in Mathematical Physics. Springer, 2009. https://doi.org/10.1007/s00220-008-0636-9.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2759
Erdös, László, Alessandro Michelangeli, and Benjamin Schlein. “Dynamical Formation of Correlations in a Bose-Einstein Condensate.” Communications in Mathematical Physics. Springer, 2009. https://doi.org/10.1007/s00220-009-0828-y.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2760
Erdös, László, Benjamin Schlein, and Horng Yau. “Rigorous Derivation of the Gross-Pitaevskii Equation with a Large Interaction Potential.” Journal of the American Mathematical Society. American Mathematical Society, 2009. https://doi.org/10.1090/S0894-0347-09-00635-3.
View
| DOI