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.

8978 Publications


2009 | Conference Paper | IST-REx-ID: 3704
Lampert, C., Nickisch, H., & Harmeling, S. (2009). Learning to detect unseen object classes by between-class attribute transfer (pp. 951–958). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2009.5206594
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3715
Lampert, C., & Peters, J. (2009). Active structured learning for high-speed object detection (Vol. 5748, pp. 221–231). Presented at the DAGM: German Association For Pattern Recognition, Springer. https://doi.org/10.1007/978-3-642-03798-6_23
View | DOI
 

2009 | Conference Poster | IST-REx-ID: 3717
Lampert, C., & Peters, J. (2009). A high-speed object tracker from off-the-shelf components. ICCV: International Conference on Computer Vision. IEEE.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3737
Tkačik, G., Walczak, A., & Bialek, W. (2009). Optimizing information flow in small genetic networks. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics. https://doi.org/10.1103/PhysRevE.80.031920
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3733
Kryazhimskiy, S., Tkačik, G., & Plotkin, J. (2009). The dynamics of adaptation on correlated fitness landscapes. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0905497106
View | DOI | Download (ext.)
 

2009 | Preprint | IST-REx-ID: 3732 | OA
Tkačik, G., Schneidman, E., Berry, M., & Bialek, W. (2009). Spin glass models for a network of real neurons. ArXiv. ArXiv.
View | Download (ext.)
 

2009 | Book Chapter | IST-REx-ID: 3747
Tkačik, G., & Bialek, W. (2009). Cell Biology: Networks, regulation, pathways. In R. Meyers (Ed.), Encyclopedia of Complexity and Systems Science (pp. 719–741). Springer. https://doi.org/10.1007/978-0-387-30440-3_48
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3764
Wojtan, C., Thürey, N., Gross, M., & Turk, G. (2009). Deforming meshes that split and merge. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/1531326.1531382
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3768
Kupczok, A., & Von Haeseler, A. (2009). Comment on “{A} congruence index for testing topological similarity between trees”. Bioinformatics. Oxford University Press. https://doi.org/4199
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison, A., Barton, N. H., & Clarke, B. (2009). The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails. Journal of Evolutionary Biology. Wiley. https://doi.org/10.1111/j.1420-9101.2009.01770.x
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3828
Schwenk, J., Harmel, N., Zolles, G., Bildl, W., Kulik, Á., Heimrich, B., … Klocker, N. (2009). Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1167852
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Fast adaptive uniformization of the chemical master equation (Vol. 4, pp. 118–127). Presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy: IEEE. https://doi.org/10.1109/HiBi.2009.23
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2009). Formalisms for specifying Markovian population models (Vol. 5797, pp. 3–23). Presented at the RP: Reachability Problems, Palaiseau, France: Springer. https://doi.org/10.1007/978-3-642-04420-5_2
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/10.1109/RTSS.2009.9
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Probabilistic weighted automata (Vol. 5710, pp. 244–258). Presented at the CONCUR: Concurrency Theory, Bologna, Italy: Springer. https://doi.org/10.1007/978-3-642-04081-8_17
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1614431.1614432
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, K., De Alfaro, L., Faella, M., & Legay, A. (2009). Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-5(2:7)2009
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Cremer, S., & Sixt, M. K. (2009). Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2008.0166
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 3947
Lämmermann, T., Renkawitz, J., Wu, X., Hirsch, K., Brakebusch, C., & Sixt, M. K. (2009). Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper). Blood. American Society of Hematology. https://doi.org/10.1182/blood-2008-11-191882
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3948
Bauer, M., Brakebusch, C., Coisne, C., Sixt, M. K., Wekerle, H., Engelhardt, B., & Fässler, R. (2009). β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0808909106
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3949
Quast, T., Tappertzhofen, B., Schild, C., Grell, J., Czeloth, N., Förster, R., … Kolanus, W. (2009). Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. American Society of Hematology. https://doi.org/10.1182/blood-2008-08-176123
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova, J., Barton, N. H., & Marion, G. (2009). Species’ range: Adaptation in space and time. American Naturalist. University of Chicago Press. https://doi.org/10.1086/605958
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4149
Soete, G., & Heisenberg, C.-P. J. (2009). The role of the extracellular matrix in Kupffer’s vesicle formation in zebrafish. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2009.06.391
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4165
Oates, A., Gorfinkiel, N., Gonzalez Gaitan, M., & Heisenberg, C.-P. J. (2009). Quantitative approaches in developmental biology. Nature Reviews Genetics. Nature Publishing Group. https://doi.org/10.1038/nrg2548
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4192
Kai, M., Buchan, N., Heisenberg, C.-P. J., & Tada, M. (2009). Regulation of planar cell polarity signalling by the prenylation pathway. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2009.06.269
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4223
Swoboda, J., Meredith, T., Campbell, J., Brown, S., Suzuki, T., Bollenbach, M. T., … Walker, S. (2009). Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. American Chemical Society. https://doi.org/10.1021/cb900151k
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 4228
Bollenbach, T., Quan, S., Chait, R. P., & Kishony, R. (2009). Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.10.025
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton, N. H., & De Cara, M. (2009). The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.2009.00622.x
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4365
Seghir, M., Podelski, A., & Wies, T. (2009). Abstraction Refinement for Quantified Array Assertions (pp. 3–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/1556
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun, B., Blakeslee, J., Bandyopadhyay, A., Yang, H., Mravec, J., Sauer, M., … Murphy, A. (2009). ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2008.03668.x
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3049
Pernisová, M., Klíma, P., Horák, J., Válková, M., Malbeck, J., Souček, P., … Hejátko, J. (2009). Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0811539106
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3050
Růžička, K., Šimášková, M., Duclercq, J., Petrášek, J., Zažímalová, E., Simon, S., … Benková, E. (2009). Cytokinin regulates root meristem activity via modulation of the polar auxin transport. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0900060106
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3048
Tanaka, H., Kitakura, S., De Rycke, R., De Groodt, R., & Friml, J. (2009). Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2009.01.057
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3054
Robert, H., & Friml, J. (2009). Auxin and other signals on the move in plants. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/nchembio.170
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
Vanneste, S., & Friml, J. (2009). Auxin: A trigger for change in plant development. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.03.001
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
Weijers, D., & Friml, J. (2009). SnapShot: Auxin signaling and transport. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.03.009
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3053
Benková, E., Ivanchenko, M., Friml, J., Shishkova, S., & Dubrovsky, J. (2009). A morphogenetic trigger: Is there an emerging concept in plant developmental biology? Trends in Plant Science. Cell Press. https://doi.org/10.1016/j.tplants.2009.01.006
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
Kumar, M. P., Kolmogorov, V., & Torr, P. (2009). An analysis of convex relaxations for MAP estimation of discrete MRFs. Journal of Machine Learning Research. Microtome Publishing.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3199
Vicente, S., Kolmogorov, V., & Rother, C. (2009). Joint optimization of segmentation and appearance models (pp. 755–762). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2009.5459287
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3200
Kolmogorov, V., & Shioura, A. (2009). New algorithms for convex cost tension problem with application to computer vision. Discrete Optimization. Elsevier. https://doi.org/10.1016/j.disopt.2009.04.006
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3292
Engel, J., Schmalhorst, P. S., Dörk Bousset, T., Ferrières, V., & Routier, F. (2009). A single UDP galactofuranose transporter is required for galactofuranosylation in Aspergillus fumigatus. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M109.070219
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3293
Chakraborty Tuhin, S., Goswami, S., & Siddiqi, O. (2009). Sensory correlates of imaginal conditioning in Drosophila melanogaster. Journal of Neurogenetics. Informa Healthcare. https://doi.org/10.1080/01677060802491559
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3309
Uhler, C. (2009). Mastitis in dairy production: Estimation of sensitivity, specificity and disease prevalence in the absence of a gold standard. Journal of Agricultural Biological and Environmental Statistics. Springer. https://doi.org/10.1198/jabes.2009.0005
View | DOI
 

2009 | Thesis | IST-REx-ID: 3400
Schmalhorst, P. S. (2009). Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. Gottfried Wilhelm Leibniz Universität Hannover.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3398
Bollenbach, M. T., & Kishony, R. (2009). Quiet gene circuit more fragile than its noisy peer. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.10.005
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3547
Remy, S., Csicsvari, J. L., & Beck, H. (2009). Activity-dependent control of neuronal output by local and global dendritic spike attenuation. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2009.01.032
View | DOI
 

2009 | Book Chapter | IST-REx-ID: 3578
Attali, D., Boissonnat, J., & Edelsbrunner, H. (2009). Stability and computation of medial axes: a state-of-the-art report. In Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration (pp. 109–125). Springer. https://doi.org/10.1007/b106657_6
View | DOI | Download (ext.)
 

2009 | Book Chapter | IST-REx-ID: 3675
Barton, N. H. (2009). Why sex and recombination? . In Cold Spring Harbor Symposia on Quantitative Biology (Vol. 74, pp. 187–195). Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/sqb.2009.74.030
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3696
Lampert, C., & Blaschko, M. (2009). Structured prediction by joint kernel support estimation. Machine Learning. Springer. https://doi.org/10.1007/s10994-009-5111-0
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3690
Dhillon, P., Nowozin, S., & Lampert, C. (2009). Combining appearance and motion for human action classification in videos (pp. 22–29). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPRW.2009.5204237
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3710
Lampert, C., Blaschko, M., & Hofmann, T. (2009). Efficient subwindow search: A branch and bound framework for object localization. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2009.144
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3711
Dhillon, P., Nowozin, S., & Lampert, C. (2009). Combining appearance and motion for human action classification in videos (pp. 22–29). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPRW.2009.5204237
View | DOI | Download (ext.)
 

2009 | Book | IST-REx-ID: 3707
Lampert, C. (2009). Kernel Methods in Computer Vision (Vol. 4). now publishers. https://doi.org/10.1561/0600000027
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3708
Nowozin, S., & Lampert, C. (2009). Global connectivity potentials for random field models (pp. 818–825). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2009.5206567
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3709
Lampert, C. (2009). Detecting objects in large image collections and videos by efficient subimage retrieval (pp. 987–994). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2009.5459359
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3745
Tkačik, G., & Bialek, W. (2009). Diffusion, dimensionality, and noise in transcriptional regulation. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics. https://doi.org/10.1103/PhysRevE.79.051901
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
Barton, N. H., & Coe, J. (2009). On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2009.03.019
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2009). On relational interfaces. In EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software (pp. 67–76). Grenoble, France: ACM. https://doi.org/10.1145/1629335.1629346
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3835
Bloem, R., Greimel, K., Henzinger, T. A., & Jobstmann, B. (2009). Synthesizing robust systems (pp. 85–92). Presented at the FMCAD: Formal Methods in Computer-Aided Design, Springer. https://doi.org/10.1109/FMCAD.2009.5351139
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3954
Renkawitz, J., Schumann, K., Weber, M., Lämmermann, T., Pflicke, H., Piel, M., … Sixt, M. K. (2009). Adaptive force transmission in amoeboid cell migration. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb1992
View | DOI
 

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

Search

Filter Publications