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.
1953 Publications
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| Conference Paper | IST-REx-ID: 3837 | 
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.
[Submitted Version]
View
| Files available
| 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
2009 |Published| Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Stochastic Games with Finitary Objectives,” 5734:34–54. Springer, 2009. https://doi.org/10.1007/978-3-642-03816-7_4.
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4569 |
Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,” 5643:140–56. Springer, 2009. https://doi.org/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, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,” 5505:58–61. Springer, 2009. https://doi.org/10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Technical Report | IST-REx-ID: 5394 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0002.
[Published Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 11752
Yang, Xiaodong, Peter S Riseborough, Kimberly A Modic, R A Fisher, C P Oppeil, T R Finlayson, J C Cooley, et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” In Journal of Physics: Conference Series, Vol. 200. IOP Publishing, 2009. https://doi.org/10.1088/1742-6596/200/3/032062.
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 752
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement,” 5878 LNCS:943–53. Springer, 2009. https://doi.org/10.1007/978-3-642-10631-6_95.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 88 |
Higginbotham, Andrew P, Octavi Semonin, S Bruce, C Chan, M Maindi, Tom Donnelly, M Maurer, et al. “Generation of Mie Size Microdroplet Aerosols with Applications in Laser-Driven Fusion Experiments.” Review of Scientific Instruments. American Institute of Physics, 2009. https://doi.org/10.1063/1.3155302.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 8478
Brüschweiler, Sven, Paul Schanda, Karin Kloiber, Bernhard Brutscher, Georg Kontaxis, Robert Konrat, and Martin Tollinger. “Direct Observation of the Dynamic Process Underlying Allosteric Signal Transmission.” Journal of the American Chemical Society. American Chemical Society, 2009. https://doi.org/10.1021/ja809947w.
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 11111
Anderson, Daniel J., and Martin Hetzer. “Reshaping of the Endoplasmic Reticulum Limits the Rate for Nuclear Envelope Formation.” Journal of Cell Biology. Rockefeller University Press, 2008. https://doi.org/10.1083/jcb.200805140.
View
| DOI
| PubMed | Europe PMC