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, Rajeev, et al. JMocha: A Model-Checking Tool That Exploits Design Structure. IEEE, 2001, pp. 835–36, doi:10.1109/ICSE.2001.919196.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 2340   OA
Seiringer, Robert. Bosons in a Trap: Asymptotic Exactness of the Gross-Pitaevskii Ground State Energy Formula. Edited by Michael Demuth and Bert Schultze, vol. 126, Birkhäuser, 2001, pp. 307–14, doi:10.1007/978-3-0348-8231-6.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2345   OA
Seiringer, Robert. “On the Maximal Ionization of Atoms in Strong Magnetic Fields.” Journal of Physics A: Mathematical and General, vol. 34, no. 9, IOP Publishing Ltd., 2001, pp. 1943–48, doi:10.1088/0305-4470/34/9/311.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2605
Geurts, Frederik, et al. “Morphological and Neurochemical Differentiation of Large Granular Layer Interneurons in the Adult Rat Cerebellum.” Neuroscience, vol. 104, no. 2, Elsevier, 2001, pp. 499–512, doi:10.1016/S0306-4522(01)00058-6.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2612
Li, Jin, et al. “Immunocytochemical Localization of GABAB Receptors in Mesencephalic Trigeminal Nucleus Neurons in the Rat.” Neuroscience Letters, vol. 315, no. 1–2, Elsevier, 2001, pp. 93–97, doi:10.1016/S0304-3940(01)02321-7.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
Swarup, Ranjan, et al. “Localization of the Auxin Permease AUX1 Suggests Two Functionally Distinct Hormone Transport Pathways Operate in the Arabidopsis Root Apex.” Genes and Development, vol. 15, no. 20, Cold Spring Harbor Laboratory Press, 2001, pp. 2648–53, doi:10.1101/gad.210501.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3622
Gardner, Michael, et al. “Genetic Variation for Preadult Viability in Drosophila Melanogaster.” Evolution, vol. 55, no. 8, Wiley-Blackwell, 2001, pp. 1609–20.
View | Download (ext.)
 

2001 | Patent | IST-REx-ID: 3507
Liang, Jie, and Herbert Edelsbrunner. Molecular Classification for Property Prediction. Elsevier, 2001, doi:US 6,182,016 B1.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3540
Hirase, Hajima, et al. “Firing Rates of Hippocampal Neurons Are Preserved during Subsequent Sleep Episodes and Modified by Novel Awake Experience.” PNAS, vol. 98, no. 16, National Academy of Sciences, 2001, pp. 9386–90, doi:10.1073/pnas.161274398.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3494
Bartos, Marlene, et al. “Rapid Signaling at Inhibitory Synapses in a Dentate Gyrus Interneuron Network.” Journal of Neuroscience, vol. 21, no. 8, Society for Neuroscience, 2001, pp. 2687–98.
View
 

2001 | Conference Paper | IST-REx-ID: 4005
Cheng, Ho, et al. Dynamic Skin Triangulation. SIAM, 2001, pp. 47–56.
View
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli, Michael, et al. “Theory and Speciation.” Trends in Ecology and Evolution, vol. 16, no. 7, Cell Press, 2001, pp. 330–43, doi:10.1016/S0169-5347(01)02177-2.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, Thomas A., et al. Embedded Control Systems Development with Giotto. ACM, 2001, pp. 64–72, doi:10.1145/384197.384208.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, Luca, et al. Compositional Methods for Probabilistic Systems. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–65, doi:10.1007/3-540-44685-0_24.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 874
Kondrashov, Fyodor, and Alexey Kondrashov. “Multidimensional Epistasis and the Disadvantage of Sex.” PNAS, vol. 98, no. 21, National Academy of Sciences, 2001, pp. 12089–92, doi:10.1073/pnas.211214298.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 855
Rogozin, Igor, et al. “Presence of ATG Triplets in 5′ Untranslated Regions of Eukaryotic CDNAs Correlates with a ’weak’context of the Start Codon.” Bioinformatics, vol. 17, no. 10, Oxford University Press, 2001, pp. 890–900, doi:10.1093/bioinformatics/17.10.890.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 867
Kondrashov, Fyodor, and Eugene Koonin. “Origin of Alternative Splicing by Tandem Exon Duplication.” Human Molecular Genetics, vol. 10, no. 23, Oxford University Press, 2001, pp. 2661–69, doi:10.1093/hmg/10.23.2661.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2606
Martínez, Galán, et al. “Cajal-Retzius Cells in Early Postnatal Mouse Cortex Selectively Express Functional Metabotropic Glutamate Receptors.” European Journal of Neuroscience, vol. 13, no. 6, Wiley-Blackwell, 2001, pp. 1147–54, doi:10.1046/j.0953-816X.2001.01494.x.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2341   OA
Baumgartner, Bernhard, and Robert Seiringer. “Atoms with Bosonic "Electrons" in Strong Magnetic Fields.” Annales Henri Poincare, vol. 2, no. 1, Birkhäuser, 2001, pp. 41–76, doi:10.1007/PL00001032.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2346   OA
Hainzl, Christian, and Robert Seiringer. “Bounds on One-Dimensional Exchange Energies with Application to Lowest Landau Band Quantum Mechanics.” Letters in Mathematical Physics, vol. 55, no. 2, Springer, 2001, pp. 133–42, doi:10.1023/A:1010951905548.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2985
Trnková, Libuše, et al. “Elimination Voltammetry of Adenine and Cytosine Mixtures.” Bioelectrochemistry, vol. 54, no. 2, Elsevier, 2001, pp. 131–36, doi:10.1016/S1567-5394(01)00119-0.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3438
Huelsenbeck, John, et al. “Bayesian Inference of Phylogeny and Its Impact on Evolutionary Biology.” Science, vol. 294, no. 5550, American Association for the Advancement of Science, 2001, pp. 2310–14, doi:10.1126/science.1065889.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3440
Huelsenbeck, John, and Jonathan P. Bollback. “Empirical and Hierarchical Bayesian Estimation of Ancestral States.” Systematic Biology, vol. 50, no. 3, Oxford University Press, 2001, pp. 351–66, doi:10.1080/10635150119871.
View | DOI
 

2001 | Book Review | IST-REx-ID: 3596
Barton, Nicholas H. “Mendel and Mathematics.” Trends in Genetics, vol. 17, Elsevier, 2001, pp. 420–420, doi:10.1016/S0168-9525(01)02315-0.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3546
Hirase, Hajima, et al. “Behavior-Dependent States of the Hippocampal Network Affect Functional Clustering of Neurons.” Journal of Neuroscience, vol. 21, no. 10, Society for Neuroscience, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 3495
Jerecic, Jasna, et al. “Impaired NMDA Receptor Function in Mouse Olfactory Bulb Neurons by Tetracycline-Sensitive NR1 (N598R) Expression.” Molecular Brain Research, vol. 94, no. 1–2, Elsevier, 2001, pp. 96–104, doi:10.1016/S0169-328X(01)00221-2.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4001
Cheng, Ho, et al. “Shape Space from Deformation.” Computational Geometry: Theory and Applications, vol. 19, no. 2–3, Elsevier, 2001, pp. 191–204, doi:10.1016/S0925-7721(01)00021-9.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner, Herbert. “180 Wrapped Tubes.” Journal of Universal Computer Science, vol. 7, no. 5, Springer, 2001, pp. 379–99, doi:10.3217/jucs-007-05-0379.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
Otto, Sarah, and Nicholas H. Barton. “Selection for Recombination in Small Populations.” Evolution; International Journal of Organic Evolution, vol. 55, no. 10, Wiley-Blackwell, 2001, pp. 1921–31, doi:10.1111/j.0014-3820.2001.tb01310.x.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, Thomas A., et al. Giotto: A Time-Triggered Language for Embedded Programming. Vol. 2211, ACM, 2001, pp. 166–84, doi:1303.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.” Formal Methods in System Design, vol. 18, no. 2, Springer, 2001, pp. 97–116, doi:10.1023/A:1008767206905.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro, Luca, et al. Symbolic Algorithms for Infinite-State Games. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–50, doi:10.1007/3-540-44685-0_36.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 851
Rogozin, Igor, et al. “Use of Mutation Spectra Analysis Software.” Human Mutation, vol. 17, no. 2, Wiley-Blackwell, 2001, pp. 83–102, doi:10.1002/1098-1004(200102)17:2<83::AID-HUMU1>3.0.CO;2-E.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 1736
Katsaros, Georgios, et al. Comparison of the Impact of FWM on Binary, Duobinary and Dicode Modulation in DWDM Systems. Vol. 1, IEEE, 2000, pp. 27–28, doi:10.1109/LEOS.2000.890656.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1957
Sazanov, Leonid A., and John Walker. “Cryo-Electron Crystallography of Two Sub-Complexes of Bovine Complex I Reveals the Relationship between the Membrane and Peripheral Arms.” Journal of Molecular Biology, vol. 302, no. 2, Elsevier, 2000, pp. 455–64, doi:10.1006/jmbi.2000.4079.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2602
Perroy, Julie, et al. “Selective Blockade of P/Q-Type Calcium Channels by the Metabotropic Glutamate Receptor Type 7 Involves a Phospholipase C Pathway in Neurons.” Journal of Neuroscience, vol. 20, no. 21, Society for Neuroscience, 2000, pp. 7896–904.
View
 

