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.

5893 Publications


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 | Book Review | IST-REx-ID: 1031
Fürst, J., Jakab, M., König, M., Ritter, M., Gschwentner, M., Rudzki, J., … Paulmichl, M. (2000). Structure and function of the ion channel ICln. Cellular Physiology and Biochemistry. S. Karger AG. https://doi.org/10.1159/000016374
View | DOI
 

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.)
 

1999 | Journal Article | IST-REx-ID: 2591
Kummer, W., Shigemoto, R., & Haberberger, R. (1999). Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve. Neuroscience Letters, 259(2), 119–122. https://doi.org/10.1016/S0304-3940(98)00926-4
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2592
Masugi, M., Yokoi, M., Shigemoto, R., Muguruma, K., Watanabe, Y., Sansig, G., … Nakanishi, S. (1999). Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience, 19(3), 955–963.
View
 

1999 | Journal Article | IST-REx-ID: 2593
Yu, X., Zhang, E., Craig, A., Shigemoto, R., Ribeiro Da Silva, A., & De Koninck, Y. (1999). NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord. Journal of Neuroscience, 19(9), 3545–3555.
View
 

1999 | Journal Article | IST-REx-ID: 2594
Ding, Y., Zheng, H., Wang, D., Xu, J., Gong, L., Lü, Y., … Mizuno, N. (1999). The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord. Neuroscience Letters, 266(2), 133–136. https://doi.org/10.1016/S0304-3940(99)00283-9
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2595
Lafon Cazal, M., Viennois, G., Kühn, R., Malitschek, B., Pin, J., Shigemoto, R., & Bockaërt, J. (1999). mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones. Neuropharmacology, 38(10), 1631–1640. https://doi.org/10.1016/S0028-3908(99)00124-0
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2596
Bischoff, S., Leonhard, S., Reymann, N., Schuler, V., Shigemoto, R., Kaupmann, K., & Bettler, B. (1999). Spatial distribution of GABA(B)R1 receptor mRNA and binding sites in the rat brain^. Journal of Comparative Neurology, 412(1), 1–16. https://doi.org/10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2597
Bushell, T., Lee, C., Shigemoto, R., & Miller, R. (1999). Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses. Neuropharmacology, 38(10), 1553–1567. https://doi.org/10.1016/S0028-3908(99)00103-3
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4014
Edelsbrunner, H. (1999). Deformable smooth surface design. Discrete & Computational Geometry, 21(1), 87–115. https://doi.org/10.1007/PL00009412
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4204
Heisenberg, C., Brennan, C., & Wilson, S. (1999). Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development. Development, 126(10), 2129–2140.
View
 

1999 | Journal Article | IST-REx-ID: 4277
Kruuk, L., Gilchrist, J., & Barton, N. H. (1999). Hybrid dysfunction in fire-bellied toads (Bombina). Evolution; International Journal of Organic Evolution, 53(5), 1611–1616. https://doi.org/10.2307/2640907
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4279
Goodman, S., Barton, N. H., Swanson, G., Abernethy, K., & Pemberton, J. (1999). Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics, 152(1), 355–371.
View
 

1999 | Thesis | IST-REx-ID: 4411
Qadeer, S. (1999). Algorithms and Methodology for Scalable Model Checking (pp. 1–150). University of California, Berkeley.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 4442
Henzinger, T. A., & Kopke, P. (1999). Discrete-time control for rectangular hybrid automata. Theoretical Computer Science, 221(1–2), 369–392. https://doi.org/10.1016/S0304-3975(99)00038-9
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4480
Henzinger, T. A., Liu, X., Qadeer, S., & Rajamani, S. (1999). Formal specification and verification of a dataflow processor array (pp. 494–499). Presented at the ICCAD: Computer-Aided Design, IEEE.
View
 

1999 | Conference Paper | IST-REx-ID: 4484
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1999). Verifying sequential consistency on shared-memory multiprocessor systems (Vol. 1633, pp. 301–315). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-48683-6_27
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4485
Henzinger, T. A., Horowitz, B., & Majumdar, R. (1999). Rectangular hybrid games (Vol. 1664, pp. 320–335). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-48320-9_23
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4487
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1999). Assume-guarantee refinement between different time scales (Vol. 1633, pp. 208–221). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-48683-6_20
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4582
Alur, R., & Henzinger, T. A. (1999). Reactive modules. Formal Methods in System Design, 15(1), 7–48. https://doi.org/10.1023/A:1008739929481
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4601
Alur, R., Henzinger, T. A., & Kupferman, O. (1999). Alternating-time temporal logic (Vol. 1536, pp. 23–60). Presented at the COMPOS: Compositionality, Springer. https://doi.org/10.1007/3-540-49213-5_2
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4602
Alur, R., De Alfaro, L., Henzinger, T. A., & Mang, F. (1999). Automating modular verification (Vol. 1664, pp. 82–97). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-48320-9_8
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 2711
Erdös, L. (1999). Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation (Vol. 108, pp. 233–242). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1007/978-3-0348-8745-8_20
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2730
Erdös, L., & Solovej, J. (1999). Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate. Duke Mathematical Journal, 96(1), 127–173. https://doi.org/10.1215/S0012-7094-99-09604-7
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2783
Hof, B., Lucas, P., & Mullin, T. (1999). Flow state multiplicity in convection. Physics of Fluids, 11(10), 2815–2817. https://doi.org/10.1063/1.870178
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2864
Witters, E., Vanhoutte, K., Dewitte, W., Macháčková, I., Benková, E., Van Dongen, W., … Van Onckelen, H. (1999). Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry. Phytochemical Analysis, 10(3), 143–151. https://doi.org/10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G
View | DOI
 

Search

Filter Publications