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
2009 | Published | Journal Article | IST-REx-ID: 3775 | 
Barton, Nicholas H., and Jason Coe. “On the Application of Statistical Physics to Evolutionary Biology.” Journal of Theoretical Biology, vol. 259, no. 2, Elsevier, 2009, pp. 317–24, doi:10.1016/j.jtbi.2009.03.019.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3780 |
Davison, Angus, et al. “The Effect of Chirality Phenotype and Genotype on the Fecundity and Viability of Partula Suturalis and Lymnaea Stagnalis: Implications for the Evolution of Sinistral Snails.” Journal of Evolutionary Biology, vol. 22, no. 8, Wiley, 2009, pp. 1624–35, doi:10.1111/j.1420-9101.2009.01770.x.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3828
Schwenk, Jochen, et al. “Functional Proteomics Identify Cornichon Proteins as Auxiliary Subunits of AMPA Receptors.” Science, vol. 323, no. 5919, American Association for the Advancement of Science, 2009, pp. 1313–19, doi:10.1126/science.1167852.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3835
Bloem, Roderick, et al. Synthesizing Robust Systems. Springer, 2009, pp. 85–92, doi:10.1109/FMCAD.2009.5351139.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
Tripakis, Stavros, et al. “On Relational Interfaces.” EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3841 |
Henzinger, Thomas A., et al. Formalisms for Specifying Markovian Population Models. Vol. 5797, Springer, 2009, pp. 3–23, doi:10.1007/978-3-642-04420-5_2.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3843 |
Didier, Frédéric, et al. Fast Adaptive Uniformization of the Chemical Master Equation. Vol. 4, no. 6, IEEE, 2009, pp. 118–27, doi:10.1109/HiBi.2009.23.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3869
Chatterjee, Krishnendu, et al. “Qualitative Logics and Equivalences for Probabilistic Systems.” Logical Methods in Computer Science, vol. 5, no. 2, International Federation of Computational Logic, 2009, doi:10.2168/LMCS-5(2:7)2009.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3870 |
Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3946 |
Cremer, Sylvia, and Michael K. Sixt. “Analogies in the Evolution of Individual and Social Immunity.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 364, no. 1513, Royal Society, The, 2009, pp. 129–42, doi:10.1098/rstb.2008.0166.
View
| DOI
| Download None (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3947
Lämmermann, Tim, et al. “Cdc42-Dependent Leading Edge Coordination Is Essential for Interstitial Dendritic Cell Migration (Plenary Paper).” Blood, vol. 113, no. 23, American Society of Hematology, 2009, pp. 5703–10, doi:10.1182/blood-2008-11-191882.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3948
Bauer, Martina, et al. “Β1 Integrins Differentially Control Extravasation of Inflammatory Cell Subsets into the CNS during Autoimmunity.” PNAS, vol. 106, no. 6, National Academy of Sciences, 2009, pp. 1920–25, doi:10.1073/pnas.0808909106.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3949
Quast, Thomas, et al. “Cytohesin-1 Controls the Activation of RhoA and Modulates Integrin-Dependent Adhesion and Migration of Dendritic Cells.” Blood, vol. 113, no. 23, American Society of Hematology, 2009, pp. 5801–10, doi:10.1182/blood-2008-08-176123.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3950
Moser, Markus, et al. “Kindlin-3 Is Required for Β2 Integrin-Mediated Leukocyte Adhesion to Endothelial Cells.” Nature Medicine, vol. 15, no. 3, Nature Publishing Group, 2009, pp. 300–05, doi:10.1038/nm.1921.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3951
Lämmermann, Tim, and Michael K. Sixt. “Mechanical Modes of ‘amoeboid’ Cell Migration.” Current Opinion in Cell Biology, vol. 21, no. 5, Elsevier, 2009, pp. 636–44, doi:10.1016/j.ceb.2009.05.003.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3952
Schymeinsky, Jürgen, et al. “A Fundamental Role of MAbp1 in Neutrophils: Impact on β(2) Integrin-Mediated Phagocytosis and Adhesion in Vivo.” Blood, vol. 114, no. 19, American Society of Hematology, 2009, pp. 4209–20, doi:10.1182/blood-2009-02-206169.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3953
Wolf, Anna, et al. “The Sphingosine 1-Phosphate Receptor Agonist FTY720 Potently Inhibits Regulatory T Cell Proliferation in Vitro and in Vivo.” Journal of Immunology, vol. 183, no. 6, American Association of Immunologists, 2009, pp. 3751–60, doi:10.4049/jimmunol.0901011.
View
| DOI