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.

6311 Publications


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: 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 | Conference Paper | IST-REx-ID: 4564
Brown, Timothy, et al. A Reusable and Platform-Independent Framework for Distributed Control Systems. IEEE, 2001, pp. 1–11, doi:10.1109/DASC.2001.964169.
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 | Journal Article | IST-REx-ID: 2981 | OA
Molendijk, Arthur, et al. “Arabidopsis Thaliana Rop GTPases Are Localized to Tips of Root Hairs and Control Polar Growth.” EMBO Journal, vol. 20, no. 11, Wiley-Blackwell, 2001, pp. 2779–88, doi:10.1093/emboj/20.11.2779.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
Gil, Pedro, et al. “BIG: A Calossin-like Protein Required for Polar Auxin Transport in Arabidopsis.” Genes and Development, vol. 15, no. 15, Cold Spring Harbor Laboratory Press, 2001, pp. 1985–97, doi:10.1101/gad.905201.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2983
Geldner, Niko, et al. “Auxin Transport Inhibitors Block PIN1 Cycling and Vesicle Trafficking.” Nature, vol. 413, no. 6854, Nature Publishing Group, 2001, pp. 425–28, doi:10.1038/35096571.
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: 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 | Conference Paper | IST-REx-ID: 3169
Kolmogorov, Vladimir, and Ramin Zabih. Computing Visual Correspondence with Occlusions Using Graph Cuts. Vol. 2, IEEE, 2001, pp. 508–15, doi:10.1109/ICCV.2001.937668.
View | DOI | Download (ext.)
 

2001 | Book Chapter | IST-REx-ID: 3434
Huelsenbeck, John, and Jonathan P. Bollback. “Application of the Likelihood Function in Phylogenetic Analysis.” Handbook of Statistical Genetics, edited by David Balding et al., Wiley-Blackwell, 2001, pp. 415–39, doi:10.1002/9780470061619.ch15.
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: 3439
Conn, Jan, et al. “Isolation of Polymorphic Microsatellite Markers from the Malaria Vector Anopheles Darlingi.” Molecular Ecology Notes, vol. 1, no. 4, Wiley-Blackwell, 2001, pp. 223–25, doi: 10.1046/j.1471-8278.2001.00078.x.
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 | Conference Paper | IST-REx-ID: 3447
Chatterjee, Krishnendu, et al. Weighted Quantified Computation Tree Logic. Elsevier, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 3493 | OA
Jones, M. .., et al. “Microscopic Kinetics and Energetics Distinguish GABAA Receptor Agonists from Antagonists.” Biophysical Journal, vol. 81, no. 5, Biophysical Society, 2001, pp. 2660–70, doi:10.1016/S0006-3495(01)75909-7 .
View | DOI | Download (ext.)
 

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 | 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: 3496 | OA
Alle, Henrik, et al. “PTP and LTP at a Hippocampal Mossy Fiber-Interneuron Synapse.” PNAS, vol. 98, no. 25, National Academy of Sciences, 2001, pp. 14708–13, doi:10.1073/pnas.251610898 .
View | DOI | 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: 3517
Szabo, I., et al. “The Application of Printed Circuit Board Technology for Fabrication of Multi-Channel Micro-Drives.” Journal of Neuroscience Methods, vol. 105, no. 1, Elsevier, 2001, pp. 105–10, doi:10.1016/S0165-0270(00)00362-9.
View | DOI
 

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: 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 | Book | IST-REx-ID: 3586
Edelsbrunner, Herbert. Geometry and Topology for Mesh Generation. Vol. 7, Cambridge University Press, 2001, doi:10.1017/CBO9780511530067.
View | Files available | 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: 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.)
 

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 | 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 | 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 | 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: 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 | 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: 2598
Sillevis Smitt, Peter, et al. “Paraneoplastic Cerebellar Ataxia Due to Autoantibodies against a Glutamate Receptor.” New England Journal of Medicine, vol. 342, no. 1, Massachussetts Medical Society, 2000, pp. 21–27, doi:10.1056/NEJM200001063420104.
View | DOI
 

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 | Journal Article | IST-REx-ID: 2600
Li, Jin, et al. “The Relationship between Neurokinin-1 Receptor and Substance P in the Medullary Dorsal Horn: A Light and Electron Microscopic Immunohistochemical Study in the Rat.” Neuroscience Research, vol. 36, no. 4, Elsevier, 2000, pp. 327–34, doi:10.1016/S0168-0102(00)00095-X.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2601
Ichise, Taeko, et al. “MGluR1 in Cerebellar Purkinje Cells Essential for Long-Term Depression, Synapse Elimination, and Motor Coordination.” Science, vol. 288, no. 5472, American Association for the Advancement of Science, 2000, pp. 1832–35, doi:10.1126/science.288.5472.1832.
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: 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 | 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: 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: 2732
Castella, François, et al. “Fokker-Planck Equations as Scaling Limits of Reversible Quantum Systems.” Journal of Statistical Physics, vol. 100, no. 3–4, Springer, 2000, pp. 543–601, doi:10.1023/A:1018667323830.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2733
Erdös, László, et al. “Diamagnetic Behavior of Sums Dirichlet Eigenvalues.” Annales de l’Institut Fourier, vol. 50, no. 3, Association des Annales de l’Institut Fourier, 2000, pp. 891–907, doi:10.5802/aif.1777.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 842
Wolf, Yuri, et al. “No Footprints of Primordial Introns in a Eukaryotic Genome.” Trends in Genetics, vol. 16, no. 8, Elsevier, 2000, pp. 333–34, doi:10.1016/S0168-9525(00)02059-X.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 8525
Kaloshin, Vadim. “Generic Diffeomorphisms with Superexponential Growth of Number of Periodic Orbits.” Communications in Mathematical Physics, vol. 211, Springer Nature, 2000, pp. 253–71, doi:10.1007/s002200050811.
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: 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 | 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 | Conference Paper | IST-REx-ID: 4637
De Alfaro, Luca, et al. The Control of Synchronous Systems. Vol. 1877, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–73, doi:10.1007/3-540-44618-4_33.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro, Luca, et al. Detecting Errors before Reaching Them. Vol. 1855, Springer, 2000, pp. 186–201, doi:10.1007/10722167_17.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1455 | OA
Hausel, Tamás, et al. “Inscribing Cubes and Covering by Rhombic Dodecahedra via Equivariant Topology.” Mathematika, vol. 47, no. 1–2, University College London, 2000, pp. 371–97, doi:10.1112/S0025579300015965.
View | DOI | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3798
Jonas, Peter M. “The Time Course of Signaling at Central Glutamatergic Synapses.” Physiology, vol. 15, no. 2, American Physiological Society, 2000, pp. 83–89.
View | Download (ext.)
 

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

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-Philipp J., 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 | Book Review | IST-REx-ID: 4268
Partridge, Linda, and Nicholas H. Barton. “Evolving Evolvability.” Nature, vol. 407, no. 6803, Nature Publishing Group, 2000, pp. 457–58, doi:10.1038/35035173.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4269
Coyne, Jerry, et al. “Is Wright’s Shifting Balance Process Important in Evolution?” Evolution; International Journal of Organic Evolution, vol. 54, no. 1, Wiley-Blackwell, 2000, pp. 306–17, doi:310.1111/j.0014-3820.2000.tb00033.x.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4270
Galtier, Nicolas, et al. “Detecting Bottlenecks and Selective Sweeps from DNA Sequence Polymorphism.” Genetics, vol. 155, no. 2, Genetics Society of America, 2000, pp. 981–87.
View
 

2000 | Journal Article | IST-REx-ID: 4271
Barton, Nicholas H., and Max Shpak. “The Effects of Epistasis on the Structure of Hybrid Zones.” Genetical Research, vol. 75, no. 2, Cambridge University Press, 2000, pp. 179–98, doi:10.1017/S0016672399004334.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4272
Barton, Nicholas H., and Max Shpak. “The Stability of Symmetrical Solutions to Polygenic Models.” Theoretical Population Biology, vol. 57, no. 3, Academic Press, 2000, pp. 249–63, doi:10.1006/tpbi.2000.1455.
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 | 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 | Book Chapter | IST-REx-ID: 4275
Barton, Nicholas H. “Differentiation.” Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94, doi:10.1016/B0-12-226865-2/00070-5.
View | DOI
 

2000 | Book Review | IST-REx-ID: 4276
Barton, Nicholas H. “Population Genetics of Multiple Loci.” Genetical Research, vol. 75, no. 3, Cambridge University Press, 2000, pp. 371–73.
View
 

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: 4434
Henzinger, Thomas A., and Jean Raskin. Robust Undecidability of Timed and Hybrid Systems. Vol. 1790, Springer, 2000, pp. 145–59, doi:10.1007/3-540-46430-1_15.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A., and Ritankar Majumdar. Symbolic Model Checking for Rectangular Hybrid Systems. Vol. 1785, Springer, 2000, pp. 142–56, doi:10.1007/3-540-46419-0_11.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, Thomas A., and Ritankar Majumdar. A Classification of Symbolic Transition Systems. Vol. 1770, Springer, 2000, pp. 13–34, doi:10.1007/3-540-46541-3_2.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, Thomas A., et al. Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods. Vol. 1790, Springer, 2000, pp. 130–44, doi:10.1007/3-540-46430-1_14.
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: 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 | Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. Masaccio: A Formal Model for Embedded Components. Vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, Thomas A. “The Theory of Hybrid Automata.” Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, vol. 170, Springer, 2000, pp. 265–92.
View
 

