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, Sakashi Nomura, Noboru Mizuno, and Ryuichi Shigemoto. “Distribution of Metabotropic Glutamate Receptor MGluR3 in the Mouse CNS: Differential Location Relative to Pre- and Postsynaptic Sites.” Neuroscience. Elsevier, 2001. https://doi.org/10.1016/S0306-4522(01)00305-0.
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 2610 |
Sansig, Gilles, Trevor Bushell, Vernon Clarke, Andrei Rozov, Nail Burnashev, Chantal Portet, Fabrizio Gasparini, et al. “Increased Seizure Susceptibility in Mice Lacking Metabotropic Glutamate Receptor 7.” Journal of Neuroscience. Society for Neuroscience, 2001. https://doi.org/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, Isabella, Augusto Cuello, Ryuichi Shigemoto, and Alfredo Ribeiro Da Silva. “Sympathectomies Lead to Transient Substance P-Immunoreactive Sensory Fibre Plasticity in the Rat Skin.” Neuroscience. Elsevier, 2001. https://doi.org/10.1016/S0306-4522(01)00158-0.
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 2612
Li, Jin, Ryuichi Shigemoto, Ákos Kulik, Peng Chen, Sakashi Nomura, Takeshi Kaneko, and Noboru Mizuno. “Immunocytochemical Localization of GABAB Receptors in Mesencephalic Trigeminal Nucleus Neurons in the Rat.” Neuroscience Letters. Elsevier, 2001. https://doi.org/10.1016/S0304-3940(01)02321-7.
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 841
Wolf, Yuri, Fyodor Kondrashov, and Eugene Koonin. “Footprints of Primordial Introns on the Eukaryotic Genome: Still No Clear Traces .” Trends in Genetics. Elsevier, 2001. https://doi.org/10.1016/S0168-9525(01)02376-9.
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 851
Rogozin, Igor, Fyodor Kondrashov, and Galina Glazko. “Use of Mutation Spectra Analysis Software.” Human Mutation. Wiley-Blackwell, 2001. https://doi.org/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, Vadim, and Brian R. Hunt. “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. American Mathematical Society, 2001. https://doi.org/10.1090/s1079-6762-01-00091-9.
View
| DOI
2001 |
Published |
Journal Article |
IST-REx-ID: 8522
Kaloshin, Vadim, and Brian R. Hunt. “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. American Mathematical Society, 2001. https://doi.org/10.1090/s1079-6762-01-00090-7.
View
| DOI
2001 |
Published |
Journal Article |
IST-REx-ID: 8524
Kaloshin, Vadim, and I. Rodnianski. “Diophantine Properties of Elements of SO(3).” Geometric And Functional Analysis. Springer Nature, 2001. https://doi.org/10.1007/s00039-001-8222-8.
View
| DOI
2001 |
Published |
Journal Article |
IST-REx-ID: 855
Rogozin, Igor, Alex Kochetov, Fyodor Kondrashov, Eugene Koonin, and Luciano Milanesi. “Presence of ATG Triplets in 5′ Untranslated Regions of Eukaryotic CDNAs Correlates with a ’weak’context of the Start Codon.” Bioinformatics. Oxford University Press, 2001. https://doi.org/10.1093/bioinformatics/17.10.890.
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 867
Kondrashov, Fyodor, and Eugene Koonin. “Origin of Alternative Splicing by Tandem Exon Duplication.” Human Molecular Genetics. Oxford University Press, 2001. https://doi.org/10.1093/hmg/10.23.2661.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 874 |
Kondrashov, Fyodor, and Alexey Kondrashov. “Multidimensional Epistasis and the Disadvantage of Sex.” PNAS. National Academy of Sciences, 2001. https://doi.org/10.1073/pnas.211214298.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 888 |
Jordan, Ingo, Fyodor Kondrashov, Igor Rogozin, Roman Tatusov, Yuri Wolf, and Eugene Koonin. “Constant Relative Rate of Protein Evolution and Detection of Functional Diversification among Bacterial, Archaeal and Eukaryotic Proteins .” Genome Biology. BioMed Central, 2001. https://doi.org/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, A. M., Xiaofeng Cao, James P. Jackson, Daniel Zilberman, Claire M. McCallum, Steven Henikoff, and Steven E. Jacobsen. “Requirement of CHROMOMETHYLASE3 for Maintenance of CpXpG Methylation.” Science. American Association for the Advancement of Science, 2001. https://doi.org/10.1126/science.1059745.
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 4599
Alur, Rajeev, Robert Brayton, Thomas A Henzinger, Shaz Qadeer, and Sriram Rajamani. “Partial-Order Reduction in Symbolic State-Space Exploration.” Formal Methods in System Design. Springer, 2001. https://doi.org/10.1023/A:1008767206905.
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4600
Alur, Rajeev, Luca De Alfaro, Radu Grosu, Thomas A Henzinger, Myong Kang, Christoph Kirsch, Ritankar Majumdar, Freddy Mang, and Bow Wang. “JMocha: A Model-Checking Tool That Exploits Design Structure.” In Proceedings of the 23rd International Conference on Software Engineering, 835–36. IEEE, 2001. https://doi.org/10.1109/ICSE.2001.919196.
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4622
De Alfaro, Luca, and Thomas A Henzinger. “Interface Automata.” In Proceedings of the 8th European Software Engineering Conference, 109–20. ACM, 2001. https://doi.org/10.1145/503209.503226.
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4623
De Alfaro, Luca, and Thomas A Henzinger. “Interface Theories for Component-Based Design.” In Proceedings of the 1st International Workshop on Embedded Software, 2211:148–65. ACM, 2001. https://doi.org/10.1007/3-540-45449-7_11.
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4632
De Alfaro, Luca, Thomas A Henzinger, and Ranjit Jhala. “Compositional Methods for Probabilistic Systems.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:351–65. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_24.
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4633
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Symbolic Algorithms for Infinite-State Games.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:536–50. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_36.
View
| DOI