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.
10980 Publications
2011 | Published | Conference Paper | IST-REx-ID: 3336
Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, in:, CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–2096.
View
| Files available
| DOI
C. Chen, D. Freedman, C. Lampert, in:, CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–2096.
2011 | Published | Conference Paper | IST-REx-ID: 3343 | 
Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
K. Chatterjee, M. Henzinger, in:, SIAM, 2011, pp. 1318–1336.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, M. Henzinger, in:, SIAM, 2011, pp. 1318–1336.
2011 | Published | Journal Article | IST-REx-ID: 335
Means and limits of control of the shell parameters in hollow nanoparticles obtained by the Kirkendall effect
M. Ibáñez, J. Fan, W. Li, D. Cadavid, R. Nafria, A. Carrete, A. Cabot, Chemistry of Materials 23 (2011) 3095–3104.
View
| DOI
M. Ibáñez, J. Fan, W. Li, D. Cadavid, R. Nafria, A. Carrete, A. Cabot, Chemistry of Materials 23 (2011) 3095–3104.
2011 | Published | Conference Paper | IST-REx-ID: 3355 |
Quantitative evaluation of BFT protocols
R. Halalai, T.A. Henzinger, V. Singh, in:, IEEE, 2011, pp. 255–264.
[Submitted Version]
View
| Files available
| DOI
R. Halalai, T.A. Henzinger, V. Singh, in:, IEEE, 2011, pp. 255–264.
2011 | Published | Conference Paper | IST-REx-ID: 3357
The complexity of request-response games
K. Chatterjee, T.A. Henzinger, F. Horn, in:, A.-H. Dediu, S. Inenaga, C. Martín-Vide (Eds.), Springer, 2011, pp. 227–237.
View
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, in:, A.-H. Dediu, S. Inenaga, C. Martín-Vide (Eds.), Springer, 2011, pp. 227–237.
2011 | Published | Conference Paper | IST-REx-ID: 3358 |
Scheduling large jobs by abstraction refinement
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.
2011 | Published | Journal Article | IST-REx-ID: 336
Growth kinetics of asymmetric Bi2S3 nanocrystals: Size distribution focusing in nanorods
M. Ibáñez, P. Guardia, A. Shavel, D. Cadavid, J. Arbiol, J. Morante, A. Cabot, Journal of Physical Chemistry C 115 (2011) 7947–7955.
View
| DOI
M. Ibáñez, P. Guardia, A. Shavel, D. Cadavid, J. Arbiol, J. Morante, A. Cabot, Journal of Physical Chemistry C 115 (2011) 7947–7955.
2011 | Published | Conference Paper | IST-REx-ID: 3365 |
QUASY: quantitative synthesis tool
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2011, pp. 267–271.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2011, pp. 267–271.
2011 | Published | Journal Article | IST-REx-ID: 3383
Invited Lectures ‐ Symposia Area
C.-P.J. Heisenberg, FEBS Journal 278 (2011) 24–24.
View
| DOI
C.-P.J. Heisenberg, FEBS Journal 278 (2011) 24–24.
2011 | Published | Journal Article | IST-REx-ID: 3401
The formation of the Bicoid morphogen gradient requires protein movement from anteriorly localized source
S. Little, G. Tkačik, T. Kneeland, E. Wieschaus, T. Gregor, PLoS Biology 9 (2011).
View
| DOI
S. Little, G. Tkačik, T. Kneeland, E. Wieschaus, T. Gregor, PLoS Biology 9 (2011).
2011 | Published | Journal Article | IST-REx-ID: 341
Morphology evolution of Cu2−xS nanoparticles: from spheres to dodecahedrons
W. Li, A. Shavel, R. Guzman, J. Rubio Garcia, C. Flox, J. Fan, D. Cadavid, M. Ibáñez, J. Arbiol, J. Morante, A. Cabot, Chemical Communications 47 (2011) 10332–10334.
View
| DOI
W. Li, A. Shavel, R. Guzman, J. Rubio Garcia, C. Flox, J. Fan, D. Cadavid, M. Ibáñez, J. Arbiol, J. Morante, A. Cabot, Chemical Communications 47 (2011) 10332–10334.
2011 | Published | Journal Article | IST-REx-ID: 3505 |
In vitro analysis of chemotactic leukocyte migration in 3D environments
M.K. Sixt, T. Lämmermann, Cell Migration 769 (2011) 149–165.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.K. Sixt, T. Lämmermann, Cell Migration 769 (2011) 149–165.
2011 | Published | Book Chapter | IST-REx-ID: 3724
Structure-based design of light-controlled proteins
H.L. Janovjak, E. Isacoff, in:, Photosensitive Molecules for the Control of Biological Function, Springer, 2011, pp. 233–266.
View
| DOI
H.L. Janovjak, E. Isacoff, in:, Photosensitive Molecules for the Control of Biological Function, Springer, 2011, pp. 233–266.
2011 | Published | Journal Article | IST-REx-ID: 3770
The Amazon River system as an ecological barrier driving genetic differentiation of the pink dolphin (Inia geoffrensis)
C. Hollatz, S. Vilaça, R.A. Fernandes Redondo, M. Marmontel, C. Baker, F. Santos, Biological Journal of the Linnean Society 102 (2011) 812–827.
View
| DOI
C. Hollatz, S. Vilaça, R.A. Fernandes Redondo, M. Marmontel, C. Baker, F. Santos, Biological Journal of the Linnean Society 102 (2011) 812–827.
2011 | Published | Journal Article | IST-REx-ID: 3781
The difference in length of curves in R^n
B.T. Fasy, Acta Sci. Math. (Szeged) 77 (2011) 359–367.
View
B.T. Fasy, Acta Sci. Math. (Szeged) 77 (2011) 359–367.
2011 | Published | Book Chapter | IST-REx-ID: 3796 |
Covering and packing with spheres by diagonal distortion in R^n
H. Edelsbrunner, M. Kerber, in:, C. Calude, G. Rozenberg, A. Salomaa (Eds.), Rainbow of Computer Science, Springer, 2011, pp. 20–35.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, M. Kerber, in:, C. Calude, G. Rozenberg, A. Salomaa (Eds.), Rainbow of Computer Science, Springer, 2011, pp. 20–35.
2011 | Published | Journal Article | IST-REx-ID: 386 |
STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3
Z. Alpichshev, J.G. Analytis, J.H. Chu, I.R. Fisher, A. Kapitulnik, Physical Review B - Condensed Matter and Materials Physics 84 (2011).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Alpichshev, J.G. Analytis, J.H. Chu, I.R. Fisher, A. Kapitulnik, Physical Review B - Condensed Matter and Materials Physics 84 (2011).
2011 | Published | Journal Article | IST-REx-ID: 3965
Computing elevation maxima by searching the Gauss sphere
B. Wang, H. Edelsbrunner, D. Morozov, Journal of Experimental Algorithmics 16 (2011) 1–13.
View
| DOI
B. Wang, H. Edelsbrunner, D. Morozov, Journal of Experimental Algorithmics 16 (2011) 1–13.
2011 | Published | Conference Paper | IST-REx-ID: 18394
Fast key-word searching via embedding and active-DTW
R. Saabni, A.M. Bronstein, in:, 2011 International Conference on Document Analysis and Recognition, IEEE, 2011.
View
| DOI
R. Saabni, A.M. Bronstein, in:, 2011 International Conference on Document Analysis and Recognition, IEEE, 2011.
2011 | Published | Conference Paper | IST-REx-ID: 18406
Boosted metric learning for 3D multi-modal deformable registration
F. Michel, M. Bronstein, A.M. Bronstein, N. Paragios, in:, 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, IEEE, 2011.
View
| DOI
F. Michel, M. Bronstein, A.M. Bronstein, N. Paragios, in:, 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, IEEE, 2011.