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.

7340 Publications


2009 | Journal Article | IST-REx-ID: 3768
Kupczok, Anne, and Arndt Von Haeseler. “Comment on ‘{A} Congruence Index for Testing Topological Similarity between Trees’.” Bioinformatics, vol. 25, no. 1, Oxford University Press, 2009, pp. 147–49, doi:4199.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
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.
View | Files available | DOI
 

2009 | 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 | 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 | Conference Paper | IST-REx-ID: 3837 | OA
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.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
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.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
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.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
View | Files available | DOI
 

2009 | 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 | Journal Article | IST-REx-ID: 3870 | OA
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.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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
 

2009 | Journal Article | IST-REx-ID: 3954
Renkawitz, Jörg, et al. “Adaptive Force Transmission in Amoeboid Cell Migration.” Nature Cell Biology, vol. 11, no. 12, Nature Publishing Group, 2009, pp. 1438–43, doi:10.1038/ncb1992.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3955
Pflicke, Holger, and Michael K. Sixt. “Preformed Portals Facilitate Dendritic Cell Entry into Afferent Lymphatic Vessels.” The Journal of Experimental Medicine, vol. 206, no. 13, Rockefeller University Press, 2009, pp. 2925–35, doi:10.1084/jem.20091739.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3966
Cohen Steiner, David, et al. “Extending Persistence Using Poincare and Lefschetz Duality.” Foundations of Computational Mathematics, vol. 9, no. 1, Springer, 2009, pp. 79–103, doi:10.1007/s10208-008-9027-z.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3967
Cohen Steiner, David, et al. Persistent Homology for Kernels, Images, and Cokernels. SIAM, 2009, pp. 1011–20.
View
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner, Herbert, and John Harer. The Persistent Morse Complex Segmentation of a 3-Manifold. Vol. 5903, Springer, 2009, pp. 36–50, doi:10.1007/978-3-642-10470-1_4.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova, Jitka, et al. “Species’ Range: Adaptation in Space and Time.” American Naturalist, vol. 174, no. 5, University of Chicago Press, 2009, pp. E186–204, doi:10.1086/605958.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4143
Ulrich, Florian, and Carl-Philipp J. Heisenberg. “Trafficking and Cell Migration.” Traffic, vol. 10, no. 7, Wiley-Blackwell, 2009, pp. 811–18, doi:10.1111/j.1600-0854.2009.00929.x.
View | DOI
 

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, vol. 126, Elsevier, 2009, pp. S168–S168, doi:10.1016/j.mod.2009.06.391.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4158
Paluch, Ewa, and Carl-Philipp J. Heisenberg. “Biology and Physics of Cell Shape Changes in Development.” Current Biology, vol. 19, no. 17, Cell Press, 2009, pp. R790–99, doi:10.1016/j.cub.2009.07.029.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4159
Paluch, Ewa, and Carl-Philipp J. Heisenberg. “Chaos Begets Order: Asynchronous Cell Contractions Drive Epithelial Morphogenesis.” Developmental Cell, vol. 16, no. 1, Cell Press, 2009, pp. 4–6, doi:10.1016/j.devcel.2008.12.011.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4160
Oteíza, Pablo, et al. “Linking Organ Formation to Left-Right Patterning in the Embryonic Zebrafish.” Mechanisms of Development, vol. 126, no. Supplement 1, Elsevier, 2009, pp. S11–S11, doi:10.1016/j.mod.2009.06.970.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4162
Oteíza, Pablo, et al. “Wnt11/Pk1a-Mediated Planar Cell Polarity Signalling Orchestrates Epithelial Organ Morphogenesis by Regulating N-Cadherin Dependent Cell Adhesion Forces.” Mechanisms of Development, vol. 126, no. Supplement 1, Elsevier, 2009, pp. S80–S80, doi:10.1016/j.mod.2009.06.098.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4165
Oates, Andrew, et al. “Quantitative Approaches in Developmental Biology.” Nature Reviews Genetics, vol. 10, no. 8, Nature Publishing Group, 2009, pp. 517–30, doi:10.1038/nrg2548.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4192
Kai, Masatake, et al. “Regulation of Planar Cell Polarity Signalling by the Prenylation Pathway.” Mechanisms of Development, vol. 126, no. Supplement 1, Elsevier, 2009, pp. S132–S132, doi:10.1016/j.mod.2009.06.269.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4206
Heisenberg, Carl-Philipp J. “Dorsal Closure in Drosophila: Cells Cannot Get out of the Tight Spot.” Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology, vol. 31, no. 12, Wiley-Blackwell, 2009, pp. 1284–87, doi:10.1002/bies.200900109.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4217
Carvalho, Lara, et al. “Control of Convergent Yolk Syncytial Layer Nuclear Movement in Zebrafish.” Development, vol. 136, no. 8, Company of Biologists, 2009, pp. 1305–15, doi:10.1242/dev.026922.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4223
Swoboda, Jonathan, et al. “Discovery of a Small Molecule That Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus Aureus.” ACS Chemical Biology, vol. 4, no. 10, American Chemical Society, 2009, pp. 875–83, doi:10.1021/cb900151k.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 4228
Bollenbach, Tobias, et al. “Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions.” Cell, vol. 139, no. 4, Cell Press, 2009, pp. 707–18, doi:10.1016/j.cell.2009.10.025.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4231
Barton, Nicholas H., and Harold De Vladar. “Statistical Mechanics and the Evolution of Polygenic Quantitative Traits.” Genetics, vol. 181, no. 3, Genetics Society of America, 2009, pp. 997–1011, doi:10.1534/genetics.108.099309.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4232
de Vladar, Harold. Stochasticity and Variability in the Dynamics and Genetics of Populations. Faculty of mathematical and natural sciences, University of Groningen, 2009, doi:3811.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton, Nicholas H., and Maria De Cara. “The Evolution of Strong Reproductive Isolation.” Evolution; International Journal of Organic Evolution, vol. 63, no. 5, Wiley, 2009, pp. 1171–90, doi:10.1111/j.1558-5646.2009.00622.x.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4357
Bollback, Jonathan P., and John Huelsenbeck. “Parallel Genetic Evolution within and between Bacteriophage Species of Varying Degrees of Divergence.” Genetics, vol. 181, no. 1, Genetics Society of America, 2009, pp. 225–34, doi:10.1534/genetics.107.085225.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4360
Wies, Thomas, et al. Combining Theories with Shared Set Operations. Springer, 2009, pp. 366–82, doi:1558.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4363
Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
View
 

2009 | Conference Paper | IST-REx-ID: 4365
Seghir, Mohamed, et al. Abstraction Refinement for Quantified Array Assertions. Springer, 2009, pp. 3–18, doi:1556.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4375
Lahiri, Shuvendu, et al. Intra-Module Inference. Springer, 2009, pp. 493–508, doi:1555.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4376
Lublinerman, Roberto, et al. Parallel Programming with Object Assemblies. ACM, 2009, pp. 61–80, doi:1546.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4377
Hoenicke, Jochen, et al. It’s Doomed; We Can Prove It. Springer, 2009, pp. 338–53, doi:1557.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, Rachid, et al. Software Transactional Memory on Relaxed Memory Models. Vol. 5643, Springer, 2009, pp. 321–36, doi:10.1007/978-3-642-02658-4_26.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4385
Dragojevic, Aleksandar, et al. Preventing versus Curing: Avoiding Conflicts in Transactional Memories. ACM, 2009, pp. 7–16, doi:1533.
View | DOI
 

Search

Filter Publications