2000 | Journal Article | IST-REx-ID: 4598
Alur, Rajeev, et al. “Discrete Abstractions of Hybrid Systems.” Proceedings of the IEEE, vol. 88, no. 7, IEEE, 2000, pp. 971–84, doi:10.1109/5.871304 .
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: 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: 3490
Normann, Claus, et al. “Associative Long-Term Depression in the Hippocampus Is Dependent on Postsynaptic N-Type Ca(2+) Channels.” Journal of Neuroscience, vol. 20, no. 22, Society for Neuroscience, 2000, pp. 8290–97.
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: 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: 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: 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: 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 | Book Chapter | IST-REx-ID: 3572
Edelsbrunner, Herbert. “Spielereien Mit Kreisen Und Kugeln. Zum Thema Form Und Verformung.” Zur Kunst Des Formalen Denkens, Passagen Verlag, 2000, pp. 153–71.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3583
Edelsbrunner, Herbert. “Triangulations and Meshes in Computational Geometry.” Acta Numerica, vol. 9, Cambridge University Press, 2000, pp. 133–213.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3623
Barton, Nicholas H., and Linda Patridge. “Measuring Fitness by Means of Balancer Chromosomes.” Genetical Research, vol. 75, no. 3, Cambridge University Press, 2000, pp. 297–314, doi:10.1017/S0016672399004346.
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
 

1999 | Journal Article | IST-REx-ID: 2591
Kummer, Wolfgang, et al. “Smooth Muscle Cells Are the Site of Neurokinin-1 Receptor Localization in the Arterial Supply of the Rat Sciatic Nerve.” Neuroscience Letters, vol. 259, no. 2, Elsevier, 1999, pp. 119–22, doi:10.1016/S0304-3940(98)00926-4.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2592
Masugi, Miwako, et al. “Metabotropic Glutamate Receptor Subtype 7 Ablation Causes Deficit in Fear Response and Conditioned Taste Aversion.” Journal of Neuroscience, vol. 19, no. 3, Society for Neuroscience, 1999, pp. 955–63.
View
 

1999 | Journal Article | IST-REx-ID: 2593
Yu, Xiao, et al. “NK-1 Receptor Immunoreactivity in Distinct Morphological Types of Lamina I Neurons of the Primate Spinal Cord.” Journal of Neuroscience, vol. 19, no. 9, Society for Neuroscience, 1999, pp. 3545–55.
View
 

1999 | Journal Article | IST-REx-ID: 2594
Ding, Yu, et al. “The Distribution of Substance P Receptor (NK1)-like Immunoreactive Neurons in the Newborn and Adult Human Spinal Cord.” Neuroscience Letters, vol. 266, no. 2, Elsevier, 1999, pp. 133–36, doi:10.1016/S0304-3940(99)00283-9.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2595
Lafon Cazal, Mireille, et al. “MGluR7-like Receptor and GABA(B) Receptor Activation Enhance Neurotoxic Effects of N-Methyl-D-Aspartate in Cultured Mouse Striatal GABAergic Neurones.” Neuropharmacology, vol. 38, no. 10, Elsevier, 1999, pp. 1631–40, doi:10.1016/S0028-3908(99)00124-0.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2596
Bischoff, Serge, et al. “Spatial Distribution of GABA(B)R1 Receptor MRNA and Binding Sites in the Rat Brain^.” Journal of Comparative Neurology, vol. 412, no. 1, Wiley-Blackwell, 1999, pp. 1–16, doi:10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2597
Bushell, Trevor, et al. “Modulation of Synaptic Transmission and Differential Localisation of MGlus in Cultured Hippocampal Autapses.” Neuropharmacology, vol. 38, no. 10, Elsevier, 1999, pp. 1553–67, doi:10.1016/S0028-3908(99)00103-3.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 2711
Erdös, László. Linear Boltzmann Equation as the Weak Coupling Limit of the Random Schrödinger Equation. Vol. 108, World Scientific Publishing, 1999, pp. 233–42, doi:10.1007/978-3-0348-8745-8_20.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2730
Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for the Pauli Operator with Strong Nonhomogeneous Magnetic Fields, I: Nonasymptotic Lieb-Thirring-Type Estimate.” Duke Mathematical Journal, vol. 96, no. 1, Duke University Press, 1999, pp. 127–73, doi:10.1215/S0012-7094-99-09604-7.
View | DOI
 

Search

Filter Publications