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.

5867 Publications


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: 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: 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: 2347 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “A Rigorous Derivation of the Gross-Pitaevskii Energy Functional for a Two-Dimensional Bose Gas.” Communications in Mathematical Physics 224, no. 1 (2001): 17–31. https://doi.org/10.1007/s002200100533.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2348 | OA
Hainzl, Christian, and Robert Seiringer. “A Discrete Density Matrix Theory for Atoms in Strong Magnetic Fields.” Communications in Mathematical Physics 217, no. 1 (2001): 229–48. https://doi.org/10.1007/s002200100373.
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: 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: 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: 2607
Mion, Silvia, Corrado Corti, Akio Neki, Ryuichi Shigemoto, Mauro Corsi, Guido Fumagalli, and Francesco Ferraguti. “Bidirectional Regulation of Neurite Elaboration by Alternatively Spliced Metabotropic Glutamate Receptor 5 (MGluR5) Isoforms.” Molecular and Cellular Neuroscience 17, no. 6 (2001): 957–72. https://doi.org/10.1006/mcne.2001.0993.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2608
López Bendito, Guillermina, Ryuichi Shigemoto, Rafael Luján, and José Juíz. “Developmental Changes in the Localisation of the MGluR1α Subtype of Metabotropic Glutamate Receptors in Purkinje Cells.” Neuroscience 105, no. 2 (2001): 413–29. https://doi.org/10.1016/S0306-4522(01)00188-9.
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: 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 21, no. 22 (2001): 8734–45.
View
 

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: 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: 3927
Wolf, Dominik, Rupert Hallmann, Gabriele Sass, Michael K Sixt, Sabine Küsters, Bastian Fregien, Christian Trautwein, and Gisa Tiegs. “TNF-α-Induced Expression of Adhesion Molecules in the Liver Is under the Control of TNFR1--Relevance for Concanavalin A-Induced Hepatitis.” Journal of Immunology 166, no. 2 (2001): 1300–1307.
View | Download (ext.)
 

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: 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: 4002
Cheng, Siu, Herbert Edelsbrunner, Ping Fu, and Ka Lam. “Design and Analysis of Planar Shape Deformation.” Computational Geometry: Theory and Applications 19, no. 2–3 (2001): 205–18. https://doi.org/10.1016/S0925-7721(01)00020-7.
View | DOI
 

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: 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: 4007
Cheng, Ho, Tamal Dey, Herbert Edelsbrunner, and John Sullivan. “Dynamic Skin Triangulation.” Discrete & Computational Geometry 25, no. 4 (2001): 525–68. https://doi.org/10.1007/s00454-001-0007-1.
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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 4266
Barton, Nicholas H. “The Role of Hybridisation in Evolution.” Molecular Ecology 10, no. 3 (2001): 551–68. https://doi.org/10.1046/j.1365-294X.2001.01216.x.
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 | Book Chapter | IST-REx-ID: 4278
Barton, Nicholas H. “The Evolutionary Consequences of Gene Flow and Local Adaptation: Future Approaches.” In Dispersal. Oxford University Press, 2001.
View
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, Thomas A, and Christoph Kirsch. EMSOFT: Embedded Software. EMSOFT: Embedded Software . Vol. 2211. ACM, 2001. https://doi.org/10.1007/3-540-45449-7.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, Thomas A, Joerg Preussig, and Howard Wong Toi. “Some Lessons from the HYTECH Experience,” 3:2887–92. IEEE, 2001. https://doi.org/10.1109/.2001.980714.
View | DOI
 

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: 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: 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 | Conference Paper | IST-REx-ID: 4564
Brown, Timothy, Alessandro Pasetti, Wolfgang Pree, Thomas A Henzinger, and Christoph Kirsch. “A Reusable and Platform-Independent Framework for Distributed Control Systems,” 1–11. IEEE, 2001. https://doi.org/10.1109/DASC.2001.964169.
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: 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: 4622
De Alfaro, Luca, and Thomas A Henzinger. “Interface Automata,” 109–20. ACM, 2001. https://doi.org/10.1145/503209.503226.
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: 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 | 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 | Conference Paper | IST-REx-ID: 4634
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems, Part II,” 2154:566–81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_38.
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 | 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 | Journal Article | IST-REx-ID: 2709
Erdös, László. “Long Time Dynamics of an Electron in a Weakly Coupled Phonon Field.” ICMP: International Congress on Mathematical Physics, 2001, 273–81.
View
 

2001 | Journal Article | IST-REx-ID: 2734
Erdös, László, and Jan Solovej. “The Kernel of Dirac Operators on S3 and R3.” Reviews in Mathematical Physics 13, no. 10 (2001): 1247–80. https://doi.org/10.1142/S0129055X01000983.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2735
Erdös, László. “Lifschitz Tail in a Magnetic Field: Coexistence of Classical and Quantum Behavior in the Borderline Case.” Probability Theory and Related Fields 121, no. 2 (2001): 219–36. https://doi.org/10.1007/PL00008803.
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: 2981 | OA
Molendijk, Arthur, Friedrich Bischoff, Chadalavada Rajendrakumar, Jirí Friml, Markus Braun, Simon Gilroy, and Klaus Palme. “Arabidopsis Thaliana Rop GTPases Are Localized to Tips of Root Hairs and Control Polar Growth.” EMBO Journal 20, no. 11 (2001): 2779–88. https://doi.org/10.1093/emboj/20.11.2779.
View | DOI | Download (ext.)
 

Search

Filter Publications