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.

9087 Publications


2009 | Conference Paper | IST-REx-ID: 3231
Kiltz, Eike, and Krzysztof Z Pietrzak. “On the Security of Padding Based Encryption Schemes Why We Cannot Prove OAEP Secure in the Standard Model,” 5479:389–406. Springer, 2009. https://doi.org/10.1007/978-3-642-01001-9_23.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3232
Pietrzak, Krzysztof Z. “A Leakage Resilient Mode of Operation,” 5479:462–82. Springer, 2009. https://doi.org/10.1007/978-3-642-01001-9_27.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3304
Weissman, Daniel, Michael Desai, Daniel Fisher, and Marcus Feldman. “The Rate at Which Asexual Populations Cross Fitness Valleys.” Theoretical Population Biology. Academic Press, 2009. https://doi.org/10.1016/j.tpb.2009.02.006.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 337
Cabot, Andreu, Maria Ibáñez, Pablo Guardia, and Paul Alivisatos. “Reaction Regimes on the Synthesis of Hollow Particles by the Kirkendall Effect.” Journal of the American Chemical Society. ACS, 2009. https://doi.org/10.1021/ja903751p.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3408
Szymczak, Piotr, and Harald L Janovjak. “Periodic Forces Trigger a Complex Mechanical Response in Ubiquitin.” Journal of Molecular Biology. Elsevier, 2009. https://doi.org/10.1016/j.jmb.2009.04.071.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3428
Bollenbach, Mark Tobias, and Roy Kishony. “Hydroxyurea Triggers Cellular Responses That Actively Cause Bacterial Cell Death.” Molecular Cell. Cell Press, 2009. https://doi.org/10.1016/j.molcel.2009.11.027.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee, Krishnendu, and Thomas A Henzinger. “Probabilistic Systems with Limsup and Liminf Objectives,” 5489:32–45. Springer, 2009. https://doi.org/10.1007/978-3-642-03092-5_4.
View | DOI | Download (ext.)
 

2009 | Conference Poster | IST-REx-ID: 3699
Blaschko, Matthew, Christoph Lampert, and Andreas Bartels. Semi-Supervised Analysis of Human FMRI Data. BBCI: Berlin Brain-Computer Interface Workshop - Advances in Neurotechnology. Berlin Institute of Technology, 2009.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3703
Blaschko, Matthew, and Christoph Lampert. “Object Localization with Global and Local Context Kernels,” 1–11. BMVA Press, 2009. https://doi.org/10.5244/C.23.63.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3704
Lampert, Christoph, Hannes Nickisch, and Stefan Harmeling. “Learning to Detect Unseen Object Classes by Between-Class Attribute Transfer,” 951–58. IEEE, 2009. https://doi.org/10.1109/CVPR.2009.5206594.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3715
Lampert, Christoph, and Jan Peters. “Active Structured Learning for High-Speed Object Detection,” 5748:221–31. Springer, 2009. https://doi.org/10.1007/978-3-642-03798-6_23.
View | DOI
 

2009 | Conference Poster | IST-REx-ID: 3717
Lampert, Christoph, and Jan Peters. A High-Speed Object Tracker from off-the-Shelf Components. ICCV: International Conference on Computer Vision. IEEE, 2009.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3737
Tkačik, Gašper, Aleksandra Walczak, and William Bialek. “Optimizing Information Flow in Small Genetic Networks.” Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2009. https://doi.org/10.1103/PhysRevE.80.031920.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3733
Kryazhimskiy, Sergey, Gašper Tkačik, and Joshua Plotkin. “The Dynamics of Adaptation on Correlated Fitness Landscapes.” PNAS. National Academy of Sciences, 2009. https://doi.org/10.1073/pnas.0905497106.
View | DOI | Download (ext.)
 

2009 | Preprint | IST-REx-ID: 3732 | OA
Tkačik, Gašper, Elad Schneidman, Michael Berry, and William Bialek. “Spin Glass Models for a Network of Real Neurons.” ArXiv. ArXiv, 2009.
View | Download (ext.)
 

2009 | Book Chapter | IST-REx-ID: 3747
Tkačik, Gašper, and William Bialek. “Cell Biology: Networks, Regulation, Pathways.” In Encyclopedia of Complexity and Systems Science, edited by R. Meyers, 719–41. Springer, 2009. https://doi.org/10.1007/978-0-387-30440-3_48.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3764
Wojtan, Chris, Nils Thürey, Markus Gross, and Greg Turk. “Deforming Meshes That Split and Merge.” ACM Transactions on Graphics. ACM, 2009. https://doi.org/10.1145/1531326.1531382.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3768
Kupczok, Anne, and Arndt Von Haeseler. “Comment on ‘{A} Congruence Index for Testing Topological Similarity between Trees’.” Bioinformatics. Oxford University Press, 2009. https://doi.org/4199.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison, Angus, Nicholas H Barton, and Bryan 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. Wiley, 2009. 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, Jochen, Nadine Harmel, Gerd Zolles, Wolfgang Bildl, Ákos Kulik, Bernd Heimrich, Osamu Chisaka, et al. “Functional Proteomics Identify Cornichon Proteins as Auxiliary Subunits of AMPA Receptors.” Science. American Association for the Advancement of Science, 2009. https://doi.org/10.1126/science.1167852.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation,” 4:118–27. IEEE, 2009. https://doi.org/10.1109/HiBi.2009.23.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models,” 5797:3–23. Springer, 2009. 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, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova. “Distributed, Modular HTL,” 171–80. IEEE, 2009. https://doi.org/10.1109/RTSS.2009.9.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Probabilistic Weighted Automata,” 5710:244–58. Springer, 2009. 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, Krishnendu, Thomas A Henzinger, and Florian Horn. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL). ACM, 2009. https://doi.org/10.1145/1614431.1614432.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, and Axel Legay. “Qualitative Logics and Equivalences for Probabilistic Systems.” Logical Methods in Computer Science. International Federation of Computational Logic, 2009. https://doi.org/10.2168/LMCS-5(2:7)2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Cremer, Sylvia, and Michael K Sixt. “Analogies in the Evolution of Individual and Social Immunity.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2009. https://doi.org/10.1098/rstb.2008.0166.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 3947
Lämmermann, Tim, Jörg Renkawitz, Xunwei Wu, Karin Hirsch, Cord Brakebusch, and Michael K Sixt. “Cdc42-Dependent Leading Edge Coordination Is Essential for Interstitial Dendritic Cell Migration (Plenary Paper).” Blood. American Society of Hematology, 2009. https://doi.org/10.1182/blood-2008-11-191882.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3948
Bauer, Martina, Cord Brakebusch, Caroline Coisne, Michael K Sixt, Hartmut Wekerle, Britta Engelhardt, and Reinhard Fässler. “Β1 Integrins Differentially Control Extravasation of Inflammatory Cell Subsets into the CNS during Autoimmunity.” PNAS. National Academy of Sciences, 2009. https://doi.org/10.1073/pnas.0808909106.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3949
Quast, Thomas, Barbara Tappertzhofen, Cora Schild, Jessica Grell, Niklas Czeloth, Reinhold Förster, Ronen Alon, et al. “Cytohesin-1 Controls the Activation of RhoA and Modulates Integrin-Dependent Adhesion and Migration of Dendritic Cells.” Blood. American Society of Hematology, 2009. https://doi.org/10.1182/blood-2008-08-176123.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova, Jitka, Nicholas H Barton, and Glenn Marion. “Species’ Range: Adaptation in Space and Time.” American Naturalist. University of Chicago Press, 2009. 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, Gwen, and Carl-Philipp J Heisenberg. “The Role of the Extracellular Matrix in Kupffer’s Vesicle Formation in Zebrafish.” Mechanisms of Development. Elsevier, 2009. https://doi.org/10.1016/j.mod.2009.06.391.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4165
Oates, Andrew, Nicole Gorfinkiel, Marcos Gonzalez Gaitan, and Carl-Philipp J Heisenberg. “Quantitative Approaches in Developmental Biology.” Nature Reviews Genetics. Nature Publishing Group, 2009. https://doi.org/10.1038/nrg2548.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4192
Kai, Masatake, Nina Buchan, Carl-Philipp J Heisenberg, and Masazumi Tada. “Regulation of Planar Cell Polarity Signalling by the Prenylation Pathway.” Mechanisms of Development. Elsevier, 2009. https://doi.org/10.1016/j.mod.2009.06.269.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4223
Swoboda, Jonathan, Timothy Meredith, Jennifer Campbell, Stephanie Brown, Takashi Suzuki, Mark Tobias Bollenbach, Amy Malhowski, Roy Kishony, Michael Gilmore, and Suzanne Walker. “Discovery of a Small Molecule That Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus Aureus.” ACS Chemical Biology. American Chemical Society, 2009. https://doi.org/10.1021/cb900151k.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 4228
Bollenbach, Tobias, Selwyn Quan, Remy P Chait, and Roy Kishony. “Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions.” Cell. Cell Press, 2009. https://doi.org/10.1016/j.cell.2009.10.025.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton, Nicholas H, and Maria De Cara. “The Evolution of Strong Reproductive Isolation.” Evolution; International Journal of Organic Evolution. Wiley, 2009. 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, Mohamed, Andreas Podelski, and Thomas Wies. “Abstraction Refinement for Quantified Array Assertions,” 3–18. Springer, 2009. https://doi.org/1556.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun, Boosaree, Joshua Blakeslee, Anindita Bandyopadhyay, Haibing Yang, Jozef Mravec, Michael Sauer, Yan Cheng, et al. “ABCB19 PGP19 Stabilises PIN1 in Membrane Microdomains in Arabidopsis.” Plant Journal. Wiley-Blackwell, 2009. https://doi.org/10.1111/j.1365-313X.2008.03668.x.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3049
Pernisová, Markéta, Petr Klíma, Jakub Horák, Martina Válková, Jiří Malbeck, Přemysl Souček, Pavel Reichman, et al. “Cytokinins Modulate Auxin Induced Organogenesis in Plants via Regulation of the Auxin Efflux.” PNAS. National Academy of Sciences, 2009. https://doi.org/10.1073/pnas.0811539106.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3050
Růžička, Kamil, Mária Šimášková, Jérôme Duclercq, Jan Petrášek, Eva Zažímalová, Sibu Simon, Jiří Friml, Marc Van Montagu, and Eva Benková. “Cytokinin Regulates Root Meristem Activity via Modulation of the Polar Auxin Transport.” PNAS. National Academy of Sciences, 2009. https://doi.org/10.1073/pnas.0900060106.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3048
Tanaka, Hirokazu, Saeko Kitakura, Riet De Rycke, Ruth De Groodt, and Jiří Friml. “Fluorescence Imaging Based Screen Identifies ARF GEF Component of Early Endosomal Trafficking.” Current Biology. Cell Press, 2009. https://doi.org/10.1016/j.cub.2009.01.057.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3054
Robert, Hélène, and Jiří Friml. “Auxin and Other Signals on the Move in Plants.” Nature Chemical Biology. Nature Publishing Group, 2009. https://doi.org/10.1038/nchembio.170.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
Vanneste, Steffen, and Jiří Friml. “Auxin: A Trigger for Change in Plant Development.” Cell. Cell Press, 2009. 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, Dolf, and Jiří Friml. “SnapShot: Auxin Signaling and Transport.” Cell. Cell Press, 2009. 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á, Eva, Maria Ivanchenko, Jiří Friml, Svetlana Shishkova, and Joseph Dubrovsky. “A Morphogenetic Trigger: Is There an Emerging Concept in Plant Developmental Biology?” Trends in Plant Science. Cell Press, 2009. https://doi.org/10.1016/j.tplants.2009.01.006.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
Kumar, M Pawan, Vladimir Kolmogorov, and Philip Torr. “An Analysis of Convex Relaxations for MAP Estimation of Discrete MRFs.” Journal of Machine Learning Research. Microtome Publishing, 2009.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3199
Vicente, Sara, Vladimir Kolmogorov, and Carsten Rother. “Joint Optimization of Segmentation and Appearance Models,” 755–62. IEEE, 2009. https://doi.org/10.1109/ICCV.2009.5459287.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3200
Kolmogorov, Vladimir, and Akiyoshi Shioura. “New Algorithms for Convex Cost Tension Problem with Application to Computer Vision.” Discrete Optimization. Elsevier, 2009. https://doi.org/10.1016/j.disopt.2009.04.006.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3292
Engel, Jakob, Philipp S Schmalhorst, Thilo Dörk Bousset, Vincent Ferrières, and Françoise Routier. “A Single UDP Galactofuranose Transporter Is Required for Galactofuranosylation in Aspergillus Fumigatus.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2009. https://doi.org/10.1074/jbc.M109.070219 .
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3293
Chakraborty Tuhin, Subhra, Sarit Goswami, and Obaid Siddiqi. “Sensory Correlates of Imaginal Conditioning in Drosophila Melanogaster.” Journal of Neurogenetics. Informa Healthcare, 2009. https://doi.org/10.1080/01677060802491559 .
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3309
Uhler, Caroline. “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, 2009. https://doi.org/10.1198/jabes.2009.0005.
View | DOI
 

