Please note that ISTA 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.

89 Publications


2001 | Conference Paper | IST-REx-ID: 4477
Assume-guarantee reasoning for hierarchical hybrid systems
T.A. Henzinger, M. Minea, V. Prabhu, in:, Proceedings of the 4th International Workshop on Hybrid Systems, Springer, 2001, pp. 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, ACM, 2001, pp. 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Some lessons from the HYTECH experience
T.A. Henzinger, J. Preussig, H. Wong Toi, in:, Proceedings of the 40th IEEE Conference on Decision and Control, IEEE, 2001, pp. 2887–2892.
View | DOI
 

2001 | Conference (Editor) | IST-REx-ID: 4449
EMSOFT: Embedded Software
T.A. Henzinger, ed., EMSOFT: Embedded Software, ACM, 2001.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 4200 | OA
A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon
C.-P.J. 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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4266
The role of hybridization in evolution
N.H. Barton, Molecular Ecology 10 (2001) 551–568.
View | DOI | PubMed | Europe PMC
 

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 | PubMed | Europe PMC
 

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 | PubMed | Europe PMC
 

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 | PubMed | Europe PMC
 

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

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

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
 

2001 | Conference Paper | IST-REx-ID: 4005
Dynamic skin triangulation
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, in:, Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2001, pp. 47–56.
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4007
Dynamic skin triangulation
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, Discrete & Computational Geometry 25 (2001) 525–568.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 3928 | OA
Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation
M.K. Sixt, R. Hallmann, O. Wendler, K. Scharffetter Kochanek, L. Sorokin, Journal of Biological Chemistry 276 (2001) 18878–18887.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3927 | OA
TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis
D. Wolf, R. Hallmann, G. Sass, M.K. Sixt, S. Küsters, B. Fregien, C. Trautwein, G. Tiegs, Journal of Immunology 166 (2001) 1300–1307.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3930 | OA
Endothelial cell laminin isoforms, laminins 8 and 10, play decisive roles in T cell recruitment across the blood-brain barrier in experimental autoimmune encephalomyelitis
M.K. Sixt, B. Engelhardt, F. Pausch, R. Hallmann, O. Wendler, L. Sorokin, Journal of Cell Biology 153 (2001) 933–946.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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 | DOI | Download None (ext.) | PubMed | Europe PMC
 

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

2001 | Journal Article | IST-REx-ID: 3546 | OA
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).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3540 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3494 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

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 | PubMed | Europe PMC
 

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

2001 | Journal Article | IST-REx-ID: 3493 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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 | PubMed | Europe PMC
 

2001 | Conference Paper | IST-REx-ID: 3169
Computing visual correspondence with occlusions using graph cuts
V. Kolmogorov, R. Zabih, in:, Proceedings of the 8th IEEE International Conference on Computer Vision, IEEE, 2001, pp. 508–515.
View | DOI
 

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

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 | PubMed | Europe PMC
 

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 | PubMed | Europe PMC
 

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

2001 | Journal Article | IST-REx-ID: 2982 | OA
BIG: A calossin-like protein required for polar auxin transport in Arabidopsis
P. Gil, E. Dewey, J. Friml, Y. Zhao, K. Snowden, J. Putterill, K. Palme, M. Estelle, J. Chory, Genes and Development 15 (2001) 1985–1997.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2984 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2981 | OA
Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth
A. Molendijk, F. Bischoff, C. Rajendrakumar, J. Friml, M. Braun, S. Gilroy, K. Palme, EMBO Journal 20 (2001) 2779–2788.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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 | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2736 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Journal Article | IST-REx-ID: 2735 | OA
Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case
L. Erdös, Probability Theory and Related Fields 121 (2001) 219–236.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Journal Article | IST-REx-ID: 2734 | OA
The kernel of Dirac operators on S3 and R3
L. Erdös, J. Solovej, Reviews in Mathematical Physics 13 (2001) 1247–1280.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

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 | PubMed | Europe PMC
 

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 | PubMed | Europe PMC
 

2001 | Book Chapter | IST-REx-ID: 2709
Long time dynamics of an electron in a weakly coupled phonon field
L. Erdös, in:, 13th International Congress of Mathematical Physics, International Press of Boston, 2001, pp. 273–281.
View
 

2001 | Journal Article | IST-REx-ID: 2610 | OA
Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7
G. Sansig, T. Bushell, V. Clarke, A. Rozov, N. Burnashev, C. Portet, F. Gasparini, M. Schmutz, K. Klebs, R. Shigemoto, P. Flor, R. Kühn, T. Knoepfel, M. Schroeder, D. Hampson, V. Collett, C. Zhang, R. Duvoisin, G. Collingridge, H. Van Der Putten, Journal of Neuroscience 21 (2001) 8734–8745.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2609 View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2608
Developmental changes in the localisation of the mGluR1α subtype of metabotropic glutamate receptors in Purkinje cells
G. López Bendito, R. Shigemoto, R. Luján, J. Juíz, Neuroscience 105 (2001) 413–429.
View | DOI | PubMed | Europe PMC
 

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

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 | PubMed | Europe PMC
 

Filters and Search Terms

year=2001

Search

Filter Publications