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.

75 Publications


2000 | Journal Article | IST-REx-ID: 11126
M. Hetzer and I. W. Mattaj, “An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins,” Journal of Cell Biology, vol. 148, no. 2. Rockefeller University Press, pp. 293–304, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 11127 | OA
M. Hetzer, D. Bilbao-Cortés, T. C. Walther, O. J. Gruss, and I. W. Mattaj, “GTP hydrolysis by Ran is required for nuclear envelope assembly,” Molecular Cell, vol. 5, no. 6. Elsevier, pp. 1013–1024, 2000.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 11683
M. H. Henzinger, S. Rao, and H. N. Gabow, “Computing vertex connectivity: New bounds from old techniques,” Journal of Algorithms, vol. 34, no. 2. Elsevier, pp. 222–250, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 11685
M. H. Henzinger, A. Heydon, M. Mitzenmacher, and M. Najork, “On near-uniform URL sampling,” Computer Networks, vol. 33, no. 1–6. Elsevier, pp. 295–308, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 11694
S. Albers and M. H. Henzinger, “Exploring unknown environments,” SIAM Journal on Computing, vol. 29, no. 4. Society for Industrial and Applied Mathematics, pp. 1164–1188, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 11770 | OA
K. Bharat, A. Broder, J. Dean, and M. H. Henzinger, “A comparison of techniques to find mirrored hosts on the WWW,” Journal of the American Society for Information Science, vol. 51, no. 12. Wiley, pp. 1114–1122, 2000.
[Published Version] View | DOI | Download Published Version (ext.)
 

2000 | Conference Paper | IST-REx-ID: 11802
M. H. Henzinger, “Web information retrieval - an algorithmic perspective,” in 8th Annual European Symposium on Algorithms, Saarbrücken, Germany, 2000, vol. 1879, pp. 1–8.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 11893
M. H. Henzinger, “Improved data structures for fully dynamic biconnectivity,” SIAM Journal on Computing, vol. 29, no. 6. Society for Industrial & Applied Mathematics, pp. 1761–1815, 2000.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 2325
R. Seiringer, “Inequalities for Schrödinger operators and applications to the stability of matter problem ,” presented at the Arizona School of Analysis With Applications, 2000, vol. 529, pp. 53–72.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2343 | OA
B. Baumgartner and R. Seiringer, “On the ordering of energy levels in homogeneous magnetic fields,” Letters in Mathematical Physics, vol. 54, no. 3. Springer, pp. 213–226, 2000.
View | DOI | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 8525
V. Kaloshin, “Generic diffeomorphisms with superexponential growth of number of periodic orbits,” Communications in Mathematical Physics, vol. 211. Springer Nature, pp. 253–271, 2000.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems,” in Proceedings of the 11th International Conference on Concurrency Theory, University Park, PA, USA, 2000, vol. 1877, pp. 458–473.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
L. De Alfaro, T. A. Henzinger, and F. Mang, “Detecting errors before reaching them,” in Proceedings of the 12th International Conference on Computer Aided Verification, Chicago, IL, USA, 2000, vol. 1855, pp. 186–201.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
L. De Alfaro and T. A. Henzinger, “Concurrent omega-regular games,” in Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA, USA, 2000, pp. 141–154.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
T. A. Henzinger, “Masaccio: A formal model for embedded components,” in Proceedings of the 1st International Conference on Theoretical Computer Science , Sendai, Japan, 2000, vol. 1872, pp. 549–563.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4598
R. Alur, T. A. Henzinger, G. Lafferriere, and G. Pappas, “Discrete abstractions of hybrid systems,” Proceedings of the IEEE, vol. 88, no. 7. IEEE, pp. 971–984, 2000.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
T. A. Henzinger, R. Majumdar, F. Mang, and J. Raskin, “Abstract interpretation of game properties,” in Proceedings of the 7th International Symposium on Static Analysis, Santa Barbara, CA, USA, 2000, vol. 1824, pp. 220–239.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
T. A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong Toi, “Beyond HyTech: Hybrid systems analysis using interval numerical methods,” in Proceedings of the 3rd International Workshop on Hybrid Systems, Pittsburgh, PA, USA, 2000, vol. 1790, pp. 130–144.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Decomposing refinement proofs using assume-guarantee reasoning,” in Proceedings of the 2000 International Conference on Computer-Aided Design, San Jose, CA, USA, 2000, pp. 245–252.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
T. A. Henzinger, “The theory of hybrid automata,” in Verification of Digital and Hybrid Systems, vol. 170, M. Inan and R. Kurshan, Eds. Springer, 2000, pp. 265–292.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4433
T. A. Henzinger and S. Rajamani, “Fair bisimulation,” in Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Berlin, Germany, 2000, vol. 1785, pp. 299–314.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
T. A. Henzinger and R. Majumdar, “A classification of symbolic transition systems,” in Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, 2000, vol. 1770, pp. 13–34.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
T. A. Henzinger and R. Majumdar, “Symbolic model checking for rectangular hybrid systems,” in Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Berlin, Germany, 2000, vol. 1785, pp. 142–156.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
T. A. Henzinger and J. Raskin, “Robust undecidability of timed and hybrid systems,” in Proceedings of the 3rd International Workshop on Hybrid Systems, Pittsburgh, PA, USA, 2000, vol. 1790, pp. 145–159.
View | DOI
 

2000 | Book Review | IST-REx-ID: 4276
N. H. Barton, “Population genetics of multiple loci,” Genetics Research, vol. 75, no. 3. Cambridge University Press, pp. 371–373, 2000.
View | DOI | Download None (ext.)
 

2000 | Journal Article | IST-REx-ID: 4271
N. H. Barton and M. Shpak, “The effects of epistasis on the structure of hybrid zones,” Genetical Research, vol. 75, no. 2. Cambridge University Press, pp. 179–198, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 4274 | OA
N. H. Barton, “Genetic hitchhiking,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 355, no. 1403. Royal Society of London, pp. 1553–1562, 2000.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 4272
N. H. Barton and M. Shpak, “The stability of symmetrical solutions to polygenic models,” Theoretical Population Biology, vol. 57, no. 3. Academic Press, pp. 249–263, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 4273
N. H. Barton and L. Partridge, “Limits to natural selection,” BioEssays, vol. 22, no. 12. Wiley-Blackwell, pp. 1075–1084, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 4269
J. Coyne, N. H. Barton, and M. Turelli, “Is Wright’s shifting balance process important in evolution?,” Evolution; International Journal of Organic Evolution, vol. 54, no. 1. Wiley-Blackwell, pp. 306–317, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Book Chapter | IST-REx-ID: 4275
N. H. Barton, “Differentiation,” in Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4197
C.-P. J. Heisenberg et al., “Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation,” Nature, vol. 405, no. 6782. Nature Publishing Group, pp. 76–81, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 4147
P. Sordino et al., “A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata),” Sarsia, vol. 85, no. 2. Taylor & Francis, pp. 173–176, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4270 | OA
N. Galtier, F. Depaulis, and N. H. Barton, “Detecting bottlenecks and selective sweeps from DNA sequence polymorphism,” Genetics, vol. 155, no. 2. Genetics Society of America, pp. 981–987, 2000.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2000 | Book Review | IST-REx-ID: 4268
L. Partridge and N. H. Barton, “Evolving evolvability,” Nature, vol. 407, no. 6803. Nature Publishing Group, pp. 457–458, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4009
H. Edelsbrunner and R. Waupotitsch, “Adaptive simplicial grids from cross-sections of monotone complexes,” International Journal of Computational Geometry and Applications, vol. 10, no. 3. World Scientific Publishing, pp. 267–284, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4010
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, and S. Teng, “Sliver exudation,” Journal of the ACM, vol. 47, no. 5. ACM, pp. 883–904, 2000.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4008
H. Edelsbrunner, D. Letscher, and A. Zomorodian, “Topological persistance and simplification,” in Proceedings 41st Annual Symposium on Foundations of Computer Science, Washington, DC, United States, 2000, pp. 454–463.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3624
N. H. Barton, “Estimating multilocus linkage disequilibria,” Heredity, vol. 84, no. 3. Nature Publishing Group, pp. 373–389, 2000.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3798
P. M. Jonas, “The time course of signaling at central glutamatergic synapses,” Physiology, vol. 15, no. 2. American Physiological Society, pp. 83–89, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 4004
H. Edelsbrunner and D. Grayson, “Edgewise subdivision of a simplex,” Discrete & Computational Geometry, vol. 24, no. 4. Springer, pp. 707–719, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3923
S. Cremer, “Paternity analysis with AFLPs in Cardiocondyla ants,” Futura: the Journal of the Boehringer Ingelheim Fonds, vol. 15, no. 1. Hippokrates, pp. 68–71, 2000.
View
 

2000 | Journal Article | IST-REx-ID: 3548
K. Harris, D. Henze, J. L. Csicsvari, H. Hirase, and G. Buzsáki, “Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements,” Journal of Neurophysiology, vol. 84, no. 1. American Physiological Society, pp. 401–414, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3532
D. Henze, Z. Borhegyi, J. L. Csicsvari, A. Mamiya, K. Harris, and G. Buzsáki, “Intracellular features predicted by extracellular recordings in the hippocampus in vivo,” Journal of Neurophysiology, vol. 84, no. 1. American Physiological Society, pp. 390–400, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3623
N. H. Barton and L. Patridge, “Measuring fitness by means of balancer chromosomes,” Genetical Research, vol. 75, no. 3. Cambridge University Press, pp. 297–314, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Conference Paper | IST-REx-ID: 3555
H. Edelsbrunner et al., “Smoothing and cleaning up slivers,” in Proceedings of the 32nd annual ACM symposium on Theory of computing, Portland, OR, USA, 2000, pp. 273–277.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3492
J. Geiger and P. M. Jonas, “Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons,” Neuron, vol. 28, no. 3. Elsevier, pp. 927–939, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3542
J. L. Csicsvari, H. Hirase, A. Mamiya, and G. Buzsáki, “Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events,” Neuron, vol. 28, no. 2. Elsevier, pp. 585–594, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3583
H. Edelsbrunner, “Triangulations and meshes in computational geometry,” Acta Numerica, vol. 9. Cambridge University Press, pp. 133–213, 2000.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 3572
H. Edelsbrunner, “Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung,” in Zur Kunst des formalen Denkens, Passagen Verlag, 2000, pp. 153–171.
View
 

Filters and Search Terms

year=2000

Search

Filter Publications