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 | Journal Article | IST-REx-ID: 3398
Bollenbach MT, Kishony R. Quiet gene circuit more fragile than its noisy peer. Cell. 2009;139(3):460-461. doi:10.1016/j.cell.2009.10.005
View
| DOI
2009 | Journal Article | IST-REx-ID: 3547
Remy S, Csicsvari JL, Beck H. Activity-dependent control of neuronal output by local and global dendritic spike attenuation. Neuron. 2009;61(6):906-916. doi:10.1016/j.neuron.2009.01.032
View
| DOI
2009 | Book Chapter | IST-REx-ID: 3578
Attali D, Boissonnat J, Edelsbrunner H. Stability and computation of medial axes: a state-of-the-art report. In: Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration. Springer; 2009:109-125. doi:10.1007/b106657_6
View
| DOI
| Download (ext.)
2009 | Book Chapter | IST-REx-ID: 3675
Barton NH. Why sex and recombination? . In: Cold Spring Harbor Symposia on Quantitative Biology. Vol 74. Cold Spring Harbor Laboratory Press; 2009:187-195. doi:10.1101/sqb.2009.74.030
View
| DOI
2009 | Journal Article | IST-REx-ID: 3696
Lampert C, Blaschko M. Structured prediction by joint kernel support estimation. Machine Learning. 2009;77(2-3):249-269. doi:10.1007/s10994-009-5111-0
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3690
Dhillon P, Nowozin S, Lampert C. Combining appearance and motion for human action classification in videos. In: IEEE; 2009:22-29. doi:10.1109/CVPRW.2009.5204237
View
| DOI
2009 | Journal Article | IST-REx-ID: 3710
Lampert C, Blaschko M, Hofmann T. Efficient subwindow search: A branch and bound framework for object localization. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2009;31(12):2129-2142. doi:10.1109/TPAMI.2009.144
View
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 3711
Dhillon P, Nowozin S, Lampert C. Combining appearance and motion for human action classification in videos. In: IEEE; 2009:22-29. doi:10.1109/CVPRW.2009.5204237
View
| DOI
| Download (ext.)
2009 | Book | IST-REx-ID: 3707
Lampert C. Kernel Methods in Computer Vision. Vol 4. now publishers; 2009. doi:10.1561/0600000027
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3708
Nowozin S, Lampert C. Global connectivity potentials for random field models. In: IEEE; 2009:818-825. doi:10.1109/CVPR.2009.5206567
View
| DOI
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