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: 337
A. Cabot, M. Ibáñez, P. Guardia, and P. Alivisatos, “Reaction regimes on the synthesis of hollow particles by the Kirkendall effect,” Journal of the American Chemical Society, vol. 131, no. 32. ACS, pp. 11326–11328, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3408
P. Szymczak and H. L. Janovjak, “Periodic forces trigger a complex mechanical response in ubiquitin,” Journal of Molecular Biology, vol. 390, no. 3. Elsevier, pp. 443–456, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3428
M. T. Bollenbach and R. Kishony, “Hydroxyurea triggers cellular responses that actively cause bacterial cell death,” Molecular Cell, vol. 36, no. 5. Cell Press, pp. 728–729, 2009.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3503 | OA
K. Chatterjee and T. A. Henzinger, “Probabilistic systems with limsup and liminf objectives,” presented at the ILC: Infinity in Logic and Computation, 2009, vol. 5489, pp. 32–45.
View | DOI | Download (ext.)
 

2009 | Conference Poster | IST-REx-ID: 3699
M. Blaschko, C. Lampert, and A. Bartels, Semi-supervised analysis of human fMRI data. Berlin Institute of Technology, 2009.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3703
M. Blaschko and C. Lampert, “Object localization with global and local context kernels,” presented at the BMVC: British Machine Vision Conference, 2009, pp. 1–11.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3704
C. Lampert, H. Nickisch, and S. Harmeling, “Learning to detect unseen object classes by between-class attribute transfer,” presented at the CVPR: Computer Vision and Pattern Recognition, 2009, pp. 951–958.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3715
C. Lampert and J. Peters, “Active structured learning for high-speed object detection,” presented at the DAGM: German Association For Pattern Recognition, 2009, vol. 5748, pp. 221–231.
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 3737
G. Tkačik, A. Walczak, and W. Bialek, “Optimizing information flow in small genetic networks,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 80, no. 3. American Institute of Physics, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3733
S. Kryazhimskiy, G. Tkačik, and J. Plotkin, “The dynamics of adaptation on correlated fitness landscapes,” PNAS, vol. 106, no. 44. National Academy of Sciences, pp. 18638–18643, 2009.
View | DOI | Download (ext.)
 

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

2009 | Book Chapter | IST-REx-ID: 3747
G. Tkačik and W. Bialek, “Cell Biology: Networks, regulation, pathways,” in Encyclopedia of Complexity and Systems Science, R. Meyers, Ed. Springer, 2009, pp. 719–741.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3764
C. Wojtan, N. Thürey, M. Gross, and G. Turk, “Deforming meshes that split and merge,” ACM Transactions on Graphics, vol. 28, no. 3. ACM, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3768
A. Kupczok and A. Von Haeseler, “Comment on ‘{A} congruence index for testing topological similarity between trees’.,” Bioinformatics, vol. 25, no. 1. Oxford University Press, pp. 147–149, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
A. Davison, N. H. Barton, and B. Clarke, “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, vol. 22, no. 8. Wiley, pp. 1624–1635, 2009.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3828
J. Schwenk et al., “Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors,” Science, vol. 323, no. 5919. American Association for the Advancement of Science, pp. 1313–9, 2009.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy, 2009, vol. 4, no. 6, pp. 118–127.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” presented at the RP: Reachability Problems, Palaiseau, France, 2009, vol. 5797, pp. 3–23.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States, 2009, pp. 171–180.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
K. Chatterjee, T. A. Henzinger, and F. Horn, “Finitary winning in omega-regular games,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1. ACM, 2009.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3869
K. Chatterjee, L. De Alfaro, M. Faella, and A. Legay, “Qualitative logics and equivalences for probabilistic systems,” Logical Methods in Computer Science, vol. 5, no. 2. International Federation of Computational Logic, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
S. Cremer and M. K. Sixt, “Analogies in the evolution of individual and social immunity,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 364, no. 1513. Royal Society, The, pp. 129–142, 2009.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 3947
T. Lämmermann, J. Renkawitz, X. Wu, K. Hirsch, C. Brakebusch, and M. K. Sixt, “Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper),” Blood, vol. 113, no. 23. American Society of Hematology, pp. 5703–5710, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3948
M. Bauer et al., “β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity,” PNAS, vol. 106, no. 6. National Academy of Sciences, pp. 1920–1925, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3949
T. Quast et al., “Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells,” Blood, vol. 113, no. 23. American Society of Hematology, pp. 5801–5810, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
J. Polechova, N. H. Barton, and G. Marion, “Species’ range: Adaptation in space and time,” American Naturalist, vol. 174, no. 5. University of Chicago Press, pp. E186–E204, 2009.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4149
G. Soete and C.-P. J. Heisenberg, “The role of the extracellular matrix in Kupffer’s vesicle formation in zebrafish,” Mechanisms of Development, vol. 126. Elsevier, pp. S168–S168, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4165
A. Oates, N. Gorfinkiel, M. Gonzalez Gaitan, and C.-P. J. Heisenberg, “Quantitative approaches in developmental biology,” Nature Reviews Genetics, vol. 10, no. 8. Nature Publishing Group, pp. 517–530, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4192
M. Kai, N. Buchan, C.-P. J. Heisenberg, and M. Tada, “Regulation of planar cell polarity signalling by the prenylation pathway,” Mechanisms of Development, vol. 126, no. Supplement 1. Elsevier, pp. S132–S132, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4223
J. Swoboda et al., “Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus,” ACS Chemical Biology, vol. 4, no. 10. American Chemical Society, pp. 875–883, 2009.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 4228
T. Bollenbach, S. Quan, R. P. Chait, and R. Kishony, “Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions,” Cell, vol. 139, no. 4. Cell Press, pp. 707–718, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
N. H. Barton and M. De Cara, “The evolution of strong reproductive isolation,” Evolution; International Journal of Organic Evolution, vol. 63, no. 5. Wiley, pp. 1171–1190, 2009.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4365
M. Seghir, A. Podelski, and T. Wies, “Abstraction Refinement for Quantified Array Assertions,” presented at the SAS: Static Analysis Symposium, 2009, pp. 3–18.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3047
B. Titapiwatanakun et al., “ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis,” Plant Journal, vol. 57, no. 1. Wiley-Blackwell, pp. 27–44, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3049
M. Pernisová et al., “Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux,” PNAS, vol. 106, no. 9. National Academy of Sciences, pp. 3609–3614, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3050
K. Růžička et al., “Cytokinin regulates root meristem activity via modulation of the polar auxin transport,” PNAS, vol. 106, no. 11. National Academy of Sciences, pp. 4284–4289, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3048
H. Tanaka, S. Kitakura, R. De Rycke, R. De Groodt, and J. Friml, “Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking,” Current Biology, vol. 19, no. 5. Cell Press, pp. 391–397, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3054
H. Robert and J. Friml, “Auxin and other signals on the move in plants,” Nature Chemical Biology, vol. 5, no. 5. Nature Publishing Group, pp. 325–332, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
S. Vanneste and J. Friml, “Auxin: A trigger for change in plant development,” Cell, vol. 136, no. 6. Cell Press, pp. 1005–1016, 2009.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
D. Weijers and J. Friml, “SnapShot: Auxin signaling and transport,” Cell, vol. 136, no. 6. Cell Press, pp. 1172–1172, 2009.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3053
E. Benková, M. Ivanchenko, J. Friml, S. Shishkova, and J. Dubrovsky, “A morphogenetic trigger: Is there an emerging concept in plant developmental biology?,” Trends in Plant Science, vol. 14, no. 4. Cell Press, pp. 189–193, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
M. P. Kumar, V. Kolmogorov, and P. Torr, “An analysis of convex relaxations for MAP estimation of discrete MRFs,” Journal of Machine Learning Research, vol. 10. Microtome Publishing, pp. 71–106, 2009.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3199
S. Vicente, V. Kolmogorov, and C. Rother, “Joint optimization of segmentation and appearance models,” presented at the ICCV: International Conference on Computer Vision, 2009, pp. 755–762.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3200
V. Kolmogorov and A. Shioura, “New algorithms for convex cost tension problem with application to computer vision,” Discrete Optimization, vol. 6, no. 4. Elsevier, pp. 378–393, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3292
J. Engel, P. S. Schmalhorst, T. Dörk Bousset, V. Ferrières, and F. Routier, “A single UDP galactofuranose transporter is required for galactofuranosylation in Aspergillus fumigatus,” Journal of Biological Chemistry, vol. 284, no. 49. American Society for Biochemistry and Molecular Biology, pp. 33859–33868, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3293
S. Chakraborty Tuhin, S. Goswami, and O. Siddiqi, “Sensory correlates of imaginal conditioning in Drosophila melanogaster,” Journal of Neurogenetics, vol. 23, no. 1–2. Informa Healthcare, pp. 210–9, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3309
C. Uhler, “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, vol. 14, no. 1. Springer, pp. 79–98, 2009.
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 3398
M. T. Bollenbach and R. Kishony, “Quiet gene circuit more fragile than its noisy peer,” Cell, vol. 139, no. 3. Cell Press, pp. 460–461, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3547
S. Remy, J. L. Csicsvari, and H. Beck, “Activity-dependent control of neuronal output by local and global dendritic spike attenuation,” Neuron, vol. 61, no. 6. Elsevier, pp. 906–916, 2009.
View | DOI
 

2009 | Book Chapter | IST-REx-ID: 3578
D. Attali, J. Boissonnat, and H. Edelsbrunner, “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, pp. 109–125.
View | DOI | Download (ext.)
 

2009 | Book Chapter | IST-REx-ID: 3675
N. H. Barton, “Why sex and recombination? ,” in Cold Spring Harbor Symposia on Quantitative Biology, vol. 74, Cold Spring Harbor Laboratory Press, 2009, pp. 187–195.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3696
C. Lampert and M. Blaschko, “Structured prediction by joint kernel support estimation,” Machine Learning, vol. 77, no. 2–3. Springer, pp. 249–269, 2009.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3690
P. Dhillon, S. Nowozin, and C. Lampert, “Combining appearance and motion for human action classification in videos,” presented at the CVPR: Computer Vision and Pattern Recognition, 2009, no. 174, pp. 22–29.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3710
C. Lampert, M. Blaschko, and T. Hofmann, “Efficient subwindow search: A branch and bound framework for object localization,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 31, no. 12. IEEE, pp. 2129–2142, 2009.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3711
P. Dhillon, S. Nowozin, and C. Lampert, “Combining appearance and motion for human action classification in videos,” presented at the CVPR: Computer Vision and Pattern Recognition, 2009, pp. 22–29.
View | DOI | Download (ext.)
 

2009 | Book | IST-REx-ID: 3707
C. Lampert, Kernel Methods in Computer Vision, vol. 4. now publishers, 2009.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3708
S. Nowozin and C. Lampert, “Global connectivity potentials for random field models,” presented at the CVPR: Computer Vision and Pattern Recognition, 2009, pp. 818–825.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3709
C. Lampert, “Detecting objects in large image collections and videos by efficient subimage retrieval,” presented at the ICCV: International Conference on Computer Vision, 2009, pp. 987–994.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3745
G. Tkačik and W. Bialek, “Diffusion, dimensionality, and noise in transcriptional regulation,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 79, no. 5. American Institute of Physics, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
N. H. Barton and J. Coe, “On the application of statistical physics to evolutionary biology,” Journal of Theoretical Biology, vol. 259, no. 2. Elsevier, pp. 317–324, 2009.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “On relational interfaces,” in EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software, Grenoble, France, 2009, pp. 67–76.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3835
R. Bloem, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Synthesizing robust systems,” presented at the FMCAD: Formal Methods in Computer-Aided Design, 2009, pp. 85–92.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3954
J. Renkawitz et al., “Adaptive force transmission in amoeboid cell migration,” Nature Cell Biology, vol. 11, no. 12. Nature Publishing Group, pp. 1438–1443, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3952
J. Schymeinsky et al., “A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo,” Blood, vol. 114, no. 19. American Society of Hematology, pp. 4209–4220, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3953
A. Wolf et al., “The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo,” Journal of Immunology, vol. 183, no. 6. American Association of Immunologists, pp. 3751–3760, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3955
H. Pflicke and M. K. Sixt, “Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels,” The Journal of Experimental Medicine, vol. 206, no. 13. Rockefeller University Press, pp. 2925–2935, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3950
M. Moser et al., “Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells,” Nature Medicine, vol. 15, no. 3. Nature Publishing Group, pp. 300–305, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3951
T. Lämmermann and M. K. Sixt, “Mechanical modes of ‘amoeboid’ cell migration,” Current Opinion in Cell Biology, vol. 21, no. 5. Elsevier, pp. 636–644, 2009.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
H. Edelsbrunner and J. Harer, “The persistent Morse complex segmentation of a 3-manifold,” presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland, 2009, vol. 5903, pp. 36–50.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3966
D. Cohen Steiner, H. Edelsbrunner, and J. Harer, “Extending persistence using Poincare and Lefschetz duality,” Foundations of Computational Mathematics, vol. 9, no. 1. Springer, pp. 79–103, 2009.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3967
D. Cohen Steiner, H. Edelsbrunner, J. Harer, and D. Morozov, “Persistent homology for kernels, images, and cokernels,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 1011–1020.
View
 

2009 | Journal Article | IST-REx-ID: 4143
F. Ulrich and C.-P. J. Heisenberg, “Trafficking and cell migration,” Traffic, vol. 10, no. 7. Wiley-Blackwell, pp. 811–818, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4160
P. Oteíza et al., “Linking organ formation to left-right patterning in the embryonic zebrafish,” Mechanisms of Development, vol. 126, no. Supplement 1. Elsevier, pp. S11–S11, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4162
P. Oteíza et al., “Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces,” Mechanisms of Development, vol. 126, no. Supplement 1. Elsevier, pp. S80–S80, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4158
E. Paluch and C.-P. J. Heisenberg, “Biology and physics of cell shape changes in development,” Current Biology, vol. 19, no. 17. Cell Press, pp. R790–R799, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4159
E. Paluch and C.-P. J. Heisenberg, “Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis,” Developmental Cell, vol. 16, no. 1. Cell Press, pp. 4–6, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4206
C.-P. J. Heisenberg, “Dorsal closure in Drosophila: cells cannot get out of the tight spot,” Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology, vol. 31, no. 12. Wiley-Blackwell, pp. 1284–1287, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4217
L. Carvalho, J. Stuehmer, J. Bois, Y. Kalaidzidis, V. Lecaudey, and C.-P. J. Heisenberg, “Control of convergent yolk syncytial layer nuclear movement in zebrafish,” Development, vol. 136, no. 8. Company of Biologists, pp. 1305–1315, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4231
N. H. Barton and H. De Vladar, “Statistical mechanics and the evolution of polygenic quantitative traits,” Genetics, vol. 181, no. 3. Genetics Society of America, pp. 997–1011, 2009.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4232
H. de Vladar, “Stochasticity and Variability in the dynamics and genetics of populations,” Faculty of mathematical and natural sciences, University of Groningen, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4357
J. P. Bollback and J. Huelsenbeck, “Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence,” Genetics, vol. 181, no. 1. Genetics Society of America, pp. 225–234, 2009.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4360
T. Wies, R. Piskac, and V. Kuncak, “Combining Theories with Shared Set Operations,” presented at the FroCoS: Frontiers of Combining Systems, 2009, pp. 366–382.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4363
V. Singh, “Formalizing and Verifying Transactional Memories,” EPFL Lausanne, 2009.
View
 

2009 | Conference Paper | IST-REx-ID: 4375
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, and T. Wies, “Intra-module Inference,” presented at the CAV: Computer Aided Verification, 2009, pp. 493–508.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4377
J. Hoenicke, K. R. Leino, A. Podelski, M. Schäf, and T. Wies, “It’s Doomed; We Can Prove It,” presented at the FM: Formal Methods, 2009, pp. 338–353.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
R. Guerraoui, T. A. Henzinger, and V. Singh, “Software transactional memory on relaxed memory models,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 321–336.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4385
A. Dragojevic, R. Guerraoui, A. Singh, and V. Singh, “Preventing versus curing: avoiding conflicts in transactional memories,” presented at the POPL: Principles of Programming Languages, 2009, pp. 7–16.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4376
R. Lublinerman, S. Chaudhuri, and P. Cerny, “Parallel programming with object assemblies,” presented at the Oopsla Object Oriented Programming Systems Languages and Applications, 2009, pp. 61–80.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4391
P. Cerny and R. Alur, “Automated Analysis of Java Methods for Confidentiality,” presented at the CAV: Computer Aided Verification, 2009, pp. 173–187.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4535
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Approximation of event probabilities in noisy cellular processes,” presented at the CMSB: Computational Methods in Systems Biology, 2009, vol. 5688, pp. 173–188.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4543
K. Chatterjee, T. A. Henzinger, and F. Horn, “Stochastic games with finitary objectives,” presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia, 2009, vol. 5734, pp. 34–54.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Termination criteria for solving concurrent safety and reachability games,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4540
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” presented at the LICS: Logic in Computer Science, 2009, pp. 199–208.
View | Files available | DOI
 

Search

Filter Publications