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
2002 |Published| Journal Article | IST-REx-ID: 3421
Observing structure, function and assembly of single proteins by AFM
D. Mueller, H.L. Janovjak, T. Lehto, L. Kuerschner, K. Anderson, Progress in Biophysics and Molecular Biology 79 (2002) 1–43.
View
| DOI
| PubMed | Europe PMC
D. Mueller, H.L. Janovjak, T. Lehto, L. Kuerschner, K. Anderson, Progress in Biophysics and Molecular Biology 79 (2002) 1–43.
2002 |Published| Journal Article | IST-REx-ID: 2989
AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis
J. Friml, E. Benková, I. Blilou, J. Wiśniewska, T. Hamann, K. Ljung, S. Woody, G. Sandberg, B. Scheres, G. Jürgens, K. Palme, Cell 108 (2002) 661–673.
View
| DOI
| PubMed | Europe PMC
J. Friml, E. Benková, I. Blilou, J. Wiśniewska, T. Hamann, K. Ljung, S. Woody, G. Sandberg, B. Scheres, G. Jürgens, K. Palme, Cell 108 (2002) 661–673.
2002 |Published| Conference Paper | IST-REx-ID: 2927
Multi-camera scene reconstruction via graph cuts
V. Kolmogorov, R. Zabih, in:, Proceedings of the 7th European Conference on Computer Vision, Springer, 2002, pp. 65–81.
View
| DOI
V. Kolmogorov, R. Zabih, in:, Proceedings of the 7th European Conference on Computer Vision, Springer, 2002, pp. 65–81.
2002 |Published| Book Chapter | IST-REx-ID: 2694
Scaling limits of Schrödinger quantum mechanics
L. Erdös, in:, Dynamics of Dissipation, Springer, 2002, pp. 487–506.
View
| DOI
L. Erdös, in:, Dynamics of Dissipation, Springer, 2002, pp. 487–506.
2002 |Published| Journal Article | IST-REx-ID: 2618
Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum
M. Nunzi, R. Shigemoto, E. Mugnaini, Journal of Comparative Neurology 451 (2002) 189–199.
View
| DOI
| PubMed | Europe PMC
M. Nunzi, R. Shigemoto, E. Mugnaini, Journal of Comparative Neurology 451 (2002) 189–199.
2002 |Published| Conference Paper | IST-REx-ID: 2421
On the Clique problem in intersection graphs of ellipses
C. Ambühl, U. Wagner, in:, Proceedings of the 13th International Symposium on Algorithms and Computation, Springer, 2002, pp. 489–500.
View
| DOI
C. Ambühl, U. Wagner, in:, Proceedings of the 13th International Symposium on Algorithms and Computation, Springer, 2002, pp. 489–500.
2002 |Published| Journal Article | IST-REx-ID: 2420
On the number of corner cuts
U. Wagner, Advances in Applied Mathematics 29 (2002) 152–161.
View
| DOI
U. Wagner, Advances in Applied Mathematics 29 (2002) 152–161.
2002 |Published| Journal Article | IST-REx-ID: 1451 | 
Toric hyperkähler varieties
T. Hausel, B. Sturmfels, Documenta Mathematica 7 (2002) 495–534.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
T. Hausel, B. Sturmfels, Documenta Mathematica 7 (2002) 495–534.
2002 |Published| Journal Article | IST-REx-ID: 871 |
Selection in the evolution of gene duplications
F. Kondrashov, I. Rogozin, Y. Wolf, E. Koonin, Genome Biology 3 (2002).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
F. Kondrashov, I. Rogozin, Y. Wolf, E. Koonin, Genome Biology 3 (2002).
2001 |Published| Journal Article | IST-REx-ID: 11892
Maintaining minimum spanning forests in dynamic graphs
M.H. Henzinger, V. King, SIAM Journal on Computing 31 (2001) 364–374.
View
| DOI
M.H. Henzinger, V. King, SIAM Journal on Computing 31 (2001) 364–374.
2001 |Published| Conference Paper | IST-REx-ID: 11914
Who links to whom: Mining linkage between Web sites
K. Bharat, B.-W. Chang, M.H. Henzinger, M. Ruhl, in:, 1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58.
View
| DOI
K. Bharat, B.-W. Chang, M.H. Henzinger, M. Ruhl, in:, 1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58.
2001 |Published| Journal Article | IST-REx-ID: 8524
Diophantine properties of elements of SO(3)
V. Kaloshin, I. Rodnianski, Geometric And Functional Analysis 11 (2001) 953–970.
View
| DOI
V. Kaloshin, I. Rodnianski, Geometric And Functional Analysis 11 (2001) 953–970.
2001 |Published| Conference Paper | IST-REx-ID: 4634
The control of synchronous systems, Part II
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
2001 |Published| Conference Paper | IST-REx-ID: 4633
Symbolic algorithms for infinite-state games
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
2001 |Published| Conference Paper | IST-REx-ID: 4632
Compositional methods for probabilistic systems
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
2001 |Published| Conference Paper | IST-REx-ID: 4600
jMocha: A model-checking tool that exploits design structure
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, Proceedings of the 23rd International Conference on Software Engineering, IEEE, 2001, pp. 835–836.
View
| DOI
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, Proceedings of the 23rd International Conference on Software Engineering, IEEE, 2001, pp. 835–836.
2001 |Published| Conference Paper | IST-REx-ID: 4623
Interface theories for component-based design
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 148–165.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 148–165.
2001 |Published| Conference Paper | IST-REx-ID: 4477
Assume-guarantee reasoning for hierarchical hybrid systems
T.A. Henzinger, M. Minea, V. Prabhu, in:, Proceedings of the 4th International Workshop on Hybrid Systems, Springer, 2001, pp. 275–290.
View
| DOI
T.A. Henzinger, M. Minea, V. Prabhu, in:, Proceedings of the 4th International Workshop on Hybrid Systems, Springer, 2001, pp. 275–290.
2001 |Published| Conference Paper | IST-REx-ID: 4479
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 166–184.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 166–184.
2001 |Published| Conference (Editor) | IST-REx-ID: 4449
EMSOFT: Embedded Software
T.A. Henzinger, ed., EMSOFT: Embedded Software, ACM, 2001.
View
| DOI
T.A. Henzinger, ed., EMSOFT: Embedded Software, ACM, 2001.