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.
9114 Publications
2009 | Journal Article | IST-REx-ID: 3780 | 
Davison, Angus, Nicholas H Barton, and Bryan Clarke. “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. Wiley, 2009. https://doi.org/10.1111/j.1420-9101.2009.01770.x.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3828
Schwenk, Jochen, Nadine Harmel, Gerd Zolles, Wolfgang Bildl, Ákos Kulik, Bernd Heimrich, Osamu Chisaka, et al. “Functional Proteomics Identify Cornichon Proteins as Auxiliary Subunits of AMPA Receptors.” Science. American Association for the Advancement of Science, 2009. https://doi.org/10.1126/science.1167852.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3843 |
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation,” 4:118–27. IEEE, 2009. https://doi.org/10.1109/HiBi.2009.23.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3841 |
Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models,” 5797:3–23. Springer, 2009. 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, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova. “Distributed, Modular HTL,” 171–80. IEEE, 2009. https://doi.org/10.1109/RTSS.2009.9.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3871 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Probabilistic Weighted Automata,” 5710:244–58. Springer, 2009. 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, Krishnendu, Thomas A Henzinger, and Florian Horn. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL). ACM, 2009. https://doi.org/10.1145/1614431.1614432.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, and Axel Legay. “Qualitative Logics and Equivalences for Probabilistic Systems.” Logical Methods in Computer Science. International Federation of Computational Logic, 2009. https://doi.org/10.2168/LMCS-5(2:7)2009.
View
| DOI
2009 | 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. Royal Society, The, 2009. https://doi.org/10.1098/rstb.2008.0166.
View
| DOI
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 3947
Lämmermann, Tim, Jörg Renkawitz, Xunwei Wu, Karin Hirsch, Cord Brakebusch, and Michael K Sixt. “Cdc42-Dependent Leading Edge Coordination Is Essential for Interstitial Dendritic Cell Migration (Plenary Paper).” Blood. American Society of Hematology, 2009. https://doi.org/10.1182/blood-2008-11-191882.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3948
Bauer, Martina, Cord Brakebusch, Caroline Coisne, Michael K Sixt, Hartmut Wekerle, Britta Engelhardt, and Reinhard Fässler. “Β1 Integrins Differentially Control Extravasation of Inflammatory Cell Subsets into the CNS during Autoimmunity.” PNAS. National Academy of Sciences, 2009. https://doi.org/10.1073/pnas.0808909106.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3949
Quast, Thomas, Barbara Tappertzhofen, Cora Schild, Jessica Grell, Niklas Czeloth, Reinhold Förster, Ronen Alon, et al. “Cytohesin-1 Controls the Activation of RhoA and Modulates Integrin-Dependent Adhesion and Migration of Dendritic Cells.” Blood. American Society of Hematology, 2009. https://doi.org/10.1182/blood-2008-08-176123.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4136 |
Polechova, Jitka, Nicholas H Barton, and Glenn Marion. “Species’ Range: Adaptation in Space and Time.” American Naturalist. University of Chicago Press, 2009. 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, Gwen, and Carl-Philipp J Heisenberg. “The Role of the Extracellular Matrix in Kupffer’s Vesicle Formation in Zebrafish.” Mechanisms of Development. Elsevier, 2009. https://doi.org/10.1016/j.mod.2009.06.391.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4165
Oates, Andrew, Nicole Gorfinkiel, Marcos Gonzalez Gaitan, and Carl-Philipp J Heisenberg. “Quantitative Approaches in Developmental Biology.” Nature Reviews Genetics. Nature Publishing Group, 2009. https://doi.org/10.1038/nrg2548.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4192
Kai, Masatake, Nina Buchan, Carl-Philipp J Heisenberg, and Masazumi Tada. “Regulation of Planar Cell Polarity Signalling by the Prenylation Pathway.” Mechanisms of Development. Elsevier, 2009. https://doi.org/10.1016/j.mod.2009.06.269.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4223
Swoboda, Jonathan, Timothy Meredith, Jennifer Campbell, Stephanie Brown, Takashi Suzuki, Mark Tobias Bollenbach, Amy Malhowski, Roy Kishony, Michael Gilmore, and Suzanne Walker. “Discovery of a Small Molecule That Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus Aureus.” ACS Chemical Biology. American Chemical Society, 2009. https://doi.org/10.1021/cb900151k.
View
| DOI
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 4228
Bollenbach, Tobias, Selwyn Quan, Remy P Chait, and Roy Kishony. “Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions.” Cell. Cell Press, 2009. https://doi.org/10.1016/j.cell.2009.10.025.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4242 |
Barton, Nicholas H, and Maria De Cara. “The Evolution of Strong Reproductive Isolation.” Evolution; International Journal of Organic Evolution. Wiley, 2009. 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, Mohamed, Andreas Podelski, and Thomas Wies. “Abstraction Refinement for Quantified Array Assertions,” 3–18. Springer, 2009. https://doi.org/1556.
View
| DOI