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.

9096 Publications


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 | OA
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 | Thesis | IST-REx-ID: 4232
de Vladar H. Stochasticity and Variability in the dynamics and genetics of populations. 2009. doi:3811
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 | Conference Paper | IST-REx-ID: 4360
Wies T, Piskac R, Kuncak V. Combining Theories with Shared Set Operations. In: Springer; 2009:366-382. doi:1558
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: 4375
Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. Intra-module Inference. In: Springer; 2009:493-508. doi:1555
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4377
Hoenicke J, Leino KR, Podelski A, Schäf M, Wies T. It’s Doomed; We Can Prove It. In: Springer; 2009:338-353. doi:1557
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
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: 4385
Dragojevic A, Guerraoui R, Singh A, Singh V. Preventing versus curing: avoiding conflicts in transactional memories. In: ACM; 2009:7-16. doi:1533
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4376
Lublinerman R, Chaudhuri S, Cerny P. Parallel programming with object assemblies. In: ACM; 2009:61-80. doi:1546
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4391
Cerny P, Alur R. Automated Analysis of Java Methods for Confidentiality. In: Springer; 2009:173-187. doi:1548
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 

2009 | Journal Article | IST-REx-ID: 7080
Yang X-D, Riseborough PS, Modic KA, et al. Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. 2009;89(22-24):2083-2091. doi:10.1080/14786430902865518
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 7319
Reum M, Freunberger SA, Wokaun A, Büchi FN. Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. 2009;156(3). doi:10.1149/1.3043422
View | DOI
 

2009 | 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 | Journal Article | IST-REx-ID: 7751
Robinson MR, Wilson AJ, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. Genetics. 2009;181(4):1639-1648. doi:10.1534/genetics.108.086801
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8026 | OA
Vogels TP, Abbott LF. Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. 2009;12(4):483-491. doi:10.1038/nn.2276
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 88 | OA
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 | Conference Paper | IST-REx-ID: 964
Serbyn M, Skvortsov M, Varlamov A, Galitski V. Giant nernst effect due to fluctuating cooper Pairs in superconductors. In: Vol 1134. American Institute of Physics; 2009:140-145. doi:10.1063/1.3149485
View | DOI
 

2009 | 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
 

Search

Filter Publications