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 | 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
 

2000 | Book Chapter | IST-REx-ID: 2494
Shigemoto, Ryuichi, and Noboru Mizuno. “Chapter III Metabotropic Glutamate Receptors - Immunocytochemical and in Situ Hybridization Analyses.” Glutamate, vol. 18, Elsevier, 2000, pp. 63–98, doi:10.1016/S0924-8196(00)80044-5.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3149
Hwang, Jae, et al. “Interaction of Drosophila Melanogaster Prohormone Convertase 2 and 7B2: Insect Cell Specific Processing and Secretion.” Journal of Biological Chemistry, vol. 275, no. 23, American Society for Biochemistry and Molecular Biology, 2000, pp. 17886–93, doi:10.1074/jbc.M000032200 .
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3548
Harris, Kenneth, et al. “Accuracy of Tetrode Spike Separation as Determined by Simultaneous Intracellular and Extracellular Measurements.” Journal of Neurophysiology, vol. 84, no. 1, American Physiological Society, 2000, pp. 401–14.
View
 

2000 | Conference Paper | IST-REx-ID: 3555
Edelsbrunner, Herbert, et al. Smoothing and Cleaning up Slivers. ACM, 2000, pp. 273–77, doi:10.1145/335305.335338.
View | DOI | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3492
Geiger, Jörg, and Peter M. Jonas. “Dynamic Control of Presynaptic Ca(2+) Inflow by Fast-Inactivating K+ Channels in Hippocampal Mossy Fiber Boutons.” Neuron, vol. 28, no. 3, Elsevier, 2000, pp. 927–39, doi:10.1016/S0896-6273(00)00164-1.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3923
Cremer, Sylvia. “Paternity Analysis with AFLPs in Cardiocondyla Ants.” B.I.F. Futura, vol. 15, no. 1, Hippokrates, 2000, pp. 68–71.
View
 

2000 | Conference Paper | IST-REx-ID: 4008
Edelsbrunner, Herbert, et al. Topological Persistance and Simplification. IEEE, 2000, pp. 454–63, doi:10.1109/SFCS.2000.892133.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4010
Cheng, Siu, et al. “Sliver Exudation.” Journal of the ACM, vol. 47, no. 5, ACM, 2000, pp. 883–904, doi:10.1145/355483.355487.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4147
Sordino, Paolo, et al. “A Mutational Approach to the Study of Development of the Protochordate Ciona Intestinalis (Tunicata, Chordata).” Sarsia, vol. 85, no. 2, Taylor & Francis, 2000, pp. 173–76.
View
 

2000 | Journal Article | IST-REx-ID: 4197
Heisenberg, Carl, et al. “Silberblick/Wnt11 Mediates Convergent Extension Movements during Zebrafish Gastrulation.” Nature, vol. 405, no. 6782, Nature Publishing Group, 2000, pp. 76–81, doi:10.1038/35011068.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4274   OA
Barton, Nicholas H. “Genetic Hitchhiking.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 355, no. 1403, Royal Society, The, 2000, pp. 1553–62, doi:10.1098/rstb.2000.0716.
View | DOI | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, Thomas A., and Sriram Rajamani. Fair Bisimulation. Vol. 1785, Springer, 2000, pp. 299–314, doi:10.1007/3-540-46419-0_21.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, Thomas A., et al. Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. IEEE, 2000, pp. 245–52, doi:10.1109/ICCAD.2000.896481.
View | DOI
 

2000 | Book Review | IST-REx-ID: 1031
Fürst, Johannes, et al. “Structure and Function of the Ion Channel ICln.” Cellular Physiology and Biochemistry, vol. 10, no. 5–6, S. Karger AG, 2000, pp. 329–34, doi:10.1159/000016374.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2344   OA
Lieb, Élliott, et al. “Bosons in a Trap: A Rigorous Derivation of the Gross-Pitaevskii Energy Functional.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 61, no. 4, American Physical Society, 2000, pp. 436021–4360213, doi:10.1103/PhysRevA.61.043602.
View | DOI | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2325
Seiringer, Robert. Inequalities for Schrödinger Operators and Applications to the Stability of Matter Problem . Vol. 529, American Mathematical Society, 2000, pp. 53–72, doi:10.1090/conm/529.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2731
Erdös, László, and Horng Yau. “Linear Boltzmann Equation as the Weak Coupling Limit of a Random Schrödinger Equation.” Communications on Pure and Applied Mathematics, vol. 53, no. 6, Wiley-Blackwell, 2000, pp. 667–735, doi:10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3532
Henze, Darrell, et al. “Intracellular Features Predicted by Extracellular Recordings in the Hippocampus in Vivo.” Journal of Neurophysiology, vol. 84, no. 1, American Physiological Society, 2000, pp. 390–400.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 4004
Edelsbrunner, Herbert, and Daniel Grayson. “Edgewise Subdivision of a Simplex.” Discrete & Computational Geometry, vol. 24, no. 4, Springer, 2000, pp. 707–19, doi:10.1007/s004540010063.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4009
Edelsbrunner, Herbert, and Roman Waupotitsch. “Adaptive Simplicial Grids from Cross-Sections of Monotone Complexes.” International Journal of Computational Geometry and Applications, vol. 10, no. 3, World Scientific Publishing, 2000, pp. 267–84, doi:10.1142/S0218195900000164.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed