Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9096 Publications
2009 | Journal Article | IST-REx-ID: 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 | 
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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
2009 | Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Stochastic Games with Finitary Objectives,” 5734:34–54. Springer, 2009. https://doi.org/10.1007/978-3-642-03816-7_4.
View
| DOI