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.

6985 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: 3841 | OA
T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” presented at the RP: Reachability Problems, Palaiseau, France, 2009, vol. 5797, pp. 3–23.
[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| 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: 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| 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: 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: 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: 4149
G. Soete and C.-P. J. Heisenberg, “The role of the extracellular matrix in Kupffer’s vesicle formation in zebrafish,” Mechanisms of Development, vol. 126. Elsevier, pp. S168–S168, 2009.
View | DOI
 

2009 |Published| Journal Article | IST-REx-ID: 4165
A. Oates, N. Gorfinkiel, M. Gonzalez Gaitan, and C.-P. J. Heisenberg, “Quantitative approaches in developmental biology,” Nature Reviews Genetics, vol. 10, no. 8. Nature Publishing Group, pp. 517–530, 2009.
View | DOI
 

2009 |Published| Journal Article | IST-REx-ID: 4192
M. Kai, N. Buchan, C.-P. J. Heisenberg, and M. Tada, “Regulation of planar cell polarity signalling by the prenylation pathway,” Mechanisms of Development, vol. 126, no. Supplement 1. Elsevier, pp. S132–S132, 2009.
View | DOI
 

2009 |Published| Journal Article | IST-REx-ID: 4223
J. Swoboda 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, pp. 875–883, 2009.
View | DOI | Download None (ext.)
 

2009 |Published| Journal Article | IST-REx-ID: 4228
T. Bollenbach, S. Quan, R. P. Chait, and R. Kishony, “Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions,” Cell, vol. 139, no. 4. Cell Press, pp. 707–718, 2009.
View | DOI
 

2009 |Published| Journal Article | IST-REx-ID: 4242 | OA
N. H. Barton and M. De Cara, “The evolution of strong reproductive isolation,” Evolution; International Journal of Organic Evolution, vol. 63, no. 5. Wiley, pp. 1171–1190, 2009.
[Submitted Version] View | Files available | DOI
 

2009 |Published| Conference Paper | IST-REx-ID: 4365
M. Seghir, A. Podelski, and T. Wies, “Abstraction Refinement for Quantified Array Assertions,” presented at the SAS: Static Analysis Symposium, 2009, pp. 3–18.
View | DOI
 

2009 |Published| Journal Article | IST-REx-ID: 3047
B. Titapiwatanakun et al., “ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis,” Plant Journal, vol. 57, no. 1. Wiley-Blackwell, pp. 27–44, 2009.
View | DOI
 

2009 |Published| Journal Article | IST-REx-ID: 3049
M. Pernisová et al., “Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux,” PNAS, vol. 106, no. 9. National Academy of Sciences, pp. 3609–3614, 2009.
View | DOI
 

Filters and Search Terms

supervisor%3D3E04A7AA-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications