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.

5484 Publications


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: 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 | 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: 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 | 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 | 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 | Journal Article | IST-REx-ID: 2601
Ichise, T., Kano, M., Hashimoto, K., Yanagihara, D., Nakao, K., Shigemoto, R., … Aiba, A. (2000). mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination. Science, 288(5472), 1832–1835. https://doi.org/10.1126/science.288.5472.1832
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2598
Sillevis Smitt, P., Kinoshita, A., De Leeuw, B., Moll, W., Coesmans, M., Jaarsma, D., … Shigemoto, R. (2000). Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine, 342(1), 21–27. https://doi.org/10.1056/NEJM200001063420104
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: 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: 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 | 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: 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: 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 | 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 | 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 | 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
 

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: 3148
Siekhaus, D. E., & Fuller, R. (1999). A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior. Journal of Neuroscience, 19(16), 6942–6954.
View
 

1999 | Conference Paper | IST-REx-ID: 3554
Jiao, X., Edelsbrunner, H., & Heath, M. (1999). Mesh association: formulation and algorithms (pp. 75–82). Presented at the IMR: International Meshing Roundtable, Elsevier.
View | Download (ext.)
 

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 | 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: 883
Kondrashov, A., & Kondrashov, F. (1999). Interactions among quantitative traits in the course of sympatric speciation. Nature, 400(6742), 351–354. https://doi.org/10.1038/22514
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: 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 | 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 | Book | IST-REx-ID: 3137
Jonas, P. M., & Monyer, H. (Eds.). (1999). Ionotropic Glutamate Receptors in the CNS (Vol. 141). Springer.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3625
Barton, N. H. (1999). Clines in polygenic traits. Genetical Research, 74(3), 223–236. https://doi.org/10.1017/S001667239900422X
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3524
Csicsvari, J. L., Hirase, H., Czurkó, A., Mamiya, A., & Buzsáki, G. (1999). Oscillatory coupling of hippocampal pyramidal cells and interneurons in the behaving rat. Journal of Neuroscience, 19(1), 274–287.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3531
Dragoi, G., Carpi, D., Recce, M., Csicsvari, J. L., & Buzsáki, G. (1999). Interactions between hippocampus and medial septum during sharp waves and theta oscillation in the behaving rat. Journal of Neuroscience, 19(14), 6191–6199.
View
 

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 | 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: 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: 3626
Kruuk, L., Baird, S., Gale, K., & Barton, N. H. (1999). A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids. Genetics, 153(4), 1959–1971.
View
 

1999 | Journal Article | IST-REx-ID: 3518
Nádasdy, Z., Hirase, H., Czurkó, A., Csicsvari, J. L., & Buzsáki, G. (1999). Replay and time compression of recurring spike sequences in the hippocampus. Journal of Neuroscience, 19(21), 9497–9507.
View
 

1999 | Journal Article | IST-REx-ID: 3582
Dey, T., Edelsbrunner, H., Guha, S., & Nekhayev, D. (1999). Topology preserving edge contraction. Publications de l’Institut Mathématique, 66, 23–45.
View | Download (ext.)
 

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 | 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: 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: 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
 

1999 | Journal Article | IST-REx-ID: 3444
Csicsvari, J. L., Hirase, H., Czurkó, A., Mamiya, A., & Buzsáki, G. (1999). Fast  network  oscillations  in the  hippocampal  CA1 region of the behaving rat. Journal of Neuroscience, 19(16).
View
 

1999 | Book Chapter | IST-REx-ID: 3456
Monyer, H., Jonas, P. M., & Rossier, J. (1999). Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS. In P. M. Jonas & H. Monyer (Eds.), Ionotropic Glutamate Receptors in the CNS (Vol. 141, pp. 309–339). Springer. https://doi.org/10.1007/978-3-662-08022-1_9
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3519
Czurkó, A., Hirase, H., Csicsvari, J. L., & Buzsáki, G. (1999). Sustained activation of hippocampal pyramidal cells by ‘space clamping’’ in a running wheel.’ European Journal of Neuroscience, 11(1), 344–352. https://doi.org/10.1046/j.1460-9568.1999.00446.x
View | DOI
 

1999 | Book Chapter | IST-REx-ID: 3571
Dey, T., Edelsbrunner, H., & Guha, S. (1999). Computational topology. In Advances in Discrete and Computational Geometry (Vol. 223, pp. 109–143). American Mathematical Society.
View | Download (ext.)
 

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: 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: 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 | 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: 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: 2865
Benková, E., Witters, E., Van Dongen, W., Kolář, J., Motyka, V., Brzobohatý, B., … Macháčková, I. (1999). Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment. Plant Physiology, 121(1), 245–251. https://doi.org/10.​1104/​pp.​121.​1.​245
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3445
Dragoi, G., Carpi, D., Recce, M., Csicsvari, J. L., & Buzsáki, G. (1999). Hippocampomedial septal interactions during sharp waves and theta oscillation in the behaving rat. Journal of Neuroscience, 19(14), 6191–6199.
View
 

1999 | Book Chapter | IST-REx-ID: 3457
Geiger, J., Roth, A., Taskin, B., & Jonas, P. M. (1999). Glutamate-mediated synaptic excitation of cortical interneurons. In H. Monyer & P. M. Jonas (Eds.), Ionotropic Glutamate Receptors in the CNS (Vol. 141, pp. 363–398). Springer. https://doi.org/10.1007/978-3-662-08022-1_11
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3515
Penttonen, M., Nurminen, N., Miettinen, R., Sirviö, J., Henze, D., Csicsvari, J. L., & Buzsáki, G. (1999). Ultra-slow oscillation (0.025 Hz) triggers hippocampal afterdischarges in Wistar rats. Neuroscience, 94(3), 735–743. https://doi.org/10.1016/S0306-4522(99)00367-X
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3539
Hirase, H., Czurkó, A., Csicsvari, J. L., & Buzsáki, G. (1999). Firing rate and theta-phase coding by hippocampal pyramidal neurons during ‘space clamping.’ European Journal of Neuroscience, 11(12), 4373–4380. https://doi.org/10.1046/j.1460-9568.1999.00853.x
View | DOI
 

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: 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: 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
 

1998 | Journal Article | IST-REx-ID: 2587
Jaarsma, D., Diño, M., Ohishi, H., Shigemoto, R., & Mugnaini, E. (1998). Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Brain Cell Biology, 27(5), 303–327. https://doi.org/10.1023/A:1006982023657
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 2695
Erdös, L., & Yau, H. (1998). Linear Boltzmann equation as scaling limit of quantum Lorentz gas (Vol. 217, pp. 137–155). Presented at the Differential Equations and Mathematical Physics, American Mathematical Society. https://doi.org/10.1090/conm/217
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3535
Hirase, H., Czurkó, A., Csicsvari, J. L., & Buzsáki, G. (1998). Hippocampal pyramidal neutrons “space-clamped” in a running wheel task: Place cells or path integrators? European Journal of Neuroscience, 10(Suppl. 10), 9932–9932.
View
 

1998 | Journal Article | IST-REx-ID: 3629
Maccallum, C., Nürnberger, B., Barton, N. H., & Szymura, J. (1998). Habitat preference in the Bombina hybrid zone in Croatia. Evolution, 52(1), 227–239.
View | Download (ext.)
 

1998 | Conference Paper | IST-REx-ID: 4019
Cheng, H., Edelsbrunner, H., & Fu, P. (1998). Shape space from deformation (pp. 104–113). Presented at the CGA: Conference on Computer Graphics and Applications , IEEE. https://doi.org/10.1109/PCCGA.1998.732056
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4280
Ritchie, M., & Barton, N. H. (1998). Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton. Trends in Ecology and Evolution, 13(7), 282–283. https://doi.org/10.1016/S0169-5347(98)01396-2
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
Alur, R., Henzinger, T. A., Kupferman, O., & Vardi, M. (1998). Alternating refinement relations (Vol. 1466, pp. 163–178). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055611
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (1998). Concurrent reachability games (pp. 564–575). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/SFCS.1998.743507 
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2583
Li, J., Ding, Y., Xiong, K., Li, J., Shigemoto, R., & Mizuno, N. (1998). Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat. Neuroscience Research, 30(3), 219–225. https://doi.org/10.1016/S0168-0102(97)00132-6
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2588
Kaupmann, K., Malitschek, B., Schuler, V., Heid, J., Froestl, W., Beck, P., … Bettler, B. (1998). GABA(B)-receptor subtypes assemble into functional heteromeric complexes. Nature, 396(6712), 683–687. https://doi.org/10.1038/25360
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2590
Jaarsma, D., Diño, M., Ohishi, H., Shigemoto, R., & Mugnaini, E. (1998). Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Journal of Neurocytology, 27(5), 303–327. https://doi.org/10.1023/A:1006982023657
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2728
Erdös, L. (1998). Lifschitz tail in a magnetic field: The nonclassical regime. Probability Theory and Related Fields, 112(3), 321–371. https://doi.org/10.1007/s004400050193
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4015
Edelsbrunner, H. (1998). Shape reconstruction with Delaunay complex (Vol. 1380, pp. 119–132). Presented at the LATIN: Latin American Symposium on Theoretical Informatics , Springer. https://doi.org/10.1007/BFb0054315
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4281
Barton, N. H., & Charlesworth, B. (1998). Why sex and recombination? Science, 281(5385), 1986–1990. https://doi.org/10.1126/science.281.5385.1986
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1998). You assume, we guarantee: Methodology and case studies (Vol. 1427, pp. 440–451). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/ 10.1007/BFb0028765
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
Henzinger, T. A., Raskin, J., & Schobbens, P. (1998). The regular real-time languages (Vol. 1443, pp. 580–591). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/BFb0055086
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, T. A. (1998). It’s about time: Real-time logics reviewed (Vol. 1466, pp. 439–454). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055640
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
Alur, R., Henzinger, T. A., Mang, F., Qadeer, S., Rajamani, S., & Tasiran, S. (1998). Mocha: Modularity in model checking (Vol. 1427, pp. 521–525). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/BFb0028774
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1954
Sazanov, L. A., Burrows, P., & Nixon, P. (1998). The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters, 429(1), 115–118. https://doi.org/10.1016/S0014-5793(98)00573-0
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2584
Kinoshita, A., Shigemoto, R., Ohishi, H., Van Der Putten, H., & Mizuno, N. (1998). Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study. Journal of Comparative Neurology, 393(3), 332–352. https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2589
Baude, A., & Shigemoto, R. (1998). Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study. Journal of Comparative Neurology, 402(2), 181–196. https://doi.org/10.1002/(SICI)1096-9861(19981214)402:2<181::AID-CNE4>3.0.CO;2-B
View | DOI
 

1998 | Patent | IST-REx-ID: 3506
Edelsbrunner, H., & Fu, P. (1998). Apparatus and method for geometric morphing. Elsevier. https://doi.org/US 5,850,229
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3525
Nádasdy, Z., Csicsvari, J. L., Hirase, H., Czurkó, A., & Buzsáki, G. (1998). Persistence and temporal compression of spike sequences during fast field oscillation in the hippocampus. European Journal of Neuroscience, 10(Suppl. 10), 9409–9409.
View
 

1998 | Book Chapter | IST-REx-ID: 3570
Axen, U., & Edelsbrunner, H. (1998). Auditory Morse analysis of triangulated manifolds. In Mathematical Visualization (pp. 223–236). Springer. https://doi.org/10.1007/978-3-662-03567-2_17
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4011
Liang, J., Edelsbrunner, H., Fu, P., Sudhakar, P., & Subramaniam, S. (1998). Analytical shape computation of macromolecules: I. molecular area and volume through alpha shape. Proteins: Structure, Function and Bioinformatics, 33(1), 1–17. https://doi.org/10.1002/(SICI)1097-0134(19981001)33:1<1::AID-PROT1>3.0.CO;2-O
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4016
Edelsbrunner, H., Facello, M., Fu, P., Qian, J., & Nekhayev, D. (1998). Wrapping 3D scanning data (Vol. 3313, pp. 148–158). Presented at the Three-Dimensional Image Capture and Applications, SPIE. https://doi.org/10.1117/12.302448
View | DOI
 

1998 | Book Review | IST-REx-ID: 4282
Barton, N. H. (1998). Genetics and analysis of quantitative traits. Genetical Research. Cambridge University Press.
View
 

1998 | Conference Paper | IST-REx-ID: 4408
Raskin, J., Schobbens, P., & Henzinger, T. A. (1998). Axioms for real-time logics (Vol. 1466, pp. 219–236). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055625
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
Preußig, J., Kowalewski, S., Wong Toi, H., & Henzinger, T. A. (1998). An algorithm for the approximative analysis of rectangular automata (Vol. 1486, pp. 228–240). Presented at the FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer. https://doi.org/10.1007/BFb0055350
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4489
Henzinger, T. A., Kupferman, O., & Qadeer, S. (1998). From pre-historic to post-modern symbolic model checking (Vol. 1427, pp. 195–206). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/BFb0028745
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
Henzinger, T. A., Ho, P., & Wong Toi, H. (1998). Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control, 43(4), 540–554. https://doi.org/10.1109/9.664156
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1450   OA
Hausel, T. (1998). Vanishing of intersection numbers on the moduli space of Higgs bundles. Advances in Theoretical and Mathematical Physics, 2(5), 1011–1040. https://doi.org/10.4310/ATMP.1998.v2.n5.a3
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1955   OA
Burrows, P., Sazanov, L. A., Sváb, Z., Maliga, P., & Nixon, P. (1998). Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. EMBO Journal, 17(4), 868–876. https://doi.org/10.1093/emboj/17.4.868
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 2585
Wada, E., Shigemoto, R., Kinoshita, A., Ohishi, H., & Mizuno, N. (1998). Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology, 393(4), 493–504. https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3627
Barton, N. H. (1998). The effect of hitch-hiking on neutral genealogies. Genetical Research, 72(2), 123–133. https://doi.org/10.1017/S0016672398003462
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3521
Csicsvari, J. L., Hirase, H., Czurkó, A., & Buzsáki, G. (1998). Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat. Neuron, 21(1), 179–189. https://doi.org/10.1016/S0896-6273(00)80525-5
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3487
Jonas, P. M., Bischofberger, J., & Sandkühler, J. (1998). Corelease of two fast neurotransmitters at a central synapse. Science, 281(5375), 419–424. https://doi.org/10.1126/science.281.5375.419
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4012
Liang, J., Edelsbrunner, H., Fu, P., Sudhakar, P., & Subramaniam, S. (1998). Analytical shape computation of macromolecules: II. Inaccessible cavities in proteins. Proteins: Structure, Function and Bioinformatics, 33(1), 18–29. https://doi.org/10.1002/(SICI)1097-0134(19981001)33:1<18::AID-PROT2>3.0.CO;2-H
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4017   OA
Liang, J., Edelsbrunner, H., & Woodward, C. (1998). Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design. Protein Science, 7(9), 1884–1897. https://doi.org/10.1002/pro.5560070905
View | DOI | Download (ext.)
 

1998 | Book Review | IST-REx-ID: 4283
Barton, N. H. (1998). The geometry of adaptation. Nature. Nature Publishing Group.
View
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed