Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS
H. Monyer, P.M. Jonas, J. Rossier, in:, P.M. Jonas, H. Monyer (Eds.), Ionotropic Glutamate Receptors in the CNS, Springer, 1999, pp. 309–339.
LibreCat: https://research-explorer.ista.ac.at/record/3456
DOI: 10.1007/978-3-662-08022-1_9

Glutamate-mediated synaptic excitation of cortical interneurons
J. Geiger, A. Roth, B. Taskin, P.M. Jonas, in:, H. Monyer, P.M. Jonas (Eds.), Ionotropic Glutamate Receptors in the CNS, Springer, 1999, pp. 363–398.
LibreCat: https://research-explorer.ista.ac.at/record/3457
DOI: 10.1007/978-3-662-08022-1_11

Oscillatory coupling of hippocampal pyramidal cells and interneurons in the behaving rat
J.L. Csicsvari, H. Hirase, A. Czurkó, A. Mamiya, G. Buzsáki, Journal of Neuroscience 19 (1999) 274–287.
LibreCat: https://research-explorer.ista.ac.at/record/3524
DOI: 10.1523/JNEUROSCI.19-01-00274.1999
PMID: 9870957

Replay and time compression of recurring spike sequences in the hippocampus
Z. Nádasdy, H. Hirase, A. Czurkó, J.L. Csicsvari, G. Buzsáki, Journal of Neuroscience 19 (1999) 9497–9507.
LibreCat: https://research-explorer.ista.ac.at/record/3518
DOI: 10.1523/JNEUROSCI.19-21-09497.1999
PMID: 10531452

Sustained activation of hippocampal pyramidal cells by ‘space clamping' in a running wheel
A. Czurkó, H. Hirase, J.L. Csicsvari, G. Buzsáki, European Journal of Neuroscience 11 (1999) 344–352.
LibreCat: https://research-explorer.ista.ac.at/record/3519
DOI: 10.1046/j.1460-9568.1999.00446.x
PMID: 9987037

Firing rate and theta-phase coding by hippocampal pyramidal neurons during ‘space clamping’
H. Hirase, A. Czurkó, J.L. Csicsvari, G. Buzsáki, European Journal of Neuroscience 11 (1999) 4373–4380.
LibreCat: https://research-explorer.ista.ac.at/record/3539
DOI: 10.1046/j.1460-9568.1999.00853.x
PMID: 10594664 

Mesh association: formulation and algorithms
X. Jiao, H. Edelsbrunner, M. Heath, in:, Proceedings of the 8th International Meshing Roundtable, Elsevier, 1999, pp. 75–82.
LibreCat: https://research-explorer.ista.ac.at/record/3554

Computational topology
T. Dey, H. Edelsbrunner, S. Guha, in:, Advances in Discrete and Computational Geometry, American Mathematical Society, 1999, pp. 109–143.
LibreCat: https://research-explorer.ista.ac.at/record/3571

Hybrid dysfunction in fire-bellied toads (Bombina)
L. Kruuk, J. Gilchrist, N.H. Barton, Evolution; International Journal of Organic Evolution 53 (1999) 1611–1616.
LibreCat: https://research-explorer.ista.ac.at/record/4277
DOI: 10.2307/2640907
PMID: 28565554

Ultra-slow oscillation (0.025 Hz) triggers hippocampal afterdischarges in Wistar rats
M. Penttonen, N. Nurminen, R. Miettinen, J. Sirviö, D. Henze, J.L. Csicsvari, G. Buzsáki, Neuroscience 94 (1999) 735–743.
LibreCat: https://research-explorer.ista.ac.at/record/3515
DOI: 10.1016/S0306-4522(99)00367-X
PMID: 10579564

A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids
L. Kruuk, S. Baird, K. Gale, N.H. Barton, Genetics 153 (1999) 1959–1971.
LibreCat: https://research-explorer.ista.ac.at/record/3626
DOI: 10.1093/genetics/153.4.1959
PMID: 10581299

Clines in polygenic traits
N.H. Barton, Genetical Research 74 (1999) 223–236.
LibreCat: https://research-explorer.ista.ac.at/record/3625
DOI: 10.1017/S001667239900422X
PMID: 10689800 

Deformable smooth surface design
H. Edelsbrunner, Discrete &; Computational Geometry 21 (1999) 87–115.
LibreCat: https://research-explorer.ista.ac.at/record/4014
DOI: 10.1007/PL00009412

Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fg) and coincident defects in CNS development
C.-P.J. Heisenberg, C. Brennan, S. Wilson, Development 126 (1999) 2129–2140.
LibreCat: https://research-explorer.ista.ac.at/record/4204
DOI: 10.1242/dev.126.10.2129
PMID: 10207138

Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland
S. Goodman, N.H. Barton, G. Swanson, K. Abernethy, J. Pemberton, Genetics 152 (1999) 355–371.
LibreCat: https://research-explorer.ista.ac.at/record/4279
DOI: 10.1093/genetics/152.1.355
PMID: 10224266

Algorithms and Methodology for Scalable Model Checking
S. Qadeer, Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley, 1999.
LibreCat: https://research-explorer.ista.ac.at/record/4411

Discrete-time control for rectangular hybrid automata
T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392.
LibreCat: https://research-explorer.ista.ac.at/record/4442
DOI: 10.1016/S0304-3975(99)00038-9

Verifying sequential consistency on shared-memory multiprocessor systems
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 11th International Conference on Computer Aided Verification, Springer, 1999, pp. 301–315.
LibreCat: https://research-explorer.ista.ac.at/record/4484
DOI: 10.1007/3-540-48683-6_27

Rectangular hybrid games
T.A. Henzinger, B. Horowitz, R. Majumdar, in:, Proceedings of the 10th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–335.
LibreCat: https://research-explorer.ista.ac.at/record/4485
DOI: 10.1007/3-540-48320-9_23

Formal specification and verification of a dataflow processor array
T.A. Henzinger, X. Liu, S. Qadeer, S. Rajamani, in:, IEEE, 1999, pp. 494–499.
LibreCat: https://research-explorer.ista.ac.at/record/4480
DOI: 10.1109/ICCAD.1999.810700

Assume-guarantee refinement between different time scales
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 11th International Conference on Computer Aided Verification, Springer, 1999, pp. 208–221.
LibreCat: https://research-explorer.ista.ac.at/record/4487
DOI: 10.1007/3-540-48683-6_20

Reactive modules
R. Alur, T.A. Henzinger, Formal Methods in System Design 15 (1999) 7–48.
LibreCat: https://research-explorer.ista.ac.at/record/4582
DOI: 10.1023/A:1008739929481

Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, in:, Proceedings of the International Symposium on Compositionality, Springer, 1999, pp. 23–60.
LibreCat: https://research-explorer.ista.ac.at/record/4601
DOI: 10.1007/3-540-49213-5_2

Automating modular verification
R. Alur, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 10th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97.
LibreCat: https://research-explorer.ista.ac.at/record/4602
DOI: 10.1007/3-540-48320-9_8

An extension of the Artin-Mazur theorem
V. Kaloshin, The Annals of Mathematics 150 (1999) 729–741.
LibreCat: https://research-explorer.ista.ac.at/record/8526
DOI: 10.2307/121093

Topology preserving edge contraction
T. Dey, H. Edelsbrunner, S. Guha, D. Nekhayev, Publications de l’Institut Mathématique 66 (1999) 23–45.
LibreCat: https://research-explorer.ista.ac.at/record/3582

Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion
M. Masugi, M. Yokoi, R. Shigemoto, K. Muguruma, Y. Watanabe, G. Sansig, H. Van Der Putten, S. Nakanishi, Journal of Neuroscience 19 (1999) 955–963.
LibreCat: https://research-explorer.ista.ac.at/record/2592
DOI: 10.1523/JNEUROSCI.19-03-00955.1999
PMID: 9920659

NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, Y. De Koninck, Journal of Neuroscience 19 (1999) 3545–3555.
LibreCat: https://research-explorer.ista.ac.at/record/2593
DOI: 10.1523/JNEUROSCI.19-09-03545.1999
PMID: 10212314

Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve
W. Kummer, R. Shigemoto, R. Haberberger, Neuroscience Letters 259 (1999) 119–122.
LibreCat: https://research-explorer.ista.ac.at/record/2591
DOI: 10.1016/S0304-3940(98)00926-4
PMID: 10025572

Interactions among quantitative traits in the course of sympatric speciation
A. Kondrashov, F. Kondrashov, Nature 400 (1999) 351–354.
LibreCat: https://research-explorer.ista.ac.at/record/883
DOI: 10.1038/22514
PMID: 10432111