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.
1612 Publications
2007 | Journal Article | IST-REx-ID: 3022
Dhonukshe, Pankaj, et al. “Clathrin-Mediated Constitutive Endocytosis of PIN Auxin Efflux Carriers in Arabidopsis.” Current Biology, vol. 17, no. 6, Cell Press, 2007, pp. 520–27, doi:10.1016/j.cub.2007.01.052.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3223
Dodis, Yevgeniy, and Krzysztof Z. Pietrzak. Improving the Security of MACs via Randomized Message Preprocessing. Vol. 4593, Springer, 2007, pp. 414–33, doi:10.1007/978-3-540-74619-5_26.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3222
Pietrzak, Krzysztof Z., and Douglas Wikström. Parallel Repetition of Computationally Sound Protocols Revisited. Vol. 4392, Springer, 2007, pp. 86–102, doi:10.1007/978-3-540-70936-7_5.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3219
Maurer, Ueli, et al. Indistinguishability Amplification. Vol. 4622, Springer, 2007, pp. 130–49, doi:10.1007/978-3-540-74143-5_8.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3221
Pietrzak, Krzysztof Z., and Johan Sjödin. Range Extension for Weak PRFs the Good the Bad and the Ugly. Vol. 4515, Springer, 2007, pp. 517–33, doi:10.1007/978-3-540-72540-4_30.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3681
Ulges, Adrian, et al. Optimal Dominant Motion Estimation Using Adaptive Search of Transformation Space. Vol. 4713, Springer, 2007, pp. 204–13, doi:10.1007/978-3-540-74936-3_21.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee, Krishnendu, et al. Generalized Parity Games. Vol. 4423, Springer, 2007, pp. 153–67, doi:10.1007/978-3-540-71389-0_12.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee, Krishnendu, et al. Strategy Logic. Vol. 4703, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73, doi:10.1007/978-3-540-74407-8_5.
View
| Files available
| DOI
2007 | Conference Paper | IST-REx-ID: 3887
Chatterjee, Krishnendu. Markov Decision Processes with Multiple Long-Run Average Objectives. Vol. 4855, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–84, doi:10.1007/978-3-540-77050-3_39.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3886
Chatterjee, Krishnendu. Stochastic Müller Games Are PSPACE-Complete. Vol. 4855, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–48, doi:10.1007/978-3-540-77050-3_36.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3885
Chatterjee, Krishnendu. Optimal Strategy Synthesis in Stochastic Müller Games. Vol. 4423, Springer, 2007, pp. 138–52, doi:10.1007/978-3-540-71389-0_11.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3973
Cohen Steiner, David, and Herbert Edelsbrunner. “Inequalities for the Curvature of Curves and Surfaces.” Foundations of Computational Mathematics, vol. 7, no. 4, Springer, 2007, pp. 391–404, doi:10.1007/s10208-005-0200-3.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4247
Gardner, Andy, et al. “The Relation between Multilocus Population Genetics and Social Evolution Theory.” American Naturalist, vol. 169, no. 2, University of Chicago Press, 2007, pp. 207–26, doi:10.1086/510602.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4399
Beyer, Dirk, et al. Algorithms for Interface Synthesis. Vol. 4590, Springer, 2007, pp. 4–19, doi:10.1007/978-3-540-73368-3_4.
View
| DOI
2007 | Book Chapter | IST-REx-ID: 4417
Manevich, Roman, et al. “Abstract Counterexample-Based Refinement for Powerset Domains.” Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, vol. 4444, Springer, 2007, pp. 273–92, doi:10.1007/978-3-540-71322-7_13.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4514
Henzinger, Thomas A. Games, Time, and Probability: Graph Models for System Design and Analysis. Vol. 4362, Springer, 2007, pp. 103–10, doi:10.1007/978-3-540-69507-3_7.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4511
Henzinger, Thomas A. Quantitative Generalizations of Languages. Vol. 4588, Springer, 2007, pp. 20–22, doi:10.1007/978-3-540-73208-2_2.
View
| DOI
2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc, Jacques, and Thomas A. Henzinger. “CSL: Computer Science Logic .” CSL: Computer Science Logic, vol. 4646, Springer, 2007, doi:10.1007/978-3-540-74915-8.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee, Krishnendu, and Thomas A. Henzinger. Assume-Guarantee Synthesis. Vol. 4424, Springer, 2007, pp. 261–75, doi:10.1007/978-3-540-71209-1_21.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4547
Chatterjee, Krishnendu, et al. “Algorithms for Omega-Regular Games with Imperfect Information.” Logical Methods in Computer Science, vol. 3, no. 184, International Federation of Computational Logic, 2007, pp. 1–23, doi:10.2168/LMCS-3(3:4)2007.
View
| DOI