Henzinger TA, Jobstmann B, Wolf V. 2009. Formalisms for specifying Markovian population models. RP: Reachability Problems, LNCS, vol. 5797, 3–23.
LibreCat: https://research-explorer.ista.ac.at/record/3841
DOI: 10.1007/978-3-642-04420-5_2

Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 171–180.
LibreCat: https://research-explorer.ista.ac.at/record/3844
DOI: 10.1109/RTSS.2009.9

Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 244–258.
LibreCat: https://research-explorer.ista.ac.at/record/3871
DOI: 10.1007/978-3-642-04081-8_17

Chatterjee K, Henzinger TA, Horn F. 2009. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 11(1), 1.
LibreCat: https://research-explorer.ista.ac.at/record/3870
DOI: 10.1145/1614431.1614432

Chatterjee K, De Alfaro L, Faella M, Legay A. 2009. Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. 5(2).
LibreCat: https://research-explorer.ista.ac.at/record/3869
DOI: 10.2168/LMCS-5(2:7)2009

Cremer S, Sixt MK. 2009. Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 364(1513), 129–142.
LibreCat: https://research-explorer.ista.ac.at/record/3946
DOI: 10.1098/rstb.2008.0166

Lämmermann T, Renkawitz J, Wu X, Hirsch K, Brakebusch C, Sixt MK. 2009. Cd-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper). Blood. 113(23), 5703–5710.
LibreCat: https://research-explorer.ista.ac.at/record/3947
DOI: 10.1182/blood-2008-11-191882

Bauer M, Brakebusch C, Coisne C, Sixt MK, Wekerle H, Engelhardt B, Fässler R. 2009. ;21 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity. PNAS. 106(6), 1920–1925.
LibreCat: https://research-explorer.ista.ac.at/record/3948
DOI: 10.1073/pnas.0808909106

Quast T, Tappertzhofen B, Schild C, Grell J, Czeloth N, Förster R, Alon R, Fraemohs L, Dreck K, Weber C, Lämmermann T, Sixt MK, Kolanus W. 2009. Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. 113(23), 5801–5810.
LibreCat: https://research-explorer.ista.ac.at/record/3949
DOI: 10.1182/blood-2008-08-176123

Polechova J, Barton NH, Marion G. 2009. Species’ range: Adaptation in space and time. American Naturalist. 174(5), 6–4.
LibreCat: https://research-explorer.ista.ac.at/record/4136
DOI: 10.1086/605958
PMID:  19788353

Soete G, Heisenberg C-PJ. 2009. The role of the extracellular matrix in Kupffer’s vesicle formation in zebrafish. Mechanisms of Development. 126, 8–8.
LibreCat: https://research-explorer.ista.ac.at/record/4149
DOI: 10.1016/j.mod.2009.06.391

Oates A, Gorfinkiel N, Gonzalez Gaitan M, Heisenberg C-PJ. 2009. Quantitative approaches in developmental biology. Nature Reviews Genetics. 10(8), 517–530.
LibreCat: https://research-explorer.ista.ac.at/record/4165
DOI: 10.1038/nrg2548

Kai M, Buchan N, Heisenberg C-PJ, Tada M. 2009. Regulation of planar cell polarity signalling by the prenylation pathway. Mechanisms of Development. 126(Supplement 1), 2–2.
LibreCat: https://research-explorer.ista.ac.at/record/4192
DOI: 10.1016/j.mod.2009.06.269

Swoboda J, Meredith T, Campbell J, Brown S, Suzuki T, Bollenbach MT, Malhowski A, Kishony R, Gilmore M, Walker S. 2009. Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. 4(10), 875–883.
LibreCat: https://research-explorer.ista.ac.at/record/4223
DOI: 10.1021/cb900151k

Bollenbach T, Quan S, Chait RP, Kishony R. 2009. Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions. Cell. 139(4), 707–718.
LibreCat: https://research-explorer.ista.ac.at/record/4228
DOI: 10.1016/j.cell.2009.10.025

Barton NH, De Cara M. 2009. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 63(5), 1171–1190.
LibreCat: https://research-explorer.ista.ac.at/record/4242
DOI: 10.1111/j.1558-5646.2009.00622.x

Seghir M, Podelski A, Wies T. 2009. Abstraction Refinement for Quantified Array Assertions. SAS: Static Analysis Symposium, LNCS 5673, , 3–18.
LibreCat: https://research-explorer.ista.ac.at/record/4365
DOI: 1556

Titapiwatanakun B, Blakeslee J, Bandyopadhyay A, Yang H, Mravec J, Sauer M, Cheng Y, Adamec J, Nagashima A, Geisler M, Sakai T, Friml J, Peer W, Murphy A. 2009. ABC PG stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. 57(1), 27–44.
LibreCat: https://research-explorer.ista.ac.at/record/3047
DOI: 10.1111/j.1365-313X.2008.03668.x

Pernisová M, Klíma P, Horák J, Válková M, Malbeck J, Soudek P, Reichman P, Hoyerová K, Dubová J, Friml J, Zaeímalová E, Hejátko J. 2009. Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux. PNAS. 106(9), 3609–3614.
LibreCat: https://research-explorer.ista.ac.at/record/3049
DOI: 10.1073/pnas.0811539106

Rfeidka K, Simásková M, Duclercq J, Petrásek J, Zaeímalová E, Simon S, Friml J, Van Montagu M, Benková E. 2009. Cytokinin regulates root meristem activity via modulation of the polar auxin transport. PNAS. 106(11), 4284–4289.
LibreCat: https://research-explorer.ista.ac.at/record/3050
DOI: 10.1073/pnas.0900060106