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.

11357 Publications


2001 | Published | Journal Article | IST-REx-ID: 2609
Tamaru Y, Nomura S, Mizuno N, Shigemoto R. Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites. Neuroscience. 2001;106(3):481-503. doi:10.1016/S0306-4522(01)00305-0
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 2610 | OA
Sansig G, Bushell T, Clarke V, et al. Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7. Journal of Neuroscience. 2001;21(22):8734-8745. doi:10.1523/JNEUROSCI.21-22-08734.2001
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 2611
Ruocco I, Cuello A, Shigemoto R, Ribeiro Da Silva A. Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience. 2001;108(1):157-166. doi:10.1016/S0306-4522(01)00158-0
View | DOI | PubMed | Europe PMC
 

2001 | Published | 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 | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 841
Wolf Y, Kondrashov F, Koonin E. Footprints of primordial introns on the eukaryotic genome: still no clear traces . Trends in Genetics. 2001;17(9):499-501. doi:10.1016/S0168-9525(01)02376-9
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 851
Rogozin I, Kondrashov F, Glazko G. Use of mutation spectra analysis software. Human Mutation. 2001;17(2):83-102. doi:10.1002/1098-1004(200102)17:2<83::AID-HUMU1>3.0.CO;2-E
View | DOI | PubMed | Europe PMC
 

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: 8522
Kaloshin V, Hunt BR. A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I. Electronic Research Announcements of the American Mathematical Society. 2001;7(4):17-27. doi:10.1090/s1079-6762-01-00090-7
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 | 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 | PubMed | Europe PMC
 

2001 | Published | 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
[Published Version] View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 874 | OA
Kondrashov F, Kondrashov A. Multidimensional epistasis and the disadvantage of sex. PNAS. 2001;98(21):12089-12092. doi:10.1073/pnas.211214298
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 888 | OA
Jordan I, Kondrashov F, Rogozin I, Tatusov R, Wolf Y, Koonin E. Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins . Genome Biology. 2001;2(12). doi:10.1186/gb-2001-2-12-research0053
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 9444
Lindroth AM, Cao X, Jackson JP, et al. Requirement of CHROMOMETHYLASE3 for maintenance of CpXpG methylation. Science. 2001;292(5524):2077-2080. doi:10.1126/science.1059745
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 4599
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. 2001;18(2):97-116. doi:10.1023/A:1008767206905
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: 4622
De Alfaro L, Henzinger TA. Interface automata. In: Proceedings of the 8th European Software Engineering Conference. ACM; 2001:109-120. doi:10.1145/503209.503226
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: 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: 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
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed