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.
1850 Publications
2008 |Published| Journal Article | IST-REx-ID: 2753
Erdös, László, et al. “Quantum Diffusion of the Random Schrödinger Evolution in the Scaling Limit.” Acta Mathematica, vol. 200, no. 2, Springer, 2008, pp. 211–77, doi:10.1007/s11511-008-0027-2.
View
| DOI
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| 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 |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