Please note that IST 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.

5685 Publications


2001 | 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: IEEE; 2001:835-836. doi:10.1109/ICSE.2001.919196
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 2340   OA
Seiringer R. Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. In: Demuth M, Schultze B, eds. Vol 126. Birkhäuser; 2001:307-314. doi:10.1007/978-3-0348-8231-6
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2345   OA
Seiringer R. On the maximal ionization of atoms in strong magnetic fields. Journal of Physics A: Mathematical and General. 2001;34(9):1943-1948. doi:10.1088/0305-4470/34/9/311
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2605
Geurts F, Timmermans J, Shigemoto R, De Schutter E. Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum. Neuroscience. 2001;104(2):499-512. doi:10.1016/S0306-4522(01)00058-6
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2612
Li J, Shigemoto R, Kulik Á, et al. Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat. Neuroscience Letters. 2001;315(1-2):93-97. doi:10.1016/S0304-3940(01)02321-7
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
Swarup R, Friml J, Marchant A, et al. Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development. 2001;15(20):2648-2653. doi:10.1101/gad.210501
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3622
Gardner M, Fowler K, Patridge L, Barton NH. Genetic variation for preadult viability in Drosophila melanogaster. Evolution. 2001;55(8):1609-1620.
View | Download (ext.)
 

2001 | Patent | IST-REx-ID: 3507
Liang J, Edelsbrunner H. Molecular classification for property prediction. 2001. doi:US 6,182,016 B1
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3540
Hirase H, Leinekugel X, Czurkó A, Csicsvari JL, Buzsáki G. Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience. PNAS. 2001;98(16):9386-9390. doi:10.1073/pnas.161274398
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3494
Bartos M, Vida I, Frotscher M, Geiger J, Jonas PM. Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience. 2001;21(8):2687-2698.
View
 

2001 | Conference Paper | IST-REx-ID: 4005
Cheng H, Dey T, Edelsbrunner H, Sullivan J. Dynamic skin triangulation. In: SIAM; 2001:47-56.
View
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli M, Barton NH, Coyne J. Theory and speciation. Trends in Ecology and Evolution. 2001;16(7):330-343. doi:10.1016/S0169-5347(01)02177-2
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: ACM; 2001:64-72. doi:10.1145/384197.384208
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro L, Henzinger TA, Jhala R. Compositional methods for probabilistic systems. In: Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:351-365. doi:10.1007/3-540-44685-0_24
View | DOI
 

2001 | Journal Article | IST-REx-ID: 874
Kondrashov F, Kondrashov A. Multidimensional epistasis and the disadvantage of sex. PNAS. 2001;98(21):12089-12092. doi:10.1073/pnas.211214298
View | DOI
 

2001 | Journal Article | IST-REx-ID: 855
Rogozin I, Kochetov A, Kondrashov F, Koonin E, Milanesi L. Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a ’weak’context of the start codon. Bioinformatics. 2001;17(10):890-900. doi:10.1093/bioinformatics/17.10.890
View | DOI
 

2001 | Journal Article | IST-REx-ID: 867
Kondrashov F, Koonin E. Origin of alternative splicing by tandem exon duplication. Human Molecular Genetics. 2001;10(23):2661-2669. doi:10.1093/hmg/10.23.2661
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2606
Martínez G, López Bendito G, Luján R, Shigemoto R, Fairén A, Valdeolmillos M. Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors. European Journal of Neuroscience. 2001;13(6):1147-1154. doi:10.1046/j.0953-816X.2001.01494.x
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2341   OA
Baumgartner B, Seiringer R. Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare. 2001;2(1):41-76. doi:10.1007/PL00001032
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2346   OA
Hainzl C, Seiringer R. Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics. Letters in Mathematical Physics. 2001;55(2):133-142. doi:10.1023/A:1010951905548
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed