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.

232 Publications


2009 | Published | Conference Paper | IST-REx-ID: 3843 | OA
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy, 2009, vol. 4, no. 6, pp. 118–127.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3844 | OA
T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States, 2009, pp. 171–180.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3869
K. Chatterjee, L. De Alfaro, M. Faella, and A. Legay, “Qualitative logics and equivalences for probabilistic systems,” Logical Methods in Computer Science, vol. 5, no. 2. International Federation of Computational Logic, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3870 | OA
K. Chatterjee, T. A. Henzinger, and F. Horn, “Finitary winning in omega-regular games,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1. ACM, 2009.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3871 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3946 | OA
S. Cremer and M. 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, pp. 129–142, 2009.
View | DOI | Download None (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 3947
T. Lämmermann, J. Renkawitz, X. Wu, K. Hirsch, C. Brakebusch, and M. K. Sixt, “Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper),” Blood, vol. 113, no. 23. American Society of Hematology, pp. 5703–5710, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3948
M. Bauer 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, pp. 1920–1925, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3949
T. Quast 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, pp. 5801–5810, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3950
M. Moser et al., “Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells,” Nature Medicine, vol. 15, no. 3. Nature Publishing Group, pp. 300–305, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3951
T. Lämmermann and M. K. Sixt, “Mechanical modes of ‘amoeboid’ cell migration,” Current Opinion in Cell Biology, vol. 21, no. 5. Elsevier, pp. 636–644, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3952
J. Schymeinsky 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, pp. 4209–4220, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3953
A. Wolf 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, pp. 3751–3760, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3954
J. Renkawitz et al., “Adaptive force transmission in amoeboid cell migration,” Nature Cell Biology, vol. 11, no. 12. Nature Publishing Group, pp. 1438–1443, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3955
H. Pflicke and M. K. Sixt, “Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels,” The Journal of Experimental Medicine, vol. 206, no. 13. Rockefeller University Press, pp. 2925–2935, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3966
D. Cohen Steiner, H. Edelsbrunner, and J. Harer, “Extending persistence using Poincare and Lefschetz duality,” Foundations of Computational Mathematics, vol. 9, no. 1. Springer, pp. 79–103, 2009.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3967
D. Cohen Steiner, H. Edelsbrunner, J. Harer, and D. Morozov, “Persistent homology for kernels, images, and cokernels,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 1011–1020.
View
 

2009 | Published | Conference Paper | IST-REx-ID: 3968 | OA
H. Edelsbrunner and J. Harer, “The persistent Morse complex segmentation of a 3-manifold,” presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland, 2009, vol. 5903, pp. 36–50.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4136 | OA
J. Polechova, N. H. Barton, and G. Marion, “Species’ range: Adaptation in space and time,” American Naturalist, vol. 174, no. 5. University of Chicago Press, pp. E186–E204, 2009.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 4143
F. Ulrich and C.-P. J. Heisenberg, “Trafficking and cell migration,” Traffic, vol. 10, no. 7. Wiley-Blackwell, pp. 811–818, 2009.
View | DOI
 

Filters and Search Terms

year=2009

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed