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: 3711
Dhillon, Paramveer, et al. Combining Appearance and Motion for Human Action Classification in Videos. IEEE, 2009, pp. 22–29, doi: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, doi:10.1561/0600000027.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3708
Nowozin, Sebastian, and Christoph Lampert. Global Connectivity Potentials for Random Field Models. IEEE, 2009, pp. 818–25, doi: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. IEEE, 2009, pp. 987–94, doi: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, vol. 79, no. 5, American Institute of Physics, 2009, doi: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, vol. 259, no. 2, Elsevier, 2009, pp. 317–24, doi:10.1016/j.jtbi.2009.03.019.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Conference Paper | IST-REx-ID: 3837 |
Tripakis, Stavros, et al. “On Relational Interfaces.” EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3835
Bloem, Roderick, et al. Synthesizing Robust Systems. Springer, 2009, pp. 85–92, doi:10.1109/FMCAD.2009.5351139.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3954
Renkawitz, Jörg, et al. “Adaptive Force Transmission in Amoeboid Cell Migration.” Nature Cell Biology, vol. 11, no. 12, Nature Publishing Group, 2009, pp. 1438–43, doi:10.1038/ncb1992.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky, Jürgen, 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, 2009, pp. 4209–20, doi:10.1182/blood-2009-02-206169.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3953
Wolf, Anna, 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, 2009, pp. 3751–60, doi: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, vol. 206, no. 13, Rockefeller University Press, 2009, pp. 2925–35, doi:10.1084/jem.20091739.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3950
Moser, Markus, et al. “Kindlin-3 Is Required for Β2 Integrin-Mediated Leukocyte Adhesion to Endothelial Cells.” Nature Medicine, vol. 15, no. 3, Nature Publishing Group, 2009, pp. 300–05, doi: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, vol. 21, no. 5, Elsevier, 2009, pp. 636–44, doi: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. Vol. 5903, Springer, 2009, pp. 36–50, doi:10.1007/978-3-642-10470-1_4.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3966
Cohen Steiner, David, et al. “Extending Persistence Using Poincare and Lefschetz Duality.” Foundations of Computational Mathematics, vol. 9, no. 1, Springer, 2009, pp. 79–103, doi:10.1007/s10208-008-9027-z.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3967
Cohen Steiner, David, et al. Persistent Homology for Kernels, Images, and Cokernels. SIAM, 2009, pp. 1011–20.
View
2009 | Journal Article | IST-REx-ID: 4143
Ulrich, Florian, and Carl-Philipp J. Heisenberg. “Trafficking and Cell Migration.” Traffic, vol. 10, no. 7, Wiley-Blackwell, 2009, pp. 811–18, doi:10.1111/j.1600-0854.2009.00929.x.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4160
Oteíza, Pablo, et al. “Linking Organ Formation to Left-Right Patterning in the Embryonic Zebrafish.” Mechanisms of Development, vol. 126, no. Supplement 1, Elsevier, 2009, pp. S11–S11, doi:10.1016/j.mod.2009.06.970.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4162
Oteíza, Pablo, 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, 2009, pp. S80–S80, doi: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, vol. 19, no. 17, Cell Press, 2009, pp. R790–99, doi: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, vol. 16, no. 1, Cell Press, 2009, pp. 4–6, doi: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, vol. 31, no. 12, Wiley-Blackwell, 2009, pp. 1284–87, doi:10.1002/bies.200900109.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4217
Carvalho, Lara, et al. “Control of Convergent Yolk Syncytial Layer Nuclear Movement in Zebrafish.” Development, vol. 136, no. 8, Company of Biologists, 2009, pp. 1305–15, doi: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, vol. 181, no. 3, Genetics Society of America, 2009, pp. 997–1011, doi:10.1534/genetics.108.099309.
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, vol. 181, no. 1, Genetics Society of America, 2009, pp. 225–34, doi:10.1534/genetics.107.085225.
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: 4383 |
Guerraoui, Rachid, et al. Software Transactional Memory on Relaxed Memory Models. Vol. 5643, Springer, 2009, pp. 321–36, doi:10.1007/978-3-642-02658-4_26.
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4403 |
Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 86–101, doi: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., et al. Sliding-Window Abstraction for Infinite Markov Chains. Vol. 5643, Springer, 2009, pp. 337–52, doi: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, et al. Approximation of Event Probabilities in Noisy Cellular Processes. Vol. 5688, Springer, 2009, pp. 173–88, doi:10.1007/978-3-642-03845-7_12.
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4542 |
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4545 |
Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, et al. Stochastic Games with Finitary Objectives. Vol. 5734, Springer, 2009, pp. 34–54, doi:10.1007/978-3-642-03816-7_4.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4544 |
Chatterjee, Krishnendu, et al. Termination Criteria for Solving Concurrent Safety and Reachability Games. SIAM, 2009, pp. 197–206, doi:10.1137/1.9781611973068.23.
View
| Files available
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee, Krishnendu, et al. Expressiveness and Closure Properties for Quantitative Languages. IEEE, 2009, pp. 199–208, doi:10.1109/LICS.2009.16.
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4569 |
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Conference Paper | IST-REx-ID: 4580 |
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2009 | Technical Report | IST-REx-ID: 5393 |
Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5394 |
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5392 |
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009, doi:10.15479/AT:IST-2009-0004.
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5395 |
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
[Published Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 599 |
Knuesel, Matthew, et al. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development, vol. 23, no. 4, Cold Spring Harbor Laboratory Press, 2009, pp. 439–51, doi:10.1101/gad.1767009.
View
| DOI
| Download None (ext.)