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.

6021 Publications


2000 | Conference Paper | IST-REx-ID: 4008
Edelsbrunner, H., Letscher, D., & Zomorodian, A. (2000). Topological persistance and simplification (pp. 454–463). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/SFCS.2000.892133
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4009
Edelsbrunner, H., & Waupotitsch, R. (2000). Adaptive simplicial grids from cross-sections of monotone complexes. International Journal of Computational Geometry and Applications, 10(3), 267–284. https://doi.org/10.1142/S0218195900000164
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4010
Cheng, S., Dey, T., Edelsbrunner, H., Facello, M., & Teng, S. (2000). Sliver exudation. Journal of the ACM, 47(5), 883–904. https://doi.org/10.1145/355483.355487
View | DOI
 

2000 | Book Review | IST-REx-ID: 4268
Partridge, L., & Barton, N. H. (2000). Evolving evolvability. Nature. Nature Publishing Group. https://doi.org/10.1038/35035173
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4269
Coyne, J., Barton, N. H., & Turelli, M. (2000). Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution, 54(1), 306–317. https://doi.org/310.1111/j.0014-3820.2000.tb00033.x
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4270
Galtier, N., Depaulis, F., & Barton, N. H. (2000). Detecting bottlenecks and selective sweeps from DNA sequence polymorphism. Genetics, 155(2), 981–987.
View
 

2000 | Journal Article | IST-REx-ID: 4271
Barton, N. H., & Shpak, M. (2000). The effects of epistasis on the structure of hybrid zones. Genetical Research, 75(2), 179–198. https://doi.org/10.1017/S0016672399004334
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4272
Barton, N. H., & Shpak, M. (2000). The stability of symmetrical solutions to polygenic models. Theoretical Population Biology, 57(3), 249–263. https://doi.org/10.1006/tpbi.2000.1455
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4273
Barton, N. H., & Partridge, L. (2000). Limits to natural selection. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology, 22(12), 1075–1084. https://doi.org/10.1002/1521-1878(200012)22:12<1075::AID-BIES5>3.0.CO;2-M
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4274 | OA
Barton, N. H. (2000). Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, 355(1403), 1553–1562. https://doi.org/10.1098/rstb.2000.0716
View | DOI | Download (ext.)
 

2000 | Book Chapter | IST-REx-ID: 4275
Barton, N. H. (2000). Differentiation. In Encyclopedia of Biodiversity (pp. 85–94). Academic Press. https://doi.org/10.1016/B0-12-226865-2/00070-5
View | DOI
 

2000 | Book Review | IST-REx-ID: 4276
Barton, N. H. (2000). Population genetics of multiple loci. Genetical Research. Cambridge University Press.
View
 

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, T. A., & Rajamani, S. (2000). Fair bisimulation (Vol. 1785, pp. 299–314). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-46419-0_21
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, T. A., & Raskin, J. (2000). Robust undecidability of timed and hybrid systems (Vol. 1790, pp. 145–159). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-46430-1_15
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, T. A., & Majumdar, R. (2000). Symbolic model checking for rectangular hybrid systems (Vol. 1785, pp. 142–156). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-46419-0_11
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, T. A., & Majumdar, R. (2000). A classification of symbolic transition systems (Vol. 1770, pp. 13–34). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/3-540-46541-3_2
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, T. A., Horowitz, B., Majumdar, R., & Wong Toi, H. (2000). Beyond HyTech: Hybrid systems analysis using interval numerical methods (Vol. 1790, pp. 130–144). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-46430-1_14
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger, T. A., Majumdar, R., Mang, F., & Raskin, J. (2000). Abstract interpretation of game properties (Vol. 1824, pp. 220–239). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-45099-3_12
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, T. A., Qadeer, S., & Rajamani, S. (2000). Decomposing refinement proofs using assume-guarantee reasoning (pp. 245–252). Presented at the ICCAD: Computer-Aided Design, IEEE. https://doi.org/10.1109/ICCAD.2000.896481
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, T. A. (2000). Masaccio: A formal model for embedded components (Vol. 1872, pp. 549–563). Presented at the TCS: Theoretical Computer Science, Springer. https://doi.org/10.1007/3-540-44929-9_38
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, T. A. (2000). The theory of hybrid automata. In M. Inan & R. Kurshan (Eds.), Verification of Digital and Hybrid Systems (Vol. 170, pp. 265–292). Springer.
View
 

2000 | Journal Article | IST-REx-ID: 4598
Alur, R., Henzinger, T. A., Lafferriere, G., & Pappas, G. (2000). Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88(7), 971–984. https://doi.org/10.1109/5.871304
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro, L., & Henzinger, T. A. (2000). Concurrent omega-regular games (pp. 141–154). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2000.855763
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, L., Henzinger, T. A., & Mang, F. (2000). The control of synchronous systems (Vol. 1877, pp. 458–473). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44618-4_33
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro, L., Henzinger, T. A., & Mang, F. (2000). Detecting errors before reaching them (Vol. 1855, pp. 186–201). Presented at the CAV: Computer-Aided Verification, Springer. https://doi.org/10.1007/10722167_17
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 2710
Erdös, L. (2000). The kernel of Dirac operators on S3 and R3 (Vol. 16, pp. 111–119). Presented at the Differential Equations and Mathematical Physics, American Mathematical Society.
View
 

2000 | Journal Article | IST-REx-ID: 2731
Erdös, L., & Yau, H. (2000). Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation. Communications on Pure and Applied Mathematics, 53(6), 667–735. https://doi.org/10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2732
Castella, F., Erdös, L., Frommlet, F., & Markowich, P. (2000). Fokker-Planck equations as scaling limits of reversible quantum systems. Journal of Statistical Physics, 100(3–4), 543–601. https://doi.org/10.1023/A:1018667323830
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2733
Erdös, L., Loss, M., & Vougalter, V. (2000). Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier, 50(3), 891–907. https://doi.org/10.5802/aif.1777
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3149
Hwang, J., Siekhaus, D. E., Fuller, R., Taghert, P., & Lindberg, I. (2000). Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion. Journal of Biological Chemistry, 275(23), 17886–17893. https://doi.org/10.1074/jbc.M000032200
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 1736
Katsaros, G., Lane, P., & Murphy, M. (2000). Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems (Vol. 1, pp. 27–28). Presented at the Lasers and Electro Optics Society Annual Meeting, IEEE. https://doi.org/10.1109/LEOS.2000.890656
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1957
Sazanov, L. A., & Walker, J. (2000). Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms. Journal of Molecular Biology, 302(2), 455–464. https://doi.org/10.1006/jmbi.2000.4079
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1958
Sazanov, L. A., Peak Chew, S., Fearnley, I., & Walker, J. (2000). Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme. Biochemistry, 39(24), 7229–7235. https://doi.org/10.1021/bi000335t
View | DOI
 

2000 | Journal Article | IST-REx-ID: 842
Wolf, Y., Kondrashov, F., & Koonin, E. (2000). No footprints of primordial introns in a eukaryotic genome. Trends in Genetics, 16(8), 333–334. https://doi.org/10.1016/S0168-9525(00)02059-X
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1455 | OA
Hausel, T., Makai, E., & Szücs, A. (2000). Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika, 47(1–2), 371–397. https://doi.org/10.1112/S0025579300015965
View | DOI | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3489
Kraushaar, U., & Jonas, P. M. (2000). Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience, 20(15), 5594–5607.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3490
Normann, C., Peckys, D., Schulze, C., Walden, J., Jonas, P. M., & Bischofberger, J. (2000). Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels. Journal of Neuroscience, 20(22), 8290–8297.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3491
Martina, M., Vida, I., & Jonas, P. M. (2000). Distal initiation and active propagation of action potentials in interneuron dendrites. Science, 287(5451), 295–300. https://doi.org/10.1126/science.287.5451.295
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3492
Geiger, J., & Jonas, P. M. (2000). Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron, 28(3), 927–939. https://doi.org/10.1016/S0896-6273(00)00164-1
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3532
Henze, D., Borhegyi, Z., Csicsvari, J. L., Mamiya, A., Harris, K., & Buzsáki, G. (2000). Intracellular features predicted by extracellular recordings in the hippocampus in vivo. Journal of Neurophysiology, 84(1), 390–400.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3542
Csicsvari, J. L., Hirase, H., Mamiya, A., & Buzsáki, G. (2000). Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events. Neuron, 28(2), 585–594. https://doi.org/10.1016/S0896-6273(00)00135-5
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3548
Harris, K., Henze, D., Csicsvari, J. L., Hirase, H., & Buzsáki, G. (2000). Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology, 84(1), 401–414.
View
 

2000 | Conference Paper | IST-REx-ID: 3555
Edelsbrunner, H., Li, X., Miller, G., Stathopoulos, A., Talmor, D., Teng, S., … Walkington, N. (2000). Smoothing and cleaning up slivers (pp. 273–277). Presented at the STOC: Symposium on the Theory of Computing, ACM. https://doi.org/10.1145/335305.335338
View | DOI | Download (ext.)
 

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

2000 | Journal Article | IST-REx-ID: 3583
Edelsbrunner, H. (2000). Triangulations and meshes in computational geometry. Acta Numerica, 9, 133–213.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3623
Barton, N. H., & Patridge, L. (2000). Measuring fitness by means of balancer chromosomes. Genetical Research, 75(3), 297–314. https://doi.org/10.1017/S0016672399004346
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3624
Barton, N. H. (2000). Estimating multilocus linkage disequilibria. Heredity, 84(3), 373–389. https://doi.org/10.1046/j.1365-2540.2000.00683.x
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3798
Jonas, P. M. (2000). The time course of signaling at central glutamatergic synapses. Physiology, 15(2), 83–89.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 4147
Sordino, P., Heisenberg, C.-P. J., Cirino, P., Toscano, A., Giuliano, P., Marino, R., … De Santis, R. (2000). A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata). Sarsia, 85(2), 173–176.
View
 

2000 | Journal Article | IST-REx-ID: 4197
Heisenberg, C.-P. J., Tada, M., Rauch, G., Saúde, L., Concha, M., Geisler, R., … Wilson, S. (2000). Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature, 405(6782), 76–81. https://doi.org/10.1038/35011068
View | DOI
 

Search

Filter Publications