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.
1621 Publications
2009 |Published| Conference Paper | IST-REx-ID: 3232
Pietrzak, Krzysztof Z. “A Leakage Resilient Mode of Operation,” 5479:462–82. Springer, 2009. https://doi.org/10.1007/978-3-642-01001-9_27.
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3503 | 
Chatterjee, Krishnendu, and Thomas A Henzinger. “Probabilistic Systems with Limsup and Liminf Objectives,” 5489:32–45. Springer, 2009. https://doi.org/10.1007/978-3-642-03092-5_4.
View
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 3715
Lampert, Christoph, and Jan Peters. “Active Structured Learning for High-Speed Object Detection,” 5748:221–31. Springer, 2009. https://doi.org/10.1007/978-3-642-03798-6_23.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3780 |
Davison, Angus, Nicholas H Barton, and Bryan Clarke. “The Effect of Chirality Phenotype and Genotype on the Fecundity and Viability of Partula Suturalis and Lymnaea Stagnalis: Implications for the Evolution of Sinistral Snails.” Journal of Evolutionary Biology. Wiley, 2009. https://doi.org/10.1111/j.1420-9101.2009.01770.x.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| 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 |Published| Conference Paper | IST-REx-ID: 3841 |
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.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3871 |
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.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| 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 |Published| Journal Article | IST-REx-ID: 4192
Kai, Masatake, Nina Buchan, Carl-Philipp J Heisenberg, and Masazumi Tada. “Regulation of Planar Cell Polarity Signalling by the Prenylation Pathway.” Mechanisms of Development. Elsevier, 2009. https://doi.org/10.1016/j.mod.2009.06.269.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 4223
Swoboda, Jonathan, Timothy Meredith, Jennifer Campbell, Stephanie Brown, Takashi Suzuki, Mark Tobias Bollenbach, Amy Malhowski, Roy Kishony, Michael Gilmore, and Suzanne Walker. “Discovery of a Small Molecule That Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus Aureus.” ACS Chemical Biology. American Chemical Society, 2009. https://doi.org/10.1021/cb900151k.
View
| DOI
| Download None (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3048
Tanaka, Hirokazu, Saeko Kitakura, Riet De Rycke, Ruth De Groodt, and Jiří Friml. “Fluorescence Imaging Based Screen Identifies ARF GEF Component of Early Endosomal Trafficking.” Current Biology. Cell Press, 2009. https://doi.org/10.1016/j.cub.2009.01.057.
View
| DOI
2009 |Published| 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 |Published| Conference Paper | IST-REx-ID: 3968 |
Edelsbrunner, Herbert, and John Harer. “The Persistent Morse Complex Segmentation of a 3-Manifold,” 5903:36–50. Springer, 2009. https://doi.org/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. Genetics Society of America, 2009. https://doi.org/10.1534/genetics.107.085225.
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4383 |
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,” 5643:321–36. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_26.
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4403 |
Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs,” 5771:86–101. Springer, 2009. https://doi.org/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, Maria Mateescu, and Verena Wolf. “Sliding-Window Abstraction for Infinite Markov Chains,” 5643:337–52. Springer, 2009. https://doi.org/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, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes,” 5688:173–88. Springer, 2009. https://doi.org/10.1007/978-3-642-03845-7_12.
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4542 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,” 5699:3–13. Springer, 2009. https://doi.org/10.1007/978-3-642-03409-1_2.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4545 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,” 5556:1–15. Springer, 2009. https://doi.org/10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI