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.

6313 Publications


2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro L, Henzinger TA, Mang F. 2000. The control of synchronous systems. CONCUR: Concurrency Theory, LNCS, vol. 1877, 458–473.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro L, Henzinger TA, Mang F. 2000. Detecting errors before reaching them. CAV: Computer-Aided Verification, LNCS, vol. 1855, 186–201.
View | DOI
 

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

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

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

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

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

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

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

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

2000 | Journal Article | IST-REx-ID: 4197
Heisenberg C-PJ, Tada M, Rauch G, Saúde L, Concha M, Geisler R, Stemple D, Smith J, Wilson S. 2000. Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. 405(6782), 76–81.
View | DOI
 

2000 | Book Review | IST-REx-ID: 4268
Partridge L, Barton NH. 2000. Evolving evolvability. Nature. 407(6803), 457–458.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4269
Coyne J, Barton NH, Turelli M. 2000. Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. 54(1), 306–317.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4270
Galtier N, Depaulis F, Barton NH. 2000. Detecting bottlenecks and selective sweeps from DNA sequence polymorphism. Genetics. 155(2), 981–987.
View
 

2000 | Journal Article | IST-REx-ID: 4271
Barton NH, Shpak M. 2000. The effects of epistasis on the structure of hybrid zones. Genetical Research. 75(2), 179–198.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4272
Barton NH, Shpak M. 2000. The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. 57(3), 249–263.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4273
Barton NH, Partridge L. 2000. Limits to natural selection. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. 22(12), 1075–1084.
View | DOI
 

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

2000 | Book Chapter | IST-REx-ID: 4275
Barton NH. 2000.Differentiation. In: Encyclopedia of Biodiversity. , 85–94.
View | DOI
 

2000 | Book Review | IST-REx-ID: 4276
Barton NH. 2000. Population genetics of multiple loci. Genetical Research. 75(3), 371–373.
View
 

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger TA, Rajamani S. 2000. Fair bisimulation. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 299–314.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Henzinger TA, Raskin J. 2000. Robust undecidability of timed and hybrid systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1790, 145–159.
View | DOI
 

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

2000 | Conference Paper | IST-REx-ID: 4439
Henzinger TA, Majumdar R. 2000. A classification of symbolic transition systems. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 1770, 13–34.
View | DOI
 

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

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger TA, Majumdar R, Mang F, Raskin J. 2000. Abstract interpretation of game properties. SAS: Static Analysis Symposium, LNCS, vol. 1824, 220–239.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger TA, Qadeer S, Rajamani S. 2000. Decomposing refinement proofs using assume-guarantee reasoning. ICCAD: Computer-Aided Design, 245–252.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger TA. 2000. Masaccio: A formal model for embedded components. TCS: Theoretical Computer Science, LNCS, vol. 1872, 549–563.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger TA. 2000.The theory of hybrid automata. In: Verification of Digital and Hybrid Systems. NATO ASI Series F: Computer and Systems Sciences, vol. 170, 265–292.
View
 

2000 | Journal Article | IST-REx-ID: 4598
Alur R, Henzinger TA, Lafferriere G, Pappas G. 2000. Discrete abstractions of hybrid systems. Proceedings of the IEEE. 88(7), 971–984.
View | DOI
 

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

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

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

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

2000 | Journal Article | IST-REx-ID: 3492
Geiger J, Jonas PM. 2000. Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. 28(3), 927–939.
View | DOI
 

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

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

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

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

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

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

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

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

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

1999 | Journal Article | IST-REx-ID: 2592
Masugi M, Yokoi M, Shigemoto R, Muguruma K, Watanabe Y, Sansig G, Van Der Putten H, Nakanishi S. 1999. Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience. 19(3), 955–963.
View
 

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

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

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

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

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

Search

Filter Publications