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.

5484 Publications


2001 | Journal Article | IST-REx-ID: 3928
Sixt, Michael K, Rupert Hallmann, Olaf Wendler, Karin Scharffetter Kochanek, and Lydia Sorokin. “Cell Adhesion and Migration Properties of Β2-Integrin Negative Polymorphonuclear Granulocytes on Defined Extracellular Matrix Molecules. Relevance for Leukocyte Extravasation.” Journal of Biological Chemistry 276, no. 22 (2001): 18878–87. https://doi.org/10.1074/jbc.M010898200.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3930
Sixt, Michael K, Britta Engelhardt, Friederike Pausch, Rupert Hallmann, Olaf Wendler, and Lydia Sorokin. “Endothelial Cell Laminin Isoforms, Laminins 8 and 10, Play Decisive Roles in T Cell Recruitment across the Blood-Brain Barrier in Experimental Autoimmune Encephalomyelitis.” Journal of Cell Biology 153, no. 5 (2001): 933–46. https://doi.org/10.1083/jcb.153.5.933 .
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4200
Heisenberg, Carl, Corinne Houart, Masaya Take Uchi, Gerd Rauch, Neville Young, Pedro Coutinho, Ichiro Masai, et al. “A Mutation in the Gsk3-Binding Domain of Zebrafish Masterblind/Axin1 Leads to a Fate Transformation of Telencephalon and Eyes to Diencephalon.” Genes and Development 15, no. 11 (2001): 1427–34. https://doi.org/10.1101/gad.194301.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
Barton, Nicholas H. “Adaptation at the Edge of a Species’ Range.” In Integrating Ecology and Evolution in a Spatial Context, 365–92. Cambridge University Press, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 4229
Bollback, Jonathan P, and John Huelsenbeck. “Phylogeny, Genome Evolution, and Host Specificity of Single-Stranded RNA Bacteriophage (Family Leviviridae).” Journal of Molecular Evolution 52, no. 2 (2001): 117–28. https://doi.org/10.1007/s002390010140.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, Luca, and Thomas A Henzinger. “Interface Theories for Component-Based Design,” 2211:148–65. ACM, 2001. https://doi.org/10.1007/3-540-45449-7_11.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “MCWEB: A Model-Checking Tool for Web-Site Debugging,” 86–87. ACM, 2001.
View | Download (ext.)
 

2001 | 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 17, no. 9 (2001): 499–501. https://doi.org/10.1016/S0168-9525(01)02376-9.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 1454   OA
Etesi, Gábor, and Tamas Hausel. “Geometric Interpretation of Schwarzschild Instantons.” Journal of Geometry and Physics 37, no. 1–2 (2001): 126–36. https://doi.org/10.1016/S0393-0440(00)00040-1.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2419
Wagner, Uli, and Emo Welzl. “A Continuous Analogue of the Upper Bound Theorem.” Discrete & Computational Geometry 26, no. 2 (2001): 205–19. https://doi.org/10.1007/s00454-001-0028-9.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2604
Ruocco, Isabella, Augusto Cuello, Ryuichi Shigemoto, and Alfredo Ribeiro Da Silva. “Light and Electron Microscopic Study of the Distribution of Substance P-Immunoreactive Fibers and Neurokinin-1 Receptors in the Skin of the Rat Lower Lip.” Journal of Comparative Neurology 432, no. 4 (2001): 466–80. https://doi.org/10.1002/cne.1114.
View | DOI
 

2001 | 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 106, no. 3 (2001): 481–503. https://doi.org/10.1016/S0306-4522(01)00305-0.
View | DOI
 

2001 | 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 108, no. 1 (2001): 157–66. https://doi.org/10.1016/S0306-4522(01)00158-0.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2736   OA
Erdös, László, and Horng Yau. “Derivation of the Nonlinear Schrödinger Equation from a Many Body Coulomb System.” Advances in Theoretical and Mathematical Physics 5, no. 6 (2001): 1169–1205.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2983
Geldner, Niko, Jirí Friml, York Stierhof, Gerd Jürgens, and Klaus Palme. “Auxin Transport Inhibitors Block PIN1 Cycling and Vesicle Trafficking.” Nature 413, no. 6854 (2001): 425–28. https://doi.org/10.1038/35096571.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3169
Kolmogorov, Vladimir, and Ramin Zabih. “Computing Visual Correspondence with Occlusions Using Graph Cuts,” 2:508–15. IEEE, 2001. https://doi.org/10.1109/ICCV.2001.937668.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3493   OA
Jones, M.V, Peter M Jonas, Y. Sahara, and G. Westbrook. “Microscopic Kinetics and Energetics Distinguish GABAA Receptor Agonists from Antagonists.” Biophysical Journal 81, no. 5 (2001): 2660–70. https://doi.org/10.1016/S0006-3495(01)75909-7 .
View | DOI | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, Thomas A, Marius Minea, and Vinayak Prabhu. “Assume-Guarantee Reasoning for Hierarchical Hybrid Systems,” 2034:275–90. Springer, 2001. https://doi.org/10.1007/3-540-45351-2_24.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “From Verification to Control: Dynamic Programs for Omega-Regular Objectives,” 279–90. IEEE, 2001. https://doi.org/10.1109/LICS.2001.932504.
View | DOI
 

2001 | 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,” 835–36. IEEE, 2001. https://doi.org/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, 126:307–14. Birkhäuser, 2001. https://doi.org/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 34, no. 9 (2001): 1943–48. https://doi.org/10.1088/0305-4470/34/9/311.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2605
Geurts, Frederik, Jean Timmermans, Ryuichi Shigemoto, and Erik De Schutter. “Morphological and Neurochemical Differentiation of Large Granular Layer Interneurons in the Adult Rat Cerebellum.” Neuroscience 104, no. 2 (2001): 499–512. https://doi.org/10.1016/S0306-4522(01)00058-6.
View | DOI
 

2001 | 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 315, no. 1–2 (2001): 93–97. https://doi.org/10.1016/S0304-3940(01)02321-7.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
Swarup, Ranjan, Jirí Friml, Alan Marchant, Karin Ljung, Göran Sandberg, Klaus Palme, and Malcolm Bennett. “Localization of the Auxin Permease AUX1 Suggests Two Functionally Distinct Hormone Transport Pathways Operate in the Arabidopsis Root Apex.” Genes and Development 15, no. 20 (2001): 2648–53. https://doi.org/10.1101/gad.210501.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3622
Gardner, Michael, Kevin Fowler, Linda Patridge, and Nicholas H Barton. “Genetic Variation for Preadult Viability in Drosophila Melanogaster.” Evolution 55, no. 8 (2001): 1609–20.
View | Download (ext.)
 

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

2001 | Journal Article | IST-REx-ID: 3540
Hirase, Hajima, Xavier Leinekugel, András Czurkó, Jozsef L Csicsvari, and György Buzsáki. “Firing Rates of Hippocampal Neurons Are Preserved during Subsequent Sleep Episodes and Modified by Novel Awake Experience.” PNAS 98, no. 16 (2001): 9386–90. https://doi.org/10.1073/pnas.161274398.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3494
Bartos, Marlene, Imre Vida, Michael Frotscher, Jörg Geiger, and Peter M Jonas. “Rapid Signaling at Inhibitory Synapses in a Dentate Gyrus Interneuron Network.” Journal of Neuroscience 21, no. 8 (2001): 2687–98.
View
 

2001 | Conference Paper | IST-REx-ID: 4005
Cheng, Ho, Tamal Dey, Herbert Edelsbrunner, and John Sullivan. “Dynamic Skin Triangulation,” 47–56. SIAM, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli, Michael, Nicholas H Barton, and Jerry Coyne. “Theory and Speciation.” Trends in Ecology and Evolution 16, no. 7 (2001): 330–43. https://doi.org/10.1016/S0169-5347(01)02177-2.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto,” 64–72. ACM, 2001. https://doi.org/10.1145/384197.384208.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, Luca, Thomas A Henzinger, and Ranjit Jhala. “Compositional Methods for Probabilistic Systems,” 2154:351–65. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/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 98, no. 21 (2001): 12089–92. https://doi.org/10.1073/pnas.211214298.
View | DOI
 

2001 | 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 17, no. 10 (2001): 890–900. https://doi.org/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 10, no. 23 (2001): 2661–69. https://doi.org/10.1093/hmg/10.23.2661.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2606
Martínez, Galán, Guillermina López Bendito, Rafael Luján, Ryuichi Shigemoto, Alfonso Fairén, and Miguel Valdeolmillos. “Cajal-Retzius Cells in Early Postnatal Mouse Cortex Selectively Express Functional Metabotropic Glutamate Receptors.” European Journal of Neuroscience 13, no. 6 (2001): 1147–54. https://doi.org/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 2, no. 1 (2001): 41–76. https://doi.org/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 55, no. 2 (2001): 133–42. https://doi.org/10.1023/A:1010951905548.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2985
Trnková, Libuše, Jirí Friml, and Oldřich Dračka. “Elimination Voltammetry of Adenine and Cytosine Mixtures.” Bioelectrochemistry 54, no. 2 (2001): 131–36. https://doi.org/10.1016/S1567-5394(01)00119-0.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3438
Huelsenbeck, John, Fredrik Ronquist, Rasmus Nielsen, and Jonathan P Bollback. “Bayesian Inference of Phylogeny and Its Impact on Evolutionary Biology.” Science 294, no. 5550 (2001): 2310–14. https://doi.org/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 50, no. 3 (2001): 351–66. https://doi.org/10.1080/10635150119871.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 3546
Hirase, Hajima, Xavier Leinekugel, Jozsef L Csicsvari, András Czurkó, and György Buzsáki. “Behavior-Dependent States of the Hippocampal Network Affect Functional Clustering of Neurons.” Journal of Neuroscience 21, no. 10 (2001).
View
 

2001 | Journal Article | IST-REx-ID: 3495
Jerecic, Jasna, Christian Schulze, Peter M Jonas, Rolf Sprengel, Peter Seeburg, and Joseph Bischofberger. “Impaired NMDA Receptor Function in Mouse Olfactory Bulb Neurons by Tetracycline-Sensitive NR1 (N598R) Expression.” Molecular Brain Research 94, no. 1–2 (2001): 96–104. https://doi.org/10.1016/S0169-328X(01)00221-2.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4001
Cheng, Ho, Herbert Edelsbrunner, and Ping Fu. “Shape Space from Deformation.” Computational Geometry: Theory and Applications 19, no. 2–3 (2001): 191–204. https://doi.org/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 7, no. 5 (2001): 379–99. https://doi.org/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 55, no. 10 (2001): 1921–31. https://doi.org/10.1111/j.0014-3820.2001.tb01310.x.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming,” 2211:166–84. ACM, 2001. https://doi.org/1303.
View | DOI
 

2001 | 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 18, no. 2 (2001): 97–116. https://doi.org/10.1023/A:1008767206905.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Symbolic Algorithms for Infinite-State Games,” 2154:536–50. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_36.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 851
Rogozin, Igor, Fyodor Kondrashov, and Galina Glazko. “Use of Mutation Spectra Analysis Software.” Human Mutation 17, no. 2 (2001): 83–102. https://doi.org/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, Phil Lane, and Michelle Murphy. “Comparison of the Impact of FWM on Binary, Duobinary and Dicode Modulation in DWDM Systems,” 1:27–28. IEEE, 2000. https://doi.org/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 302, no. 2 (2000): 455–64. https://doi.org/10.1006/jmbi.2000.4079.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2602
Perroy, Julie, Laurent Prezèau, Michel De Waard, Ryuichi Shigemoto, Joël Bockaërt, and Laurent Fagni. “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 20, no. 21 (2000): 7896–7904.
View
 

2000 | Journal Article | IST-REx-ID: 2599
Li, Jin, Dan Wang, Takeshi Kaneko, Ryuichi Shigemoto, Sakashi Nomura, and Noboru Mizuno. “Relationship between Neurokinin-1 Receptor and Substance P in the Striatum: Light and Electron Microscopic Immunohistochemical Study in the Rat.” Journal of Comparative Neurology 418, no. 2 (2000): 156–63. https://doi.org/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, Élliott Lieb, and Jakob Yngvason. “The Ground State Energy and Density of Interacting Bosons in a Trap,” 101–10. World Scientific Publishing, 2000.
View | Download (ext.)
 

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

2000 | Journal Article | IST-REx-ID: 3542
Csicsvari, Jozsef L, Hajima Hirase, Akira Mamiya, and György Buzsáki. “Ensemble Patterns of Hippocampal CA3-CA1 Neurons during Sharp Wave-Associated Population Events.” Neuron 28, no. 2 (2000): 585–94. https://doi.org/10.1016/S0896-6273(00)00135-5.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3624
Barton, Nicholas H. “Estimating Multilocus Linkage Disequilibria.” Heredity 84, no. 3 (2000): 373–89. https://doi.org/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 20, no. 15 (2000): 5594–5607.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3491
Martina, Marco, Imre Vida, and Peter M Jonas. “Distal Initiation and Active Propagation of Action Potentials in Interneuron Dendrites.” Science 287, no. 5451 (2000): 295–300. https://doi.org/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 22, no. 12 (2000): 1075–84. https://doi.org/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, Ritankar Majumdar, Freddy Mang, and Jean Raskin. “Abstract Interpretation of Game Properties,” 1824:220–39. Springer, 2000. https://doi.org/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,” 141–54. IEEE, 2000. https://doi.org/10.1109/LICS.2000.855763.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1958
Sazanov, Leonid A, Sew Peak Chew, Ian Fearnley, and John Walker. “Resolution of the Membrane Domain of Bovine Complex I into Subcomplexes: Implications for the Structural Organization of the Enzyme.” Biochemistry 39, no. 24 (2000): 7229–35. https://doi.org/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 54, no. 3 (2000): 213–26. https://doi.org/    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,” 50–56. ACM, 2000. https://doi.org/10.1145/336154.336176.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2603
Boudin, Hélène, Andrew Doan, Jun Xia, Ryuichi Shigemoto, Richard Huganir, Paul Worley, and Ann Craig. “Presynaptic Clustering of MGluR7a Requires the PICK1 PDZ Domain Binding Site.” Neuron 28, no. 2 (2000): 485–97. https://doi.org/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.” In Glutamate, 18:63–98. Elsevier, 2000. https://doi.org/10.1016/S0924-8196(00)80044-5.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3149
Hwang, Jae, Daria E Siekhaus, Robert Fuller, Paul Taghert, and Iris Lindberg. “Interaction of Drosophila Melanogaster Prohormone Convertase 2 and 7B2: Insect Cell Specific Processing and Secretion.” Journal of Biological Chemistry 275, no. 23 (2000): 17886–93. https://doi.org/10.1074/jbc.M000032200 .
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3548
Harris, Kenneth, Darrell Henze, Jozsef L Csicsvari, Hajima Hirase, and György Buzsáki. “Accuracy of Tetrode Spike Separation as Determined by Simultaneous Intracellular and Extracellular Measurements.” Journal of Neurophysiology 84, no. 1 (2000): 401–14.
View
 

2000 | Conference Paper | IST-REx-ID: 3555
Edelsbrunner, Herbert, Xiang Li, Gary Miller, Andreas Stathopoulos, Dafna Talmor, Shang Teng, Alper Üngör, and Noel Walkington. “Smoothing and Cleaning up Slivers,” 273–77. ACM, 2000. https://doi.org/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 28, no. 3 (2000): 927–39. https://doi.org/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 15, no. 1 (2000): 68–71.
View
 

2000 | Conference Paper | IST-REx-ID: 4008
Edelsbrunner, Herbert, David Letscher, and Afra Zomorodian. “Topological Persistance and Simplification,” 454–63. IEEE, 2000. https://doi.org/10.1109/SFCS.2000.892133.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4010
Cheng, Siu, Tamal Dey, Herbert Edelsbrunner, Michael Facello, and Shang Teng. “Sliver Exudation.” Journal of the ACM 47, no. 5 (2000): 883–904. https://doi.org/10.1145/355483.355487.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4147
Sordino, Paolo, Carl Heisenberg, Paola Cirino, Alfonso Toscano, Paola Giuliano, Rita Marino, Maria Pinto, and Rosaria De Santis. “A Mutational Approach to the Study of Development of the Protochordate Ciona Intestinalis (Tunicata, Chordata).” Sarsia 85, no. 2 (2000): 173–76.
View
 

2000 | Journal Article | IST-REx-ID: 4197
Heisenberg, Carl, Masazumi Tada, Gerd Rauch, Leonor Saúde, Miguel Concha, Robert Geisler, Derek Stemple, James Smith, and Stephen Wilson. “Silberblick/Wnt11 Mediates Convergent Extension Movements during Zebrafish Gastrulation.” Nature 405, no. 6782 (2000): 76–81. https://doi.org/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 355, no. 1403 (2000): 1553–62. https://doi.org/10.1098/rstb.2000.0716.
View | DOI | Download (ext.)
 

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

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning,” 245–52. IEEE, 2000. https://doi.org/10.1109/ICCAD.2000.896481.
View | DOI
 

2000 | Book Review | IST-REx-ID: 1031
Fürst, Johannes, Martin Jakab, Matthias König, Markus Ritter, Martin Gschwentner, Jakob Rudzki, Johannes Danzl, et al. “Structure and Function of the Ion Channel ICln.” Cellular Physiology and Biochemistry. S. Karger AG, 2000. https://doi.org/10.1159/000016374.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2344   OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Bosons in a Trap: A Rigorous Derivation of the Gross-Pitaevskii Energy Functional.” Physical Review A - Atomic, Molecular, and Optical Physics 61, no. 4 (2000): 436021–213. https://doi.org/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 ,” 529:53–72. American Mathematical Society, 2000. https://doi.org/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 53, no. 6 (2000): 667–735. https://doi.org/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, Zsolt Borhegyi, Jozsef L Csicsvari, Akira Mamiya, Kenneth Harris, and György Buzsáki. “Intracellular Features Predicted by Extracellular Recordings in the Hippocampus in Vivo.” Journal of Neurophysiology 84, no. 1 (2000): 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 24, no. 4 (2000): 707–19. https://doi.org/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 10, no. 3 (2000): 267–84. https://doi.org/10.1142/S0218195900000164.
View | DOI
 

2000 | Book Review | IST-REx-ID: 4268
Partridge, Linda, and Nicholas H Barton. “Evolving Evolvability.” Nature. Nature Publishing Group, 2000. https://doi.org/10.1038/35035173.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4270
Galtier, Nicolas, Frantz Depaulis, and Nicholas H Barton. “Detecting Bottlenecks and Selective Sweeps from DNA Sequence Polymorphism.” Genetics 155, no. 2 (2000): 981–87.
View
 

2000 | Book Chapter | IST-REx-ID: 4275
Barton, Nicholas H. “Differentiation.” In Encyclopedia of Biodiversity, 85–94. Academic Press, 2000. https://doi.org/10.1016/B0-12-226865-2/00070-5.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, Thomas A, and Jean Raskin. “Robust Undecidability of Timed and Hybrid Systems,” 1790:145–59. Springer, 2000. https://doi.org/10.1007/3-540-46430-1_15.
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 842
Wolf, Yuri, Fyodor Kondrashov, and Eugene Koonin. “No Footprints of Primordial Introns in a Eukaryotic Genome.” Trends in Genetics 16, no. 8 (2000): 333–34. https://doi.org/10.1016/S0168-9525(00)02059-X.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1455   OA
Hausel, Tamas, Endre Makai, and András Szücs. “Inscribing Cubes and Covering by Rhombic Dodecahedra via Equivariant Topology.” Mathematika 47, no. 1–2 (2000): 371–97. https://doi.org/10.1112/S0025579300015965.
View | DOI | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 2600
Li, Jin, Dan Wang, Takeshi Kaneko, Ryuichi Shigemoto, Sakashi Nomura, and Noboru Mizuno. “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 36, no. 4 (2000): 327–34. https://doi.org/10.1016/S0168-0102(00)00095-X.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2732
Castella, François, László Erdös, Florian Frommlet, and Peter Markowich. “Fokker-Planck Equations as Scaling Limits of Reversible Quantum Systems.” Journal of Statistical Physics 100, no. 3–4 (2000): 543–601. https://doi.org/10.1023/A:1018667323830.
View | DOI
 

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

2000 | Book Review | IST-REx-ID: 4276
Barton, Nicholas H. “Population Genetics of Multiple Loci.” Genetical Research. Cambridge University Press, 2000.
View
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed