Please note that IST 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.

6749 Publications


2009 | Journal Article | IST-REx-ID: 3828
Schwenk, J., Harmel, N., Zolles, G., Bildl, W., Kulik, Á., Heimrich, B., … Klocker, N. (2009). Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1167852
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3835
Bloem, R., Greimel, K., Henzinger, T. A., & Jobstmann, B. (2009). Synthesizing robust systems (pp. 85–92). Presented at the FMCAD: Formal Methods in Computer-Aided Design, Springer. https://doi.org/10.1109/FMCAD.2009.5351139
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2009). On relational interfaces. In EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software (pp. 67–76). Grenoble, France: ACM. https://doi.org/10.1145/1629335.1629346
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2009). Formalisms for specifying Markovian population models (Vol. 5797, pp. 3–23). Presented at the RP: Reachability Problems, Palaiseau, France: Springer. https://doi.org/10.1007/978-3-642-04420-5_2
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Fast adaptive uniformization of the chemical master equation (Vol. 4, pp. 118–127). Presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy: IEEE. https://doi.org/10.1109/HiBi.2009.23
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/10.1109/RTSS.2009.9
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, K., De Alfaro, L., Faella, M., & Legay, A. (2009). Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-5(2:7)2009
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1614431.1614432
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Probabilistic weighted automata (Vol. 5710, pp. 244–258). Presented at the CONCUR: Concurrency Theory, Bologna, Italy: Springer. https://doi.org/10.1007/978-3-642-04081-8_17
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Cremer, S., & Sixt, M. K. (2009). Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2008.0166
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 3947
Lämmermann, T., Renkawitz, J., Wu, X., Hirsch, K., Brakebusch, C., & Sixt, M. K. (2009). Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper). Blood. American Society of Hematology. https://doi.org/10.1182/blood-2008-11-191882
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3948
Bauer, M., Brakebusch, C., Coisne, C., Sixt, M. K., Wekerle, H., Engelhardt, B., & Fässler, R. (2009). β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0808909106
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3949
Quast, T., Tappertzhofen, B., Schild, C., Grell, J., Czeloth, N., Förster, R., … Kolanus, W. (2009). Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. American Society of Hematology. https://doi.org/10.1182/blood-2008-08-176123
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3950
Moser, M., Bauer, M., Schmid, S., Ruppert, R., Schmidt, S., Sixt, M. K., … Fässler, R. (2009). Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells. Nature Medicine. Nature Publishing Group. https://doi.org/10.1038/nm.1921
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3951
Lämmermann, T., & Sixt, M. K. (2009). Mechanical modes of “amoeboid” cell migration. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2009.05.003
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky, J., Gerstl, R., Mannigel, I., Niedung, K., Frommhold, D., Panthel, K., … Walzog, B. (2009). A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo. Blood. American Society of Hematology. https://doi.org/10.1182/blood-2009-02-206169
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3953
Wolf, A., Eller, K., Zeiser, R., Dürr, C., Gerlach, U., Sixt, M. K., … Wolf, D. (2009). The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo. Journal of Immunology. American Association of Immunologists. https://doi.org/10.4049/jimmunol.0901011
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3954
Renkawitz, J., Schumann, K., Weber, M., Lämmermann, T., Pflicke, H., Piel, M., … Sixt, M. K. (2009). Adaptive force transmission in amoeboid cell migration. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb1992
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3955
Pflicke, H., & Sixt, M. K. (2009). Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels. The Journal of Experimental Medicine. Rockefeller University Press. https://doi.org/10.1084/jem.20091739
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3966
Cohen Steiner, D., Edelsbrunner, H., & Harer, J. (2009). Extending persistence using Poincare and Lefschetz duality. Foundations of Computational Mathematics. Springer. https://doi.org/10.1007/s10208-008-9027-z
View | DOI
 

Search

Filter Publications