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.
1790 Publications
2002 |Published| Journal Article | IST-REx-ID: 2420
Wagner U. On the number of corner cuts. Advances in Applied Mathematics. 2002;29(2):152-161. doi:10.1016/S0196-8858(02)00014-3
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 1451 | 
Hausel T, Sturmfels B. Toric hyperkähler varieties. Documenta Mathematica. 2002;7(1):495-534. doi:10.4171/DM/130
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2002 |Published| Journal Article | IST-REx-ID: 871 |
Kondrashov F, Rogozin I, Wolf Y, Koonin E. Selection in the evolution of gene duplications . Genome Biology. 2002;3(2). doi:10.1186/gb-2002-3-2-research0008
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 11892
Henzinger MH, King V. Maintaining minimum spanning forests in dynamic graphs. SIAM Journal on Computing. 2001;31(2):364-374. doi:10.1137/s0097539797327209
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 11914
Bharat K, Chang B-W, Henzinger MH, Ruhl M. Who links to whom: Mining linkage between Web sites. In: 1st IEEE International Conference on Data Mining. Institute of Electrical and Electronics Engineers; 2001:51-58. doi:10.1109/ICDM.2001.989500
View
| DOI
2001 |Published| Journal Article | IST-REx-ID: 8521
Kaloshin V, Hunt BR. A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms II. Electronic Research Announcements of the American Mathematical Society. 2001;7(5):28-36. doi:10.1090/s1079-6762-01-00091-9
View
| DOI
2001 |Published| Journal Article | IST-REx-ID: 8524
Kaloshin V, Rodnianski I. Diophantine properties of elements of SO(3). Geometric And Functional Analysis. 2001;11(5):953-970. doi:10.1007/s00039-001-8222-8
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4634
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems, Part II. In: Proceedings of the 12th International Conference on on Concurrency Theory. Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:566-581. doi:10.1007/3-540-44685-0_38
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4633
De Alfaro L, Henzinger TA, Majumdar R. Symbolic algorithms for infinite-state games. In: Proceedings of the 12th International Conference on on Concurrency Theory. Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:536-550. doi:10.1007/3-540-44685-0_36
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4632
De Alfaro L, Henzinger TA, Jhala R. Compositional methods for probabilistic systems. In: Proceedings of the 12th International Conference on on Concurrency Theory. Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:351-365. doi:10.1007/3-540-44685-0_24
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4600
Alur R, De Alfaro L, Grosu R, et al. jMocha: A model-checking tool that exploits design structure. In: Proceedings of the 23rd International Conference on Software Engineering. IEEE; 2001:835-836. doi:10.1109/ICSE.2001.919196
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4623
De Alfaro L, Henzinger TA. Interface theories for component-based design. In: Proceedings of the 1st International Workshop on Embedded Software. Vol 2211. ACM; 2001:148-165. doi:10.1007/3-540-45449-7_11
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4477
Henzinger TA, Minea M, Prabhu V. Assume-guarantee reasoning for hierarchical hybrid systems. In: Proceedings of the 4th International Workshop on Hybrid Systems. Vol 2034. Springer; 2001:275-290. doi:10.1007/3-540-45351-2_24
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. In: Proceedings of the 1st International Workshop on Embedded Software. Vol 2211. ACM; 2001:166-184. doi:10.1007/3-540-45449-7_12
View
| DOI
2001 |Published| Conference (Editor) | IST-REx-ID: 4449
Henzinger TA, ed. EMSOFT: Embedded Software. Vol 2211. ACM; 2001. doi:10.1007/3-540-45449-7
View
| DOI
2001 |Published| Journal Article | IST-REx-ID: 4001
Cheng H, Edelsbrunner H, Fu P. Shape space from deformation. Computational Geometry: Theory and Applications. 2001;19(2-3):191-204. doi:10.1016/S0925-7721(01)00021-9
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4005
Cheng H, Dey T, Edelsbrunner H, Sullivan J. Dynamic skin triangulation. In: Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM; 2001:47-56.
View
| Download None (ext.)
2001 |Published| Journal Article | IST-REx-ID: 4007
Cheng H, Dey T, Edelsbrunner H, Sullivan J. Dynamic skin triangulation. Discrete & Computational Geometry. 2001;25(4):525-568. doi:10.1007/s00454-001-0007-1
View
| DOI
2001 |Published| Journal Article | IST-REx-ID: 3928 |
Sixt MK, Hallmann R, Wendler O, Scharffetter Kochanek K, Sorokin L. Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation. Journal of Biological Chemistry. 2001;276(22):18878-18887. doi:10.1074/jbc.M010898200
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 3517
Szabo I, Czurkó A, Csicsvari JL, Hirase H, Leinekugel X, Buzsáki G. The application of printed circuit board technology for fabrication of multi-channel micro-drives. Journal of Neuroscience Methods. 2001;105(1):105-110. doi:10.1016/S0165-0270(00)00362-9
View
| DOI
| PubMed | Europe PMC