2009 | Thesis | IST-REx-ID: 3400
Schmalhorst, Philipp S. “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
Bollenbach, Mark Tobias, and Roy Kishony. “Quiet Gene Circuit More Fragile than Its Noisy Peer.” Cell. Cell Press, 2009. https://doi.org/10.1016/j.cell.2009.10.005.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3547
Remy, Stefan, Jozsef L Csicsvari, and Heinz Beck. “Activity-Dependent Control of Neuronal Output by Local and Global Dendritic Spike Attenuation.” Neuron. Elsevier, 2009. https://doi.org/10.1016/j.neuron.2009.01.032.
View | DOI
 

2009 | Book Chapter | IST-REx-ID: 3578
Attali, Dominique, Jean Boissonnat, and Herbert 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, 109–25. Springer, 2009. https://doi.org/10.1007/b106657_6.
View | DOI | Download (ext.)
 

2009 | Book Chapter | IST-REx-ID: 3675
Barton, Nicholas H. “Why Sex and Recombination? .” In Cold Spring Harbor Symposia on Quantitative Biology, 74:187–95. Cold Spring Harbor Laboratory Press, 2009. https://doi.org/10.1101/sqb.2009.74.030.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3696
Lampert, Christoph, and Matthew Blaschko. “Structured Prediction by Joint Kernel Support Estimation.” Machine Learning. Springer, 2009. https://doi.org/10.1007/s10994-009-5111-0.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3690
Dhillon, Paramveer, Sebastian Nowozin, and Christoph Lampert. “Combining Appearance and Motion for Human Action Classification in Videos,” 22–29. IEEE, 2009. https://doi.org/10.1109/CVPRW.2009.5204237.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3710
Lampert, Christoph, Matthew Blaschko, and Thomas Hofmann. “Efficient Subwindow Search: A Branch and Bound Framework for Object Localization.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2009. https://doi.org/10.1109/TPAMI.2009.144.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3711
Dhillon, Paramveer, Sebastian Nowozin, and Christoph Lampert. “Combining Appearance and Motion for Human Action Classification in Videos,” 22–29. IEEE, 2009. https://doi.org/10.1109/CVPRW.2009.5204237.
View | DOI | Download (ext.)
 

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

2009 | Conference Paper | IST-REx-ID: 3708
Nowozin, Sebastian, and Christoph Lampert. “Global Connectivity Potentials for Random Field Models,” 818–25. IEEE, 2009. https://doi.org/10.1109/CVPR.2009.5206567.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3709
Lampert, Christoph. “Detecting Objects in Large Image Collections and Videos by Efficient Subimage Retrieval,” 987–94. IEEE, 2009. https://doi.org/10.1109/ICCV.2009.5459359.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3745
Tkačik, Gašper, and William Bialek. “Diffusion, Dimensionality, and Noise in Transcriptional Regulation.” Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2009. https://doi.org/10.1103/PhysRevE.79.051901.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
Barton, Nicholas H, and Jason Coe. “On the Application of Statistical Physics to Evolutionary Biology.” Journal of Theoretical Biology. Elsevier, 2009. 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, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “On Relational Interfaces.” In EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, 67–76. ACM, 2009. https://doi.org/10.1145/1629335.1629346.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3835
Bloem, Roderick, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Synthesizing Robust Systems,” 85–92. Springer, 2009. https://doi.org/10.1109/FMCAD.2009.5351139.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3954
Renkawitz, Jörg, Kathrin Schumann, Michele Weber, Tim Lämmermann, Holger Pflicke, Matthieu Piel, Julien Polleux, Joachim Spatz, and Michael K Sixt. “Adaptive Force Transmission in Amoeboid Cell Migration.” Nature Cell Biology. Nature Publishing Group, 2009. https://doi.org/10.1038/ncb1992.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky, Jürgen, Ronald Gerstl, Ingrid Mannigel, Katy Niedung, David Frommhold, Klaus Panthel, Jürgen Heesemann, et al. “A Fundamental Role of MAbp1 in Neutrophils: Impact on β(2) Integrin-Mediated Phagocytosis and Adhesion in Vivo.” Blood. American Society of Hematology, 2009. https://doi.org/10.1182/blood-2009-02-206169.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3953
Wolf, Anna, Kathrin Eller, Robert Zeiser, Christoph Dürr, Ulrike Gerlach, Michael K Sixt, Lydia Markut, Guenther Gastl, Alexander Rosenkranz, and Dominik Wolf. “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, 2009. https://doi.org/10.4049/jimmunol.0901011.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3955
Pflicke, Holger, and Michael K Sixt. “Preformed Portals Facilitate Dendritic Cell Entry into Afferent Lymphatic Vessels.” The Journal of Experimental Medicine. Rockefeller University Press, 2009. https://doi.org/10.1084/jem.20091739.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3950
Moser, Markus, Martina Bauer, Stephan Schmid, Raphael Ruppert, Sarah Schmidt, Michael K Sixt, Hao Wang, Markus Sperandio, and Reinhard Fässler. “Kindlin-3 Is Required for Β2 Integrin-Mediated Leukocyte Adhesion to Endothelial Cells.” Nature Medicine. Nature Publishing Group, 2009. https://doi.org/10.1038/nm.1921.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3951
Lämmermann, Tim, and Michael K Sixt. “Mechanical Modes of ‘amoeboid’ Cell Migration.” Current Opinion in Cell Biology. Elsevier, 2009. https://doi.org/10.1016/j.ceb.2009.05.003.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner, Herbert, and John Harer. “The Persistent Morse Complex Segmentation of a 3-Manifold,” 5903:36–50. Springer, 2009. 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, David, Herbert Edelsbrunner, and John Harer. “Extending Persistence Using Poincare and Lefschetz Duality.” Foundations of Computational Mathematics. Springer, 2009. https://doi.org/10.1007/s10208-008-9027-z.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3967
Cohen Steiner, David, Herbert Edelsbrunner, John Harer, and Dmitriy Morozov. “Persistent Homology for Kernels, Images, and Cokernels,” 1011–20. SIAM, 2009.
View
 

2009 | Journal Article | IST-REx-ID: 4143
Ulrich, Florian, and Carl-Philipp J Heisenberg. “Trafficking and Cell Migration.” Traffic. Wiley-Blackwell, 2009. https://doi.org/10.1111/j.1600-0854.2009.00929.x.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4160
Oteíza, Pablo, Carmen Lemus, Mathias Köppen, Karina Palma, Michael Krieg, Cristina Melo, Cecilia Farias, et al. “Linking Organ Formation to Left-Right Patterning in the Embryonic Zebrafish.” Mechanisms of Development. Elsevier, 2009. https://doi.org/10.1016/j.mod.2009.06.970.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4162
Oteíza, Pablo, Mathias Köppen, Michael Krieg, Steffen Preibisch, Steffen Haertel, Daniel Müller, Carl-Philipp J Heisenberg, and Miguel Concha. “Wnt11/Pk1a-Mediated Planar Cell Polarity Signalling Orchestrates Epithelial Organ Morphogenesis by Regulating N-Cadherin Dependent Cell Adhesion Forces.” Mechanisms of Development. Elsevier, 2009. https://doi.org/10.1016/j.mod.2009.06.098.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4158
Paluch, Ewa, and Carl-Philipp J Heisenberg. “Biology and Physics of Cell Shape Changes in Development.” Current Biology. Cell Press, 2009. https://doi.org/10.1016/j.cub.2009.07.029.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4159
Paluch, Ewa, and Carl-Philipp J Heisenberg. “Chaos Begets Order: Asynchronous Cell Contractions Drive Epithelial Morphogenesis.” Developmental Cell. Cell Press, 2009. https://doi.org/10.1016/j.devcel.2008.12.011.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4206
Heisenberg, Carl-Philipp J. “Dorsal Closure in Drosophila: Cells Cannot Get out of the Tight Spot.” Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell, 2009. https://doi.org/10.1002/bies.200900109.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4217
Carvalho, Lara, Jan Stuehmer, Justin Bois, Yannis Kalaidzidis, Virginie Lecaudey, and Carl-Philipp J Heisenberg. “Control of Convergent Yolk Syncytial Layer Nuclear Movement in Zebrafish.” Development. Company of Biologists, 2009. https://doi.org/10.1242/dev.026922.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4231
Barton, Nicholas H, and Harold De Vladar. “Statistical Mechanics and the Evolution of Polygenic Quantitative Traits.” Genetics. Genetics Society of America, 2009. https://doi.org/10.1534/genetics.108.099309.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4232
Vladar, Harold de. “Stochasticity and Variability in the Dynamics and Genetics of Populations.” Faculty of mathematical and natural sciences, University of Groningen, 2009. https://doi.org/3811.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4357
Bollback, Jonathan P, and John Huelsenbeck. “Parallel Genetic Evolution within and between Bacteriophage Species of Varying Degrees of Divergence.” Genetics. Genetics Society of America, 2009. https://doi.org/10.1534/genetics.107.085225.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4360
Wies, Thomas, Ruzica Piskac, and Viktor Kuncak. “Combining Theories with Shared Set Operations,” 366–82. Springer, 2009. https://doi.org/1558.
View | DOI
 

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

2009 | Conference Paper | IST-REx-ID: 4375
Lahiri, Shuvendu, Shaz Qadeer, Juan Galeotti, Jan Voung, and Thomas Wies. “Intra-Module Inference,” 493–508. Springer, 2009. https://doi.org/1555.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4377
Hoenicke, Jochen, K Rustan Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “It’s Doomed; We Can Prove It,” 338–53. Springer, 2009. https://doi.org/1557.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,” 5643:321–36. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_26.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4385
Dragojevic, Aleksandar, Rachid Guerraoui, Anmol Singh, and Vasu Singh. “Preventing versus Curing: Avoiding Conflicts in Transactional Memories,” 7–16. ACM, 2009. https://doi.org/1533.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4376
Lublinerman, Roberto, Swarat Chaudhuri, and Pavol Cerny. “Parallel Programming with Object Assemblies,” 61–80. ACM, 2009. https://doi.org/1546.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4391
Cerny, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality,” 173–87. Springer, 2009. https://doi.org/1548.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs,” 5771:86–101. Springer, 2009. 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, Thomas A, Maria Mateescu, and Verena Wolf. “Sliding-Window Abstraction for Infinite Markov Chains,” 5643:337–52. Springer, 2009. 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, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes,” 5688:173–88. Springer, 2009. https://doi.org/10.1007/978-3-642-03845-7_12.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,” 5699:3–13. Springer, 2009. 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, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,” 5556:1–15. Springer, 2009. https://doi.org/10.1007/978-3-642-02930-1_1.
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications