Schwenk J, Harmel N, Zolles G, et al. Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. 2009;323(5919):1313-1319. doi:10.1126/science.1167852
LibreCat: https://research-explorer.ista.ac.at/record/3828
DOI: 10.1126/science.1167852

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
LibreCat: https://research-explorer.ista.ac.at/record/3843
DOI: 10.1109/HiBi.2009.23

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
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. Distributed, modular HTL. In: IEEE; 2009:171-180. doi:10.1109/RTSS.2009.9
LibreCat: https://research-explorer.ista.ac.at/record/3844
DOI: 10.1109/RTSS.2009.9

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
LibreCat: https://research-explorer.ista.ac.at/record/3871
DOI: 10.1007/978-3-642-04081-8_17

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
LibreCat: https://research-explorer.ista.ac.at/record/3870
DOI: 10.1145/1614431.1614432

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
LibreCat: https://research-explorer.ista.ac.at/record/3869
DOI: 10.2168/LMCS-5(2:7)2009

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
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. Cd-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
LibreCat: https://research-explorer.ista.ac.at/record/3947
DOI: 10.1182/blood-2008-11-191882

Bauer M, Brakebusch C, Coisne C, et al. ;21 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity. PNAS. 2009;106(6):1920-1925. doi:10.1073/pnas.0808909106
LibreCat: https://research-explorer.ista.ac.at/record/3948
DOI: 10.1073/pnas.0808909106

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
LibreCat: https://research-explorer.ista.ac.at/record/3949
DOI: 10.1182/blood-2008-08-176123

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

Soete G, Heisenberg C-PJ. The role of the extracellular matrix in Kupffer’s vesicle formation in zebrafish. Mechanisms of Development. 2009;126:8-8. doi:10.1016/j.mod.2009.06.391
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. Quantitative approaches in developmental biology. Nature Reviews Genetics. 2009;10(8):517-530. doi:10.1038/nrg2548
LibreCat: https://research-explorer.ista.ac.at/record/4165
DOI: 10.1038/nrg2548

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):2-2. doi:10.1016/j.mod.2009.06.269
LibreCat: https://research-explorer.ista.ac.at/record/4192
DOI: 10.1016/j.mod.2009.06.269

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
LibreCat: https://research-explorer.ista.ac.at/record/4223
DOI: 10.1021/cb900151k

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
LibreCat: https://research-explorer.ista.ac.at/record/4228
DOI: 10.1016/j.cell.2009.10.025

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
LibreCat: https://research-explorer.ista.ac.at/record/4242
DOI: 10.1111/j.1558-5646.2009.00622.x

Seghir M, Podelski A, Wies T. Abstraction Refinement for Quantified Array Assertions. In: Springer; 2009:3-18. doi:1556
LibreCat: https://research-explorer.ista.ac.at/record/4365
DOI: 1556

Titapiwatanakun B, Blakeslee J, Bandyopadhyay A, et al. ABC PG stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. 2009;57(1):27-44. doi:10.1111/j.1365-313X.2008.03668.x
LibreCat: https://research-explorer.ista.ac.at/record/3047
DOI: 10.1111/j.1365-313X.2008.03668.x