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.

5685 Publications


2001 | Journal Article | IST-REx-ID: 2985
Trnková L, Friml J, Dračka O. Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry. 2001;54(2):131-136. doi:10.1016/S1567-5394(01)00119-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3438
Huelsenbeck J, Ronquist F, Nielsen R, Bollback JP. Bayesian inference of phylogeny and its impact on evolutionary biology. Science. 2001;294(5550):2310-2314. doi:10.1126/science.1065889
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3440
Huelsenbeck J, Bollback JP. Empirical and hierarchical Bayesian estimation of ancestral states. Systematic Biology. 2001;50(3):351-366. doi:10.1080/10635150119871
View | DOI
 

2001 | Book Review | IST-REx-ID: 3596
Barton NH. Mendel and mathematics. Trends in Genetics. 2001;17:420-420. doi:10.1016/S0168-9525(01)02315-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3546
Hirase H, Leinekugel X, Csicsvari JL, Czurkó A, Buzsáki G. Behavior-dependent states of the hippocampal network affect functional clustering of neurons. Journal of Neuroscience. 2001;21(10).
View
 

2001 | Journal Article | IST-REx-ID: 3495
Jerecic J, Schulze C, Jonas PM, Sprengel R, Seeburg P, Bischofberger J. Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression. Molecular brain research. 2001;94(1-2):96-104. doi:10.1016/S0169-328X(01)00221-2
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4001
Cheng H, Edelsbrunner H, Fu P. Shape space from deformation. Computational Geometry: Theory and Applications. 2001;19(2-3):191-204. doi:10.1016/S0925-7721(01)00021-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner H. 180 wrapped tubes. Journal of Universal Computer Science. 2001;7(5):379-399. doi:10.3217/jucs-007-05-0379
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
Otto S, Barton NH. Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. 2001;55(10):1921-1931. doi:10.1111/j.0014-3820.2001.tb01310.x
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. In: Vol 2211. ACM; 2001:166-184. doi:1303
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. 2001;18(2):97-116. doi:10.1023/A:1008767206905
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro L, Henzinger TA, Majumdar R. Symbolic algorithms for infinite-state games. In: Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:536-550. doi:10.1007/3-540-44685-0_36
View | DOI
 

2001 | Journal Article | IST-REx-ID: 851
Rogozin I, Kondrashov F, Glazko G. Use of mutation spectra analysis software. Human Mutation. 2001;17(2):83-102. doi:10.1002/1098-1004(200102)17:2<83::AID-HUMU1>3.0.CO;2-E
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 1736
Katsaros G, Lane P, Murphy M. Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems. In: Vol 1. IEEE; 2000:27-28. doi:10.1109/LEOS.2000.890656
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 2602
Perroy J, Prezèau L, De Waard M, Shigemoto R, Bockaërt J, Fagni L. Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons. Journal of Neuroscience. 2000;20(21):7896-7904.
View
 

2000 | Journal Article | IST-REx-ID: 2599
Li J, Wang D, Kaneko T, Shigemoto R, Nomura S, Mizuno N. Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. 2000;418(2):156-163. doi:10.1002/(SICI)1096-9861(20000306)418:2<156::AID-CNE3>3.0.CO;2-Z
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 2342   OA
Seiringer R, Lieb É, Yngvason J. The ground state energy and density of interacting bosons in a trap. In: World Scientific Publishing; 2000:101-110.
View | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2710
Erdös L. The kernel of Dirac operators on S3 and R3. In: Vol 16. American Mathematical Society; 2000:111-119.
View
 

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

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

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

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

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

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger TA, Majumdar R, Mang F, Raskin J. Abstract interpretation of game properties. In: Vol 1824. Springer; 2000:220-239. doi:10.1007/978-3-540-45099-3_12
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro L, Henzinger TA. Concurrent omega-regular games. In: IEEE; 2000:141-154. doi:10.1109/LICS.2000.855763
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 2343   OA
Baumgartner B, Seiringer R. On the ordering of energy levels in homogeneous magnetic fields. Letters in Mathematical Physics. 2000;54(3):213-226. doi:    10.1023/A:1010978807635
View | DOI | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2418
Wagner U, Welzl E. Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem. In: ACM; 2000:50-56. doi:10.1145/336154.336176
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2603
Boudin H, Doan A, Xia J, et al. Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site. Neuron. 2000;28(2):485-497. doi:10.1016/S0896-6273(00)00127-6
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 2494
Shigemoto R, Mizuno N. Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses. In: Glutamate. Vol 18. Elsevier; 2000:63-98. doi:10.1016/S0924-8196(00)80044-5
View | DOI
 

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

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

2000 | Conference Paper | IST-REx-ID: 3555
Edelsbrunner H, Li X, Miller G, et al. Smoothing and cleaning up slivers. In: ACM; 2000:273-277. doi:10.1145/335305.335338
View | DOI | Download (ext.)
 

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

2000 | Journal Article | IST-REx-ID: 3923
Cremer S. Paternity analysis with AFLPs in Cardiocondyla ants. BIF Futura. 2000;15(1):68-71.
View
 

2000 | Conference Paper | IST-REx-ID: 4008
Edelsbrunner H, Letscher D, Zomorodian A. Topological persistance and simplification. In: IEEE; 2000:454-463. doi:10.1109/SFCS.2000.892133
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 4147
Sordino P, Heisenberg C, Cirino P, et al. A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata). Sarsia. 2000;85(2):173-176.
View
 

2000 | Journal Article | IST-REx-ID: 4197
Heisenberg C, Tada M, Rauch G, et al. Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. 2000;405(6782):76-81. doi:10.1038/35011068
View | DOI
 

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

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger TA, Rajamani S. Fair bisimulation. In: Vol 1785. Springer; 2000:299-314. doi:10.1007/3-540-46419-0_21
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger TA, Qadeer S, Rajamani S. Decomposing refinement proofs using assume-guarantee reasoning. In: IEEE; 2000:245-252. doi:10.1109/ICCAD.2000.896481
View | DOI
 

2000 | Book Review | IST-REx-ID: 1031
Fürst J, Jakab M, König M, et al. Structure and function of the ion channel ICln. Cellular Physiology and Biochemistry. 2000;10(5-6):329-334. doi:10.1159/000016374
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2344   OA
Lieb É, Seiringer R, Yngvason J. Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional. Physical Review A - Atomic, Molecular, and Optical Physics. 2000;61(4):436021-4360213. doi:10.1103/PhysRevA.61.043602
View | DOI | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2325
Seiringer R. Inequalities for Schrödinger operators and applications to the stability of matter problem . In: Vol 529. American Mathematical Society; 2000:53-72. doi:10.1090/conm/529
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2731
Erdös L, Yau H. Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation. Communications on Pure and Applied Mathematics. 2000;53(6):667-735. doi: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 D, Borhegyi Z, Csicsvari JL, Mamiya A, Harris K, Buzsáki G. Intracellular features predicted by extracellular recordings in the hippocampus in vivo. Journal of Neurophysiology. 2000;84(1):390-400.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 4004
Edelsbrunner H, Grayson D. Edgewise subdivision of a simplex. Discrete & Computational Geometry. 2000;24(4):707-719. doi:10.1007/s004540010063
View | DOI
 

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

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed