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.
9113 Publications
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Bartos, I. Vida, M. Frotscher, J. Geiger, P.M. Jonas, Journal of Neuroscience 21 (2001) 2687–2698.
2001 | Journal Article | IST-REx-ID: 3496 |
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
H. Alle, P.M. Jonas, J. Geiger, PNAS 98 (2001) 14708–14713.
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
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: 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
I. Szabo, A. Czurkó, J.L. Csicsvari, H. Hirase, X. Leinekugel, G. Buzsáki, Journal of Neuroscience Methods 105 (2001) 105–110.
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M.. Jones, P.M. Jonas, Y. Sahara, G. Westbrook, Biophysical Journal 81 (2001) 2660–2670.
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
L. Trnková, J. Friml, O. Dračka, Bioelectrochemistry 54 (2001) 131–136.
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
V. Kolmogorov, R. Zabih, in:, Proceedings of the 8th IEEE International Conference on Computer Vision, IEEE, 2001, pp. 508–515.
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
J. Conn, J.P. Bollback, D. Onyabe, T. Robinson, R. Wilkerson, M. Povoa, Molecular Ecology Notes 1 (2001) 223–225.
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
J. Huelsenbeck, J.P. Bollback, Systematic Biology 50 (2001) 351–366.
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
J. Huelsenbeck, F. Ronquist, R. Nielsen, J.P. Bollback, Science 294 (2001) 2310–2314.
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
J. Huelsenbeck, J.P. Bollback, in:, D. Balding, M. Bishop, C. Cannings (Eds.), Handbook of Statistical Genetics, Wiley-Blackwell, 2001, pp. 415–439.
2001 | Journal Article | IST-REx-ID: 2982 |
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
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.
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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: 2981 |
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
A. Molendijk, F. Bischoff, C. Rajendrakumar, J. Friml, M. Braun, S. Gilroy, K. Palme, EMBO Journal 20 (2001) 2779–2788.
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
N. Geldner, J. Friml, Y. Stierhof, G. Jürgens, K. Palme, Nature 413 (2001) 425–428.
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
L. Erdös, H. Yau, Advances in Theoretical and Mathematical Physics 5 (2001) 1169–1205.
2001 | Journal Article | IST-REx-ID: 2735 |
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
L. Erdös, Probability Theory and Related Fields 121 (2001) 219–236.
2001 | Journal Article | IST-REx-ID: 2734 |
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
L. Erdös, J. Solovej, Reviews in Mathematical Physics 13 (2001) 1247–1280.
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
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Neuroscience 108 (2001) 157–166.
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
J. Li, R. Shigemoto, Á. Kulik, P. Chen, S. Nomura, T. Kaneko, N. Mizuno, Neuroscience Letters 315 (2001) 93–97.
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
L. Erdös, in:, 13th International Congress of Mathematical Physics, International Press of Boston, 2001, pp. 273–281.
2001 | Journal Article | IST-REx-ID: 2610 |
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
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.
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
| PubMed | Europe PMC
Y. Tamaru, S. Nomura, N. Mizuno, R. Shigemoto, Neuroscience 106 (2001) 481–503.
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
G. López Bendito, R. Shigemoto, R. Luján, J. Juíz, Neuroscience 105 (2001) 413–429.
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
S. Mion, C. Corti, A. Neki, R. Shigemoto, M. Corsi, G. Fumagalli, F. Ferraguti, Molecular and Cellular Neuroscience 17 (2001) 957–972.
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
F. Geurts, J. Timmermans, R. Shigemoto, E. De Schutter, Neuroscience 104 (2001) 499–512.
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
| PubMed | Europe PMC
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Journal of Comparative Neurology 432 (2001) 466–480.
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
| PubMed | Europe PMC
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: 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: 2348 |
A discrete density matrix theory for atoms in strong magnetic fields
C. Hainzl, R. Seiringer, Communications in Mathematical Physics 217 (2001) 229–248.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Hainzl, R. Seiringer, Communications in Mathematical Physics 217 (2001) 229–248.
2001 | Journal Article | IST-REx-ID: 2347 |
A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 224 (2001) 17–31.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 224 (2001) 17–31.
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 None (ext.)
| arXiv
R. Seiringer, Journal of Physics A: Mathematical and General 34 (2001) 1943–1948.
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 None (ext.)
| arXiv
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 55 (2001) 133–142.
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 None (ext.)
| arXiv
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
2001 | Journal Article | IST-REx-ID: 1452 |
Examples of mirror partners arising from integrable systems
T. Hausel, M. Thaddeus, Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics 333 (2001) 313–318.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Hausel, M. Thaddeus, Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics 333 (2001) 313–318.
2001 | Journal Article | IST-REx-ID: 888 |
Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins
I. Jordan, F. Kondrashov, I. Rogozin, R. Tatusov, Y. Wolf, E. Koonin, Genome Biology 2 (2001).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
I. Jordan, F. Kondrashov, I. Rogozin, R. Tatusov, Y. Wolf, E. Koonin, Genome Biology 2 (2001).
2001 | Journal Article | IST-REx-ID: 1453 |
Geometric construction of new Yang-Mills instantons over Taub-NUT space
G. Etesi, T. Hausel, Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 514 (2001) 189–199.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Etesi, T. Hausel, Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 514 (2001) 189–199.
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Etesi, T. Hausel, Journal of Geometry and Physics 37 (2001) 126–136.
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
| PubMed | Europe PMC
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, L. Milanesi, Bioinformatics 17 (2001) 890–900.
2001 | Journal Article | IST-REx-ID: 874 |
Multidimensional epistasis and the disadvantage of sex
F. Kondrashov, A. Kondrashov, PNAS 98 (2001) 12089–12092.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
F. Kondrashov, A. Kondrashov, PNAS 98 (2001) 12089–12092.
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.
[Published Version]
View
| DOI
| PubMed | Europe PMC
F. Kondrashov, E. Koonin, Human Molecular Genetics 10 (2001) 2661–2669.
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
| PubMed | Europe PMC
I. Rogozin, F. Kondrashov, G. Glazko, Human Mutation 17 (2001) 83–102.
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
| PubMed | Europe PMC
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
2001 | Journal Article | IST-REx-ID: 11755
Hyperlink analysis for the Web
M.H. Henzinger, IEEE Internet Computing 5 (2001) 45–50.
View
| DOI
| WoS
M.H. Henzinger, IEEE Internet Computing 5 (2001) 45–50.
2000 | Journal Article | IST-REx-ID: 11126
An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins
M. Hetzer, I.W. Mattaj, Journal of Cell Biology 148 (2000) 293–304.
View
| DOI
| PubMed | Europe PMC
M. Hetzer, I.W. Mattaj, Journal of Cell Biology 148 (2000) 293–304.
2000 | Journal Article | IST-REx-ID: 11127 |
GTP hydrolysis by Ran is required for nuclear envelope assembly
M. Hetzer, D. Bilbao-Cortés, T.C. Walther, O.J. Gruss, I.W. Mattaj, Molecular Cell 5 (2000) 1013–1024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Hetzer, D. Bilbao-Cortés, T.C. Walther, O.J. Gruss, I.W. Mattaj, Molecular Cell 5 (2000) 1013–1024.
2000 | Journal Article | IST-REx-ID: 11683
Computing vertex connectivity: New bounds from old techniques
M.H. Henzinger, S. Rao, H.N. Gabow, Journal of Algorithms 34 (2000) 222–250.
View
| DOI
M.H. Henzinger, S. Rao, H.N. Gabow, Journal of Algorithms 34 (2000) 222–250.
2000 | Journal Article | IST-REx-ID: 11685
On near-uniform URL sampling
M.H. Henzinger, A. Heydon, M. Mitzenmacher, M. Najork, Computer Networks 33 (2000) 295–308.
View
| DOI
M.H. Henzinger, A. Heydon, M. Mitzenmacher, M. Najork, Computer Networks 33 (2000) 295–308.
2000 | Journal Article | IST-REx-ID: 11694
Exploring unknown environments
S. Albers, M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1164–1188.
View
| DOI
S. Albers, M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1164–1188.
2000 | Journal Article | IST-REx-ID: 11770 |
A comparison of techniques to find mirrored hosts on the WWW
K. Bharat, A. Broder, J. Dean, M.H. Henzinger, Journal of the American Society for Information Science 51 (2000) 1114–1122.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Bharat, A. Broder, J. Dean, M.H. Henzinger, Journal of the American Society for Information Science 51 (2000) 1114–1122.
2000 | Conference Paper | IST-REx-ID: 11802
Web information retrieval - an algorithmic perspective
M.H. Henzinger, in:, 8th Annual European Symposium on Algorithms, Springer Nature, 2000, pp. 1–8.
View
| DOI
M.H. Henzinger, in:, 8th Annual European Symposium on Algorithms, Springer Nature, 2000, pp. 1–8.
2000 | Journal Article | IST-REx-ID: 11893
Improved data structures for fully dynamic biconnectivity
M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1761–1815.
View
| DOI
M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1761–1815.
2000 | Conference Paper | IST-REx-ID: 2325
Inequalities for Schrödinger operators and applications to the stability of matter problem
R. Seiringer, in:, American Mathematical Society, 2000, pp. 53–72.
View
| DOI
R. Seiringer, in:, American Mathematical Society, 2000, pp. 53–72.
2000 | Journal Article | IST-REx-ID: 2343 |
On the ordering of energy levels in homogeneous magnetic fields
B. Baumgartner, R. Seiringer, Letters in Mathematical Physics 54 (2000) 213–226.
View
| DOI
| Download (ext.)
B. Baumgartner, R. Seiringer, Letters in Mathematical Physics 54 (2000) 213–226.
2000 | Journal Article | IST-REx-ID: 8525
Generic diffeomorphisms with superexponential growth of number of periodic orbits
V. Kaloshin, Communications in Mathematical Physics 211 (2000) 253–271.
View
| DOI
V. Kaloshin, Communications in Mathematical Physics 211 (2000) 253–271.
2000 | Conference Paper | IST-REx-ID: 4637
The control of synchronous systems
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 11th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 11th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.
2000 | Conference Paper | IST-REx-ID: 4638
Detecting errors before reaching them
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on Computer Aided Verification, Springer, 2000, pp. 186–201.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on Computer Aided Verification, Springer, 2000, pp. 186–201.
2000 | Conference Paper | IST-REx-ID: 4627
Concurrent omega-regular games
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–154.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–154.
2000 | Conference Paper | IST-REx-ID: 4512
Masaccio: A formal model for embedded components
T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563.
View
| DOI
T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563.
2000 | Journal Article | IST-REx-ID: 4598
Discrete abstractions of hybrid systems
R. Alur, T.A. Henzinger, G. Lafferriere, G. Pappas, Proceedings of the IEEE 88 (2000) 971–984.
View
| DOI
R. Alur, T.A. Henzinger, G. Lafferriere, G. Pappas, Proceedings of the IEEE 88 (2000) 971–984.
2000 | Conference Paper | IST-REx-ID: 4482
Abstract interpretation of game properties
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Proceedings of the 7th International Symposium on Static Analysis, Springer, 2000, pp. 220–239.
View
| DOI
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Proceedings of the 7th International Symposium on Static Analysis, Springer, 2000, pp. 220–239.
2000 | Conference Paper | IST-REx-ID: 4481
Beyond HyTech: Hybrid systems analysis using interval numerical methods
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 130–144.
View
| DOI
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 130–144.
2000 | Conference Paper | IST-REx-ID: 4483
Decomposing refinement proofs using assume-guarantee reasoning
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 2000 International Conference on Computer-Aided Design, IEEE, 2000, pp. 245–252.
View
| DOI
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 2000 International Conference on Computer-Aided Design, IEEE, 2000, pp. 245–252.
2000 | Book Chapter | IST-REx-ID: 4513
The theory of hybrid automata
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.
View
| DOI
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.
2000 | Conference Paper | IST-REx-ID: 4433
Fair bisimulation
T.A. Henzinger, S. Rajamani, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 299–314.
View
| DOI
T.A. Henzinger, S. Rajamani, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 299–314.
2000 | Conference Paper | IST-REx-ID: 4439
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
View
| DOI
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
2000 | Conference Paper | IST-REx-ID: 4435
Symbolic model checking for rectangular hybrid systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 142–156.
View
| DOI
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 142–156.
2000 | Conference Paper | IST-REx-ID: 4434
Robust undecidability of timed and hybrid systems
T.A. Henzinger, J. Raskin, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 145–159.
View
| DOI
T.A. Henzinger, J. Raskin, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 145–159.
2000 | Book Review | IST-REx-ID: 4276
Population genetics of multiple loci
N.H. Barton, Genetics Research 75 (2000) 371–373.
View
| DOI
| Download None (ext.)
N.H. Barton, Genetics Research 75 (2000) 371–373.
2000 | Journal Article | IST-REx-ID: 4271
The effects of epistasis on the structure of hybrid zones
N.H. Barton, M. Shpak, Genetical Research 75 (2000) 179–198.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, M. Shpak, Genetical Research 75 (2000) 179–198.
2000 | Journal Article | IST-REx-ID: 4274 |
Genetic hitchhiking
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 355 (2000) 1553–1562.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 355 (2000) 1553–1562.
2000 | Journal Article | IST-REx-ID: 4272
The stability of symmetrical solutions to polygenic models
N.H. Barton, M. Shpak, Theoretical Population Biology 57 (2000) 249–263.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, M. Shpak, Theoretical Population Biology 57 (2000) 249–263.
2000 | Journal Article | IST-REx-ID: 4273
Limits to natural selection
N.H. Barton, L. Partridge, BioEssays 22 (2000) 1075–1084.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, L. Partridge, BioEssays 22 (2000) 1075–1084.
2000 | Journal Article | IST-REx-ID: 4269
Is Wright’s shifting balance process important in evolution?
J. Coyne, N.H. Barton, M. Turelli, Evolution; International Journal of Organic Evolution 54 (2000) 306–317.
View
| DOI
| PubMed | Europe PMC
J. Coyne, N.H. Barton, M. Turelli, Evolution; International Journal of Organic Evolution 54 (2000) 306–317.
2000 | Book Chapter | IST-REx-ID: 4275
Differentiation
N.H. Barton, in:, Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94.
View
| DOI
N.H. Barton, in:, Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94.
2000 | Journal Article | IST-REx-ID: 4197
Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation
C.-P.J. Heisenberg, M. Tada, G. Rauch, L. Saúde, M. Concha, R. Geisler, D. Stemple, J. Smith, S. Wilson, Nature 405 (2000) 76–81.
View
| DOI
| PubMed | Europe PMC
C.-P.J. Heisenberg, M. Tada, G. Rauch, L. Saúde, M. Concha, R. Geisler, D. Stemple, J. Smith, S. Wilson, Nature 405 (2000) 76–81.
2000 | Journal Article | IST-REx-ID: 4147
A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata)
P. Sordino, C.-P.J. Heisenberg, P. Cirino, A. Toscano, P. Giuliano, R. Marino, M. Pinto, R. De Santis, Sarsia 85 (2000) 173–176.
View
| DOI
P. Sordino, C.-P.J. Heisenberg, P. Cirino, A. Toscano, P. Giuliano, R. Marino, M. Pinto, R. De Santis, Sarsia 85 (2000) 173–176.
2000 | Journal Article | IST-REx-ID: 4270 |
Detecting bottlenecks and selective sweeps from DNA sequence polymorphism
N. Galtier, F. Depaulis, N.H. Barton, Genetics 155 (2000) 981–987.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N. Galtier, F. Depaulis, N.H. Barton, Genetics 155 (2000) 981–987.
2000 | Book Review | IST-REx-ID: 4268
Evolving evolvability
L. Partridge, N.H. Barton, Nature 407 (2000) 457–458.
View
| DOI
L. Partridge, N.H. Barton, Nature 407 (2000) 457–458.
2000 | Journal Article | IST-REx-ID: 4009
Adaptive simplicial grids from cross-sections of monotone complexes
H. Edelsbrunner, R. Waupotitsch, International Journal of Computational Geometry and Applications 10 (2000) 267–284.
View
| DOI
H. Edelsbrunner, R. Waupotitsch, International Journal of Computational Geometry and Applications 10 (2000) 267–284.
2000 | Journal Article | IST-REx-ID: 4010
Sliver exudation
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, S. Teng, Journal of the ACM 47 (2000) 883–904.
View
| DOI
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, S. Teng, Journal of the ACM 47 (2000) 883–904.
2000 | Conference Paper | IST-REx-ID: 4008
Topological persistance and simplification
H. Edelsbrunner, D. Letscher, A. Zomorodian, in:, Proceedings 41st Annual Symposium on Foundations of Computer Science, IEEE, 2000, pp. 454–463.
View
| DOI
H. Edelsbrunner, D. Letscher, A. Zomorodian, in:, Proceedings 41st Annual Symposium on Foundations of Computer Science, IEEE, 2000, pp. 454–463.
2000 | Journal Article | IST-REx-ID: 3624
Estimating multilocus linkage disequilibria
N.H. Barton, Heredity 84 (2000) 373–389.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N.H. Barton, Heredity 84 (2000) 373–389.
2000 | Journal Article | IST-REx-ID: 3798
The time course of signaling at central glutamatergic synapses
P.M. Jonas, Physiology 15 (2000) 83–89.
View
| DOI
| PubMed | Europe PMC
P.M. Jonas, Physiology 15 (2000) 83–89.
2000 | Journal Article | IST-REx-ID: 4004
Edgewise subdivision of a simplex
H. Edelsbrunner, D. Grayson, Discrete & Computational Geometry 24 (2000) 707–719.
View
| DOI
H. Edelsbrunner, D. Grayson, Discrete & Computational Geometry 24 (2000) 707–719.
2000 | Journal Article | IST-REx-ID: 3923
Paternity analysis with AFLPs in Cardiocondyla ants
S. Cremer, Futura: The Journal of the Boehringer Ingelheim Fonds 15 (2000) 68–71.
View
S. Cremer, Futura: The Journal of the Boehringer Ingelheim Fonds 15 (2000) 68–71.
2000 | Journal Article | IST-REx-ID: 3548
Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements
K. Harris, D. Henze, J.L. Csicsvari, H. Hirase, G. Buzsáki, Journal of Neurophysiology 84 (2000) 401–414.
View
| DOI
| PubMed | Europe PMC
K. Harris, D. Henze, J.L. Csicsvari, H. Hirase, G. Buzsáki, Journal of Neurophysiology 84 (2000) 401–414.
2000 | Journal Article | IST-REx-ID: 3532
Intracellular features predicted by extracellular recordings in the hippocampus in vivo
D. Henze, Z. Borhegyi, J.L. Csicsvari, A. Mamiya, K. Harris, G. Buzsáki, Journal of Neurophysiology 84 (2000) 390–400.
View
| DOI
| PubMed | Europe PMC
D. Henze, Z. Borhegyi, J.L. Csicsvari, A. Mamiya, K. Harris, G. Buzsáki, Journal of Neurophysiology 84 (2000) 390–400.
2000 | Journal Article | IST-REx-ID: 3623
Measuring fitness by means of balancer chromosomes
N.H. Barton, L. Patridge, Genetical Research 75 (2000) 297–314.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, L. Patridge, Genetical Research 75 (2000) 297–314.
2000 | Conference Paper | IST-REx-ID: 3555
Smoothing and cleaning up slivers
H. Edelsbrunner, X. Li, G. Miller, A. Stathopoulos, D. Talmor, S. Teng, A. Üngör, N. Walkington, in:, Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, ACM, 2000, pp. 273–277.
View
| DOI
H. Edelsbrunner, X. Li, G. Miller, A. Stathopoulos, D. Talmor, S. Teng, A. Üngör, N. Walkington, in:, Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, ACM, 2000, pp. 273–277.
2000 | Journal Article | IST-REx-ID: 3492
Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons
J. Geiger, P.M. Jonas, Neuron 28 (2000) 927–939.
View
| DOI
| PubMed | Europe PMC
J. Geiger, P.M. Jonas, Neuron 28 (2000) 927–939.
2000 | Journal Article | IST-REx-ID: 3542
Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events
J.L. Csicsvari, H. Hirase, A. Mamiya, G. Buzsáki, Neuron 28 (2000) 585–594.
View
| DOI
J.L. Csicsvari, H. Hirase, A. Mamiya, G. Buzsáki, Neuron 28 (2000) 585–594.
2000 | Journal Article | IST-REx-ID: 3583
Triangulations and meshes in computational geometry
H. Edelsbrunner, Acta Numerica 9 (2000) 133–213.
View
| DOI
H. Edelsbrunner, Acta Numerica 9 (2000) 133–213.
2000 | Book Chapter | IST-REx-ID: 3572
Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung
H. Edelsbrunner, in:, Zur Kunst Des Formalen Denkens, Passagen Verlag, 2000, pp. 153–171.
View
H. Edelsbrunner, in:, Zur Kunst Des Formalen Denkens, Passagen Verlag, 2000, pp. 153–171.
2000 | Journal Article | IST-REx-ID: 3491
Distal initiation and active propagation of action potentials in interneuron dendrites
M. Martina, I. Vida, P.M. Jonas, Science 287 (2000) 295–300.
View
| DOI
| PubMed | Europe PMC
M. Martina, I. Vida, P.M. Jonas, Science 287 (2000) 295–300.
2000 | Journal Article | IST-REx-ID: 3489 |
Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse
U. Kraushaar, P.M. Jonas, Journal of Neuroscience 20 (2000) 5594–5607.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
U. Kraushaar, P.M. Jonas, Journal of Neuroscience 20 (2000) 5594–5607.
2000 | Journal Article | IST-REx-ID: 3490 |
Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels
C. Normann, D. Peckys, C. Schulze, J. Walden, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 20 (2000) 8290–8297.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C. Normann, D. Peckys, C. Schulze, J. Walden, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 20 (2000) 8290–8297.
2000 | Journal Article | IST-REx-ID: 3149 |
Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion
J. Hwang, D.E. Siekhaus, R. Fuller, P. Taghert, I. Lindberg, Journal of Biological Chemistry 275 (2000) 17886–17893.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Hwang, D.E. Siekhaus, R. Fuller, P. Taghert, I. Lindberg, Journal of Biological Chemistry 275 (2000) 17886–17893.
2000 | Journal Article | IST-REx-ID: 2602 |
Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons
J. Perroy, L. Prezèau, M. De Waard, R. Shigemoto, J. Bockaërt, L. Fagni, Journal of Neuroscience 20 (2000) 7896–7904.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Perroy, L. Prezèau, M. De Waard, R. Shigemoto, J. Bockaërt, L. Fagni, Journal of Neuroscience 20 (2000) 7896–7904.