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
2008 | Conference Paper | IST-REx-ID: 3705
Blaschko, Matthew, and Christoph Lampert. Learning to Localize Objects with Structured Output Regression. Vol. 5302, Springer, 2008, pp. 2–15, doi:10.1007/978-3-540-88682-2_2.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3700
Lampert, Christoph. Partitioning of Image Datasets Using Discriminative Context Information. IEEE, 2008, pp. 1–8, doi:10.1109/CVPR.2008.4587448.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3716
Lampert, Christoph, and Matthew Blaschko. A Multiple Kernel Learning Approach to Joint Multi-Class Object Detection. Vol. 5096, Springer, 2008, pp. 31–40, doi:10.1007/978-3-540-69321-5_4.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3714
Lampert, Christoph, et al. Beyond Sliding Windows: Object Localization by Efficient Subwindow Search. IEEE, 2008, pp. 1–8, doi:10.1109/CVPR.2008.4587586.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3734 | 
Tkačik, Gašper, et al. “The Role of Input Noise in Transcriptional Regulation.” PLoS One, vol. 3, no. 7, Public Library of Science, 2008, doi:10.1371/journal.pone.0002774.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3751 |
Kinkhabwala, Ali, and Calin C. Guet. “Uncovering Cis Regulatory Codes Using Synthetic Promoter Shuffling.” PLoS One, vol. 3, no. 4, e2030, Public Library of Science, 2008, doi:10.1371/journal.pone.0002030.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 3754
Guet, Calin C., et al. “Minimally Invasive Determination of MRNA Concentration in Single Living Bacteria.” Nucleic Acids Research, vol. 36, no. 12, Oxford University Press, 2008, doi:10.1093/nar/gkn329.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3826
Doischer, Daniel, et al. “Postnatal Differentiation of Basket Cells from Slow to Fast Signaling Devices.” Journal of Neuroscience, vol. 28, no. 48, Society for Neuroscience, 2008, pp. 12956–68, doi:10.1523/JNEUROSCI.2890-08.2008.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3827
Kerr, Angharad, et al. “Differential Dependence of Phasic Transmitter Release on Synaptotagmin 1 at GABAergic and Glutamatergic Hippocampal Synapses.” PNAS, vol. 105, no. 40, National Academy of Sciences, 2008, pp. 15581–86, doi:10.1073/pnas.0800621105.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3504 |
Chatterjee, Krishnendu, et al. Algorithms for Game Metrics. Vol. 2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 107–18, doi:10.4230/LIPIcs.FSTTCS.2008.1745.
[Published Version]
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee, Krishnendu, et al. Model-Checking Omega-Regular Properties of Interval Markov Chains. Vol. 4962, Springer, 2008, pp. 302–17, doi:10.1007/978-3-540-78499-9_22.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee, Krishnendu, et al. Controller Synthesis with Budget Constraints. Vol. 4981, Springer, 2008, pp. 72–86, doi:DOI: 10.1007/978-3-540-78929-1_6.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee, Krishnendu, et al. Timed Parity Games: Complexity and Robustness. Vol. 5215, Springer, 2008, pp. 124–40, doi:10.1007/978-3-540-85778-5_10.
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee, Krishnendu, et al. Environment Assumptions for Synthesis. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–61, doi:10.1007/978-3-540-85361-9_14.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3878 |
Chatterjee, Krishnendu, et al. The Complexity of Coverage. Vol. 5356, Springer, 2008, pp. 91–106, doi:10.1007/978-3-540-89330-1_7.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee, Krishnendu, et al. Trading Infinite Memory for Uniform Randomness in Timed Games. Vol. 4981, Springer, 2008, pp. 87–100, doi:10.1007/978-3-540-78929-1_7.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee, Krishnendu, et al. Quantitative Languages. Vol. 5213, Springer, 2008, pp. 385–400, doi:10.1007/978-3-540-87531-4_28.
View
| DOI
2008 | Book Chapter | IST-REx-ID: 3872
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Value Iteration.” 25 Years in Model Checking, vol. 5000, Springer, 2008, pp. 107–38, doi:10.1007/978-3-540-69850-0_7.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3945
Tripp, Christoph, et al. “The Lymph Vessel Network in Mouse Skin Visualised with Antibodies against the Hyaluronan Receptor LYVE-1.” Immunobiology, vol. 213, no. 9–10, Elsevier, 2008, pp. 715–28, doi:10.1016/j.imbio.2008.07.025.
View
| DOI