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.
1624 Publications
2008 |Published| Journal Article | IST-REx-ID: 2755
Erdös, László, et al. “Ground-State Energy of a Low-Density Bose Gas: A Second-Order Upper Bound.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 78, no. 5, American Physical Society, 2008, doi:10.1103/PhysRevA.78.053627.
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| 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: 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| 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: 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: 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 |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: 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: 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| 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| 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
2008 |Published| Journal Article | IST-REx-ID: 4227
Bollenbach, Tobias, et al. “Precision of the Dpp Gradient.” Development, vol. 135, no. 6, Company of Biologists, 2008, pp. 1137–46, doi:10.1242/dev.012062.
View
| DOI
2008 |Published| Book Chapter | IST-REx-ID: 4371
Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505, doi:10.1007/978-3-540-78127-1_26.
View
| DOI
2008 |Published| Conference Paper | IST-REx-ID: 4366
Podelski, Andreas, et al. Heap Assumptions on Demand. Vol. 5123, Springer, 2008, pp. 314–27, doi:10.1007/978-3-540-70545-1_31.
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 3032
Kleine Vehn, Jürgen, et al. “ARF GEF Dependent Transcytosis and Polar Delivery of PIN Auxin Carriers in Arabidopsis.” Current Biology, vol. 18, no. 7, Cell Press, 2008, pp. 526–31, doi:10.1016/j.cub.2008.03.021.
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.)