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.
6107 Publications
2005 | Journal Article | IST-REx-ID: 4171
Shield formation at the onset of zebrafish gastrulation
J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, C.-P.J. Heisenberg, Development 132 (2005) 1187–1198.
View
| DOI
J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, C.-P.J. Heisenberg, Development 132 (2005) 1187–1198.
2005 | Journal Article | IST-REx-ID: 4183
Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure
M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, C.-P.J. Heisenberg, Mechanisms of Development 122 (2005) S112–S113.
View
| DOI
M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, C.-P.J. Heisenberg, Mechanisms of Development 122 (2005) S112–S113.
2005 | Journal Article | IST-REx-ID: 4251
Evolution of recombination due to random drift
N.H. Barton, S. Otto, Genetics 169 (2005) 2353–2370.
View
| DOI
N.H. Barton, S. Otto, Genetics 169 (2005) 2353–2370.
2005 | Journal Article | IST-REx-ID: 4252 | 
Theoretical models of selection and mutationon quantitative traits
T. Johnson, N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 360 (2005) 1411–1425.
View
| DOI
| Download (ext.)
T. Johnson, N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 360 (2005) 1411–1425.
2005 | Conference Paper | IST-REx-ID: 4367
Boolean Heaps
A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.
View
| DOI
A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.
2005 | Journal Article | IST-REx-ID: 4249
Speciation through competition: A critical review
J. Polechova, N.H. Barton, Evolution; International Journal of Organic Evolution 59 (2005) 1194–1210.
View
| DOI
J. Polechova, N.H. Barton, Evolution; International Journal of Organic Evolution 59 (2005) 1194–1210.
2005 | Conference Paper | IST-REx-ID: 4404
Synthesis of interface specifications for Java classes
R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.
View
| DOI
R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.
2005 | Conference Paper | IST-REx-ID: 4412
Trading end-to-end latency for composability
S. Matic, T.A. Henzinger, in:, IEEE, 2005, pp. 99–110.
View
| DOI
S. Matic, T.A. Henzinger, in:, IEEE, 2005, pp. 99–110.
2005 | Conference Paper | IST-REx-ID: 4418
A programmable microkernel for real-time systems
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
View
| DOI
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
2005 | Journal Article | IST-REx-ID: 4454
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, J. Raskin, ACM Transactions on Computational Logic (TOCL) 6 (2005) 1–32.
View
| DOI
T.A. Henzinger, R. Majumdar, J. Raskin, ACM Transactions on Computational Logic (TOCL) 6 (2005) 1–32.
2005 | Conference Paper | IST-REx-ID: 4455
Quantifying similarities between timed systems
T.A. Henzinger, R. Majumdar, V. Prabhu, in:, Springer, 2005, pp. 226–241.
View
| DOI
T.A. Henzinger, R. Majumdar, V. Prabhu, in:, Springer, 2005, pp. 226–241.
2005 | Conference Paper | IST-REx-ID: 4456
Permissive interfaces
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
2005 | Conference Paper | IST-REx-ID: 4457
Composable code generation for distributed Giotto
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
View
| DOI
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
2005 | Conference Paper | IST-REx-ID: 4536
Automatic rectangular refinement of affine hybrid systems
L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.
View
| DOI
L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.
2005 | Conference Paper | IST-REx-ID: 575
Counterfactual quantum computation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
View
| DOI
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
2005 | Journal Article | IST-REx-ID: 6153
Neuronal substrates of complex behaviors in C. elegans
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
View
| DOI
| PubMed | Europe PMC
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
2005 | Journal Article | IST-REx-ID: 6154
Experience-dependent modulation of C. elegans behavior by ambient oxygen
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
View
| DOI
| PubMed | Europe PMC
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
2005 | Journal Article | IST-REx-ID: 8491
SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds
P. Schanda, Ē. Kupče, B. Brutscher, Journal of Biomolecular NMR 33 (2005) 199–211.
View
| DOI
P. Schanda, Ē. Kupče, B. Brutscher, Journal of Biomolecular NMR 33 (2005) 199–211.
2005 | Journal Article | IST-REx-ID: 8492
Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds
P. Schanda, B. Brutscher, Journal of the American Chemical Society 127 (2005) 8014–8015.
View
| DOI
P. Schanda, B. Brutscher, Journal of the American Chemical Society 127 (2005) 8014–8015.
2005 | Journal Article | IST-REx-ID: 8516
On diffusion in high-dimensional Hamiltonian systems
J. Bourgain, V. Kaloshin, Journal of Functional Analysis 229 (2005) 1–61.
View
| DOI
J. Bourgain, V. Kaloshin, Journal of Functional Analysis 229 (2005) 1–61.
2005 | Journal Article | IST-REx-ID: 877
The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution
F. Kondrashov, Biofizika 50 (2005) 389–395.
View
| Download None (ext.)
| PubMed | Europe PMC
F. Kondrashov, Biofizika 50 (2005) 389–395.
2005 | Journal Article | IST-REx-ID: 878
In search of the limits of evolution
F. Kondrashov, Nature Genetics 37 (2005) 9–10.
View
| DOI
F. Kondrashov, Nature Genetics 37 (2005) 9–10.
2005 | Journal Article | IST-REx-ID: 882
Prediction of pathogenic mutations in mitochondrially encoded human tRNAs
F. Kondrashov, Human Molecular Genetics 14 (2005) 2415–2419.
View
| DOI
F. Kondrashov, Human Molecular Genetics 14 (2005) 2415–2419.
2005 | Journal Article | IST-REx-ID: 880
The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus
F. Kondrashov, Biofizika 50 (2005) 396–403.
View
| Download None (ext.)
| PubMed | Europe PMC
F. Kondrashov, Biofizika 50 (2005) 396–403.
2005 | Journal Article | IST-REx-ID: 8028 |
Signal propagation and logic gating in networks of integrate-and-fire neurons
T.P. Vogels, L.F. Abbott, Journal of Neuroscience 25 (2005) 10786–10795.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T.P. Vogels, L.F. Abbott, Journal of Neuroscience 25 (2005) 10786–10795.
2005 | Journal Article | IST-REx-ID: 8029
Neural network dynamics
T.P. Vogels, K. Rajan, L.F. Abbott, Annual Review of Neuroscience 28 (2005) 357–376.
View
| DOI
| PubMed | Europe PMC
T.P. Vogels, K. Rajan, L.F. Abbott, Annual Review of Neuroscience 28 (2005) 357–376.
2005 | Journal Article | IST-REx-ID: 843
Distribution of the strength of selection against amino acid replacements in human proteins
L. Yampolsky, F. Kondrashov, A. Kondrashov, Human Molecular Genetics 14 (2005) 3191–3201.
View
| DOI
L. Yampolsky, F. Kondrashov, A. Kondrashov, Human Molecular Genetics 14 (2005) 3191–3201.
2005 | Journal Article | IST-REx-ID: 893
A universal trend of amino acid gain and loss in protein evolution
I. Jordan, F. Kondrashov, I. Adzhubeǐ, Y. Wolf, E. Koonin, A. Kondrashov, S. Sunyaev, Nature 433 (2005) 633–638.
View
| DOI
I. Jordan, F. Kondrashov, I. Adzhubeǐ, Y. Wolf, E. Koonin, A. Kondrashov, S. Sunyaev, Nature 433 (2005) 633–638.
2004 | Journal Article | IST-REx-ID: 1456 |
Hodge cohomology of gravitational instantons
T. Hausel, E. Hunsicker, R. Mazzeo, Duke Mathematical Journal 122 (2004) 485–548.
View
| DOI
| Download (ext.)
T. Hausel, E. Hunsicker, R. Mazzeo, Duke Mathematical Journal 122 (2004) 485–548.
2004 | Journal Article | IST-REx-ID: 1464 |
Generators for the cohomology ring of the moduli space of rank 2 higgs bundles
T. Hausel, M. Thaddeus, Proceedings of the London Mathematical Society 88 (2004) 632–658.
View
| DOI
| Download (ext.)
T. Hausel, M. Thaddeus, Proceedings of the London Mathematical Society 88 (2004) 632–658.
2004 | Journal Article | IST-REx-ID: 1963
Substrate-induced conformational change in bacterial complex I
A. Mamedova, P. Holt, J. Carroll, L.A. Sazanov, Journal of Biological Chemistry 279 (2004) 23830–23836.
View
| DOI
A. Mamedova, P. Holt, J. Carroll, L.A. Sazanov, Journal of Biological Chemistry 279 (2004) 23830–23836.
2004 | Journal Article | IST-REx-ID: 209
Equal sums of three powers
T.D. Browning, R. Heath Brown, Inventiones Mathematicae 157 (2004) 553–573.
View
| DOI
T.D. Browning, R. Heath Brown, Inventiones Mathematicae 157 (2004) 553–573.
2004 | Journal Article | IST-REx-ID: 2355 |
Equivalent forms of the Bessis-Moussa-Villani conjecture
É. Lieb, R. Seiringer, Journal of Statistical Physics 115 (2004) 185–190.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, Journal of Statistical Physics 115 (2004) 185–190.
2004 | Journal Article | IST-REx-ID: 2356 |
One-dimensional behavior of dilute, trapped Bose gases
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 244 (2004) 347–393.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 244 (2004) 347–393.
2004 | Journal Article | IST-REx-ID: 2360 |
Bose-Einstein quantum phase transition in an optical lattice model
M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 70 (2004) 023612-1-0236121-2.
View
| DOI
| Download (ext.)
M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 70 (2004) 023612-1-0236121-2.
2004 | Book Chapter | IST-REx-ID: 2417
Convex quadrilaterals and k-sets
L. Lovász, K. Vesztergombi, U. Wagner, E. Welzl, in:, J. Pach (Ed.), Towards a Theory of Geometric Graphs, American Mathematical Society, 2004, pp. 139–148.
View
| DOI
L. Lovász, K. Vesztergombi, U. Wagner, E. Welzl, in:, J. Pach (Ed.), Towards a Theory of Geometric Graphs, American Mathematical Society, 2004, pp. 139–148.
2004 | Journal Article | IST-REx-ID: 2308
Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity
G. Novarino, C. Fabrizi, R. Tonini, M. Denti, A. Malchiodi, G. Lauro, B. Sacchetti, S. Paradisi, A. Ferroni, P. Curmi, S. Breit, M. Mazzanti, Journal of Neuroscience 24 (2004) 5322–5330.
View
| DOI
G. Novarino, C. Fabrizi, R. Tonini, M. Denti, A. Malchiodi, G. Lauro, B. Sacchetti, S. Paradisi, A. Ferroni, P. Curmi, S. Breit, M. Mazzanti, Journal of Neuroscience 24 (2004) 5322–5330.
2004 | Journal Article | IST-REx-ID: 2425
New constructions of weak ε-nets
J. Matoušek, U. Wagner, Discrete & Computational Geometry 32 (2004) 195–206.
View
| DOI
J. Matoušek, U. Wagner, Discrete & Computational Geometry 32 (2004) 195–206.
2004 | Journal Article | IST-REx-ID: 2426
Shape dimension and intrinsic metric from samples of manifolds
J. Giesen, U. Wagner, Discrete & Computational Geometry 32 (2004) 245–267.
View
| DOI
J. Giesen, U. Wagner, Discrete & Computational Geometry 32 (2004) 245–267.
2004 | Book Review | IST-REx-ID: 2636
Function and distribution of glutamate receptors in the central synapses
A. Momiyama, R. Shigemoto, Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme 49 (2004) 287–294.
View
A. Momiyama, R. Shigemoto, Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme 49 (2004) 287–294.
2004 | Journal Article | IST-REx-ID: 2638
Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum
Á. Kulik, K. Nakadate, A. Hagiwara, Y. Fukazawa, R. Luján, H. Saito, N. Suzuki, A. Futatsugi, K. Mikoshiba, M. Frotscher, R. Shigemoto, European Journal of Neuroscience 19 (2004) 2169–2178.
View
| DOI
Á. Kulik, K. Nakadate, A. Hagiwara, Y. Fukazawa, R. Luján, H. Saito, N. Suzuki, A. Futatsugi, K. Mikoshiba, M. Frotscher, R. Shigemoto, European Journal of Neuroscience 19 (2004) 2169–2178.
2004 | Journal Article | IST-REx-ID: 2639
GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat
J. Somogyi, A. Baude, Y. Omori, H. Shimizu, S. El Mestikawy, M. Fukaya, R. Shigemoto, M. Watanabe, P. Somogyi, European Journal of Neuroscience 19 (2004) 552–569.
View
| DOI
J. Somogyi, A. Baude, Y. Omori, H. Shimizu, S. El Mestikawy, M. Fukaya, R. Shigemoto, M. Watanabe, P. Somogyi, European Journal of Neuroscience 19 (2004) 552–569.
2004 | Journal Article | IST-REx-ID: 2640
Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain
T. Notomi, R. Shigemoto, Journal of Comparative Neurology 471 (2004) 241–276.
View
| DOI
T. Notomi, R. Shigemoto, Journal of Comparative Neurology 471 (2004) 241–276.
2004 | Journal Article | IST-REx-ID: 2641
Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons
Y. Kang, T. Notomi, M. Saito, W. Zhang, R. Shigemoto, Journal of Neuroscience 24 (2004) 3694–3702.
View
| DOI
Y. Kang, T. Notomi, M. Saito, W. Zhang, R. Shigemoto, Journal of Neuroscience 24 (2004) 3694–3702.
2004 | Journal Article | IST-REx-ID: 2642
Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus
F. Ferraguti, P. Cobden, M. Pollard, D. Cope, R. Shigemoto, M. Watanabe, P. Somogyi, Hippocampus 14 (2004) 193–215.
View
| DOI
F. Ferraguti, P. Cobden, M. Pollard, D. Cope, R. Shigemoto, M. Watanabe, P. Somogyi, Hippocampus 14 (2004) 193–215.
2004 | Journal Article | IST-REx-ID: 2643
Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat
R. Luján, R. Shigemoto, Á. Kulik, J. Juíz, Journal of Comparative Neurology 475 (2004) 36–46.
View
| DOI
R. Luján, R. Shigemoto, Á. Kulik, J. Juíz, Journal of Comparative Neurology 475 (2004) 36–46.
2004 | Journal Article | IST-REx-ID: 2644
Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat
N. Kogo, Y. Dalezios, M. Capogna, F. Ferraguti, R. Shigemoto, P. Somogyi, European Journal of Neuroscience 19 (2004) 2727–2740.
View
| DOI
N. Kogo, Y. Dalezios, M. Capogna, F. Ferraguti, R. Shigemoto, P. Somogyi, European Journal of Neuroscience 19 (2004) 2727–2740.
2004 | Journal Article | IST-REx-ID: 2645
HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons
S. Chan, R. Shigemoto, J. Mercer, J. Surmeier, Journal of Neuroscience 24 (2004) 9921–9932.
View
| DOI
S. Chan, R. Shigemoto, J. Mercer, J. Surmeier, Journal of Neuroscience 24 (2004) 9921–9932.
2004 | Journal Article | IST-REx-ID: 2646
Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development
G. López Bendito, R. Shigemoto, Á. Kulik, I. Vida, A. Fairén, R. Luján, Hippocampus 14 (2004) 836–848.
View
| DOI
G. López Bendito, R. Shigemoto, Á. Kulik, I. Vida, A. Fairén, R. Luján, Hippocampus 14 (2004) 836–848.
2004 | Book Review | IST-REx-ID: 2461
The Matryoshka dolls of plant polarity
M. Sauer, J. Friml, Development 131 (2004) 5774–5775.
View
| DOI
M. Sauer, J. Friml, Development 131 (2004) 5774–5775.