en
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
A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon
C. Heisenberg, C. Houart, M. Take Uchi, G. Rauch, N. Young, P. Coutinho, I. Masai, L. Caneparo, M. Concha, R. Geisler, T. Dale, S. Wilson, D. Stemple, Genes and Development 15 (2001) 1427–1434.
View
| DOI
C. Heisenberg, C. Houart, M. Take Uchi, G. Rauch, N. Young, P. Coutinho, I. Masai, L. Caneparo, M. Concha, R. Geisler, T. Dale, S. Wilson, D. Stemple, Genes and Development 15 (2001) 1427–1434.
2001 | Book Chapter | IST-REx-ID: 4267
Adaptation at the edge of a species' range
N.H. Barton, in:, Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–392.
View
N.H. Barton, in:, Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–392.
2001 | Journal Article | IST-REx-ID: 4229
Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae)
J.P. Bollback, J. Huelsenbeck, Journal of Molecular Evolution 52 (2001) 117–128.
View
| DOI
J.P. Bollback, J. Huelsenbeck, Journal of Molecular Evolution 52 (2001) 117–128.
2001 | Conference Paper | IST-REx-ID: 4623
Interface theories for component-based design
L. De Alfaro, T.A. Henzinger, in:, ACM, 2001, pp. 148–165.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, ACM, 2001, pp. 148–165.
2001 | Conference Paper | IST-REx-ID: 4635
MCWEB: A model-checking tool for web-site debugging
L. De Alfaro, T.A. Henzinger, F. Mang, in:, ACM, 2001, pp. 86–87.
View
| Download (ext.)
L. De Alfaro, T.A. Henzinger, F. Mang, in:, ACM, 2001, pp. 86–87.
2001 | Journal Article | IST-REx-ID: 841
Footprints of primordial introns on the eukaryotic genome: still no clear traces
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
View
| DOI
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
2001 | Journal Article | IST-REx-ID: 1454 
Geometric interpretation of Schwarzschild instantons
G. Etesi, T. Hausel, Journal of Geometry and Physics 37 (2001) 126–136.
View
| DOI
| Download (ext.)
G. Etesi, T. Hausel, Journal of Geometry and Physics 37 (2001) 126–136.
2001 | Journal Article | IST-REx-ID: 2419
A continuous analogue of the Upper Bound Theorem
U. Wagner, E. Welzl, Discrete & Computational Geometry 26 (2001) 205–219.
View
| DOI
U. Wagner, E. Welzl, Discrete & Computational Geometry 26 (2001) 205–219.
2001 | Journal Article | IST-REx-ID: 2604
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
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Journal of Comparative Neurology 432 (2001) 466–480.
View
| DOI
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Journal of Comparative Neurology 432 (2001) 466–480.
2001 | Journal Article | IST-REx-ID: 2609
Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites
Y. Tamaru, S. Nomura, N. Mizuno, R. Shigemoto, Neuroscience 106 (2001) 481–503.
View
| DOI
Y. Tamaru, S. Nomura, N. Mizuno, R. Shigemoto, Neuroscience 106 (2001) 481–503.
2001 | Journal Article | IST-REx-ID: 2611
Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Neuroscience 108 (2001) 157–166.
View
| DOI
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Neuroscience 108 (2001) 157–166.
2001 | Journal Article | IST-REx-ID: 2736
Derivation of the nonlinear Schrödinger equation from a many body Coulomb system
L. Erdös, H. Yau, Advances in Theoretical and Mathematical Physics 5 (2001) 1169–1205.
View
| Download (ext.)
L. Erdös, H. Yau, Advances in Theoretical and Mathematical Physics 5 (2001) 1169–1205.
2001 | Journal Article | IST-REx-ID: 2983
Auxin transport inhibitors block PIN1 cycling and vesicle trafficking
N. Geldner, J. Friml, Y. Stierhof, G. Jürgens, K. Palme, Nature 413 (2001) 425–428.
View
| DOI
N. Geldner, J. Friml, Y. Stierhof, G. Jürgens, K. Palme, Nature 413 (2001) 425–428.
2001 | Conference Paper | IST-REx-ID: 3169
Computing visual correspondence with occlusions using graph cuts
V. Kolmogorov, R. Zabih, in:, IEEE, 2001, pp. 508–515.
View
| DOI
| Download (ext.)
V. Kolmogorov, R. Zabih, in:, IEEE, 2001, pp. 508–515.
2001 | Journal Article | IST-REx-ID: 3493
Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists
M.. Jones, P.M. Jonas, Y. Sahara, G. Westbrook, Biophysical Journal 81 (2001) 2660–2670.
View
| DOI
| Download (ext.)
M.. Jones, P.M. Jonas, Y. Sahara, G. Westbrook, Biophysical Journal 81 (2001) 2660–2670.
2001 | Conference Paper | IST-REx-ID: 4477
Assume-guarantee reasoning for hierarchical hybrid systems
T.A. Henzinger, M. Minea, V. Prabhu, in:, Springer, 2001, pp. 275–290.
View
| DOI
T.A. Henzinger, M. Minea, V. Prabhu, in:, Springer, 2001, pp. 275–290.
2001 | Conference Paper | IST-REx-ID: 4636
From verification to control: dynamic programs for omega-regular objectives
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, IEEE, 2001, pp. 279–290.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, IEEE, 2001, pp. 279–290.
2001 | Conference Paper | IST-REx-ID: 4600
jMocha: A model-checking tool that exploits design structure
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, IEEE, 2001, pp. 835–836.
View
| DOI
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, IEEE, 2001, pp. 835–836.
2001 | Conference Paper | IST-REx-ID: 2340
Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
View
| DOI
| Download (ext.)
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
2001 | Journal Article | IST-REx-ID: 2345
On the maximal ionization of atoms in strong magnetic fields
R. Seiringer, Journal of Physics A: Mathematical and General 34 (2001) 1943–1948.
View
| DOI
| Download (ext.)
R. Seiringer, Journal of Physics A: Mathematical and General 34 (2001) 1943–1948.
2001 | Journal Article | IST-REx-ID: 2605
Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum
F. Geurts, J. Timmermans, R. Shigemoto, E. De Schutter, Neuroscience 104 (2001) 499–512.
View
| DOI
F. Geurts, J. Timmermans, R. Shigemoto, E. De Schutter, Neuroscience 104 (2001) 499–512.
2001 | Journal Article | IST-REx-ID: 2612
Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat
J. Li, R. Shigemoto, Á. Kulik, P. Chen, S. Nomura, T. Kaneko, N. Mizuno, Neuroscience Letters 315 (2001) 93–97.
View
| DOI
J. Li, R. Shigemoto, Á. Kulik, P. Chen, S. Nomura, T. Kaneko, N. Mizuno, Neuroscience Letters 315 (2001) 93–97.
2001 | Journal Article | IST-REx-ID: 2984
Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex
R. Swarup, J. Friml, A. Marchant, K. Ljung, G. Sandberg, K. Palme, M. Bennett, Genes and Development 15 (2001) 2648–2653.
View
| DOI
R. Swarup, J. Friml, A. Marchant, K. Ljung, G. Sandberg, K. Palme, M. Bennett, Genes and Development 15 (2001) 2648–2653.
2001 | Journal Article | IST-REx-ID: 3622
Genetic variation for preadult viability in Drosophila melanogaster
M. Gardner, K. Fowler, L. Patridge, N.H. Barton, Evolution 55 (2001) 1609–1620.
View
| Download (ext.)
M. Gardner, K. Fowler, L. Patridge, N.H. Barton, Evolution 55 (2001) 1609–1620.
2001 | Patent | IST-REx-ID: 3507
Molecular classification for property prediction
J. Liang, H. Edelsbrunner, (2001).
View
| DOI
| Download (ext.)
J. Liang, H. Edelsbrunner, (2001).
2001 | Journal Article | IST-REx-ID: 3540
Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience
H. Hirase, X. Leinekugel, A. Czurkó, J.L. Csicsvari, G. Buzsáki, PNAS 98 (2001) 9386–9390.
View
| DOI
H. Hirase, X. Leinekugel, A. Czurkó, J.L. Csicsvari, G. Buzsáki, PNAS 98 (2001) 9386–9390.
2001 | Journal Article | IST-REx-ID: 3494
Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network.
M. Bartos, I. Vida, M. Frotscher, J. Geiger, P.M. Jonas, Journal of Neuroscience 21 (2001) 2687–2698.
View
M. Bartos, I. Vida, M. Frotscher, J. Geiger, P.M. Jonas, Journal of Neuroscience 21 (2001) 2687–2698.
2001 | Conference Paper | IST-REx-ID: 4005
Dynamic skin triangulation
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, in:, SIAM, 2001, pp. 47–56.
View
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, in:, SIAM, 2001, pp. 47–56.
2001 | Journal Article | IST-REx-ID: 4264
Theory and speciation
M. Turelli, N.H. Barton, J. Coyne, Trends in Ecology and Evolution 16 (2001) 330–343.
View
| DOI
M. Turelli, N.H. Barton, J. Coyne, Trends in Ecology and Evolution 16 (2001) 330–343.
2001 | Conference Paper | IST-REx-ID: 4478
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 64–72.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 64–72.
2001 | Conference Paper | IST-REx-ID: 4632
Compositional methods for probabilistic systems
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
2001 | Journal Article | IST-REx-ID: 874
Multidimensional epistasis and the disadvantage of sex
F. Kondrashov, A. Kondrashov, PNAS 98 (2001) 12089–12092.
View
| DOI
F. Kondrashov, A. Kondrashov, PNAS 98 (2001) 12089–12092.
2001 | Journal Article | IST-REx-ID: 855
Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a 'weak'context of the start codon
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, L. Milanesi, Bioinformatics 17 (2001) 890–900.
View
| DOI
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, L. Milanesi, Bioinformatics 17 (2001) 890–900.
2001 | Journal Article | IST-REx-ID: 867
Origin of alternative splicing by tandem exon duplication
F. Kondrashov, E. Koonin, Human Molecular Genetics 10 (2001) 2661–2669.
View
| DOI
F. Kondrashov, E. Koonin, Human Molecular Genetics 10 (2001) 2661–2669.
2001 | Journal Article | IST-REx-ID: 2606
Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors
G. Martínez, G. López Bendito, R. Luján, R. Shigemoto, A. Fairén, M. Valdeolmillos, European Journal of Neuroscience 13 (2001) 1147–1154.
View
| DOI
G. Martínez, G. López Bendito, R. Luján, R. Shigemoto, A. Fairén, M. Valdeolmillos, European Journal of Neuroscience 13 (2001) 1147–1154.
2001 | Journal Article | IST-REx-ID: 2341
Atoms with bosonic "electrons" in strong magnetic fields
B. Baumgartner, R. Seiringer, Annales Henri Poincare 2 (2001) 41–76.
View
| DOI
| Download (ext.)
B. Baumgartner, R. Seiringer, Annales Henri Poincare 2 (2001) 41–76.
2001 | Journal Article | IST-REx-ID: 2346
Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 55 (2001) 133–142.
View
| DOI
| Download (ext.)
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 55 (2001) 133–142.
2001 | Journal Article | IST-REx-ID: 2985
Elimination voltammetry of adenine and cytosine mixtures
L. Trnková, J. Friml, O. Dračka, Bioelectrochemistry 54 (2001) 131–136.
View
| DOI
L. Trnková, J. Friml, O. Dračka, Bioelectrochemistry 54 (2001) 131–136.
2001 | Journal Article | IST-REx-ID: 3438
Bayesian inference of phylogeny and its impact on evolutionary biology
J. Huelsenbeck, F. Ronquist, R. Nielsen, J.P. Bollback, Science 294 (2001) 2310–2314.
View
| DOI
J. Huelsenbeck, F. Ronquist, R. Nielsen, J.P. Bollback, Science 294 (2001) 2310–2314.
2001 | Journal Article | IST-REx-ID: 3440
Empirical and hierarchical Bayesian estimation of ancestral states
J. Huelsenbeck, J.P. Bollback, Systematic Biology 50 (2001) 351–366.
View
| DOI
J. Huelsenbeck, J.P. Bollback, Systematic Biology 50 (2001) 351–366.
2001 | Book Review | IST-REx-ID: 3596
Mendel and mathematics
N.H. Barton, Trends in Genetics 17 (2001) 420–420.
View
| DOI
N.H. Barton, Trends in Genetics 17 (2001) 420–420.
2001 | Journal Article | IST-REx-ID: 3546
Behavior-dependent states of the hippocampal network affect functional clustering of neurons
H. Hirase, X. Leinekugel, J.L. Csicsvari, A. Czurkó, G. Buzsáki, Journal of Neuroscience 21 (2001).
View
H. Hirase, X. Leinekugel, J.L. Csicsvari, A. Czurkó, G. Buzsáki, Journal of Neuroscience 21 (2001).
2001 | Journal Article | IST-REx-ID: 3495
Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression
J. Jerecic, C. Schulze, P.M. Jonas, R. Sprengel, P. Seeburg, J. Bischofberger, Molecular Brain Research 94 (2001) 96–104.
View
| DOI
J. Jerecic, C. Schulze, P.M. Jonas, R. Sprengel, P. Seeburg, J. Bischofberger, Molecular Brain Research 94 (2001) 96–104.
2001 | Journal Article | IST-REx-ID: 4001
Shape space from deformation
H. Cheng, H. Edelsbrunner, P. Fu, Computational Geometry: Theory and Applications 19 (2001) 191–204.
View
| DOI
H. Cheng, H. Edelsbrunner, P. Fu, Computational Geometry: Theory and Applications 19 (2001) 191–204.
2001 | Journal Article | IST-REx-ID: 4006
180 wrapped tubes
H. Edelsbrunner, Journal of Universal Computer Science 7 (2001) 379–399.
View
| DOI
H. Edelsbrunner, Journal of Universal Computer Science 7 (2001) 379–399.
2001 | Journal Article | IST-REx-ID: 4265
Selection for recombination in small populations
S. Otto, N.H. Barton, Evolution; International Journal of Organic Evolution 55 (2001) 1921–1931.
View
| DOI
S. Otto, N.H. Barton, Evolution; International Journal of Organic Evolution 55 (2001) 1921–1931.
2001 | Conference Paper | IST-REx-ID: 4479
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 166–184.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 166–184.
2001 | Journal Article | IST-REx-ID: 4599
Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, Formal Methods in System Design 18 (2001) 97–116.
View
| DOI
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, Formal Methods in System Design 18 (2001) 97–116.
2001 | Conference Paper | IST-REx-ID: 4633
Symbolic algorithms for infinite-state games
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
2001 | Journal Article | IST-REx-ID: 851
Use of mutation spectra analysis software
I. Rogozin, F. Kondrashov, G. Glazko, Human Mutation 17 (2001) 83–102.
View
| DOI
I. Rogozin, F. Kondrashov, G. Glazko, Human Mutation 17 (2001) 83–102.