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.

5630 Publications


2000 | Journal Article | IST-REx-ID: 3923
Cremer, Sylvia. “Paternity Analysis with AFLPs in Cardiocondyla Ants.” B.I.F. Futura 15, no. 1 (2000): 68–71.
View
 

2000 | Conference Paper | IST-REx-ID: 4008
Edelsbrunner, Herbert, David Letscher, and Afra Zomorodian. “Topological Persistance and Simplification,” 454–63. IEEE, 2000. https://doi.org/10.1109/SFCS.2000.892133.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4010
Cheng, Siu, Tamal Dey, Herbert Edelsbrunner, Michael Facello, and Shang Teng. “Sliver Exudation.” Journal of the ACM 47, no. 5 (2000): 883–904. https://doi.org/10.1145/355483.355487.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4147
Sordino, Paolo, Carl Heisenberg, Paola Cirino, Alfonso Toscano, Paola Giuliano, Rita Marino, Maria Pinto, and Rosaria De Santis. “A Mutational Approach to the Study of Development of the Protochordate Ciona Intestinalis (Tunicata, Chordata).” Sarsia 85, no. 2 (2000): 173–76.
View
 

2000 | Journal Article | IST-REx-ID: 4197
Heisenberg, Carl, Masazumi Tada, Gerd Rauch, Leonor Saúde, Miguel Concha, Robert Geisler, Derek Stemple, James Smith, and Stephen Wilson. “Silberblick/Wnt11 Mediates Convergent Extension Movements during Zebrafish Gastrulation.” Nature 405, no. 6782 (2000): 76–81. https://doi.org/10.1038/35011068.
View | DOI
 

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

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, Thomas A, and Sriram Rajamani. “Fair Bisimulation,” 1785:299–314. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_21.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning,” 245–52. IEEE, 2000. https://doi.org/10.1109/ICCAD.2000.896481.
View | DOI
 

2000 | Book Review | IST-REx-ID: 1031
Fürst, Johannes, Martin Jakab, Matthias König, Markus Ritter, Martin Gschwentner, Jakob Rudzki, Johannes Danzl, et al. “Structure and Function of the Ion Channel ICln.” Cellular Physiology and Biochemistry. S. Karger AG, 2000. https://doi.org/10.1159/000016374.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2344   OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Bosons in a Trap: A Rigorous Derivation of the Gross-Pitaevskii Energy Functional.” Physical Review A - Atomic, Molecular, and Optical Physics 61, no. 4 (2000): 436021–213. https://doi.org/10.1103/PhysRevA.61.043602.
View | DOI | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2325
Seiringer, Robert. “Inequalities for Schrödinger Operators and Applications to the Stability of Matter Problem ,” 529:53–72. American Mathematical Society, 2000. https://doi.org/10.1090/conm/529.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2731
Erdös, László, and Horng Yau. “Linear Boltzmann Equation as the Weak Coupling Limit of a Random Schrödinger Equation.” Communications on Pure and Applied Mathematics 53, no. 6 (2000): 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: 3532
Henze, Darrell, Zsolt Borhegyi, Jozsef L Csicsvari, Akira Mamiya, Kenneth Harris, and György Buzsáki. “Intracellular Features Predicted by Extracellular Recordings in the Hippocampus in Vivo.” Journal of Neurophysiology 84, no. 1 (2000): 390–400.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 4004
Edelsbrunner, Herbert, and Daniel Grayson. “Edgewise Subdivision of a Simplex.” Discrete & Computational Geometry 24, no. 4 (2000): 707–19. https://doi.org/10.1007/s004540010063.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4009
Edelsbrunner, Herbert, and Roman Waupotitsch. “Adaptive Simplicial Grids from Cross-Sections of Monotone Complexes.” International Journal of Computational Geometry and Applications 10, no. 3 (2000): 267–84. https://doi.org/10.1142/S0218195900000164.
View | DOI
 

2000 | Book Review | IST-REx-ID: 4268
Partridge, Linda, and Nicholas H Barton. “Evolving Evolvability.” Nature. Nature Publishing Group, 2000. https://doi.org/10.1038/35035173.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4270
Galtier, Nicolas, Frantz Depaulis, and Nicholas H Barton. “Detecting Bottlenecks and Selective Sweeps from DNA Sequence Polymorphism.” Genetics 155, no. 2 (2000): 981–87.
View
 

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

2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, Thomas A, and Jean Raskin. “Robust Undecidability of Timed and Hybrid Systems,” 1790:145–59. Springer, 2000. https://doi.org/10.1007/3-540-46430-1_15.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, Thomas A, and Ritankar Majumdar. “A Classification of Symbolic Transition Systems,” 1770:13–34. Springer, 2000. https://doi.org/10.1007/3-540-46541-3_2.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed