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.
9078 Publications
2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky, J., Gerstl, R., Mannigel, I., Niedung, K., Frommhold, D., Panthel, K., … Walzog, B. (2009). A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo. Blood. American Society of Hematology. https://doi.org/10.1182/blood-2009-02-206169
View
| DOI
2009 | Journal Article | IST-REx-ID: 3953
Wolf, A., Eller, K., Zeiser, R., Dürr, C., Gerlach, U., Sixt, M. K., … Wolf, D. (2009). The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo. Journal of Immunology. American Association of Immunologists. https://doi.org/10.4049/jimmunol.0901011
View
| DOI
2009 | Journal Article | IST-REx-ID: 3955
Pflicke, H., & Sixt, M. K. (2009). Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels. The Journal of Experimental Medicine. Rockefeller University Press. https://doi.org/10.1084/jem.20091739
View
| DOI
2009 | Journal Article | IST-REx-ID: 3950
Moser, M., Bauer, M., Schmid, S., Ruppert, R., Schmidt, S., Sixt, M. K., … Fässler, R. (2009). Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells. Nature Medicine. Nature Publishing Group. https://doi.org/10.1038/nm.1921
View
| DOI
2009 | Journal Article | IST-REx-ID: 3951
Lämmermann, T., & Sixt, M. K. (2009). Mechanical modes of “amoeboid” cell migration. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2009.05.003
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3968 | 
Edelsbrunner, H., & Harer, J. (2009). The persistent Morse complex segmentation of a 3-manifold (Vol. 5903, pp. 36–50). Presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland: Springer. https://doi.org/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. (2009). Extending persistence using Poincare and Lefschetz duality. Foundations of Computational Mathematics. Springer. https://doi.org/10.1007/s10208-008-9027-z
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3967
Cohen Steiner, D., Edelsbrunner, H., Harer, J., & Morozov, D. (2009). Persistent homology for kernels, images, and cokernels (pp. 1011–1020). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
2009 | Journal Article | IST-REx-ID: 4143
Ulrich, F., & Heisenberg, C.-P. J. (2009). Trafficking and cell migration. Traffic. Wiley-Blackwell. https://doi.org/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., Palma, K., Krieg, M., Melo, C., … Concha, M. (2009). Linking organ formation to left-right patterning in the embryonic zebrafish. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2009.06.970
View
| DOI
2009 | Journal Article | IST-REx-ID: 4162
Oteíza, P., Köppen, M., Krieg, M., Preibisch, S., Haertel, S., Müller, D., … Concha, M. (2009). Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2009.06.098
View
| DOI
2009 | Journal Article | IST-REx-ID: 4158
Paluch, E., & Heisenberg, C.-P. J. (2009). Biology and physics of cell shape changes in development. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2009.07.029
View
| DOI
2009 | Journal Article | IST-REx-ID: 4159
Paluch, E., & Heisenberg, C.-P. J. (2009). Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2008.12.011
View
| DOI
2009 | Journal Article | IST-REx-ID: 4206
Heisenberg, C.-P. J. (2009). Dorsal closure in Drosophila: cells cannot get out of the tight spot. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell. https://doi.org/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.-P. J. (2009). Control of convergent yolk syncytial layer nuclear movement in zebrafish. Development. Company of Biologists. https://doi.org/10.1242/dev.026922
View
| DOI
2009 | Journal Article | IST-REx-ID: 4231
Barton, N. H., & De Vladar, H. (2009). Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.108.099309
View
| DOI
2009 | Thesis | IST-REx-ID: 4232
de Vladar, H. (2009). Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen. https://doi.org/3811
View
| DOI
2009 | Journal Article | IST-REx-ID: 4357
Bollback, J. P., & Huelsenbeck, J. (2009). Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.107.085225
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4360
Wies, T., Piskac, R., & Kuncak, V. (2009). Combining Theories with Shared Set Operations (pp. 366–382). Presented at the FroCoS: Frontiers of Combining Systems, Springer. https://doi.org/1558
View
| DOI
2009 | Thesis | IST-REx-ID: 4363
Singh, V. (2009). Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
View
2009 | Conference Paper | IST-REx-ID: 4375
Lahiri, S., Qadeer, S., Galeotti, J., Voung, J., & Wies, T. (2009). Intra-module Inference (pp. 493–508). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1555
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4377
Hoenicke, J., Leino, K. R., Podelski, A., Schäf, M., & Wies, T. (2009). It’s Doomed; We Can Prove It (pp. 338–353). Presented at the FM: Formal Methods, Springer. https://doi.org/1557
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4383 |
Guerraoui, R., Henzinger, T. A., & Singh, V. (2009). Software transactional memory on relaxed memory models (Vol. 5643, pp. 321–336). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/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. (2009). Preventing versus curing: avoiding conflicts in transactional memories (pp. 7–16). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/1533
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4376
Lublinerman, R., Chaudhuri, S., & Cerny, P. (2009). Parallel programming with object assemblies (pp. 61–80). Presented at the Oopsla Object Oriented Programming Systems Languages and Applications, ACM. https://doi.org/1546
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4391
Cerny, P., & Alur, R. (2009). Automated Analysis of Java Methods for Confidentiality (pp. 173–187). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1548
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4403 |
Alur, R., Cerny, P., & Weinstein, S. (2009). Algorithmic analysis of array-accessing programs (Vol. 5771, pp. 86–101). Presented at the CSL: Computer Science Logic, Coimbra, Portugal: Springer. https://doi.org/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, T. A., Mateescu, M., & Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_27
View
| Files available
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 4535
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Approximation of event probabilities in noisy cellular processes (Vol. 5688, pp. 173–188). Presented at the CMSB: Computational Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-642-03845-7_12
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4542 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Alternating weighted automata (Vol. 5699, pp. 3–13). Presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland: Springer. https://doi.org/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, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. https://doi.org/10.1007/978-3-642-02930-1_1
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4543
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Stochastic games with finitary objectives (Vol. 5734, pp. 34–54). Presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia: Springer. https://doi.org/10.1007/978-3-642-03816-7_4
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4544 |
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2009). Termination criteria for solving concurrent safety and reachability games (pp. 197–206). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1137/1.9781611973068.23
View
| Files available
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Expressiveness and closure properties for quantitative languages (pp. 199–208). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2009.16
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4569 |
Bloem, R., Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. https://doi.org/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, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-642-00768-2_7
View
| Files available
| DOI
| Download (ext.)
2009 | Technical Report | IST-REx-ID: 5393 |
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2009). Gist: A solver for probabilistic games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0003
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5394 |
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Improved lower bounds for request-response and finitary Streett games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0002
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5392 |
Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria. https://doi.org/10.15479/AT:IST-2009-0004
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5395 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Qualitative analysis of partially-observable Markov decision processes. IST Austria. https://doi.org/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. (2009). The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.1767009
View
| DOI
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 6144
Persson, A., Gross, E., Laurent, P., Busch, K. E., Bretes, H., & de Bono, M. (2009). Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. Springer Nature. https://doi.org/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. (2009). Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. Elsevier. https://doi.org/10.1016/j.cmet.2009.02.003
View
| DOI
| PubMed | Europe PMC
2009 | Conference Paper | IST-REx-ID: 11752
Yang, X., Riseborough, P. S., Modic, K. A., Fisher, R. A., Oppeil, C. P., Finlayson, T. R., … Lashley, J. C. (2009). Influence of magnetic fields on structural martensitic transitions. In Journal of Physics: Conference Series (Vol. 200). Karlsruhe, Germany: IOP Publishing. https://doi.org/10.1088/1742-6596/200/3/032062
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 7080
Yang, X.-D., Riseborough, P. S., Modic, K. A., Fisher, R. A., Opeil, C. P., Finlayson, T. R., … Lashley, J. C. (2009). Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. Taylor & Francis. https://doi.org/10.1080/14786430902865518
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 7319
Reum, M., Freunberger, S. A., Wokaun, A., & Büchi, F. N. (2009). Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.3043422
View
| DOI
2009 | Conference Paper | IST-REx-ID: 752
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2009). Of choices, failures and asynchrony: the many faces of set agreement (Vol. 5878 LNCS, pp. 943–953). Presented at the ISAAC: International Symposium on Algorithms and Computation, Springer. https://doi.org/10.1007/978-3-642-10631-6_95
View
| DOI
2009 | Journal Article | IST-REx-ID: 7751
Robinson, M. R., Wilson, A. J., Pilkington, J. G., Clutton-Brock, T. H., Pemberton, J. M., & Kruuk, L. E. B. (2009). The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.108.086801
View
| DOI
2009 | Journal Article | IST-REx-ID: 8026 |
Vogels, T. P., & Abbott, L. F. (2009). Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/nn.2276
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 88 |
Higginbotham, A. P., Semonin, O., Bruce, S., Chan, C., Maindi, M., Donnelly, T., … Ditmire, T. (2009). Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. American Institute of Physics. https://doi.org/10.1063/1.3155302
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC