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