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.

5758 Publications


2000 | Conference Paper | IST-REx-ID: 4627
Concurrent omega-regular games
L. De Alfaro, T.A. Henzinger, in:, IEEE, 2000, pp. 141–154.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
The control of synchronous systems
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
Detecting errors before reaching them
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Springer, 2000, pp. 186–201.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3149
Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion
J. Hwang, D.E. Siekhaus, R. Fuller, P. Taghert, I. Lindberg, Journal of Biological Chemistry 275 (2000) 17886–17893.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3489
Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse
U. Kraushaar, P.M. Jonas, Journal of Neuroscience 20 (2000) 5594–5607.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3490
Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels
C. Normann, D. Peckys, C. Schulze, J. Walden, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 20 (2000) 8290–8297.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3491
Distal initiation and active propagation of action potentials in interneuron dendrites
M. Martina, I. Vida, P.M. Jonas, Science 287 (2000) 295–300.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3492 View | DOI
 

2000 | Journal Article | IST-REx-ID: 3532
Intracellular features predicted by extracellular recordings in the hippocampus in vivo
D. Henze, Z. Borhegyi, J.L. Csicsvari, A. Mamiya, K. Harris, G. Buzsáki, Journal of Neurophysiology 84 (2000) 390–400.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3542
Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events
J.L. Csicsvari, H. Hirase, A. Mamiya, G. Buzsáki, Neuron 28 (2000) 585–594.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3548
Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements
K. Harris, D. Henze, J.L. Csicsvari, H. Hirase, G. Buzsáki, Journal of Neurophysiology 84 (2000) 401–414.
View
 

2000 | Conference Paper | IST-REx-ID: 3555
Smoothing and cleaning up slivers
H. Edelsbrunner, X. Li, G. Miller, A. Stathopoulos, D. Talmor, S. Teng, A. Üngör, N. Walkington, in:, ACM, 2000, pp. 273–277.
View | DOI | Download (ext.)
 

2000 | Book Chapter | IST-REx-ID: 3572
Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung
H. Edelsbrunner, in:, Zur Kunst Des Formalen Denkens, Passagen Verlag, 2000, pp. 153–171.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3583
Triangulations and meshes in computational geometry
H. Edelsbrunner, Acta Numerica 9 (2000) 133–213.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3623
Measuring fitness by means of balancer chromosomes
N.H. Barton, L. Patridge, Genetical Research 75 (2000) 297–314.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3624
Estimating multilocus linkage disequilibria
N.H. Barton, Heredity 84 (2000) 373–389.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3798
The time course of signaling at central glutamatergic synapses
P.M. Jonas, Physiology 15 (2000) 83–89.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3923
Paternity analysis with AFLPs in Cardiocondyla ants
S. Cremer, B.I.F. Futura 15 (2000) 68–71.
View
 

2000 | Journal Article | IST-REx-ID: 4004
Edgewise subdivision of a simplex
H. Edelsbrunner, D. Grayson, Discrete & Computational Geometry 24 (2000) 707–719.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4008
Topological persistance and simplification
H. Edelsbrunner, D. Letscher, A. Zomorodian, in:, IEEE, 2000, pp. 454–463.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4009
Adaptive simplicial grids from cross-sections of monotone complexes
H. Edelsbrunner, R. Waupotitsch, International Journal of Computational Geometry and Applications 10 (2000) 267–284.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4010
Sliver exudation
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, S. Teng, Journal of the ACM 47 (2000) 883–904.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4147
A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata)
P. Sordino, C. Heisenberg, P. Cirino, A. Toscano, P. Giuliano, R. Marino, M. Pinto, R. De Santis, Sarsia 85 (2000) 173–176.
View
 

2000 | Journal Article | IST-REx-ID: 842
No footprints of primordial introns in a eukaryotic genome
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 16 (2000) 333–334.
View | DOI
 

2000 | Book Review | IST-REx-ID: 1031
Structure and function of the ion channel ICln
J. Fürst, M. Jakab, M. König, M. Ritter, M. Gschwentner, J. Rudzki, J. Danzl, M. Mayer, C. Burtscher, J. Schirmer, B. Maier, M. Nairz, S. Chwatal, M. Paulmichl, Cellular Physiology and Biochemistry 10 (2000) 329–334.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1455 | OA
Inscribing cubes and covering by rhombic dodecahedra via equivariant topology
T. Hausel, E. Makai, A. Szücs, Mathematika 47 (2000) 371–397.
View | DOI | Download (ext.)
 

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

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

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

1999 | Journal Article | IST-REx-ID: 2594
The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord
Y. Ding, H. Zheng, D. Wang, J. Xu, L. Gong, Y. Lü, B. Qin, J. Shi, H. Li, J. Li, R. Shigemoto, T. Kaneko, N. Mizuno, Neuroscience Letters 266 (1999) 133–136.
View | DOI
 

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

1999 | Journal Article | IST-REx-ID: 2596
Spatial distribution of GABA(B)R1 receptor mRNA and binding sites in the rat brain^
S. Bischoff, S. Leonhard, N. Reymann, V. Schuler, R. Shigemoto, K. Kaupmann, B. Bettler, Journal of Comparative Neurology 412 (1999) 1–16.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2597
Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses
T. Bushell, C. Lee, R. Shigemoto, R. Miller, Neuropharmacology 38 (1999) 1553–1567.
View | DOI
 

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

Search

Filter Publications