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, B., & Seiringer, R. (2001). Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare, 2(1), 41–76. https://doi.org/10.1007/PL00001032
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2345 | OA
Seiringer, R. (2001). On the maximal ionization of atoms in strong magnetic fields. Journal of Physics A: Mathematical and General, 34(9), 1943–1948. https://doi.org/10.1088/0305-4470/34/9/311
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2346 | OA
Hainzl, C., & Seiringer, R. (2001). Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics. Letters in Mathematical Physics, 55(2), 133–142. https://doi.org/10.1023/A:1010951905548
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2347 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2001). A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas. Communications in Mathematical Physics, 224(1), 17–31. https://doi.org/10.1007/s002200100533
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2348 | OA
Hainzl, C., & Seiringer, R. (2001). A discrete density matrix theory for atoms in strong magnetic fields. Communications in Mathematical Physics, 217(1), 229–248. https://doi.org/10.1007/s002200100373
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2419
Wagner, U., & Welzl, E. (2001). A continuous analogue of the Upper Bound Theorem. Discrete & Computational Geometry, 26(2), 205–219. https://doi.org/10.1007/s00454-001-0028-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2604
Ruocco, I., Cuello, A., Shigemoto, R., & Ribeiro Da Silva, A. (2001). 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(4), 466–480. https://doi.org/10.1002/cne.1114
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2605
Geurts, F., Timmermans, J., Shigemoto, R., & De Schutter, E. (2001). Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum. Neuroscience, 104(2), 499–512. https://doi.org/10.1016/S0306-4522(01)00058-6
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2606
Martínez, G., López Bendito, G., Luján, R., Shigemoto, R., Fairén, A., & Valdeolmillos, M. (2001). Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors. European Journal of Neuroscience, 13(6), 1147–1154. https://doi.org/10.1046/j.0953-816X.2001.01494.x
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2607
Mion, S., Corti, C., Neki, A., Shigemoto, R., Corsi, M., Fumagalli, G., & Ferraguti, F. (2001). Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms. Molecular and Cellular Neuroscience, 17(6), 957–972. https://doi.org/10.1006/mcne.2001.0993
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2608
López Bendito, G., Shigemoto, R., Luján, R., & Juíz, J. (2001). Developmental changes in the localisation of the mGluR1α subtype of metabotropic glutamate receptors in Purkinje cells. Neuroscience, 105(2), 413–429. https://doi.org/10.1016/S0306-4522(01)00188-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2609
Tamaru, Y., Nomura, S., Mizuno, N., & Shigemoto, R. (2001). Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites. Neuroscience, 106(3), 481–503. https://doi.org/10.1016/S0306-4522(01)00305-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2610
Sansig, G., Bushell, T., Clarke, V., Rozov, A., Burnashev, N., Portet, C., … Van Der Putten, H. (2001). Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7. Journal of Neuroscience, 21(22), 8734–8745.
View
 

2001 | Journal Article | IST-REx-ID: 2611
Ruocco, I., Cuello, A., Shigemoto, R., & Ribeiro Da Silva, A. (2001). Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience, 108(1), 157–166. https://doi.org/10.1016/S0306-4522(01)00158-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2612
Li, J., Shigemoto, R., Kulik, Á., Chen, P., Nomura, S., Kaneko, T., & Mizuno, N. (2001). Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat. Neuroscience Letters, 315(1–2), 93–97. https://doi.org/10.1016/S0304-3940(01)02321-7
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3927
Wolf, D., Hallmann, R., Sass, G., Sixt, M. K., Küsters, S., Fregien, B., … Tiegs, G. (2001). 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(2), 1300–1307.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3928
Sixt, M. K., Hallmann, R., Wendler, O., Scharffetter Kochanek, K., & Sorokin, L. (2001). 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(22), 18878–18887. https://doi.org/10.1074/jbc.M010898200
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3930
Sixt, M. K., Engelhardt, B., Pausch, F., Hallmann, R., Wendler, O., & Sorokin, L. (2001). 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(5), 933–946. https://doi.org/10.1083/jcb.153.5.933
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4001
Cheng, H., Edelsbrunner, H., & Fu, P. (2001). Shape space from deformation. Computational Geometry: Theory and Applications, 19(2–3), 191–204. https://doi.org/10.1016/S0925-7721(01)00021-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4002
Cheng, S., Edelsbrunner, H., Fu, P., & Lam, K. (2001). Design and analysis of planar shape deformation. Computational Geometry: Theory and Applications, 19(2–3), 205–218. https://doi.org/10.1016/S0925-7721(01)00020-7
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4005
Cheng, H., Dey, T., Edelsbrunner, H., & Sullivan, J. (2001). Dynamic skin triangulation (pp. 47–56). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
 

2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner, H. (2001). 180 wrapped tubes. Journal of Universal Computer Science, 7(5), 379–399. https://doi.org/10.3217/jucs-007-05-0379
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4007
Cheng, H., Dey, T., Edelsbrunner, H., & Sullivan, J. (2001). Dynamic skin triangulation. Discrete & Computational Geometry, 25(4), 525–568. https://doi.org/10.1007/s00454-001-0007-1
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4200
Heisenberg, C., Houart, C., Take Uchi, M., Rauch, G., Young, N., Coutinho, P., … Stemple, D. (2001). 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(11), 1427–1434. https://doi.org/10.1101/gad.194301
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4229
Bollback, J. P., & Huelsenbeck, J. (2001). Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae). Journal of Molecular Evolution, 52(2), 117–128. https://doi.org/10.1007/s002390010140
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli, M., Barton, N. H., & Coyne, J. (2001). Theory and speciation. Trends in Ecology and Evolution, 16(7), 330–343. https://doi.org/10.1016/S0169-5347(01)02177-2
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
Otto, S., & Barton, N. H. (2001). Selection for recombination in small populations. Evolution; International Journal of Organic Evolution, 55(10), 1921–1931. https://doi.org/10.1111/j.0014-3820.2001.tb01310.x
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4266
Barton, N. H. (2001). The role of hybridisation in evolution. Molecular Ecology, 10(3), 551–568. https://doi.org/10.1046/j.1365-294X.2001.01216.x
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
Barton, N. H. (2001). Adaptation at the edge of a species’ range. In Integrating ecology and evolution in a spatial context (pp. 365–392). Cambridge University Press.
View
 

2001 | Book Chapter | IST-REx-ID: 4278
Barton, N. H. (2001). The evolutionary consequences of gene flow and local adaptation: Future approaches. In Dispersal. Oxford University Press.
View
 

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

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, T. A., Preussig, J., & Wong Toi, H. (2001). Some lessons from the HYTECH experience (Vol. 3, pp. 2887–2892). Presented at the CDC: Decision and Control, IEEE. https://doi.org/10.1109/.2001.980714
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, T. A., Minea, M., & Prabhu, V. (2001). Assume-guarantee reasoning for hierarchical hybrid systems (Vol. 2034, pp. 275–290). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-45351-2_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Embedded control systems development with Giotto (pp. 64–72). Presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, ACM. https://doi.org/10.1145/384197.384208
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming (Vol. 2211, pp. 166–184). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/1303
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
Brown, T., Pasetti, A., Pree, W., Henzinger, T. A., & Kirsch, C. (2001). A reusable and platform-independent framework for distributed control systems (pp. 1–11). Presented at the DASC: Digital Avionics Systems Conference, IEEE. https://doi.org/10.1109/DASC.2001.964169
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (2001). Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design, 18(2), 97–116. https://doi.org/10.1023/A:1008767206905
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
Alur, R., De Alfaro, L., Grosu, R., Henzinger, T. A., Kang, M., Kirsch, C., … Wang, B. (2001). jMocha: A model-checking tool that exploits design structure (pp. 835–836). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2001.919196
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, L., & Henzinger, T. A. (2001). Interface automata (pp. 109–120). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/503209.503226
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, L., & Henzinger, T. A. (2001). Interface theories for component-based design (Vol. 2211, pp. 148–165). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45449-7_11
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, L., Henzinger, T. A., & Jhala, R. (2001). Compositional methods for probabilistic systems (Vol. 2154, pp. 351–365). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). Symbolic algorithms for infinite-state games (Vol. 2154, pp. 536–550). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_36
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). The control of synchronous systems, Part II (Vol. 2154, pp. 566–581). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_38
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging (pp. 86–87). Presented at the WWW: World Wide Web Conference, ACM.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). From verification to control: dynamic programs for omega-regular objectives (pp. 279–290). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2001.932504
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2709
Erdös, L. (2001). Long time dynamics of an electron in a weakly coupled phonon field. ICMP: International Congress on Mathematical Physics, 273–281.
View
 

2001 | Journal Article | IST-REx-ID: 2734
Erdös, L., & Solovej, J. (2001). The kernel of Dirac operators on S3 and R3. Reviews in Mathematical Physics, 13(10), 1247–1280. https://doi.org/10.1142/S0129055X01000983
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2735
Erdös, L. (2001). Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case. Probability Theory and Related Fields, 121(2), 219–236. https://doi.org/10.1007/PL00008803
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2736 | OA
Erdös, L., & Yau, H. (2001). Derivation of the nonlinear Schrödinger equation from a many body Coulomb system. Advances in Theoretical and Mathematical Physics, 5(6), 1169–1205.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2981 | OA
Molendijk, A., Bischoff, F., Rajendrakumar, C., Friml, J., Braun, M., Gilroy, S., & Palme, K. (2001). Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth. EMBO Journal, 20(11), 2779–2788. https://doi.org/10.1093/emboj/20.11.2779
View | DOI | Download (ext.)
 

Search

Filter Publications