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
2007 | Published | Journal Article | IST-REx-ID: 4247
The relation between multilocus population genetics and social evolution theory
A. Gardner, S. West, N.H. Barton, American Naturalist 169 (2007) 207–226.
View
| DOI
A. Gardner, S. West, N.H. Barton, American Naturalist 169 (2007) 207–226.
2007 | Published | Conference Paper | IST-REx-ID: 4399
Algorithms for interface synthesis
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
View
| DOI
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
2007 | Published | Book Chapter | IST-REx-ID: 4417
Abstract counterexample-based refinement for powerset domains
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.
View
| DOI
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.
2007 | Published | Conference Paper | IST-REx-ID: 4511
Quantitative generalizations of languages
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.
View
| DOI
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.
2007 | Published | Conference Paper | IST-REx-ID: 4514
Games, time, and probability: Graph models for system design and analysis
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.
View
| DOI
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.
2007 | Published | Conference (Editor) | IST-REx-ID: 4530
CSL: Computer Science Logic
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
View
| DOI
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
2007 | Published | Conference Paper | IST-REx-ID: 4537
Assume-guarantee synthesis
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
2007 | Published | Journal Article | IST-REx-ID: 4547
Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
2007 | Published | Conference Paper | IST-REx-ID: 4570
Minimum-time reachability in timed games
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
View
| DOI
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
2007 | Published | Conference Paper | IST-REx-ID: 4572
Invariant synthesis for combined theories
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
2007 | Published | Conference Paper | IST-REx-ID: 4573
Configurable software verification: Concretizing the convergence of model checking and program analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
View
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
2007 | Published | Journal Article | IST-REx-ID: 4626
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
View
| DOI
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
2007 | Published | Conference Paper | IST-REx-ID: 18336
Paretian similarity for partial comparison of non-rigid objects
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, in:, First International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2007, pp. 264–275.
View
| DOI
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, in:, First International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2007, pp. 264–275.
2007 | Published | Journal Article | IST-REx-ID: 3187
Fusion of stereo colour and contrast
A. Blake, A. Criminisi, G. Cross, V. Kolmogorov, C. Rother, Springer Tracts in Advanced Robotics 28 (2007) 295–304.
View
| DOI
| Download (ext.)
A. Blake, A. Criminisi, G. Cross, V. Kolmogorov, C. Rother, Springer Tracts in Advanced Robotics 28 (2007) 295–304.
2007 | Published | Conference Paper | IST-REx-ID: 3218
Non-trivial black-box combiners for collision-resistant hash-functions don't exist
K.Z. Pietrzak, in:, Springer, 2007, pp. 23–33.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2007, pp. 23–33.
2007 | Published | Conference Paper | IST-REx-ID: 3219
Indistinguishability amplification
U. Maurer, K.Z. Pietrzak, R. Renner, in:, Springer, 2007, pp. 130–149.
View
| DOI
U. Maurer, K.Z. Pietrzak, R. Renner, in:, Springer, 2007, pp. 130–149.
2007 | Published | Conference Paper | IST-REx-ID: 3221
Range extension for weak PRFs the good the bad and the ugly
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2007, pp. 517–533.
View
| DOI
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2007, pp. 517–533.
2007 | Published | Conference Paper | IST-REx-ID: 3222
Parallel repetition of computationally sound protocols revisited
K.Z. Pietrzak, D. Wikström, in:, Springer, 2007, pp. 86–102.
View
| DOI
K.Z. Pietrzak, D. Wikström, in:, Springer, 2007, pp. 86–102.
2007 | Published | Conference Paper | IST-REx-ID: 3223
Improving the security of MACs via randomized message preprocessing
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2007, pp. 414–433.
View
| DOI
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2007, pp. 414–433.
2007 | Published | Conference Paper | IST-REx-ID: 3681
Optimal dominant motion estimation using adaptive search of transformation space
A. Ulges, C. Lampert, D. Keysers, T. Breuel, in:, Springer, 2007, pp. 204–213.
View
| DOI
A. Ulges, C. Lampert, D. Keysers, T. Breuel, in:, Springer, 2007, pp. 204–213.