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.
7131 Publications
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 | Journal Article | IST-REx-ID: 3831 |
Norenberg, Anja, Hua Hu, Imre Vida, Marlene Bartos, and Peter M Jonas. “Distinct Nonuniform Cable Properties Optimize Rapid and Efficient Activation of Fast-Spiking GABAergic Interneurons.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.0910716107.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 3832 |
Guzmán, José, and Peter M Jonas. “Beyond TARPs: The Growing List of Auxiliary AMPAR Subunits.” Neuron. Elsevier, 2010. https://doi.org/10.1016/j.neuron.2010.04.003.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 3834 |
Wolf, Verena, Rushil Goel, Maria Mateescu, and Thomas A Henzinger. “Solving the Chemical Master Equation Using Sliding Windows.” BMC Systems Biology. BioMed Central, 2010. https://doi.org/10.1186/1752-0509-4-42.
[Published Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3838 |
Henzinger, Thomas A, Maria Mateescu, Linar Mikeev, and Verena Wolf. “Hybrid Numerical Solution of the Chemical Master Equation,” 55–65. Springer, 2010. https://doi.org/10.1145/1839764.1839772.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3839 |
Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrei Voronkov. “Invariant and Type Inference for Matrices,” 5944:163–79. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2_14.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3842 |
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation.” IET Systems Biology. Institution of Engineering and Technology, 2010. https://doi.org/10.1049/iet-syb.2010.0005.
[Submitted Version]
View
| Files available
| DOI
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: 3847 |
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks,” 193–94. IEEE, 2010. https://doi.org/10.1109/QEST.2010.33.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3849 |
Bendich, Paul, Herbert Edelsbrunner, Michael Kerber, and Amit Patel. “Persistent Homology under Non-Uniform Error,” 6281:12–23. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_2.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 385 |
Alpichshev, Zhanybek, James Analytis, Jiunhaw Chu, Ian Fisher, Yulin Chen, Zhixun Shen, Aiping Fang, and Aharon Kapitulnik. “STM Imaging of Electronic Waves on the Surface of Bi2Te3 Topologically Protected Surface States and Hexagonal Warping Effects.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.104.016401.
View
| DOI
| Download None (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 3852 |
Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting in Games across Time Scales,” 25:22–29. EPTCS, 2010. https://doi.org/10.4204/EPTCS.25.6.
[Published Version]
View
| Files available
| DOI
| arXiv
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: 3860 |
Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Generalized Mean-Payoff and Energy Games,” 8:505–16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3861 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic.” Information and Computation. Elsevier, 2010. https://doi.org/10.1016/j.ic.2009.07.004.
[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 | Journal Article | IST-REx-ID: 3901 |
Bendich, Paul, Herbert Edelsbrunner, and Michael Kerber. “Computing Robustness and Persistence for Images.” IEEE Transactions of Visualization and Computer Graphics. IEEE, 2010. https://doi.org/10.1109/TVCG.2010.139.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3904 |
Ugelvig, Line V, Daniel Kronauer, Alexandra Schrempf, Jürgen Heinze, and Sylvia Cremer. “Rapid Anti-Pathogen Response in Ant Societies Relies on High Genetic Diversity.” Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2010. https://doi.org/10.1098/rspb.2010.0644.
View
| DOI
| Download None (ext.)
2010 | Published | Journal Article | IST-REx-ID: 3960 |
Weber, Michele, and Michael K Sixt. “MEK Signalling Tunes Actin Treadmilling for Interstitial Lymphocyte Migration.” EMBO Journal. Wiley-Blackwell, 2010. https://doi.org/10.1038/emboj.2010.183.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 4157 |
Papusheva, Ekaterina, and Carl-Philipp J Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.” EMBO Journal. Wiley-Blackwell, 2010. https://doi.org/10.1038/emboj.2010.182.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC