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.
1921 Publications
2008 | Published | Conference Paper | IST-REx-ID: 3226
Pietrzak, Krzysztof Z, and Johan Sjödin. “Weak Pseudorandom Functions in Minicrypt,” 5126:423–36. Springer, 2008. https://doi.org/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,” 5157:413–32. Springer, 2008. https://doi.org/10.1007/978-3-540-85174-5_23.
View
| DOI
2008 | Published | Book Chapter | IST-REx-ID: 3577
Biasotti, Silvia, Dominique Attali, Jean Boissonnat, Herbert Edelsbrunner, Gershon Elber, Michela Mortara, Gabriella Sanniti Di Baja, Michela Spagnuolo, Mirela Tanase, and Remco Veltkam. “Skeletal Structures.” In Shape Analysis and Structuring, 145–83. Springer, 2008. https://doi.org/10.1007/978-3-540-33265-7_5.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3600
Yang, Erfu, Nicholas H Barton, Tughrul Arslan, and Ahmet Erdogan. “ Scalability of a Novel Shifting Balance Theory-Based Optimization Algorithm: A Comparative Study on a Cluster-Based Wireless Sensor Network,” 5216:249–60. Springer, 2008. https://doi.org/10.1007/978-3-540-85857-7_22.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3698
Blaschko, Matthew, Christoph Lampert, and Arthur Gretton. “Semi-Supervised Laplacian Regularization of Kernel Canonical Correlation Analysis,” 5211:133–45. Springer, 2008. https://doi.org/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,” 5302:2–15. Springer, 2008. https://doi.org/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,” 5096:31–40. Springer, 2008. https://doi.org/10.1007/978-3-540-69321-5_4.
View
| DOI
| Download (ext.)
2008 | Published | Book Chapter | IST-REx-ID: 3726
Engel, Andreas, Harald L Janovjak, Dimtrios Fotiadis, Alexej Kedrov, David Cisneros, and Daniel Mueller. “Single-Molecule Microscopy and Force Spectroscopy of Membrane Proteins.” In Single Molecules and Nanotechnology, 12:279–311. Springer, 2008. https://doi.org/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.” In 25 Years in Model Checking, 5000:107–38. Springer, 2008. https://doi.org/10.1007/978-3-540-69850-0_7.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3873
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Controller Synthesis with Budget Constraints,” 4981:72–86. Springer, 2008. https://doi.org/DOI: 10.1007/978-3-540-78929-1_6.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3874
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Trading Infinite Memory for Uniform Randomness in Timed Games,” 4981:87–100. Springer, 2008. https://doi.org/10.1007/978-3-540-78929-1_7.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3875
Chatterjee, Krishnendu, Thomas A Henzinger, and Koushik Sen. “Model-Checking Omega-Regular Properties of Interval Markov Chains,” 4962:302–17. Springer, 2008. https://doi.org/10.1007/978-3-540-78499-9_22.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3877
Chatterjee, Krishnendu, Thomas A Henzinger, and Barbara Jobstmann. “Environment Assumptions for Synthesis,” 5201:147–61. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9_14.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3878 | 
Chatterjee, Krishnendu, Luca De Alfaro, and Ritankar Majumdar. “The Complexity of Coverage,” 5356:91–106. Springer, 2008. https://doi.org/10.1007/978-3-540-89330-1_7.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 3879
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages,” 5213:385–400. Springer, 2008. https://doi.org/10.1007/978-3-540-87531-4_28.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3943
Kessenbrock, Kai, Leopold Fröhlich, Michael K Sixt, Tim Lämmermann, Heiko Pfister, Andrew Bateman, Azzaq Belaaouaj, et al. “Proteinase 3 and Neutrophil Elastase Enhance Inflammation in Mice by Inactivating Antiinflammatory Progranulin.” The Journal of Clinical Investigation. American Society for Clinical Investigation, 2008. https://doi.org/10.1172/JCI34694.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 18033
Venkataraman, Latha. “Molecule Nanoelectronics.” In 2008 International Symposium on VLSI Technology, Systems and Applications, 64–65. IEEE, 2008. https://doi.org/10.1109/vtsa.2008.4530800.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3876
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness,” 5215:124–40. Springer, 2008. https://doi.org/10.1007/978-3-540-85778-5_10.
View
| Files available
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3880
Berwanger, Dietmar, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, and Sangram Raje. “Strategy Construction for Parity Games with Imperfect Information,” 5201:325–39. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9.
View
| Files available
| DOI
2007 | Published | Journal Article | IST-REx-ID: 17724 |
Kocsis, Bence, Zoltán Haiman, Kristen Menou, and Zsolt Frei. “Premerger Localization of Gravitational-Wave Standard Sirens with LISA: Harmonic Mode Decomposition.” Physical Review D. American Physical Society, 2007. https://doi.org/10.1103/physrevd.76.022003.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv