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.
9087 Publications
2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee, Krishnendu, and Thomas A. Henzinger, editors. Formal Modeling and Analysis of Timed Systems. Vol. 6246, Springer, 2010, doi:10.1007/978-3-642-15297-9.
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3866 | 
Bloem, Roderick, et al. Robustness in the Presence of Liveness. Edited by Tayssir Touili et al., vol. 6174, Springer, 2010, pp. 410–24, doi:10.1007/978-3-642-14295-6_36.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3868 |
Chatterjee, Krishnendu, et al. “Algorithms for Game Metrics.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–27, doi:10.2168/LMCS-6(3:13)2010.
[Published Version]
View
| Files available
| DOI
2010 | Book | IST-REx-ID: 3899
Edelsbrunner, Herbert, and John Harer. Computational Topology: An Introduction. Vol. 69, American Mathematical Society, 2010, doi:10.1090/mbk/069.
View
| Files available
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3963
Streinzer, M., et al. “Visual Discrimination between Two Sexually Deceptive Ophrys Species by a Bee Pollinator.” Arthropod-Plant Interactions, vol. 4, no. 3, Springer, 2010, pp. 141–48, doi:10.1007/s11829-010-9093-4.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3959
Schumann, Kathrin, et al. “Immobilized Chemokine Fields and Soluble Chemokine Gradients Cooperatively Shape Migration Patterns of Dendritic Cells.” Immunity, vol. 32, no. 5, Cell Press, 2010, pp. 703–13, doi:10.1016/j.immuni.2010.04.017.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3958
Mohan, Hema, et al. “Extracellular Matrix in Multiple Sclerosis Lesions: Fibrillar Collagens, Biglycan and Decorin Are Upregulated and Associated with Infiltrating Immune Cells.” Brain Pathology, vol. 20, no. 5, Wiley-Blackwell, 2010, pp. 966–75, doi:10.1111/j.1750-3639.2010.00399.x.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3961
Renkawitz, Jörg, and Michael K. Sixt. “Mechanisms of Force Generation and Force Transmission during Interstitial Leukocyte Migration.” EMBO Reports, vol. 11, no. 10, Wiley-Blackwell, 2010, pp. 744–50, doi:10.1038/embor.2010.147.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3960 |
Weber, Michele, and Michael K. Sixt. “MEK Signalling Tunes Actin Treadmilling for Interstitial Lymphocyte Migration.” EMBO Journal, vol. 29, no. 17, Wiley-Blackwell, 2010, pp. 2861–63, doi:10.1038/emboj.2010.183.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3964
Cohen Steiner, David, et al. “Lipschitz Functions Have L_p-Stable Persistence.” Foundations of Computational Mathematics, vol. 10, no. 2, Springer, 2010, pp. 127–39, doi:10.1007/s10208-010-9060-6.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3957
Riedl, Julia, et al. “Lifeact Mice for Studying F-Actin Dynamics.” Nature Methods, vol. 7, no. 3, Nature Publishing Group, 2010, pp. 168–69, doi:10.1038/nmeth0310-168.
View
| DOI
2010 | Journal Article | IST-REx-ID: 4134
Bridle, Jon, et al. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.” Ecology Letters, vol. 13, no. 4, Wiley-Blackwell, 2010, pp. 485–94, doi:10.1111/j.1461-0248.2010.01442.x.
View
| DOI
2010 | Journal Article | IST-REx-ID: 4163
Oteíza, Pablo, et al. “Planar Cell Polarity Signalling Regulates Cell Adhesion Properties in Progenitors of the Zebrafish Laterality Organ.” Development, vol. 137, no. 20, Company of Biologists, 2010, pp. 3459–68, doi:10.1242/dev.049981.
View
| DOI
2010 | Journal Article | IST-REx-ID: 4243 |
Barton, Nicholas H., et al. “A New Model for Evolution in a Spatial Continuum.” Electronic Journal of Probability, vol. 15, no. 7, Institute of Mathematical Statistics, 2010, pp. 162–216, doi:10.1214/EJP.v15-741.
[Published Version]
View
| Files available
| DOI
2010 | Other Publication | IST-REx-ID: 4340 |
Danowski, Patrick. “Open Bibliographic Data.” European Library Automation Group (ELAG) 2010, Elsevier, 2010.
View
| Files available
| Download None (ext.)
2010 | Book (Editor) | IST-REx-ID: 4346 |
Danowski, Patrick, and Julia Bergmann, editors. Handbuch Bibliothek 2.0. Vol. 41, De Gruyter, 2010, doi:10.1515/9783110232103.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Conference Paper | IST-REx-ID: 4341
Danowski, Patrick. Step One: Blow up the Silo! - Open Bibliographic Data, the First Step towards Linked Open Data. IFLA, 2010.
View
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 4369 |
Nickovic, Dejan, and Nir Piterman. From MTL to Deterministic Timed Automata. Edited by Thomas A. Henzinger and Krishnendu Chatterjee, vol. 6246, Springer, 2010, pp. 152–67, doi:10.1007/978-3-642-15297-9_13.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4364
Podelski, Andreas, and Thomas Wies. Counterexample-Guided Focus. ACM, 2010, pp. 249–60, doi:10.1145/1707801.1706330.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3068
Růžička, Kamil, et al. “Arabidopsis PIS1 Encodes the ABCG37 Transporter of Auxinic Compounds Including the Auxin Precursor Indole 3 Butyric Acid.” PNAS, vol. 107, no. 23, National Academy of Sciences, 2010, pp. 10749–53, doi:10.1073/pnas.1005878107.
View
| DOI