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 | 
Didier F, Henzinger TA, Mateescu M, Wolf V. Fast adaptive uniformization of the chemical master equation. In: Vol 4. IEEE; 2009:118-127. doi:10.1109/HiBi.2009.23
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3841 |
Henzinger TA, Jobstmann B, Wolf V. Formalisms for specifying Markovian population models. In: Vol 5797. Springer; 2009:3-23. doi:10.1007/978-3-642-04420-5_2
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3844 |
Henzinger TA, Kirsch C, Marques E, Sokolova A. Distributed, modular HTL. In: IEEE; 2009:171-180. doi:10.1109/RTSS.2009.9
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3871 |
Chatterjee K, Doyen L, Henzinger TA. Probabilistic weighted automata. In: Vol 5710. Springer; 2009:244-258. doi:10.1007/978-3-642-04081-8_17
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3870 |
Chatterjee K, Henzinger TA, Horn F. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 2009;11(1). doi:10.1145/1614431.1614432
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3869
Chatterjee K, De Alfaro L, Faella M, Legay A. Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. 2009;5(2). doi:10.2168/LMCS-5(2:7)2009
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3946 |
Cremer S, Sixt MK. Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2009;364(1513):129-142. doi:10.1098/rstb.2008.0166
View
| DOI
| Download None (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3947
Lämmermann T, Renkawitz J, Wu X, Hirsch K, Brakebusch C, Sixt MK. Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper). Blood. 2009;113(23):5703-5710. doi:10.1182/blood-2008-11-191882
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3948
Bauer M, Brakebusch C, Coisne C, et al. β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity. PNAS. 2009;106(6):1920-1925. doi:10.1073/pnas.0808909106
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3949
Quast T, Tappertzhofen B, Schild C, et al. Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. 2009;113(23):5801-5810. doi:10.1182/blood-2008-08-176123
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 4136 |
Polechova J, Barton NH, Marion G. Species’ range: Adaptation in space and time. American Naturalist. 2009;174(5):E186-E204. doi:10.1086/605958
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 4149
Soete G, Heisenberg C-PJ. The role of the extracellular matrix in Kupffer’s vesicle formation in zebrafish. Mechanisms of Development. 2009;126:S168-S168. doi:10.1016/j.mod.2009.06.391
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 4165
Oates A, Gorfinkiel N, Gonzalez Gaitan M, Heisenberg C-PJ. Quantitative approaches in developmental biology. Nature Reviews Genetics. 2009;10(8):517-530. doi:10.1038/nrg2548
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 4192
Kai M, Buchan N, Heisenberg C-PJ, Tada M. Regulation of planar cell polarity signalling by the prenylation pathway. Mechanisms of Development. 2009;126(Supplement 1):S132-S132. doi:10.1016/j.mod.2009.06.269
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 4223
Swoboda J, Meredith T, Campbell J, et al. Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. 2009;4(10):875-883. doi:10.1021/cb900151k
View
| DOI
| Download None (ext.)
2009 |Published| Journal Article | IST-REx-ID: 4228
Bollenbach T, Quan S, Chait RP, Kishony R. Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions. Cell. 2009;139(4):707-718. doi:10.1016/j.cell.2009.10.025
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 4242 |
Barton NH, De Cara M. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 2009;63(5):1171-1190. doi:10.1111/j.1558-5646.2009.00622.x
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3047
Titapiwatanakun B, Blakeslee J, Bandyopadhyay A, et al. ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. 2009;57(1):27-44. doi:10.1111/j.1365-313X.2008.03668.x
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3049
Pernisová M, Klíma P, Horák J, et al. Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux. PNAS. 2009;106(9):3609-3614. doi:10.1073/pnas.0811539106
View
| DOI