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.
1850 Publications
2009 |Published| Journal Article | IST-REx-ID: 3828
Schwenk, Jochen, et al. “Functional Proteomics Identify Cornichon Proteins as Auxiliary Subunits of AMPA Receptors.” Science, vol. 323, no. 5919, American Association for the Advancement of Science, 2009, pp. 1313–19, doi:10.1126/science.1167852.
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3841 | 
Henzinger, Thomas A., et al. Formalisms for Specifying Markovian Population Models. Vol. 5797, Springer, 2009, pp. 3–23, doi:10.1007/978-3-642-04420-5_2.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3871 |
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3947
Lämmermann, Tim, et al. “Cdc42-Dependent Leading Edge Coordination Is Essential for Interstitial Dendritic Cell Migration (Plenary Paper).” Blood, vol. 113, no. 23, American Society of Hematology, 2009, pp. 5703–10, doi:10.1182/blood-2008-11-191882.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 4192
Kai, Masatake, et al. “Regulation of Planar Cell Polarity Signalling by the Prenylation Pathway.” Mechanisms of Development, vol. 126, no. Supplement 1, Elsevier, 2009, pp. S132–S132, doi:10.1016/j.mod.2009.06.269.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 4223
Swoboda, Jonathan, et al. “Discovery of a Small Molecule That Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus Aureus.” ACS Chemical Biology, vol. 4, no. 10, American Chemical Society, 2009, pp. 875–83, doi:10.1021/cb900151k.
View
| DOI
| Download None (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3048
Tanaka, Hirokazu, et al. “Fluorescence Imaging Based Screen Identifies ARF GEF Component of Early Endosomal Trafficking.” Current Biology, vol. 19, no. 5, Cell Press, 2009, pp. 391–97, doi:10.1016/j.cub.2009.01.057.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3950
Moser, Markus, et al. “Kindlin-3 Is Required for Β2 Integrin-Mediated Leukocyte Adhesion to Endothelial Cells.” Nature Medicine, vol. 15, no. 3, Nature Publishing Group, 2009, pp. 300–05, doi:10.1038/nm.1921.
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3968 |
Edelsbrunner, Herbert, and John Harer. The Persistent Morse Complex Segmentation of a 3-Manifold. Vol. 5903, Springer, 2009, pp. 36–50, doi:10.1007/978-3-642-10470-1_4.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 4357
Bollback, Jonathan P., and John Huelsenbeck. “Parallel Genetic Evolution within and between Bacteriophage Species of Varying Degrees of Divergence.” Genetics, vol. 181, no. 1, Genetics Society of America, 2009, pp. 225–34, doi:10.1534/genetics.107.085225.
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4383 |
Guerraoui, Rachid, et al. Software Transactional Memory on Relaxed Memory Models. Vol. 5643, Springer, 2009, pp. 321–36, doi:10.1007/978-3-642-02658-4_26.
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4403 |
Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 86–101, doi:10.1007/978-3-642-04027-6_9.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4453 |
Henzinger, Thomas A., et al. Sliding-Window Abstraction for Infinite Markov Chains. Vol. 5643, Springer, 2009, pp. 337–52, doi:10.1007/978-3-642-02658-4_27.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4535
Didier, Frédéric, et al. Approximation of Event Probabilities in Noisy Cellular Processes. Vol. 5688, Springer, 2009, pp. 173–88, doi:10.1007/978-3-642-03845-7_12.
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4542 |
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4545 |
Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, et al. Stochastic Games with Finitary Objectives. Vol. 5734, Springer, 2009, pp. 34–54, doi:10.1007/978-3-642-03816-7_4.
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4569 |
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |Published| Conference Paper | IST-REx-ID: 4580 |
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 11752
Yang, Xiaodong, et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” Journal of Physics: Conference Series, vol. 200, no. 3, 032062, IOP Publishing, 2009, doi:10.1088/1742-6596/200/3/032062.
View
| Files available
| DOI