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.

81 Publications


2001 | Journal Article | IST-REx-ID: 1452   OA
T. Hausel and M. Thaddeus, “Examples of mirror partners arising from integrable systems,” Comptes Rendus de l’Academie des Sciences - Series I: Mathematics, vol. 333, no. 4, pp. 313–318, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2607
S. Mion et al., “Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms,” Molecular and Cellular Neuroscience, vol. 17, no. 6, pp. 957–972, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2347   OA
É. Lieb, R. Seiringer, and J. Yngvason, “A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas,” Communications in Mathematical Physics, vol. 224, no. 1, pp. 17–31, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2734
L. Erdös and J. Solovej, “The kernel of Dirac operators on S3 and R3,” Reviews in Mathematical Physics, vol. 13, no. 10, pp. 1247–1280, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2981   OA
A. Molendijk et al., “Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth,” EMBO Journal, vol. 20, no. 11, pp. 2779–2788, 2001.
View | DOI | Download (ext.)
 

2001 | Book Chapter | IST-REx-ID: 3434
J. Huelsenbeck and J. P. Bollback, “Application of the likelihood function in phylogenetic analysis,” in Handbook of Statistical Genetics, D. Balding, M. Bishop, and C. Cannings, Eds. Wiley-Blackwell, 2001, pp. 415–439.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3439
J. Conn, J. P. Bollback, D. Onyabe, T. Robinson, R. Wilkerson, and M. Povoa, “Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi,” Molecular Ecology Notes, vol. 1, no. 4, pp. 223–225, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3496   OA
H. Alle, P. M. Jonas, and J. Geiger, “PTP and LTP at a hippocampal mossy fiber-interneuron synapse,” PNAS, vol. 98, no. 25, pp. 14708–14713, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3927
D. Wolf et al., “TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis,” Journal of Immunology, vol. 166, no. 2, pp. 1300–1307, 2001.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 4002
S. Cheng, H. Edelsbrunner, P. Fu, and K. Lam, “Design and analysis of planar shape deformation,” Computational Geometry: Theory and Applications, vol. 19, no. 2–3, pp. 205–218, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4007
H. Cheng, T. Dey, H. Edelsbrunner, and J. Sullivan, “Dynamic skin triangulation,” Discrete & Computational Geometry, vol. 25, no. 4, pp. 525–568, 2001.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 4266
N. H. Barton, “The role of hybridisation in evolution,” Molecular Ecology, vol. 10, no. 3, pp. 551–568, 2001.
View | DOI
 

2001 | Conference (Editor) | IST-REx-ID: 4449
T. A. Henzinger and C. Kirsch, EMSOFT: Embedded Software, vol. 2211. ACM, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
T. A. Henzinger, J. Preussig, and H. Wong Toi, “Some lessons from the HYTECH experience,” presented at the CDC: Decision and Control, 2001, vol. 3, pp. 2887–2892.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
T. Brown, A. Pasetti, W. Pree, T. A. Henzinger, and C. Kirsch, “A reusable and platform-independent framework for distributed control systems,” presented at the DASC: Digital Avionics Systems Conference, 2001, pp. 1–11.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
L. De Alfaro and T. A. Henzinger, “Interface automata,” presented at the FSE: Foundations of Software Engineering, 2001, pp. 109–120.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems, Part II,” presented at the CONCUR: Concurrency Theory, 2001, vol. 2154, pp. 566–581.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 888
I. Jordan, F. Kondrashov, I. Rogozin, R. Tatusov, Y. Wolf, and E. Koonin, “Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins ,” Genome Biology, vol. 2, no. 12, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 1453   OA
G. Etesi and T. Hausel, “Geometric construction of new Yang-Mills instantons over Taub-NUT space,” Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics, vol. 514, no. 1–2, pp. 189–199, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2348   OA
C. Hainzl and R. Seiringer, “A discrete density matrix theory for atoms in strong magnetic fields,” Communications in Mathematical Physics, vol. 217, no. 1, pp. 229–248, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2608
G. López Bendito, R. Shigemoto, R. Luján, and J. Juíz, “Developmental changes in the localisation of the mGluR1α subtype of metabotropic glutamate receptors in Purkinje cells,” Neuroscience, vol. 105, no. 2, pp. 413–429, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2610
G. Sansig et al., “Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7,” Journal of Neuroscience, vol. 21, no. 22, pp. 8734–8745, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 2735
L. Erdös, “Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case,” Probability Theory and Related Fields, vol. 121, no. 2, pp. 219–236, 2001.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 2982
P. Gil et al., “BIG: A calossin-like protein required for polar auxin transport in Arabidopsis,” Genes and Development, vol. 15, no. 15, pp. 1985–1997, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3447
K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “Weighted quantified computation tree logic,” presented at the CIT: Conference on Information Technology, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 3517
I. Szabo, A. Czurkó, J. L. Csicsvari, H. Hirase, X. Leinekugel, and G. Buzsáki, “The application of printed circuit board technology for fabrication of multi-channel micro-drives,” Journal of Neuroscience Methods, vol. 105, no. 1, pp. 105–110, 2001.
View | DOI
 

2001 | Book | IST-REx-ID: 3586
H. Edelsbrunner, Geometry and Topology for Mesh Generation, vol. 7. Cambridge University Press, 2001.
View | Files available | DOI
 

2001 | Journal Article | IST-REx-ID: 3928
M. K. Sixt, R. Hallmann, O. Wendler, K. Scharffetter Kochanek, and L. 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, vol. 276, no. 22, pp. 18878–18887, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3930
M. K. Sixt, B. Engelhardt, F. Pausch, R. Hallmann, O. Wendler, and L. 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, vol. 153, no. 5, pp. 933–946, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4200
C. Heisenberg 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, vol. 15, no. 11, pp. 1427–1434, 2001.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 4229
J. P. Bollback and J. Huelsenbeck, “Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae),” Journal of Molecular Evolution, vol. 52, no. 2, pp. 117–128, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
L. De Alfaro and T. A. Henzinger, “Interface theories for component-based design,” presented at the EMSOFT: Embedded Software , 2001, vol. 2211, pp. 148–165.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 841
Y. Wolf, F. Kondrashov, and E. Koonin, “Footprints of primordial introns on the eukaryotic genome: still no clear traces ,” Trends in Genetics, vol. 17, no. 9, pp. 499–501, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 1454   OA
G. Etesi and T. Hausel, “Geometric interpretation of Schwarzschild instantons,” Journal of Geometry and Physics, vol. 37, no. 1–2, pp. 126–136, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2419
U. Wagner and E. Welzl, “A continuous analogue of the Upper Bound Theorem,” Discrete & Computational Geometry, vol. 26, no. 2, pp. 205–219, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2604
I. Ruocco, A. Cuello, R. Shigemoto, and A. 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, vol. 432, no. 4, pp. 466–480, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2609
Y. Tamaru, S. Nomura, N. Mizuno, and R. Shigemoto, “Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites,” Neuroscience, vol. 106, no. 3, pp. 481–503, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2611
I. Ruocco, A. Cuello, R. Shigemoto, and A. Ribeiro Da Silva, “Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin,” Neuroscience, vol. 108, no. 1, pp. 157–166, 2001.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 2983
N. Geldner, J. Friml, Y. Stierhof, G. Jürgens, and K. Palme, “Auxin transport inhibitors block PIN1 cycling and vesicle trafficking,” Nature, vol. 413, no. 6854, pp. 425–428, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3169
V. Kolmogorov and R. Zabih, “Computing visual correspondence with occlusions using graph cuts,” presented at the ICCV: International Conference on Computer Vision, 2001, vol. 2, pp. 508–515.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3493   OA
M. . Jones, P. M. Jonas, Y. Sahara, and G. Westbrook, “Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists,” Biophysical Journal, vol. 81, no. 5, pp. 2660–2670, 2001.
View | DOI | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4477
T. A. Henzinger, M. Minea, and V. Prabhu, “Assume-guarantee reasoning for hierarchical hybrid systems,” presented at the HSCC: Hybrid Systems - Computation and Control, 2001, vol. 2034, pp. 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4636
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “From verification to control: dynamic programs for omega-regular objectives,” presented at the LICS: Logic in Computer Science, 2001, pp. 279–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
R. Alur et al., “jMocha: A model-checking tool that exploits design structure,” presented at the ICSE: Software Engineering, 2001, pp. 835–836.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 2340   OA
R. Seiringer, “Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula,” presented at the PDE: Partial Differential Equations and Spectral Theory, 2001, vol. 126, pp. 307–314.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2001

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed