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.

6283 Publications


1999 | Conference Paper | IST-REx-ID: 2711
Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation
L. Erdös, in:, World Scientific Publishing, 1999, pp. 233–242.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2730 View | DOI
 

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

1999 | Journal Article | IST-REx-ID: 2864
Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry
E. Witters, K. Vanhoutte, W. Dewitte, I. Macháčková, E. Benková, W. Van Dongen, E. Esmans, H. Van Onckelen, Phytochemical Analysis 10 (1999) 143–151.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2865
Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment
E. Benková, E. Witters, W. Van Dongen, J. Kolář, V. Motyka, B. Brzobohatý, H. Van Onckelen, I. Macháčková, Plant Physiology 121 (1999) 245–251.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 8526
An extension of the Artin-Mazur theorem
V. Kaloshin, The Annals of Mathematics 150 (1999) 729–741.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 883
Interactions among quantitative traits in the course of sympatric speciation
A. Kondrashov, F. Kondrashov, Nature 400 (1999) 351–354.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4601
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, in:, Springer, 1999, pp. 23–60.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4602
Automating modular verification
R. Alur, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97.
View | DOI
 

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

1999 | Journal Article | IST-REx-ID: 4204 View
 

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

1999 | Journal Article | IST-REx-ID: 4279
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.
View
 

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

1999 | Journal Article | IST-REx-ID: 4442
Discrete-time control for rectangular hybrid automata
T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4480
Formal specification and verification of a dataflow processor array
T.A. Henzinger, X. Liu, S. Qadeer, S. Rajamani, in:, IEEE, 1999, pp. 494–499.
View
 

1999 | Conference Paper | IST-REx-ID: 4484
Verifying sequential consistency on shared-memory multiprocessor systems
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Springer, 1999, pp. 301–315.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4485
Rectangular hybrid games
T.A. Henzinger, B. Horowitz, R. Majumdar, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–335.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4487
Assume-guarantee refinement between different time scales
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Springer, 1999, pp. 208–221.
View | DOI
 

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

1999 | Book | IST-REx-ID: 3137
Ionotropic Glutamate Receptors in the CNS
P.M. Jonas, H. Monyer, eds., Ionotropic Glutamate Receptors in the CNS, Springer, 1999.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3148 View
 

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

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

1999 | Book Chapter | IST-REx-ID: 3456
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.
View | DOI
 

1999 | Book Chapter | IST-REx-ID: 3457
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.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3515
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.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3518
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.
View
 

1999 | Journal Article | IST-REx-ID: 3519
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.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3524
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.
View | Download (ext.)
 

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

1999 | Journal Article | IST-REx-ID: 3539
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.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 3554
Mesh association: formulation and algorithms
X. Jiao, H. Edelsbrunner, M. Heath, in:, Elsevier, 1999, pp. 75–82.
View | Download (ext.)
 

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

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

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

1999 | Journal Article | IST-REx-ID: 3626
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.
View
 

1998 | Journal Article | IST-REx-ID: 2583 View | DOI
 

1998 | Journal Article | IST-REx-ID: 2584
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
A. Kinoshita, R. Shigemoto, H. Ohishi, H. Van Der Putten, N. Mizuno, Journal of Comparative Neurology 393 (1998) 332–352.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2585 View | DOI
 

1998 | Journal Article | IST-REx-ID: 2586
Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination
D. Watanabe, H. Inokawa, K. Hashimoto, N. Suzuki, M. Kano, R. Shigemoto, T. Hirano, K. Toyama, S. Kaneko, M. Yokoi, K. Moriyoshi, M. Suzuki, K. Kobayashi, T. Nagatsu, R. Kreitman, I. Pastan, S. Nakanishi, Cell 95 (1998) 17–27.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2587 View | DOI
 

1998 | Journal Article | IST-REx-ID: 2588
GABA(B)-receptor subtypes assemble into functional heteromeric complexes
K. Kaupmann, B. Malitschek, V. Schuler, J. Heid, W. Froestl, P. Beck, J. Mosbacher, S. Bischoff, Á. Kulik, R. Shigemoto, A. Karschin, B. Bettler, Nature 396 (1998) 683–687.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2589 View | DOI
 

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

1998 | Conference Paper | IST-REx-ID: 2695
Linear Boltzmann equation as scaling limit of quantum Lorentz gas
L. Erdös, H. Yau, in:, American Mathematical Society, 1998, pp. 137–155.
View | DOI
 

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

1998 | Journal Article | IST-REx-ID: 1954 View | DOI
 

1998 | Journal Article | IST-REx-ID: 1955 | OA View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1956 View | DOI
 

Search

Filter Publications