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.
8915 Publications
2011 | Published | Journal Article | IST-REx-ID: 3505 | 
Sixt, Michael K., and Tim Lämmermann. “In Vitro Analysis of Chemotactic Leukocyte Migration in 3D Environments.” Cell Migration, vol. 769, Springer, 2011, pp. 149–65, doi:10.1007/978-1-61779-207-6_11.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Book Chapter | IST-REx-ID: 3724
Janovjak, Harald L., and Ehud Isacoff. “Structure-Based Design of Light-Controlled Proteins.” Photosensitive Molecules for the Control of Biological Function, vol. 55, Springer, 2011, pp. 233–66, doi:10.1007/978-1-61779-031-7_13.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3770
Hollatz, Claudia, et al. “The Amazon River System as an Ecological Barrier Driving Genetic Differentiation of the Pink Dolphin (Inia Geoffrensis).” Biological Journal of the Linnean Society, vol. 102, no. 4, Wiley, 2011, pp. 812–27, doi:10.1111/j.1095-8312.2011.01616.x.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3771
Pavan, Ana, et al. “Patterns of Diversification in Two Species of Short-Tailed Bats (Carollia Gray, 1838): The Effects of Historical Fragmentation of Brazilian Rainforests.” Biological Journal of the Linnean Society, vol. 102, no. 3, Wiley-Blackwell, 2011, pp. 527–39, doi:10.1111/j.1095-8312.2010.01601.x.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3778 |
Barton, Nicholas H. “Estimating Linkage Disequilibria.” Heredity, vol. 106, no. 2, Nature Publishing Group, 2011, pp. 205–06, doi:10.1038/hdy.2010.67.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 3781
Fasy, Brittany Terese. “The Difference in Length of Curves in R^n.” Acta Sci. Math. (Szeged), vol. 77, no. 1–2, Szegedi Tudományegyetem, 2011, pp. 359–67.
View
2011 | Published | Journal Article | IST-REx-ID: 3784 |
Palero, Ferran, et al. “Scyllarus Arctus (Crustacea: Decapoda: Scyllaridae) Final Stage Phyllosoma Identified by DNA Analysis, with Morphological Description.” Journal of the Marine Biological Association of the United Kingdom, vol. 91, no. 2, Cambridge University Press, 2011, pp. 485–92, doi:10.1017/S0025315410000287.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Book Chapter | IST-REx-ID: 3791
Krens, Gabriel, and Carl-Philipp J. Heisenberg. “Cell Sorting in Development.” Forces and Tension in Development, edited by Michel Labouesse, vol. 95, Elsevier, 2011, pp. 189–213, doi:10.1016/B978-0-12-385065-2.00006-2.
View
| DOI
2011 | Published | Book Chapter | IST-REx-ID: 3796 |
Edelsbrunner, Herbert, and Michael Kerber. “Covering and Packing with Spheres by Diagonal Distortion in R^n.” Rainbow of Computer Science, edited by Cristian Calude et al., vol. 6570, Springer, 2011, pp. 20–35, doi:10.1007/978-3-642-19391-0_2.
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 386 |
Alpichshev, Zhanybek, et al. “STM Imaging of a Bound State along a Step on the Surface of the Topological Insulator Bi2Te3.” Physical Review B - Condensed Matter and Materials Physics, vol. 84, no. 4, American Physical Society, 2011, doi:10.1103/PhysRevB.84.041104.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 3965
Wang, Bei, et al. “Computing Elevation Maxima by Searching the Gauss Sphere.” Journal of Experimental Algorithmics, vol. 16, no. 2.2, ACM, 2011, pp. 1–13, doi:10.1145/1963190.1970375.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 469 |
Vyleta, Nicholas, and Stephen Smith. “Spontaneous Glutamate Release Is Independent of Calcium Influx and Tonically Activated by the Calcium-Sensing Receptor.” European Journal of Neuroscience, vol. 31, no. 12, Wiley-Blackwell, 2011, pp. 4593–606, doi:10.1523/JNEUROSCI.6398-10.2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 490 |
Schlögl, Alois, et al. “BioSig: The Free and Open Source Software Library for Biomedical Signal Processing.” Computational Intelligence and Neuroscience, vol. 2011, 935364, Hindawi Publishing Corporation, 2011, doi:10.1155/2011/935364.
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 491
Eichner, Alexander, and Michael K. Sixt. “Setting the Clock for Recirculating Lymphocytes.” Science Signaling, vol. 4, no. 198, pe43, American Association for the Advancement of Science, 2011, doi:10.1126/scisignal.2002617.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 518 |
Schraivogel, Daniel, et al. “CAMTA1 Is a Novel Tumour Suppressor Regulated by MiR-9/9 * in Glioblastoma Stem Cells.” EMBO Journal, vol. 30, no. 20, Wiley-Blackwell, 2011, pp. 4309–22, doi:10.1038/emboj.2011.301.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 531 |
Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi:10.1007/s10703-011-0131-3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Technical Report | IST-REx-ID: 5379 |
Chatterjee, Krishnendu, and Monika H. Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.
[Published Version]
View
| Files available
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5380 |
Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0008.
[Published Version]
View
| Files available
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5381 |
Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011, doi:10.15479/AT:IST-2011-0007.
[Published Version]
View
| Files available
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5382 |
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0006.
[Published Version]
View
| Files available
| DOI