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, Jochen, Nadine Harmel, Gerd Zolles, Wolfgang Bildl, Ákos Kulik, Bernd Heimrich, Osamu Chisaka, et al. “Functional Proteomics Identify Cornichon Proteins as Auxiliary Subunits of AMPA Receptors.” Science. American Association for the Advancement of Science, 2009. https://doi.org/10.1126/science.1167852.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3835
Bloem, Roderick, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Synthesizing Robust Systems,” 85–92. Springer, 2009. https://doi.org/10.1109/FMCAD.2009.5351139.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “On Relational Interfaces.” In EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, 67–76. ACM, 2009. https://doi.org/10.1145/1629335.1629346.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models,” 5797:3–23. Springer, 2009. https://doi.org/10.1007/978-3-642-04420-5_2.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation,” 4:118–27. IEEE, 2009. https://doi.org/10.1109/HiBi.2009.23.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova. “Distributed, Modular HTL,” 171–80. IEEE, 2009. https://doi.org/10.1109/RTSS.2009.9.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, and Axel Legay. “Qualitative Logics and Equivalences for Probabilistic Systems.” Logical Methods in Computer Science. International Federation of Computational Logic, 2009. https://doi.org/10.2168/LMCS-5(2:7)2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL). ACM, 2009. https://doi.org/10.1145/1614431.1614432.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Probabilistic Weighted Automata,” 5710:244–58. Springer, 2009. https://doi.org/10.1007/978-3-642-04081-8_17.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Cremer, Sylvia, and Michael K Sixt. “Analogies in the Evolution of Individual and Social Immunity.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2009. https://doi.org/10.1098/rstb.2008.0166.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 3947
Lämmermann, Tim, Jörg Renkawitz, Xunwei Wu, Karin Hirsch, Cord Brakebusch, and Michael K Sixt. “Cdc42-Dependent Leading Edge Coordination Is Essential for Interstitial Dendritic Cell Migration (Plenary Paper).” Blood. American Society of Hematology, 2009. https://doi.org/10.1182/blood-2008-11-191882.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3948
Bauer, Martina, Cord Brakebusch, Caroline Coisne, Michael K Sixt, Hartmut Wekerle, Britta Engelhardt, and Reinhard Fässler. “Β1 Integrins Differentially Control Extravasation of Inflammatory Cell Subsets into the CNS during Autoimmunity.” PNAS. National Academy of Sciences, 2009. https://doi.org/10.1073/pnas.0808909106.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3949
Quast, Thomas, Barbara Tappertzhofen, Cora Schild, Jessica Grell, Niklas Czeloth, Reinhold Förster, Ronen Alon, et al. “Cytohesin-1 Controls the Activation of RhoA and Modulates Integrin-Dependent Adhesion and Migration of Dendritic Cells.” Blood. American Society of Hematology, 2009. https://doi.org/10.1182/blood-2008-08-176123.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3950
Moser, Markus, Martina Bauer, Stephan Schmid, Raphael Ruppert, Sarah Schmidt, Michael K Sixt, Hao Wang, Markus Sperandio, and Reinhard Fässler. “Kindlin-3 Is Required for Β2 Integrin-Mediated Leukocyte Adhesion to Endothelial Cells.” Nature Medicine. Nature Publishing Group, 2009. https://doi.org/10.1038/nm.1921.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3951
Lämmermann, Tim, and Michael K Sixt. “Mechanical Modes of ‘amoeboid’ Cell Migration.” Current Opinion in Cell Biology. Elsevier, 2009. https://doi.org/10.1016/j.ceb.2009.05.003.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky, Jürgen, Ronald Gerstl, Ingrid Mannigel, Katy Niedung, David Frommhold, Klaus Panthel, Jürgen Heesemann, et al. “A Fundamental Role of MAbp1 in Neutrophils: Impact on β(2) Integrin-Mediated Phagocytosis and Adhesion in Vivo.” Blood. American Society of Hematology, 2009. https://doi.org/10.1182/blood-2009-02-206169.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3953
Wolf, Anna, Kathrin Eller, Robert Zeiser, Christoph Dürr, Ulrike Gerlach, Michael K Sixt, Lydia Markut, Guenther Gastl, Alexander Rosenkranz, and Dominik Wolf. “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, 2009. https://doi.org/10.4049/jimmunol.0901011.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3954
Renkawitz, Jörg, Kathrin Schumann, Michele Weber, Tim Lämmermann, Holger Pflicke, Matthieu Piel, Julien Polleux, Joachim Spatz, and Michael K Sixt. “Adaptive Force Transmission in Amoeboid Cell Migration.” Nature Cell Biology. Nature Publishing Group, 2009. https://doi.org/10.1038/ncb1992.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3955
Pflicke, Holger, and Michael K Sixt. “Preformed Portals Facilitate Dendritic Cell Entry into Afferent Lymphatic Vessels.” The Journal of Experimental Medicine. Rockefeller University Press, 2009. https://doi.org/10.1084/jem.20091739.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3966
Cohen Steiner, David, Herbert Edelsbrunner, and John Harer. “Extending Persistence Using Poincare and Lefschetz Duality.” Foundations of Computational Mathematics. Springer, 2009. https://doi.org/10.1007/s10208-008-9027-z.
View | DOI
 

Search

Filter Publications