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.
9084 Publications
2009 | Conference Paper | IST-REx-ID: 3709
Lampert C. Detecting objects in large image collections and videos by efficient subimage retrieval. In: IEEE; 2009:987-994. doi:10.1109/ICCV.2009.5459359
View
| DOI
2009 | Journal Article | IST-REx-ID: 3745
Tkačik G, Bialek W. Diffusion, dimensionality, and noise in transcriptional regulation. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2009;79(5). doi:10.1103/PhysRevE.79.051901
View
| DOI
2009 | Journal Article | IST-REx-ID: 3775 | 
Barton NH, Coe J. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 2009;259(2):317-324. doi:10.1016/j.jtbi.2009.03.019
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Conference Paper | IST-REx-ID: 3837 |
Tripakis S, Lickly B, Henzinger TA, Lee E. On relational interfaces. In: EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software. ACM; 2009:67-76. doi:10.1145/1629335.1629346
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3835
Bloem R, Greimel K, Henzinger TA, Jobstmann B. Synthesizing robust systems. In: Springer; 2009:85-92. doi:10.1109/FMCAD.2009.5351139
View
| DOI
2009 | Journal Article | IST-REx-ID: 3954
Renkawitz J, Schumann K, Weber M, et al. Adaptive force transmission in amoeboid cell migration. Nature Cell Biology. 2009;11(12):1438-1443. doi:10.1038/ncb1992
View
| DOI
2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky J, Gerstl R, Mannigel I, et al. A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo. Blood. 2009;114(19):4209-4220. doi:10.1182/blood-2009-02-206169
View
| DOI
2009 | Journal Article | IST-REx-ID: 3953
Wolf A, Eller K, Zeiser R, et al. The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo. Journal of Immunology. 2009;183(6):3751-3760. doi:10.4049/jimmunol.0901011
View
| DOI
2009 | Journal Article | IST-REx-ID: 3955
Pflicke H, Sixt MK. Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels. The Journal of Experimental Medicine. 2009;206(13):2925-2935. doi:10.1084/jem.20091739
View
| DOI
2009 | 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 | Journal Article | IST-REx-ID: 3951
Lämmermann T, Sixt MK. Mechanical modes of “amoeboid” cell migration. Current Opinion in Cell Biology. 2009;21(5):636-644. doi:10.1016/j.ceb.2009.05.003
View
| DOI
2009 | 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 | Journal Article | IST-REx-ID: 3966
Cohen Steiner D, Edelsbrunner H, Harer J. Extending persistence using Poincare and Lefschetz duality. Foundations of Computational Mathematics. 2009;9(1):79-103. doi:10.1007/s10208-008-9027-z
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3967
Cohen Steiner D, Edelsbrunner H, Harer J, Morozov D. Persistent homology for kernels, images, and cokernels. In: SIAM; 2009:1011-1020.
View
2009 | Journal Article | IST-REx-ID: 4143
Ulrich F, Heisenberg C-PJ. Trafficking and cell migration. Traffic. 2009;10(7):811-818. doi:10.1111/j.1600-0854.2009.00929.x
View
| DOI
2009 | Journal Article | IST-REx-ID: 4160
Oteíza P, Lemus C, Köppen M, et al. Linking organ formation to left-right patterning in the embryonic zebrafish. Mechanisms of Development. 2009;126(Supplement 1):S11-S11. doi:10.1016/j.mod.2009.06.970
View
| DOI
2009 | Journal Article | IST-REx-ID: 4162
Oteíza P, Köppen M, Krieg M, et al. Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces. Mechanisms of Development. 2009;126(Supplement 1):S80-S80. doi:10.1016/j.mod.2009.06.098
View
| DOI
2009 | Journal Article | IST-REx-ID: 4158
Paluch E, Heisenberg C-PJ. Biology and physics of cell shape changes in development. Current Biology. 2009;19(17):R790-R799. doi:10.1016/j.cub.2009.07.029
View
| DOI
2009 | Journal Article | IST-REx-ID: 4159
Paluch E, Heisenberg C-PJ. Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis. Developmental Cell. 2009;16(1):4-6. doi:10.1016/j.devcel.2008.12.011
View
| DOI
2009 | Journal Article | IST-REx-ID: 4206
Heisenberg C-PJ. Dorsal closure in Drosophila: cells cannot get out of the tight spot. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. 2009;31(12):1284-1287. doi:10.1002/bies.200900109
View
| DOI
2009 | Journal Article | IST-REx-ID: 4217
Carvalho L, Stuehmer J, Bois J, Kalaidzidis Y, Lecaudey V, Heisenberg C-PJ. Control of convergent yolk syncytial layer nuclear movement in zebrafish. Development. 2009;136(8):1305-1315. doi:10.1242/dev.026922
View
| DOI
2009 | Journal Article | IST-REx-ID: 4231
Barton NH, De Vladar H. Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. 2009;181(3):997-1011. doi:10.1534/genetics.108.099309
View
| DOI
2009 | 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 | Thesis | IST-REx-ID: 4363
Singh V. Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. 2009.
View
2009 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Conference Paper | IST-REx-ID: 4544 |
Chatterjee K, De Alfaro L, Henzinger TA. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi:10.1137/1.9781611973068.23
View
| Files available
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages. In: IEEE; 2009:199-208. doi:10.1109/LICS.2009.16
View
| Files available
| DOI
2009 | 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 | 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 | Technical Report | IST-REx-ID: 5393 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. Gist: A Solver for Probabilistic Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0003
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5394 |
Chatterjee K, Henzinger TA, Horn F. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0002
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5392 |
Chatterjee K. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria; 2009. doi:10.15479/AT:IST-2009-0004
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5395 |
Chatterjee K, Doyen L, Henzinger TA. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria; 2009. doi:10.15479/AT:IST-2009-0001
[Published Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 599 |
Knuesel M, Meyer K, Bernecky C, Taatjes D. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 2009;23(4):439-451. doi:10.1101/gad.1767009
View
| DOI
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 6144
Persson A, Gross E, Laurent P, Busch KE, Bretes H, de Bono M. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 2009;458(7241):1030-1033. doi:10.1038/nature07820
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 6145
Cohen M, Reale V, Olofsson B, Knights A, Evans P, de Bono M. Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. 2009;9(4):375-385. doi:10.1016/j.cmet.2009.02.003
View
| DOI
| PubMed | Europe PMC
2009 | 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