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.
1790 Publications
2009 |Published| Journal Article | IST-REx-ID: 4223
Swoboda J, Meredith T, Campbell J, et al. Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. 2009;4(10):875-883. doi:10.1021/cb900151k
View
| DOI
| Download None (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3048
Tanaka H, Kitakura S, De Rycke R, De Groodt R, Friml J. Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking. Current Biology. 2009;19(5):391-397. doi:10.1016/j.cub.2009.01.057
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3950
Moser M, Bauer M, Schmid S, et al. Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells. Nature Medicine. 2009;15(3):300-305. doi:10.1038/nm.1921
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3968 | 
Edelsbrunner H, Harer J. The persistent Morse complex segmentation of a 3-manifold. In: Vol 5903. Springer; 2009: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 JP, Huelsenbeck J. Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. 2009;181(1):225-234. doi:10.1534/genetics.107.085225
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4383 |
Guerraoui R, Henzinger TA, Singh V. Software transactional memory on relaxed memory models. In: Vol 5643. Springer; 2009:321-336. doi:10.1007/978-3-642-02658-4_26
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4403 |
Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009: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 TA, Mateescu M, Wolf V. Sliding-window abstraction for infinite Markov chains. In: Vol 5643. Springer; 2009:337-352. doi:10.1007/978-3-642-02658-4_27
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4535
Didier F, Henzinger TA, Mateescu M, Wolf V. Approximation of event probabilities in noisy cellular processes. In: Vol 5688. Springer; 2009:173-188. doi:10.1007/978-3-642-03845-7_12
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4542 |
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009: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 K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009: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 K, Henzinger TA, Horn F. Stochastic games with finitary objectives. In: Vol 5734. Springer; 2009:34-54. doi:10.1007/978-3-642-03816-7_4
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4569 |
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. 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 D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009: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 X, Riseborough PS, Modic KA, et al. Influence of magnetic fields on structural martensitic transitions. In: Journal of Physics: Conference Series. Vol 200. IOP Publishing; 2009. doi:10.1088/1742-6596/200/3/032062
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 752
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Of choices, failures and asynchrony: the many faces of set agreement. In: Vol 5878 LNCS. Springer; 2009:943-953. doi:10.1007/978-3-642-10631-6_95
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 88 |
Higginbotham AP, Semonin O, Bruce S, et al. Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. 2009;80(6). doi:10.1063/1.3155302
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 8479
Gal M, Kern T, Schanda P, Frydman L, Brutscher B. An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates. Journal of Biomolecular NMR. 2009;43:1-10. doi:10.1007/s10858-008-9284-9
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 8478
Brüschweiler S, Schanda P, Kloiber K, et al. Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. 2009;131(8):3063-3068. doi:10.1021/ja809947w
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 11111
Anderson DJ, Hetzer M. Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. 2008;182(5):911-924. doi:10.1083/jcb.200805140
View
| DOI
| PubMed | Europe PMC