en
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.
103 Publications
2002 | Journal Article | IST-REx-ID: 2614
The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 14092–14101.
View
| DOI
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 14092–14101.
2002 | Journal Article | IST-REx-ID: 2619
Enrichment of mGluR7a in the presynaptic active zones of GABAergic and non-GABAergic terminals on interneurons in the rat somatosensory cortex
Y. Dalezios, R. Luján, R. Shigemoto, J. Roberts, P. Somogyi, Cerebral Cortex 12 (2002) 961–974.
View
| DOI
Y. Dalezios, R. Luján, R. Shigemoto, J. Roberts, P. Somogyi, Cerebral Cortex 12 (2002) 961–974.
2002 | Journal Article | IST-REx-ID: 2621
Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 47796–47803.
View
| DOI
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 47796–47803.
2002 | Journal Article | IST-REx-ID: 2739
Pauli operator and Aharonov-Casher theorem for measure valued magnetic fields
L. Erdös, V. Vougalter, Communications in Mathematical Physics 225 (2002) 399–421.
View
| DOI
L. Erdös, V. Vougalter, Communications in Mathematical Physics 225 (2002) 399–421.
2002 | Conference Paper | IST-REx-ID: 2708
Two dimensional Pauli operator via scalar potential
L. Erdös, in:, World Scientific Publishing, 2002, pp. 129–133.
View
| DOI
L. Erdös, in:, World Scientific Publishing, 2002, pp. 129–133.
2002 | Journal Article | IST-REx-ID: 2866
The Arabidopsis BODENLOS gene encodes an auxin response protein inhibiting MONOPTEROS-mediated embryo patterning
T. Hamann, E. Benková, I. Bäurle, M. Kientz, G. Jürgens, Genes and Development 16 (2002) 1610–1615.
View
| DOI
T. Hamann, E. Benková, I. Bäurle, M. Kientz, G. Jürgens, Genes and Development 16 (2002) 1610–1615.
2002 | Journal Article | IST-REx-ID: 2986
Lateral relocation of auxin efflux regulator PIN3 mediates tropism in Arabidopsis
J. Friml, J. Wiśniewska, E. Benková, K. Mendgen, K. Palme, Nature 415 (2002) 806–809.
View
| DOI
J. Friml, J. Wiśniewska, E. Benková, K. Mendgen, K. Palme, Nature 415 (2002) 806–809.
2002 | Journal Article | IST-REx-ID: 3422
Processing of gene expression data generated by quantitative real-time RT-PCR
P. Müller, H.L. Janovjak, A. Miserez, Z. Dobbie, Biotechniques 32 (2002) 1372–1379.
View
P. Müller, H.L. Janovjak, A. Miserez, Z. Dobbie, Biotechniques 32 (2002) 1372–1379.
2002 | Journal Article | IST-REx-ID: 3799   

Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus
C. Lien, M. Martina, J. Schultz, H. Ehmke, P.M. Jonas, Journal of Physiology 538 (2002) 405–419.
View
| DOI
| Download (ext.)
C. Lien, M. Martina, J. Schultz, H. Ehmke, P.M. Jonas, Journal of Physiology 538 (2002) 405–419.
2002 | Journal Article | IST-REx-ID: 3802
Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons
J. Bischofberger, J. Geiger, P.M. Jonas, Journal of Neuroscience 22 (2002) 10593–10602.
View
J. Bischofberger, J. Geiger, P.M. Jonas, Journal of Neuroscience 22 (2002) 10593–10602.
2002 | Journal Article | IST-REx-ID: 3996
Topological persistence and simplification
H. Edelsbrunner, D. Letscher, A. Zomorodian, Discrete & Computational Geometry 28 (2002) 511–533.
View
| DOI
H. Edelsbrunner, D. Letscher, A. Zomorodian, Discrete & Computational Geometry 28 (2002) 511–533.
2002 | Journal Article | IST-REx-ID: 4196
Zebrafish gastrulation movements: bridging cell and developmental biology
C. Heisenberg, M. Tada, Seminars in Cell & Developmental Biology 13 (2002) 471–479.
View
| DOI
C. Heisenberg, M. Tada, Seminars in Cell & Developmental Biology 13 (2002) 471–479.
2002 | Journal Article | IST-REx-ID: 4209
Planar cell polarization requires Widerborst, a B ' regulatory subunit of protein phosphatase 2A
M. Hannus, F. Feiguin, C. Heisenberg, S. Eaton, Development 129 (2002) 3493–3503.
View
M. Hannus, F. Feiguin, C. Heisenberg, S. Eaton, Development 129 (2002) 3493–3503.
2002 | Journal Article | IST-REx-ID: 4139
Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus
J. Polechova, P. Stopka, Canadian Journal of Zoology 80 (2002) 1383–1388.
View
| DOI
J. Polechova, P. Stopka, Canadian Journal of Zoology 80 (2002) 1383–1388.
2002 | Journal Article | IST-REx-ID: 4259
Associations between cytoplasmic and nuclear loci in hybridizing populations
M. Orive, N.H. Barton, Genetics 162 (2002) 1469–1485.
View
| Download (ext.)
M. Orive, N.H. Barton, Genetics 162 (2002) 1469–1485.
2002 | Journal Article | IST-REx-ID: 4261
Understanding quantitative genetic variation
N.H. Barton, P. Keightley, Nature Reviews Genetics 3 (2002) 11–21.
View
| DOI
N.H. Barton, P. Keightley, Nature Reviews Genetics 3 (2002) 11–21.
2002 | Conference Paper | IST-REx-ID: 4413
Convertibility verification and converter synthesis: Two faces of the same coin
R. Passerone, L. De Alfaro, T.A. Henzinger, A. Sangiovanni Vincentelli, in:, IEEE, 2002, pp. 132–139.
View
| DOI
R. Passerone, L. De Alfaro, T.A. Henzinger, A. Sangiovanni Vincentelli, in:, IEEE, 2002, pp. 132–139.
2002 | Conference Paper | IST-REx-ID: 4444
The embedded machine: predictable, portable real-time code
T.A. Henzinger, C. Kirsch, in:, ACM, 2002, pp. 315–326.
View
| DOI
T.A. Henzinger, C. Kirsch, in:, ACM, 2002, pp. 315–326.
2002 | Conference Paper | IST-REx-ID: 4470
Time-safety checking for embedded programs
T.A. Henzinger, C. Kirsch, R. Majumdar, S. Matic, in:, ACM, 2002, pp. 76–92.
View
| DOI
T.A. Henzinger, C. Kirsch, R. Majumdar, S. Matic, in:, ACM, 2002, pp. 76–92.
2002 | Journal Article | IST-REx-ID: 4595
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
View
| DOI
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
2002 | Journal Article | IST-REx-ID: 871
Selection in the evolution of gene duplications
F. Kondrashov, I. Rogozin, Y. Wolf, E. Koonin, Genome Biology 3 (2002).
View
| DOI
F. Kondrashov, I. Rogozin, Y. Wolf, E. Koonin, Genome Biology 3 (2002).
2002 | Journal Article | IST-REx-ID: 6159
Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli
M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002) 899–903.
View
| DOI
| PubMed | Europe PMC
M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002) 899–903.
2002 | Journal Article | IST-REx-ID: 1737
A solvent-free composite polymer/inorganic oxide electrolyte for high efficiency solid-state dye-sensitized solar cells
G. Katsaros, T. Stergiopoulos, I. Arabatzis, K. Papadokostaki, P. Falaras, Journal of Photochemistry and Photobiology A: Chemistry 149 (2002) 191–198.
View
| DOI
G. Katsaros, T. Stergiopoulos, I. Arabatzis, K. Papadokostaki, P. Falaras, Journal of Photochemistry and Photobiology A: Chemistry 149 (2002) 191–198.
2002 | Journal Article | IST-REx-ID: 2615
Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae
T. Toyono, Y. Seta, S. Sataoka, H. Harada, T. Morotomi, S. Kawano, R. Shigemoto, K. Toyoshima, Archives of Histology and Cytology 65 (2002) 91–96.
View
| DOI
T. Toyono, Y. Seta, S. Sataoka, H. Harada, T. Morotomi, S. Kawano, R. Shigemoto, K. Toyoshima, Archives of Histology and Cytology 65 (2002) 91–96.
2002 | Journal Article | IST-REx-ID: 2622
Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development
G. López Bendito, R. Shigemoto, Á. Kulik, O. Paulsen, A. Fairén, R. Luján, European Journal of Neuroscience 15 (2002) 1766–1778.
View
| DOI
G. López Bendito, R. Shigemoto, Á. Kulik, O. Paulsen, A. Fairén, R. Luján, European Journal of Neuroscience 15 (2002) 1766–1778.
2002 | Journal Article | IST-REx-ID: 2350   

Mass renormalization and energy level shift in non-relativistic QED
C. Hainzl, R. Seiringer, Advances in Theoretical and Mathematical Physics 6 (2002) 847–871.
View
| Download (ext.)
C. Hainzl, R. Seiringer, Advances in Theoretical and Mathematical Physics 6 (2002) 847–871.
2002 | Journal Article | IST-REx-ID: 2420
On the number of corner cuts
U. Wagner, Advances in Applied Mathematics 29 (2002) 152–161.
View
| DOI
U. Wagner, Advances in Applied Mathematics 29 (2002) 152–161.
2002 | Journal Article | IST-REx-ID: 2987
Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling
M. Souter, J. Topping, M. Pullen, J. Friml, K. Palme, R. Hackett, D. Grierson, K. Lindsey, Plant Cell 14 (2002) 1017–1031.
View
| DOI
M. Souter, J. Topping, M. Pullen, J. Friml, K. Palme, R. Hackett, D. Grierson, K. Lindsey, Plant Cell 14 (2002) 1017–1031.
2002 | Journal Article | IST-REx-ID: 3757
Combinatorial synthesis of genetic networks
C.C. Guet, M. Elowitz, W. Hsing, S. Leibler, Science 296 (2002) 1466–1470.
View
| DOI
| Download (ext.)
C.C. Guet, M. Elowitz, W. Hsing, S. Leibler, Science 296 (2002) 1466–1470.
2002 | Journal Article | IST-REx-ID: 3803
TwoB or not twoB: differential transmission at glutamatergic mossy fiber-interneuron synapses in the hippocampus
J. Bischofberger, P.M. Jonas, Trends in Neurosciences 25 (2002) 600–603.
View
| DOI
J. Bischofberger, P.M. Jonas, Trends in Neurosciences 25 (2002) 600–603.
2002 | Conference Paper | IST-REx-ID: 3423
The percolation interpretation of the nuclear fragmentation phase transition
W. Bauer, T. Bollenbach, M. Kleine Berkenbusch, H. Harreis, in:, EP Systema, 2002, pp. 111–118.
View
W. Bauer, T. Bollenbach, M. Kleine Berkenbusch, H. Harreis, in:, EP Systema, 2002, pp. 111–118.
2002 | Journal Article | IST-REx-ID: 3497
Patch-clamp recording in brain slices with improved slicer technology
J. Geiger, J. Bischofberger, I. Vida, U. Fröbe, S. Pfitzinger, H. Weber, K. Haverkampf, P.M. Jonas, Pflugers Archiv : European Journal of Physiology 443 (2002) 491–501.
View
| DOI
J. Geiger, J. Bischofberger, I. Vida, U. Fröbe, S. Pfitzinger, H. Weber, K. Haverkampf, P.M. Jonas, Pflugers Archiv : European Journal of Physiology 443 (2002) 491–501.
2002 | Conference Paper | IST-REx-ID: 4003
Computing the writhing number of a polygonal knot
P. Agarwal, H. Edelsbrunner, Y. Wang, in:, SIAM, 2002, pp. 791–799.
View
P. Agarwal, H. Edelsbrunner, Y. Wang, in:, SIAM, 2002, pp. 791–799.
2002 | Journal Article | IST-REx-ID: 4262
Extending the coalescent to multilocus systems: the case of balancing selection
N.H. Barton, A. Navarro, Genetical Research 79 (2002) 129–139.
View
| DOI
N.H. Barton, A. Navarro, Genetical Research 79 (2002) 129–139.
2002 | Journal Article | IST-REx-ID: 4349
Bayesian model adequacy and choice in phylogenetics
J.P. Bollback, Molecular Biology and Evolution 19 (2002) 1171–80.
View
| Download (ext.)
J.P. Bollback, Molecular Biology and Evolution 19 (2002) 1171–80.
2002 | Journal Article | IST-REx-ID: 4407
Axioms for real-time logics
J. Raskin, P. Schobbens, T.A. Henzinger, Theoretical Computer Science 274 (2002) 151–182.
View
| DOI
J. Raskin, P. Schobbens, T.A. Henzinger, Theoretical Computer Science 274 (2002) 151–182.
2002 | Thesis | IST-REx-ID: 4414
Games in open systems verification and synthesis
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
View
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
2002 | Conference Paper | IST-REx-ID: 4421
A Giotto-based helicopter control system
C. Kirsch, M. Sanvido, T.A. Henzinger, W. Pree, in:, ACM, 2002, pp. 46–60.
View
| DOI
C. Kirsch, M. Sanvido, T.A. Henzinger, W. Pree, in:, ACM, 2002, pp. 46–60.
2002 | Conference Paper | IST-REx-ID: 4471
Synthesis of uninitialized systems
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Springer, 2002, pp. 644–656.
View
| DOI
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Springer, 2002, pp. 644–656.
2002 | Conference Paper | IST-REx-ID: 4476
Lazy abstraction
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, ACM, 2002, pp. 58–70.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, ACM, 2002, pp. 58–70.
2002 | Conference Paper | IST-REx-ID: 4565
A comparison of control problems for timed and hybrid systems
F. Cassez, T.A. Henzinger, J. Raskin, in:, Springer, 2002, pp. 134–148.
View
| DOI
F. Cassez, T.A. Henzinger, J. Raskin, in:, Springer, 2002, pp. 134–148.
2002 | Conference Paper | IST-REx-ID: 1738
Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes
P. Falaras, K. Chryssou, T. Stergiopoulos, I. Arabatzis, G. Katsaros, V. Catalano, R. Kurtaran, A. Hugot Le Goff, M. Bernard, in:, SPIE, 2002, pp. 125–135.
View
| DOI
P. Falaras, K. Chryssou, T. Stergiopoulos, I. Arabatzis, G. Katsaros, V. Catalano, R. Kurtaran, A. Hugot Le Goff, M. Bernard, in:, SPIE, 2002, pp. 125–135.
2002 | Journal Article | IST-REx-ID: 2616
Differential distribution of group I metabotropic glutamate receptors during rat cortical development
G. López Bendito, R. Shigemoto, A. Fairén, R. Luján, Cerebral Cortex 12 (2002) 625–638.
View
| DOI
G. López Bendito, R. Shigemoto, A. Fairén, R. Luján, Cerebral Cortex 12 (2002) 625–638.
2002 | Journal Article | IST-REx-ID: 2349   

Proof of Bose-Einstein condensation for dilute trapped gases
É. Lieb, R. Seiringer, Physical Review Letters 88 (2002) 1704091–1704094.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, Physical Review Letters 88 (2002) 1704091–1704094.
2002 | Journal Article | IST-REx-ID: 2351   

Gross-Pitaevskii theory of the rotating Bose gas
R. Seiringer, Communications in Mathematical Physics 229 (2002) 491–509.
View
| DOI
| Download (ext.)
R. Seiringer, Communications in Mathematical Physics 229 (2002) 491–509.
2002 | Conference Paper | IST-REx-ID: 2421
On the Clique problem in intersection graphs of ellipses
C. Ambühl, U. Wagner, in:, Springer, 2002, pp. 489–500.
View
| DOI
C. Ambühl, U. Wagner, in:, Springer, 2002, pp. 489–500.
2002 | Journal Article | IST-REx-ID: 2988
Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway
M. Grebe, J. Friml, R. Swarup, K. Ljung, G. Sandberg, M. Terlou, K. Palme, M. Bennett, B. Scheres, Current Biology 12 (2002) 329–334.
View
| DOI
M. Grebe, J. Friml, R. Swarup, K. Ljung, G. Sandberg, M. Terlou, K. Palme, M. Bennett, B. Scheres, Current Biology 12 (2002) 329–334.
2002 | Journal Article | IST-REx-ID: 3140
A role for Neuregulin1 signaling in muscle spindle differentiation
S. Hippenmeyer, N. Shneider, C. Birchmeier, S. Burden, T. Jessell, S. Arber, Neuron 36 (2002) 1035–1049.
View
| DOI
S. Hippenmeyer, N. Shneider, C. Birchmeier, S. Burden, T. Jessell, S. Arber, Neuron 36 (2002) 1035–1049.
2002 | Journal Article | IST-REx-ID: 3621   

General models of multilocus evolution
M. Kirkpatrick, T. Johnson, N.H. Barton, Genetics 161 (2002) 1727–1750.
View
| Download (ext.)
M. Kirkpatrick, T. Johnson, N.H. Barton, Genetics 161 (2002) 1727–1750.
2002 | Conference Paper | IST-REx-ID: 3424
3d supernovae collapse calculations
T. Bollenbach, W. Bauer, in:, American Institute of Physics, 2002, pp. 219–232.
View
| DOI
T. Bollenbach, W. Bauer, in:, American Institute of Physics, 2002, pp. 219–232.