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: 2608
López Bendito G, Shigemoto R, Luján R, Juíz J. Developmental changes in the localisation of the mGluR1α subtype of metabotropic glutamate receptors in Purkinje cells. Neuroscience. 2001;105(2):413-429. doi:10.1016/S0306-4522(01)00188-9
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 2610
Sansig G, Bushell T, Clarke V, et al. Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7. Journal of Neuroscience. 2001;21(22):8734-8745.
View
 

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

2001 | Journal Article | IST-REx-ID: 2612
Li J, Shigemoto R, Kulik Á, et al. Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat. Neuroscience Letters. 2001;315(1-2):93-97. doi:10.1016/S0304-3940(01)02321-7
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3927
Wolf D, Hallmann R, Sass G, 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. 2001;166(2):1300-1307.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3928
Sixt MK, Hallmann R, Wendler O, Scharffetter Kochanek K, Sorokin L. Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation. Journal of Biological Chemistry. 2001;276(22):18878-18887. doi:10.1074/jbc.M010898200
View | DOI
 

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

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

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

2001 | Conference Paper | IST-REx-ID: 4005
Cheng H, Dey T, Edelsbrunner H, Sullivan J. Dynamic skin triangulation. In: SIAM; 2001:47-56.
View
 

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

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

2001 | Journal Article | IST-REx-ID: 4200
Heisenberg C, Houart C, Take Uchi M, 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. 2001;15(11):1427-1434. doi:10.1101/gad.194301
View | DOI
 

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

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

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

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

2001 | Book Chapter | IST-REx-ID: 4267
Barton NH. Adaptation at the edge of a species’ range. In: Integrating Ecology and Evolution in a Spatial Context. Cambridge University Press; 2001:365-392.
View
 

2001 | Book Chapter | IST-REx-ID: 4278
Barton NH. 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 TA, Kirsch C. EMSOFT: Embedded Software. Vol 2211. ACM; 2001. doi:10.1007/3-540-45449-7
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger TA, Preussig J, Wong Toi H. Some lessons from the HYTECH experience. In: Vol 3. IEEE; 2001:2887-2892. doi:10.1109/.2001.980714
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger TA, Minea M, Prabhu V. Assume-guarantee reasoning for hierarchical hybrid systems. In: Vol 2034. Springer; 2001:275-290. doi:10.1007/3-540-45351-2_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: ACM; 2001:64-72. doi:10.1145/384197.384208
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. In: Vol 2211. ACM; 2001:166-184. doi:1303
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
Brown T, Pasetti A, Pree W, Henzinger TA, Kirsch C. A reusable and platform-independent framework for distributed control systems. In: IEEE; 2001:1-11. doi:10.1109/DASC.2001.964169
View | DOI
 

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

2001 | Conference Paper | IST-REx-ID: 4600
Alur R, De Alfaro L, Grosu R, et al. jMocha: A model-checking tool that exploits design structure. In: IEEE; 2001:835-836. doi:10.1109/ICSE.2001.919196
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro L, Henzinger TA. Interface automata. In: ACM; 2001:109-120. doi:10.1145/503209.503226
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro L, Henzinger TA. Interface theories for component-based design. In: Vol 2211. ACM; 2001:148-165. doi:10.1007/3-540-45449-7_11
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro L, Henzinger TA, Jhala R. Compositional methods for probabilistic systems. In: Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:351-365. doi:10.1007/3-540-44685-0_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro L, Henzinger TA, Majumdar R. Symbolic algorithms for infinite-state games. In: Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:536-550. doi:10.1007/3-540-44685-0_36
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems, Part II. In: Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:566-581. doi:10.1007/3-540-44685-0_38
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
De Alfaro L, Henzinger TA, Mang F. MCWEB: A model-checking tool for web-site debugging. In: ACM; 2001:86-87.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro L, Henzinger TA, Majumdar R. From verification to control: dynamic programs for omega-regular objectives. In: IEEE; 2001:279-290. doi:10.1109/LICS.2001.932504
View | DOI
 

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

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

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

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

2001 | Journal Article | IST-REx-ID: 2981 | OA
Molendijk A, Bischoff F, Rajendrakumar C, et al. Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth. EMBO Journal. 2001;20(11):2779-2788. doi:10.1093/emboj/20.11.2779
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
Gil P, Dewey E, Friml J, et al. BIG: A calossin-like protein required for polar auxin transport in Arabidopsis. Genes and Development. 2001;15(15):1985-1997. doi:10.1101/gad.905201
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2983
Geldner N, Friml J, Stierhof Y, Jürgens G, Palme K. Auxin transport inhibitors block PIN1 cycling and vesicle trafficking. Nature. 2001;413(6854):425-428. doi:10.1038/35096571
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
Swarup R, Friml J, Marchant A, et al. Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development. 2001;15(20):2648-2653. doi:10.1101/gad.210501
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2985
Trnková L, Friml J, Dračka O. Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry. 2001;54(2):131-136. doi:10.1016/S1567-5394(01)00119-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 841
Wolf Y, Kondrashov F, Koonin E. Footprints of primordial introns on the eukaryotic genome: still no clear traces . Trends in Genetics. 2001;17(9):499-501. doi:10.1016/S0168-9525(01)02376-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 851
Rogozin I, Kondrashov F, Glazko G. Use of mutation spectra analysis software. Human Mutation. 2001;17(2):83-102. doi:10.1002/1098-1004(200102)17:2<83::AID-HUMU1>3.0.CO;2-E
View | DOI
 

2001 | Journal Article | IST-REx-ID: 855
Rogozin I, Kochetov A, Kondrashov F, Koonin E, Milanesi L. Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a ’weak’context of the start codon. Bioinformatics. 2001;17(10):890-900. doi:10.1093/bioinformatics/17.10.890
View | DOI
 

2001 | Journal Article | IST-REx-ID: 867
Kondrashov F, Koonin E. Origin of alternative splicing by tandem exon duplication. Human Molecular Genetics. 2001;10(23):2661-2669. doi:10.1093/hmg/10.23.2661
View | DOI
 

2001 | Journal Article | IST-REx-ID: 874
Kondrashov F, Kondrashov A. Multidimensional epistasis and the disadvantage of sex. PNAS. 2001;98(21):12089-12092. doi:10.1073/pnas.211214298
View | DOI
 

2001 | Journal Article | IST-REx-ID: 888
Jordan I, Kondrashov F, Rogozin I, Tatusov R, Wolf Y, Koonin E. Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins . Genome Biology. 2001;2(12). doi:10.1186/gb-2001-2-12-research0053
View | DOI
 

Search

Filter Publications