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.
1966 Publications
2008 | Published | Conference Paper | IST-REx-ID: 753
Alistarh, Dan-Adrian, et al. How to Solve Consensus in the Smallest Window of Synchrony. Vol. 5218 LNCS, Springer, 2008, pp. 32–46, doi:10.1007/978-3-540-87779-0_3.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 18337
Bronstein, Alex M., and Michael M. Bronstein. “Regularized Partial Matching of Rigid Shapes.” 10th European Conference on Computer Vision, vol. 5303, Springer Berlin Heidelberg, 2008, pp. 143–54, doi:10.1007/978-3-540-88688-4_11.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3198
Torresani, Lorenzo, et al. Feature Correspondence via Graph Matching: Models and Global Optimization. Vol. 5303, Springer, 2008, pp. 596–609, doi:10.1007/978-3-540-88688-4_44.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 3224
Dodis, Yevgeniy, et al. A New Mode of Operation for Block Ciphers and Length Preserving MACs. Vol. 4965, Springer, 2008, pp. 198–219, doi:10.1007/978-3-540-78967-3_12.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3226
Pietrzak, Krzysztof Z., and Johan Sjödin. Weak Pseudorandom Functions in Minicrypt. Vol. 5126, no. PART 2, Springer, 2008, pp. 423–36, doi:10.1007/978-3-540-70583-3_35.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3228
Pietrzak, Krzysztof Z. Compression from Collisions or Why CRHF Combiners Have a Long Output. Vol. 5157, Springer, 2008, pp. 413–32, doi:10.1007/978-3-540-85174-5_23.
View
| DOI
2008 | Published | Book Chapter | IST-REx-ID: 3577
Biasotti, Silvia, et al. “Skeletal Structures.” Shape Analysis and Structuring, Springer, 2008, pp. 145–83, doi:10.1007/978-3-540-33265-7_5.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3600
Yang, Erfu, et al. Scalability of a Novel Shifting Balance Theory-Based Optimization Algorithm: A Comparative Study on a Cluster-Based Wireless Sensor Network. Vol. 5216, Springer, 2008, pp. 249–60, doi:10.1007/978-3-540-85857-7_22.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3698
Blaschko, Matthew, et al. Semi-Supervised Laplacian Regularization of Kernel Canonical Correlation Analysis. Vol. 5211, no. Part 1, Springer, 2008, pp. 133–45, doi:10.1007/978-3-540-87479-9_27.
View
| DOI
2008 | Published | 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 | Published | 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 | Published | Book Chapter | IST-REx-ID: 3726
Engel, Andreas, et al. “Single-Molecule Microscopy and Force Spectroscopy of Membrane Proteins.” Single Molecules and Nanotechnology, vol. 12, Springer, 2008, pp. 279–311, doi:10.1007/978-3-540-73924-1_11.
View
| DOI
2008 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 3943
Kessenbrock, Kai, et al. “Proteinase 3 and Neutrophil Elastase Enhance Inflammation in Mice by Inactivating Antiinflammatory Progranulin.” The Journal of Clinical Investigation, vol. 118, no. 7, American Society for Clinical Investigation, 2008, pp. 2438–47, doi:10.1172/JCI34694.
View
| DOI