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.
7353 Publications
2004 | Published | Conference Paper | IST-REx-ID: 4558
Quantitative stochastic parity games
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
View
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
2004 | Published | Conference Paper | IST-REx-ID: 4577
An eclipse plug-in for model checking
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
2004 | Published | Conference Paper | IST-REx-ID: 4578
The BLAST query language for software verification
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
View
| DOI
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
2004 | Published | Conference Paper | IST-REx-ID: 4581
Generating tests from counterexamples
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.
View
| DOI
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.
2004 | Published | Conference Paper | IST-REx-ID: 4629
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
2004 | Published | Journal Article | IST-REx-ID: 6155
Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior
B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.
View
| DOI
| PubMed | Europe PMC
B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.
2004 | Published | Journal Article | IST-REx-ID: 1963
Substrate-induced conformational change in bacterial complex I
A. Mamedova, P. Holt, J. Carroll, L.A. Sazanov, Journal of Biological Chemistry 279 (2004) 23830–23836.
View
| DOI
A. Mamedova, P. Holt, J. Carroll, L.A. Sazanov, Journal of Biological Chemistry 279 (2004) 23830–23836.
2004 | Published | Journal Article | IST-REx-ID: 209
Equal sums of three powers
T.D. Browning, R. Heath Brown, Inventiones Mathematicae 157 (2004) 553–573.
View
| DOI
T.D. Browning, R. Heath Brown, Inventiones Mathematicae 157 (2004) 553–573.
2004 | Published | Book Review | IST-REx-ID: 3142
Control of neuronal phenotype: What targets tell the cell bodies
S. Hippenmeyer, I. Kramer, S. Arber, Trends in Neurosciences 27 (2004) 482–488.
View
| DOI
S. Hippenmeyer, I. Kramer, S. Arber, Trends in Neurosciences 27 (2004) 482–488.
2004 | Published | Journal Article | IST-REx-ID: 3172
Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method
V. Kolmogorov, T. Nguyen, A. Nuval, P. Spincemaille, M. Prince, R. Zabih, Y. Wang, Magnetic Resonance in Medicine 52 (2004) 362–367.
View
| DOI
V. Kolmogorov, T. Nguyen, A. Nuval, P. Spincemaille, M. Prince, R. Zabih, Y. Wang, Magnetic Resonance in Medicine 52 (2004) 362–367.
2004 | Published | Journal Article | IST-REx-ID: 3173
What energy functions can be minimized via graph cuts?
V. Kolmogorov, R. Zabih, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 147–159.
View
| DOI
V. Kolmogorov, R. Zabih, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 147–159.
2004 | Published | Conference Paper | IST-REx-ID: 3177
Spatially coherent clustering using graph cuts
R. Zabih, V. Kolmogorov, in:, IEEE, 2004, pp. 437–444.
View
| DOI
R. Zabih, V. Kolmogorov, in:, IEEE, 2004, pp. 437–444.
2004 | Published | Journal Article | IST-REx-ID: 3178
An experimental comparison of min-cut/max-flow algorithms for energy minimization in vision
Y. Boykov, V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 1124–1137.
View
| DOI
Y. Boykov, V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 1124–1137.
2004 | Published | Conference Paper | IST-REx-ID: 3179
"GrabCut" - Interactive foreground extraction using iterated graph cuts
C. Rother, V. Kolmogorov, A. Blake, in:, ACM, 2004, pp. 309–314.
View
| DOI
| Download (ext.)
C. Rother, V. Kolmogorov, A. Blake, in:, ACM, 2004, pp. 309–314.
2004 | Published | Conference Paper | IST-REx-ID: 3208
Composition of random systems: When two weak make one strong
U. Maurer, K.Z. Pietrzak, in:, Springer, 2004, pp. 410–427.
View
| DOI
U. Maurer, K.Z. Pietrzak, in:, Springer, 2004, pp. 410–427.
2004 | Published | Journal Article | IST-REx-ID: 3419
Probing the energy landscape of the membrane protein bacteriorhodopsin
H.L. Janovjak, J. Struckmeier, M. Hubain, M. Kessler, A. Kedrov, D. Mueller, Structure 12 (2004) 871–879.
View
| DOI
H.L. Janovjak, J. Struckmeier, M. Hubain, M. Kessler, A. Kedrov, D. Mueller, Structure 12 (2004) 871–879.
2004 | Published | Journal Article | IST-REx-ID: 3420
Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy
A. Kedrov, C. Ziegler, H.L. Janovjak, W. Kühlbrandt, D. Mueller, Journal of Molecular Biology 340 (2004) 1143–1152.
View
| DOI
A. Kedrov, C. Ziegler, H.L. Janovjak, W. Kühlbrandt, D. Mueller, Journal of Molecular Biology 340 (2004) 1143–1152.
2004 | Published | Book Chapter | IST-REx-ID: 3574
Biological applications of computational topology
H. Edelsbrunner, in:, Handbook of Discrete and Computational Geometry, CRC Press, 2004, pp. 1395–1412.
View
| Download (ext.)
H. Edelsbrunner, in:, Handbook of Discrete and Computational Geometry, CRC Press, 2004, pp. 1395–1412.
2004 | Published | Book Chapter | IST-REx-ID: 3575
Jacobi sets of multiple Morse functions
H. Edelsbrunner, J. Harer, in:, Foundations of Computational Mathematics, Springer, 2004, pp. 37–57.
View
| DOI
H. Edelsbrunner, J. Harer, in:, Foundations of Computational Mathematics, Springer, 2004, pp. 37–57.
2004 | Published | Book Chapter | IST-REx-ID: 3587
Gastrulation in zebrafish
F. Ulrich, C.-P.J. Heisenberg, in:, V. Korzh, Z. Gong (Eds.), Fish Development and Genetics : The Zebrafish and Medaka Models, World Scientific Publishing, 2004, pp. 39–86.
View
F. Ulrich, C.-P.J. Heisenberg, in:, V. Korzh, Z. Gong (Eds.), Fish Development and Genetics : The Zebrafish and Medaka Models, World Scientific Publishing, 2004, pp. 39–86.