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.
1752 Publications
2003 | Published | Conference Paper | IST-REx-ID: 18324
Bronstein AM, Bronstein MM, Kimmel R. 2003. Expression-invariant 3D face recognition. 4th International Conference on Audio- and Video-Based Biometric Person Authentication. AVBPA: Conference on Audio- and Video-Based Biometric Person Authentication, LNCS, vol. 2688, 62–70.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 2421
Ambühl C, Wagner U. 2002. On the Clique problem in intersection graphs of ellipses. Proceedings of the 13th International Symposium on Algorithms and Computation. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 2518, 489–500.
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 2618
Nunzi M, Shigemoto R, Mugnaini E. 2002. Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. Journal of Comparative Neurology. 451(2), 189–199.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 4259 | 
Orive M, Barton NH. 2002. Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. 162(3), 1469–1485.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Published | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. 2002. Synthesis of uninitialized systems. Proceedings of the 29th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2380, 644–656.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. 2002. Temporal safety proofs for systems code. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 526–538.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4562
Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. 2002. Synchronous and bidirectional component interfaces. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 414–427.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4563
Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. 2002. Interface compatibility checking for software modules. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 428–441.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. 2002. A comparison of control problems for timed and hybrid systems. Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2289, 134–148.
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 17779 |
Oh SP, Haiman Z. 2002. Second‐generation objects in the universe: Radiative cooling and collapse of halos with virial temperatures above 10^4 K. The Astrophysical Journal. 569(2), 558–572.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Published | Journal Article | IST-REx-ID: 871 |
Kondrashov F, Rogozin I, Wolf Y, Koonin E. 2002. Selection in the evolution of gene duplications . Genome Biology. 3(2).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 11124 |
Bilbao-Cortés D, Hetzer M, Längst G, Becker PB, Mattaj IW. 2002. Ran binds to chromatin by two distinct mechanisms. Current Biology. 12(13), 1151–1156.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 1451 |
Hausel T, Sturmfels B. 2002. Toric hyperkähler varieties. Documenta Mathematica. 7(1), 495–534.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2002 | Published | Journal Article | IST-REx-ID: 6159
de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. 2002. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 419(6910), 899–903.
View
| DOI
| PubMed | Europe PMC