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.

5632 Publications


2001 | Journal Article | IST-REx-ID: 4200
Heisenberg C, Houart C, Take Uchi M, Rauch G, Young N, Coutinho P, Masai I, Caneparo L, Concha M, Geisler R, Dale T, Wilson S, 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.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
Barton NH. 2001. Adaptation at the edge of a species’ range. Integrating ecology and evolution in a spatial context. 365–392.
View
 

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

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro L, Henzinger TA. 2001. Interface theories for component-based design. EMSOFT: Embedded Software , LNCS, vol. 2211. 148–165.
View | DOI
 

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

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

2001 | Journal Article | IST-REx-ID: 1454   OA
Etesi G, Hausel T. 2001. Geometric interpretation of Schwarzschild instantons. Journal of Geometry and Physics. 37(1–2), 126–136.
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.
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.
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.
View | DOI
 

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.
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: 2983
Geldner N, Friml J, Stierhof Y, Jürgens G, Palme K. 2001. Auxin transport inhibitors block PIN1 cycling and vesicle trafficking. Nature. 413(6854), 425–428.
View | DOI
 

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

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

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger TA, Minea M, Prabhu V. 2001. Assume-guarantee reasoning for hierarchical hybrid systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2034. 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro L, Henzinger TA, Majumdar R. 2001. From verification to control: dynamic programs for omega-regular objectives. LICS: Logic in Computer Science 279–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
Alur R, De Alfaro L, Grosu R, Henzinger TA, Kang M, Kirsch C, Majumdar R, Mang F, Wang B. 2001. jMocha: A model-checking tool that exploits design structure. ICSE: Software Engineering 835–836.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 2340   OA
Seiringer R. 2001. Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. PDE: Partial Differential Equations and Spectral Theory, Operator Theory: Advances and Applications, vol. 126. 307–314.
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.
View | DOI | Download (ext.)
 

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.
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.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
Swarup R, Friml J, Marchant A, Ljung K, Sandberg G, Palme K, Bennett M. 2001. Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development. 15(20), 2648–2653.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3622
Gardner M, Fowler K, Patridge L, Barton NH. 2001. Genetic variation for preadult viability in Drosophila melanogaster. Evolution. 55(8), 1609–1620.
View | Download (ext.)
 

2001 | Patent | IST-REx-ID: 3507
Liang J, Edelsbrunner H. 2001. Molecular classification for property prediction.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3540
Hirase H, Leinekugel X, Czurkó A, Csicsvari JL, Buzsáki G. 2001. Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience. PNAS. 98(16), 9386–9390.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3494
Bartos M, Vida I, Frotscher M, Geiger J, Jonas PM. 2001. Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience. 21(8), 2687–2698.
View
 

2001 | Conference Paper | IST-REx-ID: 4005
Cheng H, Dey T, Edelsbrunner H, Sullivan J. 2001. Dynamic skin triangulation. SODA: Symposium on Discrete Algorithms 47–56.
View
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli M, Barton NH, Coyne J. 2001. Theory and speciation. Trends in Ecology and Evolution. 16(7), 330–343.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger TA, Horowitz B, Kirsch C. 2001. Embedded control systems development with Giotto. LCTES: Languages, Compilers, and Tools for Embedded Systems 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro L, Henzinger TA, Jhala R. 2001. Compositional methods for probabilistic systems. CONCUR: Concurrency Theory, LNCS, vol. 2154. 351–365.
View | DOI
 

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

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

2001 | Journal Article | IST-REx-ID: 867
Kondrashov F, Koonin E. 2001. Origin of alternative splicing by tandem exon duplication. Human Molecular Genetics. 10(23), 2661–2669.
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.
View | DOI
 

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.
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.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2985
Trnková L, Friml J, Dračka O. 2001. Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry. 54(2), 131–136.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3438
Huelsenbeck J, Ronquist F, Nielsen R, Bollback JP. 2001. Bayesian inference of phylogeny and its impact on evolutionary biology. Science. 294(5550), 2310–2314.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3440
Huelsenbeck J, Bollback JP. 2001. Empirical and hierarchical Bayesian estimation of ancestral states. Systematic Biology. 50(3), 351–366.
View | DOI
 

2001 | Book Review | IST-REx-ID: 3596
Barton NH. 2001. Mendel and mathematics. Trends in Genetics. 17, 420–420.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3546
Hirase H, Leinekugel X, Csicsvari JL, Czurkó A, Buzsáki G. 2001. Behavior-dependent states of the hippocampal network affect functional clustering of neurons. Journal of Neuroscience. 21(10).
View
 

2001 | Journal Article | IST-REx-ID: 3495
Jerecic J, Schulze C, Jonas PM, Sprengel R, Seeburg P, Bischofberger J. 2001. Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression. Molecular brain research. 94(1–2), 96–104.
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.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner H. 2001. 180 wrapped tubes. Journal of Universal Computer Science. 7(5), 379–399.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
Otto S, Barton NH. 2001. Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. 55(10), 1921–1931.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. 2001. Giotto: A time-triggered language for embedded programming. EMSOFT: Embedded Software , LNCS, vol. 2211. 166–184.
View | DOI
 

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

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro L, Henzinger TA, Majumdar R. 2001. Symbolic algorithms for infinite-state games. CONCUR: Concurrency Theory, LNCS, vol. 2154. 536–550.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 851
Rogozin I, Kondrashov F, Glazko G. 2001. Use of mutation spectra analysis software. Human Mutation. 17(2), 83–102.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed