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.

6283 Publications


2000 | Conference Paper | IST-REx-ID: 2710
Erdös, László. “The Kernel of Dirac Operators on S3 and R3,” 16:111–19. American Mathematical Society, 2000.
View
 

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. Wiley-Blackwell, 2000. 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, François, László Erdös, Florian Frommlet, and Peter Markowich. “Fokker-Planck Equations as Scaling Limits of Reversible Quantum Systems.” Journal of Statistical Physics. Springer, 2000. https://doi.org/10.1023/A:1018667323830.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2733
Erdös, László, Michael Loss, and Vitali Vougalter. “Diamagnetic Behavior of Sums Dirichlet Eigenvalues.” Annales de l’Institut Fourier. Association des Annales de l’Institut Fourier, 2000. https://doi.org/10.5802/aif.1777.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 842
Wolf, Yuri, Fyodor Kondrashov, and Eugene Koonin. “No Footprints of Primordial Introns in a Eukaryotic Genome.” Trends in Genetics. Elsevier, 2000. https://doi.org/10.1016/S0168-9525(00)02059-X.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 8525
Kaloshin, Vadim. “Generic Diffeomorphisms with Superexponential Growth of Number of Periodic Orbits.” Communications in Mathematical Physics. Springer Nature, 2000. https://doi.org/10.1007/s002200050811.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 1736
Katsaros, Georgios, Phil Lane, and Michelle Murphy. “Comparison of the Impact of FWM on Binary, Duobinary and Dicode Modulation in DWDM Systems,” 1:27–28. IEEE, 2000. https://doi.org/10.1109/LEOS.2000.890656.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1957
Sazanov, Leonid A, and John Walker. “Cryo-Electron Crystallography of Two Sub-Complexes of Bovine Complex I Reveals the Relationship between the Membrane and Peripheral Arms.” Journal of Molecular Biology. Elsevier, 2000. https://doi.org/10.1006/jmbi.2000.4079.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1958
Sazanov, Leonid A, Sew Peak Chew, Ian Fearnley, and John Walker. “Resolution of the Membrane Domain of Bovine Complex I into Subcomplexes: Implications for the Structural Organization of the Enzyme.” Biochemistry. ACS, 2000. https://doi.org/10.1021/bi000335t.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro, Luca, and Thomas A Henzinger. “Concurrent Omega-Regular Games,” 141–54. IEEE, 2000. https://doi.org/10.1109/LICS.2000.855763.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems,” 1877:458–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000. https://doi.org/10.1007/3-540-44618-4_33.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “Detecting Errors before Reaching Them,” 1855:186–201. Springer, 2000. https://doi.org/10.1007/10722167_17.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1455 | OA
Hausel, Tamás, Endre Makai, and András Szücs. “Inscribing Cubes and Covering by Rhombic Dodecahedra via Equivariant Topology.” Mathematika. University College London, 2000. https://doi.org/10.1112/S0025579300015965.
View | DOI | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3798
Jonas, Peter M. “The Time Course of Signaling at Central Glutamatergic Synapses.” Physiology. American Physiological Society, 2000.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3923
Cremer, Sylvia. “Paternity Analysis with AFLPs in Cardiocondyla Ants.” B.I.F. Futura. Hippokrates, 2000.
View
 

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

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: 4009
Edelsbrunner, Herbert, and Roman Waupotitsch. “Adaptive Simplicial Grids from Cross-Sections of Monotone Complexes.” International Journal of Computational Geometry and Applications. World Scientific Publishing, 2000. https://doi.org/10.1142/S0218195900000164.
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. ACM, 2000. https://doi.org/10.1145/355483.355487.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4147
Sordino, Paolo, Carl-Philipp J 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. Taylor & Francis, 2000.
View
 

2000 | Journal Article | IST-REx-ID: 4197
Heisenberg, Carl-Philipp J, 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. Nature Publishing Group, 2000. https://doi.org/10.1038/35011068.
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: 4269
Coyne, Jerry, Nicholas H Barton, and Michael Turelli. “Is Wright’s Shifting Balance Process Important in Evolution?” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2000. https://doi.org/310.1111/j.0014-3820.2000.tb00033.x.
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. Genetics Society of America, 2000.
View
 

2000 | Journal Article | IST-REx-ID: 4271
Barton, Nicholas H, and Max Shpak. “The Effects of Epistasis on the Structure of Hybrid Zones.” Genetical Research. Cambridge University Press, 2000. https://doi.org/10.1017/S0016672399004334.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4272
Barton, Nicholas H, and Max Shpak. “The Stability of Symmetrical Solutions to Polygenic Models.” Theoretical Population Biology. Academic Press, 2000. https://doi.org/10.1006/tpbi.2000.1455.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4273
Barton, Nicholas H, and Linda Partridge. “Limits to Natural Selection.” Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell, 2000. 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, Nicholas H. “Genetic Hitchhiking.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2000. https://doi.org/10.1098/rstb.2000.0716.
View | DOI | Download (ext.)
 

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 | Book Review | IST-REx-ID: 4276
Barton, Nicholas H. “Population Genetics of Multiple Loci.” Genetical Research. Cambridge University Press, 2000.
View
 

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: 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: 4435
Henzinger, Thomas A, and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems,” 1785:142–56. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_11.
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
 

2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, Thomas A, Benjamin Horowitz, Ritankar Majumdar, and Howard Wong Toi. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods,” 1790:130–44. Springer, 2000. https://doi.org/10.1007/3-540-46430-1_14.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger, Thomas A, Ritankar Majumdar, Freddy Mang, and Jean Raskin. “Abstract Interpretation of Game Properties,” 1824:220–39. Springer, 2000. https://doi.org/10.1007/978-3-540-45099-3_12.
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 | Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components,” 1872:549–63. Springer, 2000. https://doi.org/10.1007/3-540-44929-9_38.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, Thomas A. “The Theory of Hybrid Automata.” In Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, 170:265–92. Springer, 2000.
View
 

2000 | Journal Article | IST-REx-ID: 4598
Alur, Rajeev, Thomas A Henzinger, Gerardo Lafferriere, and George Pappas. “Discrete Abstractions of Hybrid Systems.” Proceedings of the IEEE. IEEE, 2000. https://doi.org/10.1109/5.871304 .
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3149
Hwang, Jae, Daria E Siekhaus, Robert Fuller, Paul Taghert, and Iris Lindberg. “Interaction of Drosophila Melanogaster Prohormone Convertase 2 and 7B2: Insect Cell Specific Processing and Secretion.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2000. https://doi.org/10.1074/jbc.M000032200 .
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3489
Kraushaar, Udo, and Peter M Jonas. “Efficacy and Stability of Quantal GABA Release at a Hippocampal Interneuron-Principal Neuron Synapse.” Journal of Neuroscience. Society for Neuroscience, 2000.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3490
Normann, Claus, Diana Peckys, Christian Schulze, Jörg Walden, Peter M Jonas, and Joseph Bischofberger. “Associative Long-Term Depression in the Hippocampus Is Dependent on Postsynaptic N-Type Ca(2+) Channels.” Journal of Neuroscience. Society for Neuroscience, 2000.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3491
Martina, Marco, Imre Vida, and Peter M Jonas. “Distal Initiation and Active Propagation of Action Potentials in Interneuron Dendrites.” Science. American Association for the Advancement of Science, 2000. https://doi.org/10.1126/science.287.5451.295.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3492
Geiger, Jörg, and Peter M Jonas. “Dynamic Control of Presynaptic Ca(2+) Inflow by Fast-Inactivating K+ Channels in Hippocampal Mossy Fiber Boutons.” Neuron. Elsevier, 2000. https://doi.org/10.1016/S0896-6273(00)00164-1.
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. American Physiological Society, 2000.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3542
Csicsvari, Jozsef L, Hajima Hirase, Akira Mamiya, and György Buzsáki. “Ensemble Patterns of Hippocampal CA3-CA1 Neurons during Sharp Wave-Associated Population Events.” Neuron. Elsevier, 2000. https://doi.org/10.1016/S0896-6273(00)00135-5.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3548
Harris, Kenneth, Darrell Henze, Jozsef L Csicsvari, Hajima Hirase, and György Buzsáki. “Accuracy of Tetrode Spike Separation as Determined by Simultaneous Intracellular and Extracellular Measurements.” Journal of Neurophysiology. American Physiological Society, 2000.
View
 

2000 | Conference Paper | IST-REx-ID: 3555
Edelsbrunner, Herbert, Xiang Li, Gary Miller, Andreas Stathopoulos, Dafna Talmor, Shang Teng, Alper Üngör, and Noel Walkington. “Smoothing and Cleaning up Slivers,” 273–77. ACM, 2000. https://doi.org/10.1145/335305.335338.
View | DOI | Download (ext.)
 

2000 | Book Chapter | IST-REx-ID: 3572
Edelsbrunner, Herbert. “Spielereien Mit Kreisen Und Kugeln. Zum Thema Form Und Verformung.” In Zur Kunst Des Formalen Denkens, 153–71. Passagen Verlag, 2000.
View | Download (ext.)
 

Search

Filter Publications