2000 | Journal Article | IST-REx-ID: 2599
Li, Jin, et al. “Relationship between Neurokinin-1 Receptor and Substance P in the Striatum: Light and Electron Microscopic Immunohistochemical Study in the Rat.” Journal of Comparative Neurology, vol. 418, no. 2, Wiley-Blackwell, 2000, pp. 156–63, doi:10.1002/(SICI)1096-9861(20000306)418:2<156::AID-CNE3>3.0.CO;2-Z.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 2342   OA
Seiringer, Robert, et al. The Ground State Energy and Density of Interacting Bosons in a Trap. World Scientific Publishing, 2000, pp. 101–10.
View | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2710
Erdös, László. The Kernel of Dirac Operators on S3 and R3. Vol. 16, American Mathematical Society, 2000, pp. 111–19.
View
 

2000 | Journal Article | IST-REx-ID: 3542
Csicsvari, Jozsef L., et al. “Ensemble Patterns of Hippocampal CA3-CA1 Neurons during Sharp Wave-Associated Population Events.” Neuron, vol. 28, no. 2, Elsevier, 2000, pp. 585–94, doi:10.1016/S0896-6273(00)00135-5.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3624
Barton, Nicholas H. “Estimating Multilocus Linkage Disequilibria.” Heredity, vol. 84, no. 3, Nature Publishing Group, 2000, pp. 373–89, doi:10.1046/j.1365-2540.2000.00683.x.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3489
Kraushaar, Udo, and Peter M. Jonas. “Efficacy and Stability of Quantal GABA Release at a Hippocampal Interneuron-Principal Neuron Synapse.” Journal of Neuroscience, vol. 20, no. 15, Society for Neuroscience, 2000, pp. 5594–607.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3491
Martina, Marco, et al. “Distal Initiation and Active Propagation of Action Potentials in Interneuron Dendrites.” Science, vol. 287, no. 5451, American Association for the Advancement of Science, 2000, pp. 295–300, doi:10.1126/science.287.5451.295.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4273
Barton, Nicholas H., and Linda Partridge. “Limits to Natural Selection.” Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology, vol. 22, no. 12, Wiley-Blackwell, 2000, pp. 1075–84, doi:10.1002/1521-1878(200012)22:12<1075::AID-BIES5>3.0.CO;2-M.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger, Thomas A., et al. Abstract Interpretation of Game Properties. Vol. 1824, Springer, 2000, pp. 220–39, doi:10.1007/978-3-540-45099-3_12.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro, Luca, and Thomas A. Henzinger. Concurrent Omega-Regular Games. IEEE, 2000, pp. 141–54, doi:10.1109/LICS.2000.855763.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1958
Sazanov, Leonid A., et al. “Resolution of the Membrane Domain of Bovine Complex I into Subcomplexes: Implications for the Structural Organization of the Enzyme.” Biochemistry, vol. 39, no. 24, ACS, 2000, pp. 7229–35, doi:10.1021/bi000335t.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2343   OA
Baumgartner, Bernhard, and Robert Seiringer. “On the Ordering of Energy Levels in Homogeneous Magnetic Fields.” Letters in Mathematical Physics, vol. 54, no. 3, Springer, 2000, pp. 213–26, doi:    10.1023/A:1010978807635.
View | DOI | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2418
Wagner, Uli, and Emo Welzl. Origin-Embracing Distributions or a Continuous Analogue of the Upper Bound Theorem. ACM, 2000, pp. 50–56, doi:10.1145/336154.336176.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2603
Boudin, Hélène, et al. “Presynaptic Clustering of MGluR7a Requires the PICK1 PDZ Domain Binding Site.” Neuron, vol. 28, no. 2, Elsevier, 2000, pp. 485–97, doi:10.1016/S0896-6273(00)00127-6.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed