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.

5876 Publications


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: 4197
Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation
C. Heisenberg, M. Tada, G. Rauch, L. Saúde, M. Concha, R. Geisler, D. Stemple, J. Smith, S. Wilson, Nature 405 (2000) 76–81.
View | DOI
 

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

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

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

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

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

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

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

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

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

2000 | Conference Paper | IST-REx-ID: 4433
Fair bisimulation
T.A. Henzinger, S. Rajamani, in:, Springer, 2000, pp. 299–314.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Robust undecidability of timed and hybrid systems
T.A. Henzinger, J. Raskin, in:, Springer, 2000, pp. 145–159.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Symbolic model checking for rectangular hybrid systems
T.A. Henzinger, R. Majumdar, in:, Springer, 2000, pp. 142–156.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, in:, Springer, 2000, pp. 13–34.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Beyond HyTech: Hybrid systems analysis using interval numerical methods
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Springer, 2000, pp. 130–144.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
Abstract interpretation of game properties
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Springer, 2000, pp. 220–239.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Decomposing refinement proofs using assume-guarantee reasoning
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, IEEE, 2000, pp. 245–252.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Masaccio: A formal model for embedded components
T.A. Henzinger, in:, Springer, 2000, pp. 549–563.
View | DOI
 

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

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

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 | Conference Paper | IST-REx-ID: 2710
The kernel of Dirac operators on S3 and R3
L. Erdös, in:, American Mathematical Society, 2000, pp. 111–119.
View
 

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

2000 | Journal Article | IST-REx-ID: 2732
Fokker-Planck equations as scaling limits of reversible quantum systems
F. Castella, L. Erdös, F. Frommlet, P. Markowich, Journal of Statistical Physics 100 (2000) 543–601.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2733
Diamagnetic behavior of sums Dirichlet eigenvalues
L. Erdös, M. Loss, V. Vougalter, Annales de l’Institut Fourier 50 (2000) 891–907.
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 | Conference Paper | IST-REx-ID: 1736
Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems
G. Katsaros, P. Lane, M. Murphy, in:, IEEE, 2000, pp. 27–28.
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 1958
Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme
L.A. Sazanov, S. Peak Chew, I. Fearnley, J. Walker, Biochemistry 39 (2000) 7229–7235.
View | DOI
 

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 | 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.)
 

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: 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.)
 

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
 

Search

Filter Publications