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
2010 |Published| Journal Article | IST-REx-ID: 2506
Furuya, Sonoko, Kishio Furuya, Ryuichi Shigemoto, and Masahiro Sokabe. “Localization of NK1 Receptors and Roles of Substance-P in Subepithelial Fibroblasts of Rat Intestinal Villi.” Cell and Tissue Research. Springer, 2010. https://doi.org/10.1007/s00441-010-1056-7.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2507
Parajuli, Laxmi, Yugo Fukazawa, Masahiko Watanabe, and Ryuichi Shigemoto. “Subcellular Distribution of Α1G Subunit of T-Type Calcium Channel in the Mouse Dorsal Lateral Geniculate Nucleus.” Journal of Comparative Neurology. Wiley-Blackwell, 2010. https://doi.org/10.1002/cne.22461.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2761
Erdös, László, José Ramírez, Benjamin Schlein, and Horng Yau. “Universality of Sine-Kernel for Wigner Matrices with a Small Gaussian Perturbation.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2010. https://doi.org/10.1214/EJP.v15-768.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2763
Erdös, László, José Ramírez, Benjamin Schlein, Terence Tao, Vu Van, and Horng Yau. “Bulk Universality for Wigner Hermitian Matrices with Subexponential Decay.” Mathematical Research Letters. International Press, 2010.
View
2010 |Published| Conference Paper | IST-REx-ID: 2979 | 
Almeida, José, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad Sadeghi, and Thomas Schneider. “A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.” edited by Dimitris Gritzalis, Bart Preneel, and Marianthi Theoharidou, 6345:151–67. Springer, 2010. https://doi.org/10.1007/978-3-642-15497-3.
View
| DOI
| Download (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 2980 |
Bangerter, Endre, Thomas Briner, Wilko Henecka, Stephan Krenn, Ahmad Sadeghi, and Thomas Schneider. “Automatic Generation of Sigma-Protocols.” edited by Fabio Martinelli and Bart Preneel, 6391:67–82. Springer, 2010. https://doi.org/10.1007/978-3-642-16441-5.
View
| DOI
| Download (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 2978 |
Bangerter, Endre, Jan Camenisch, and Stephan Krenn. “Efficiency Limitations for Σ-Protocols for Group Homomorphisms.” edited by Daniele Micciancio, 5978:553–71. Springer, 2010. https://doi.org/10.1007/978-3-642-11799-2.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3071
Feraru, Elena, Tomasz Paciorek, Mugurel Feraru, Marta Zwiewka, Ruth De Groodt, Riet De Rycke, Jürgen Kleine Vehn, and Jiří Friml. “The AP 3 β Adaptin Mediates the Biogenesis and Function of Lytic Vacuoles in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2010. https://doi.org/10.1105/tpc.110.075424.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3146
Hippenmeyer, Simon, Yong Youn, Hyang Moon, Kazunari Miyamichi, Hui Zong, Anthony Wynshaw Boris, and Liqun Luo. “Genetic Mosaic Dissection of Lis1 and Ndel1 in Neuronal Migration.” Neuron. Elsevier, 2010. https://doi.org/10.1016/j.neuron.2010.09.027.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3782
Chen, Chao, and Daniel Freedman. “Topology Noise Removal for Curve and Surface Evolution.” In Conference Proceedings MCV 2010, 6533:31–42. Springer, 2010. https://doi.org/10.1007/978-3-642-18421-5_4.
View
| DOI
2010 |Published| Book Chapter | IST-REx-ID: 3795 |
Edelsbrunner, Herbert, Dmitriy Morozov, and Amit Patel. “The Stability of the Apparent Contour of an Orientable 2-Manifold.” In Topological Data Analysis and Visualization: Theory, Algorithms and Applications, 27–42. Springer, 2010. https://doi.org/10.1007/978-3-642-15014-2_3.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3794
Lampert, Christoph, and Oliver Krömer. “Weakly-Paired Maximum Covariance Analysis for Multimodal Dimensionality Reduction and Transfer Learning,” 6312:566–79. Springer, 2010. https://doi.org/10.1007/978-3-642-15552-9_41.
View
| DOI
| Download None (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 3845 |
Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrey Rybalchenko. “Aligators for Arrays,” 6397:348–56. Springer, 2010. https://doi.org/10.1007/978-3-642-16242-8_25.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3848
Bendich, Paul, Herbert Edelsbrunner, Dmitriy Morozov, and Amit Patel. “The Robustness of Level Sets,” 6346:1–10. Springer, 2010. https://doi.org/10.1007/978-3-642-15775-2_1.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3858 |
Chatterjee, Krishnendu, and Laurent Doyen. “The Complexity of Partial-Observation Parity Games,” 6397:1–14. Springer, 2010. https://doi.org/10.1007/978-3-642-16242-8_1.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3856 |
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free,” 6281:246–57. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_23.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 |Published| Conference (Editor) | IST-REx-ID: 3859
Chatterjee, Krishnendu, and Thomas A Henzinger, eds. Formal Modeling and Analysis of Timed Systems. Vol. 6246. Springer, 2010. https://doi.org/10.1007/978-3-642-15297-9.
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3866 |
Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Robustness in the Presence of Liveness.” edited by Tayssir Touili, Byron Cook, and Paul Jackson, 6174:410–24. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_36.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3868 |
Chatterjee, Krishnendu, Luca De Alfaro, Ritankar Majumdar, and Vishwanath Raman. “Algorithms for Game Metrics.” Logical Methods in Computer Science. International Federation of Computational Logic, 2010. https://doi.org/10.2168/LMCS-6(3:13)2010.
[Published Version]
View
| Files available
| DOI
2010 |Published| Book (Editor) | IST-REx-ID: 4346 |
Danowski, Patrick, and Julia Bergmann, eds. Handbuch Bibliothek 2.0. Vol. 41. Bibliothekspraxis. De Gruyter, 2010. https://doi.org/10.1515/9783110232103.
[Published Version]
View
| DOI
| Download Published Version (ext.)