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.

5630 Publications


2000 | Journal Article | IST-REx-ID: 3923
S. Cremer, “Paternity analysis with AFLPs in Cardiocondyla ants,” B.I.F. Futura, vol. 15, no. 1, pp. 68–71, 2000.
View
 

2000 | Conference Paper | IST-REx-ID: 4008
H. Edelsbrunner, D. Letscher, and A. Zomorodian, “Topological persistance and simplification,” presented at the FOCS: Foundations of Computer Science, 2000, pp. 454–463.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4010
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, and S. Teng, “Sliver exudation,” Journal of the ACM, vol. 47, no. 5, pp. 883–904, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4147
P. Sordino et al., “A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata),” Sarsia, vol. 85, no. 2, pp. 173–176, 2000.
View
 

2000 | Journal Article | IST-REx-ID: 4197
C. Heisenberg et al., “Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation,” Nature, vol. 405, no. 6782, pp. 76–81, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4274   OA
N. H. Barton, “Genetic hitchhiking,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 355, no. 1403, pp. 1553–1562, 2000.
View | DOI | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 4433
T. A. Henzinger and S. Rajamani, “Fair bisimulation,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2000, vol. 1785, pp. 299–314.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Decomposing refinement proofs using assume-guarantee reasoning,” presented at the ICCAD: Computer-Aided Design, 2000, pp. 245–252.
View | DOI
 

2000 | Book Review | IST-REx-ID: 1031
J. Fürst et al., “Structure and function of the ion channel ICln,” Cellular Physiology and Biochemistry, vol. 10, no. 5–6. S. Karger AG, pp. 329–334, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2344   OA
É. Lieb, R. Seiringer, and J. Yngvason, “Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 61, no. 4, pp. 436021–4360213, 2000.
View | DOI | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2325
R. Seiringer, “Inequalities for Schrödinger operators and applications to the stability of matter problem ,” presented at the Arizona School of Analysis With Applications, 2000, vol. 529, pp. 53–72.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2731
L. Erdös and H. Yau, “Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation,” Communications on Pure and Applied Mathematics, vol. 53, no. 6, pp. 667–735, 2000.
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 4004
H. Edelsbrunner and D. Grayson, “Edgewise subdivision of a simplex,” Discrete & Computational Geometry, vol. 24, no. 4, pp. 707–719, 2000.
View | DOI
 

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

2000 | Book Review | IST-REx-ID: 4268
L. Partridge and N. H. Barton, “Evolving evolvability,” Nature, vol. 407, no. 6803. Nature Publishing Group, pp. 457–458, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4270
N. Galtier, F. Depaulis, and N. H. Barton, “Detecting bottlenecks and selective sweeps from DNA sequence polymorphism,” Genetics, vol. 155, no. 2, pp. 981–987, 2000.
View
 

2000 | Book Chapter | IST-REx-ID: 4275
N. H. Barton, “Differentiation,” in Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
T. A. Henzinger and J. Raskin, “Robust undecidability of timed and hybrid systems,” presented at the HSCC: Hybrid Systems - Computation and Control, 2000, vol. 1790, pp. 145–159.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
T. A. Henzinger and R. Majumdar, “A classification of symbolic transition systems,” presented at the STACS: Theoretical Aspects of Computer Science, 2000, vol. 1770, pp. 13–34.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 842
Y. Wolf, F. Kondrashov, and E. Koonin, “No footprints of primordial introns in a eukaryotic genome,” Trends in Genetics, vol. 16, no. 8, pp. 333–334, 2000.
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 2600
J. Li, D. Wang, T. Kaneko, R. Shigemoto, S. Nomura, and N. Mizuno, “The relationship between neurokinin-1 receptor and substance P in the medullary dorsal horn: A light and electron microscopic immunohistochemical study in the rat,” Neuroscience Research, vol. 36, no. 4, pp. 327–334, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2732
F. Castella, L. Erdös, F. Frommlet, and P. Markowich, “Fokker-Planck equations as scaling limits of reversible quantum systems,” Journal of Statistical Physics, vol. 100, no. 3–4, pp. 543–601, 2000.
View | DOI
 

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

2000 | Book Review | IST-REx-ID: 4276
N. H. Barton, “Population genetics of multiple loci,” Genetical Research, vol. 75, no. 3. Cambridge University Press, pp. 371–373, 2000.
View
 

2000 | Journal Article | IST-REx-ID: 4269
J. Coyne, N. H. Barton, and M. Turelli, “Is Wright’s shifting balance process important in evolution?,” Evolution; International Journal of Organic Evolution, vol. 54, no. 1, pp. 306–317, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4271
N. H. Barton and M. Shpak, “The effects of epistasis on the structure of hybrid zones,” Genetical Research, vol. 75, no. 2, pp. 179–198, 2000.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
T. A. Henzinger and R. Majumdar, “Symbolic model checking for rectangular hybrid systems,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2000, vol. 1785, pp. 142–156.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
T. A. Henzinger, “Masaccio: A formal model for embedded components,” presented at the TCS: Theoretical Computer Science, 2000, vol. 1872, pp. 549–563.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems,” presented at the CONCUR: Concurrency Theory, 2000, vol. 1877, pp. 458–473.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4598
R. Alur, T. A. Henzinger, G. Lafferriere, and G. Pappas, “Discrete abstractions of hybrid systems,” Proceedings of the IEEE, vol. 88, no. 7, pp. 971–984, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2601
T. Ichise et al., “mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination,” Science, vol. 288, no. 5472, pp. 1832–1835, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2598
P. Sillevis Smitt et al., “Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor,” New England Journal of Medicine, vol. 342, no. 1, pp. 21–27, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2733
L. Erdös, M. Loss, and V. Vougalter, “Diamagnetic behavior of sums Dirichlet eigenvalues,” Annales de l’Institut Fourier, vol. 50, no. 3, pp. 891–907, 2000.
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 3623
N. H. Barton and L. Patridge, “Measuring fitness by means of balancer chromosomes,” Genetical Research, vol. 75, no. 3, pp. 297–314, 2000.
View | DOI
 

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

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

2000 | Journal Article | IST-REx-ID: 4272
N. H. Barton and M. Shpak, “The stability of symmetrical solutions to polygenic models,” Theoretical Population Biology, vol. 57, no. 3, pp. 249–263, 2000.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
T. A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong Toi, “Beyond HyTech: Hybrid systems analysis using interval numerical methods,” presented at the HSCC: Hybrid Systems - Computation and Control, 2000, vol. 1790, pp. 130–144.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
T. A. Henzinger, “The theory of hybrid automata,” in Verification of Digital and Hybrid Systems, vol. 170, M. Inan and R. Kurshan, Eds. Springer, 2000, pp. 265–292.
View
 

2000 | Conference Paper | IST-REx-ID: 4638
L. De Alfaro, T. A. Henzinger, and F. Mang, “Detecting errors before reaching them,” presented at the CAV: Computer-Aided Verification, 2000, vol. 1855, pp. 186–201.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2594
Y. Ding et al., “The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord,” Neuroscience Letters, vol. 266, no. 2, pp. 133–136, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3148
D. E. Siekhaus and R. Fuller, “A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior,” Journal of Neuroscience, vol. 19, no. 16, pp. 6942–6954, 1999.
View
 

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

1999 | Journal Article | IST-REx-ID: 4014
H. Edelsbrunner, “Deformable smooth surface design,” Discrete & Computational Geometry, vol. 21, no. 1, pp. 87–115, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4204
C. Heisenberg, C. Brennan, and S. Wilson, “Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development,” Development, vol. 126, no. 10, pp. 2129–2140, 1999.
View
 

1999 | Conference Paper | IST-REx-ID: 4487
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Assume-guarantee refinement between different time scales,” presented at the CAV: Computer Aided Verification, 1999, vol. 1633, pp. 208–221.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 883
A. Kondrashov and F. Kondrashov, “Interactions among quantitative traits in the course of sympatric speciation,” Nature, vol. 400, no. 6742, pp. 351–354, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2595
M. Lafon Cazal et al., “mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones,” Neuropharmacology, vol. 38, no. 10, pp. 1631–1640, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2730
L. Erdös and J. Solovej, “Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate,” Duke Mathematical Journal, vol. 96, no. 1, pp. 127–173, 1999.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 2711
L. Erdös, “Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation,” presented at the QMath: Mathematical Results in Quantum Physics, 1999, vol. 108, pp. 233–242.
View | DOI
 

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

1999 | Journal Article | IST-REx-ID: 3625
N. H. Barton, “Clines in polygenic traits,” Genetical Research, vol. 74, no. 3, pp. 223–236, 1999.
View | DOI
 

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

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

1999 | Journal Article | IST-REx-ID: 4279
S. Goodman, N. H. Barton, G. Swanson, K. Abernethy, and J. Pemberton, “Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland,” Genetics, vol. 152, no. 1, pp. 355–371, 1999.
View
 

1999 | Journal Article | IST-REx-ID: 2591
W. Kummer, R. Shigemoto, and R. Haberberger, “Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve,” Neuroscience Letters, vol. 259, no. 2, pp. 119–122, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2596
S. Bischoff et al., “Spatial distribution of GABA(B)R1 receptor mRNA and binding sites in the rat brain^,” Journal of Comparative Neurology, vol. 412, no. 1, pp. 1–16, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3626
L. Kruuk, S. Baird, K. Gale, and N. H. Barton, “A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids,” Genetics, vol. 153, no. 4, pp. 1959–1971, 1999.
View
 

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

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

1999 | Conference Paper | IST-REx-ID: 4484
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Verifying sequential consistency on shared-memory multiprocessor systems,” presented at the CAV: Computer Aided Verification, 1999, vol. 1633, pp. 301–315.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2592
M. Masugi et al., “Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion,” Journal of Neuroscience, vol. 19, no. 3, pp. 955–963, 1999.
View
 

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

1999 | Journal Article | IST-REx-ID: 2864
E. Witters et al., “Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry,” Phytochemical Analysis, vol. 10, no. 3, pp. 143–151, 1999.
View | DOI
 

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

1999 | Book Chapter | IST-REx-ID: 3456
H. Monyer, P. M. Jonas, and J. Rossier, “Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS,” in Ionotropic Glutamate Receptors in the CNS, vol. 141, P. M. Jonas and H. Monyer, Eds. Springer, 1999, pp. 309–339.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3519
A. Czurkó, H. Hirase, J. L. Csicsvari, and G. Buzsáki, “Sustained activation of hippocampal pyramidal cells by ‘space clamping’’ in a running wheel,’” European Journal of Neuroscience, vol. 11, no. 1, pp. 344–352, 1999.
View | DOI
 

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

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

1999 | Journal Article | IST-REx-ID: 4442
T. A. Henzinger and P. Kopke, “Discrete-time control for rectangular hybrid automata,” Theoretical Computer Science, vol. 221, no. 1–2, pp. 369–392, 1999.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4480
T. A. Henzinger, X. Liu, S. Qadeer, and S. Rajamani, “Formal specification and verification of a dataflow processor array,” presented at the ICCAD: Computer-Aided Design, 1999, pp. 494–499.
View
 

1999 | Conference Paper | IST-REx-ID: 4485
T. A. Henzinger, B. Horowitz, and R. Majumdar, “Rectangular hybrid games,” presented at the CONCUR: Concurrency Theory, 1999, vol. 1664, pp. 320–335.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4601
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” presented at the COMPOS: Compositionality, 1999, vol. 1536, pp. 23–60.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2593
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, and Y. De Koninck, “NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord,” Journal of Neuroscience, vol. 19, no. 9, pp. 3545–3555, 1999.
View
 

1999 | Journal Article | IST-REx-ID: 2783
B. Hof, P. Lucas, and T. Mullin, “Flow state multiplicity in convection,” Physics of Fluids, vol. 11, no. 10, pp. 2815–2817, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2865
E. Benková et al., “Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment,” Plant Physiology, vol. 121, no. 1, pp. 245–251, 1999.
View | DOI
 

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

1999 | Book Chapter | IST-REx-ID: 3457
J. Geiger, A. Roth, B. Taskin, and P. M. Jonas, “Glutamate-mediated synaptic excitation of cortical interneurons,” in Ionotropic Glutamate Receptors in the CNS, vol. 141, H. Monyer and P. M. Jonas, Eds. Springer, 1999, pp. 363–398.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3515
M. Penttonen et al., “Ultra-slow oscillation (0.025 Hz) triggers hippocampal afterdischarges in Wistar rats,” Neuroscience, vol. 94, no. 3, pp. 735–743, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3539
H. Hirase, A. Czurkó, J. L. Csicsvari, and G. Buzsáki, “Firing rate and theta-phase coding by hippocampal pyramidal neurons during ‘space clamping,’” European Journal of Neuroscience, vol. 11, no. 12, pp. 4373–4380, 1999.
View | DOI
 

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

1999 | Journal Article | IST-REx-ID: 4582
R. Alur and T. A. Henzinger, “Reactive modules,” Formal Methods in System Design, vol. 15, no. 1, pp. 7–48, 1999.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4602
R. Alur, L. De Alfaro, T. A. Henzinger, and F. Mang, “Automating modular verification,” presented at the CONCUR: Concurrency Theory, 1999, vol. 1664, pp. 82–97.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2587
D. Jaarsma, M. Diño, H. Ohishi, R. Shigemoto, and E. Mugnaini, “Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex,” Brain Cell Biology, vol. 27, no. 5, pp. 303–327, 1998.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 2695
L. Erdös and H. Yau, “Linear Boltzmann equation as scaling limit of quantum Lorentz gas,” presented at the Differential Equations and Mathematical Physics, 1998, vol. 217, pp. 137–155.
View | DOI
 

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

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

1998 | Conference Paper | IST-REx-ID: 4019
H. Cheng, H. Edelsbrunner, and P. Fu, “Shape space from deformation,” presented at the CGA: Conference on Computer Graphics and Applications , 1998, pp. 104–113.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4280
M. Ritchie and N. H. Barton, “Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton,” Trends in Ecology and Evolution, vol. 13, no. 7, pp. 282–283, 1998.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi, “Alternating refinement relations,” presented at the CONCUR: Concurrency Theory, 1998, vol. 1466, pp. 163–178.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” presented at the FOCS: Foundations of Computer Science, 1998, pp. 564–575.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2583
J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, and N. Mizuno, “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, vol. 30, no. 3, pp. 219–225, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2588
K. Kaupmann et al., “ GABA(B)-receptor subtypes assemble into functional heteromeric complexes,” Nature, vol. 396, no. 6712, pp. 683–687, 1998.
View | DOI
 

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

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

1998 | Conference Paper | IST-REx-ID: 4015
H. Edelsbrunner, “Shape reconstruction with Delaunay complex,” presented at the LATIN: Latin American Symposium on Theoretical Informatics , 1998, vol. 1380, pp. 119–132.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4281
N. H. Barton and B. Charlesworth, “Why sex and recombination?,” Science, vol. 281, no. 5385, pp. 1986–1990, 1998.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed