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.
9113 Publications
2009 | Journal Article | IST-REx-ID: 3828
Schwenk, J., Harmel, N., Zolles, G., Bildl, W., Kulik, Á., Heimrich, B., … Klocker, N. (2009). Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1167852
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3843 | 
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Fast adaptive uniformization of the chemical master equation (Vol. 4, pp. 118–127). Presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy: IEEE. https://doi.org/10.1109/HiBi.2009.23
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3841 |
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2009). Formalisms for specifying Markovian population models (Vol. 5797, pp. 3–23). Presented at the RP: Reachability Problems, Palaiseau, France: Springer. https://doi.org/10.1007/978-3-642-04420-5_2
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3844 |
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/10.1109/RTSS.2009.9
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3871 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Probabilistic weighted automata (Vol. 5710, pp. 244–258). Presented at the CONCUR: Concurrency Theory, Bologna, Italy: Springer. https://doi.org/10.1007/978-3-642-04081-8_17
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3870 |
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1614431.1614432
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, K., De Alfaro, L., Faella, M., & Legay, A. (2009). Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-5(2:7)2009
View
| DOI
2009 | Journal Article | IST-REx-ID: 3946 |
Cremer, S., & Sixt, M. K. (2009). Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2008.0166
View
| DOI
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 3947
Lämmermann, T., Renkawitz, J., Wu, X., Hirsch, K., Brakebusch, C., & Sixt, M. K. (2009). Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper). Blood. American Society of Hematology. https://doi.org/10.1182/blood-2008-11-191882
View
| DOI
2009 | Journal Article | IST-REx-ID: 3948
Bauer, M., Brakebusch, C., Coisne, C., Sixt, M. K., Wekerle, H., Engelhardt, B., & Fässler, R. (2009). β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0808909106
View
| DOI
2009 | Journal Article | IST-REx-ID: 3949
Quast, T., Tappertzhofen, B., Schild, C., Grell, J., Czeloth, N., Förster, R., … Kolanus, W. (2009). Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. American Society of Hematology. https://doi.org/10.1182/blood-2008-08-176123
View
| DOI
2009 | Journal Article | IST-REx-ID: 4136 |
Polechova, J., Barton, N. H., & Marion, G. (2009). Species’ range: Adaptation in space and time. American Naturalist. University of Chicago Press. https://doi.org/10.1086/605958
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 4149
Soete, G., & Heisenberg, C.-P. J. (2009). The role of the extracellular matrix in Kupffer’s vesicle formation in zebrafish. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2009.06.391
View
| DOI
2009 | Journal Article | IST-REx-ID: 4165
Oates, A., Gorfinkiel, N., Gonzalez Gaitan, M., & Heisenberg, C.-P. J. (2009). Quantitative approaches in developmental biology. Nature Reviews Genetics. Nature Publishing Group. https://doi.org/10.1038/nrg2548
View
| DOI
2009 | Journal Article | IST-REx-ID: 4192
Kai, M., Buchan, N., Heisenberg, C.-P. J., & Tada, M. (2009). Regulation of planar cell polarity signalling by the prenylation pathway. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2009.06.269
View
| DOI
2009 | Journal Article | IST-REx-ID: 4223
Swoboda, J., Meredith, T., Campbell, J., Brown, S., Suzuki, T., Bollenbach, M. T., … Walker, S. (2009). Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. American Chemical Society. https://doi.org/10.1021/cb900151k
View
| DOI
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 4228
Bollenbach, T., Quan, S., Chait, R. P., & Kishony, R. (2009). Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.10.025
View
| DOI
2009 | Journal Article | IST-REx-ID: 4242 |
Barton, N. H., & De Cara, M. (2009). The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.2009.00622.x
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4365
Seghir, M., Podelski, A., & Wies, T. (2009). Abstraction Refinement for Quantified Array Assertions (pp. 3–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/1556
View
| DOI
2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun, B., Blakeslee, J., Bandyopadhyay, A., Yang, H., Mravec, J., Sauer, M., … Murphy, A. (2009). ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2008.03668.x
View
| DOI