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.
5879 Publications
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: 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: 3800
Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks
M. Bartos, I. Vida, M. Frotscher, A. Meyer, H. Monyer, J. Geiger, P.M. Jonas, PNAS 99 (2002) 13222–13227.
View
| DOI
M. Bartos, I. Vida, M. Frotscher, A. Meyer, H. Monyer, J. Geiger, P.M. Jonas, PNAS 99 (2002) 13222–13227.
2002 | Journal Article | IST-REx-ID: 3801
Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus
S. Hefft, U. Kraushaar, J. Geiger, P.M. Jonas, Journal of Physiology 539 (2002) 201–8.
View
| DOI
S. Hefft, U. Kraushaar, J. Geiger, P.M. Jonas, Journal of Physiology 539 (2002) 201–8.
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: 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.
2001 | Conference Paper | IST-REx-ID: 2340 |
Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
View
| DOI
| Download (ext.)
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
2001 | Journal Article | IST-REx-ID: 2341 |
Atoms with bosonic "electrons" in strong magnetic fields
B. Baumgartner, R. Seiringer, Annales Henri Poincare 2 (2001) 41–76.
View
| DOI
| Download (ext.)
B. Baumgartner, R. Seiringer, Annales Henri Poincare 2 (2001) 41–76.
2001 | Journal Article | IST-REx-ID: 2345 |
On the maximal ionization of atoms in strong magnetic fields
R. Seiringer, Journal of Physics A: Mathematical and General 34 (2001) 1943–1948.
View
| DOI
| Download (ext.)
R. Seiringer, Journal of Physics A: Mathematical and General 34 (2001) 1943–1948.
2001 | Journal Article | IST-REx-ID: 2346 |
Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 55 (2001) 133–142.
View
| DOI
| Download (ext.)
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 55 (2001) 133–142.
2001 | Journal Article | IST-REx-ID: 2347 |
A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 224 (2001) 17–31.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 224 (2001) 17–31.
2001 | Journal Article | IST-REx-ID: 2348 |
A discrete density matrix theory for atoms in strong magnetic fields
C. Hainzl, R. Seiringer, Communications in Mathematical Physics 217 (2001) 229–248.
View
| DOI
| Download (ext.)
C. Hainzl, R. Seiringer, Communications in Mathematical Physics 217 (2001) 229–248.
2001 | Journal Article | IST-REx-ID: 2419
A continuous analogue of the Upper Bound Theorem
U. Wagner, E. Welzl, Discrete & Computational Geometry 26 (2001) 205–219.
View
| DOI
U. Wagner, E. Welzl, Discrete & Computational Geometry 26 (2001) 205–219.
2001 | Journal Article | IST-REx-ID: 2604
Light and electron microscopic study of the distribution of substance P-immunoreactive fibers and neurokinin-1 receptors in the skin of the rat lower lip
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Journal of Comparative Neurology 432 (2001) 466–480.
View
| DOI
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Journal of Comparative Neurology 432 (2001) 466–480.
2001 | Journal Article | IST-REx-ID: 2605
Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum
F. Geurts, J. Timmermans, R. Shigemoto, E. De Schutter, Neuroscience 104 (2001) 499–512.
View
| DOI
F. Geurts, J. Timmermans, R. Shigemoto, E. De Schutter, Neuroscience 104 (2001) 499–512.
2001 | Journal Article | IST-REx-ID: 2606
Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors
G. Martínez, G. López Bendito, R. Luján, R. Shigemoto, A. Fairén, M. Valdeolmillos, European Journal of Neuroscience 13 (2001) 1147–1154.
View
| DOI
G. Martínez, G. López Bendito, R. Luján, R. Shigemoto, A. Fairén, M. Valdeolmillos, European Journal of Neuroscience 13 (2001) 1147–1154.
2001 | Journal Article | IST-REx-ID: 2607
Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms
S. Mion, C. Corti, A. Neki, R. Shigemoto, M. Corsi, G. Fumagalli, F. Ferraguti, Molecular and Cellular Neuroscience 17 (2001) 957–972.
View
| DOI
S. Mion, C. Corti, A. Neki, R. Shigemoto, M. Corsi, G. Fumagalli, F. Ferraguti, Molecular and Cellular Neuroscience 17 (2001) 957–972.
2001 | Journal Article | IST-REx-ID: 2608
Developmental changes in the localisation of the mGluR1α subtype of metabotropic glutamate receptors in Purkinje cells
G. López Bendito, R. Shigemoto, R. Luján, J. Juíz, Neuroscience 105 (2001) 413–429.
View
| DOI
G. López Bendito, R. Shigemoto, R. Luján, J. Juíz, Neuroscience 105 (2001) 413–429.
2001 | Journal Article | IST-REx-ID: 2609
Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites
Y. Tamaru, S. Nomura, N. Mizuno, R. Shigemoto, Neuroscience 106 (2001) 481–503.
View
| DOI
Y. Tamaru, S. Nomura, N. Mizuno, R. Shigemoto, Neuroscience 106 (2001) 481–503.
2001 | Journal Article | IST-REx-ID: 2610
Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7
G. Sansig, T. Bushell, V. Clarke, A. Rozov, N. Burnashev, C. Portet, F. Gasparini, M. Schmutz, K. Klebs, R. Shigemoto, P. Flor, R. Kühn, T. Knoepfel, M. Schroeder, D. Hampson, V. Collett, C. Zhang, R. Duvoisin, G. Collingridge, H. Van Der Putten, Journal of Neuroscience 21 (2001) 8734–8745.
View
G. Sansig, T. Bushell, V. Clarke, A. Rozov, N. Burnashev, C. Portet, F. Gasparini, M. Schmutz, K. Klebs, R. Shigemoto, P. Flor, R. Kühn, T. Knoepfel, M. Schroeder, D. Hampson, V. Collett, C. Zhang, R. Duvoisin, G. Collingridge, H. Van Der Putten, Journal of Neuroscience 21 (2001) 8734–8745.
2001 | Journal Article | IST-REx-ID: 2611
Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Neuroscience 108 (2001) 157–166.
View
| DOI
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Neuroscience 108 (2001) 157–166.
2001 | Journal Article | IST-REx-ID: 2612
Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat
J. Li, R. Shigemoto, Á. Kulik, P. Chen, S. Nomura, T. Kaneko, N. Mizuno, Neuroscience Letters 315 (2001) 93–97.
View
| DOI
J. Li, R. Shigemoto, Á. Kulik, P. Chen, S. Nomura, T. Kaneko, N. Mizuno, Neuroscience Letters 315 (2001) 93–97.
2001 | Journal Article | IST-REx-ID: 3927
TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis
D. Wolf, R. Hallmann, G. Sass, M.K. Sixt, S. Küsters, B. Fregien, C. Trautwein, G. Tiegs, Journal of Immunology 166 (2001) 1300–1307.
View
| Download (ext.)
D. Wolf, R. Hallmann, G. Sass, M.K. Sixt, S. Küsters, B. Fregien, C. Trautwein, G. Tiegs, Journal of Immunology 166 (2001) 1300–1307.
2001 | Journal Article | IST-REx-ID: 3928
Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation
M.K. Sixt, R. Hallmann, O. Wendler, K. Scharffetter Kochanek, L. Sorokin, Journal of Biological Chemistry 276 (2001) 18878–18887.
View
| DOI
M.K. Sixt, R. Hallmann, O. Wendler, K. Scharffetter Kochanek, L. Sorokin, Journal of Biological Chemistry 276 (2001) 18878–18887.
2001 | Journal Article | IST-REx-ID: 3930
Endothelial cell laminin isoforms, laminins 8 and 10, play decisive roles in T cell recruitment across the blood-brain barrier in experimental autoimmune encephalomyelitis
M.K. Sixt, B. Engelhardt, F. Pausch, R. Hallmann, O. Wendler, L. Sorokin, Journal of Cell Biology 153 (2001) 933–946.
View
| DOI
M.K. Sixt, B. Engelhardt, F. Pausch, R. Hallmann, O. Wendler, L. Sorokin, Journal of Cell Biology 153 (2001) 933–946.
2001 | Journal Article | IST-REx-ID: 4001
Shape space from deformation
H. Cheng, H. Edelsbrunner, P. Fu, Computational Geometry: Theory and Applications 19 (2001) 191–204.
View
| DOI
H. Cheng, H. Edelsbrunner, P. Fu, Computational Geometry: Theory and Applications 19 (2001) 191–204.
2001 | Journal Article | IST-REx-ID: 4002
Design and analysis of planar shape deformation
S. Cheng, H. Edelsbrunner, P. Fu, K. Lam, Computational Geometry: Theory and Applications 19 (2001) 205–218.
View
| DOI
S. Cheng, H. Edelsbrunner, P. Fu, K. Lam, Computational Geometry: Theory and Applications 19 (2001) 205–218.
2001 | Conference Paper | IST-REx-ID: 4005
Dynamic skin triangulation
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, in:, SIAM, 2001, pp. 47–56.
View
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, in:, SIAM, 2001, pp. 47–56.
2001 | Journal Article | IST-REx-ID: 4006
180 wrapped tubes
H. Edelsbrunner, Journal of Universal Computer Science 7 (2001) 379–399.
View
| DOI
H. Edelsbrunner, Journal of Universal Computer Science 7 (2001) 379–399.
2001 | Journal Article | IST-REx-ID: 4007
Dynamic skin triangulation
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, Discrete & Computational Geometry 25 (2001) 525–568.
View
| DOI
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, Discrete & Computational Geometry 25 (2001) 525–568.
2001 | Journal Article | IST-REx-ID: 4200
A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon
C. Heisenberg, C. Houart, M. Take Uchi, G. Rauch, N. Young, P. Coutinho, I. Masai, L. Caneparo, M. Concha, R. Geisler, T. Dale, S. Wilson, D. Stemple, Genes and Development 15 (2001) 1427–1434.
View
| DOI
C. Heisenberg, C. Houart, M. Take Uchi, G. Rauch, N. Young, P. Coutinho, I. Masai, L. Caneparo, M. Concha, R. Geisler, T. Dale, S. Wilson, D. Stemple, Genes and Development 15 (2001) 1427–1434.
2001 | Journal Article | IST-REx-ID: 4229
Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae)
J.P. Bollback, J. Huelsenbeck, Journal of Molecular Evolution 52 (2001) 117–128.
View
| DOI
J.P. Bollback, J. Huelsenbeck, Journal of Molecular Evolution 52 (2001) 117–128.
2001 | Journal Article | IST-REx-ID: 4264
Theory and speciation
M. Turelli, N.H. Barton, J. Coyne, Trends in Ecology and Evolution 16 (2001) 330–343.
View
| DOI
M. Turelli, N.H. Barton, J. Coyne, Trends in Ecology and Evolution 16 (2001) 330–343.
2001 | Journal Article | IST-REx-ID: 4265
Selection for recombination in small populations
S. Otto, N.H. Barton, Evolution; International Journal of Organic Evolution 55 (2001) 1921–1931.
View
| DOI
S. Otto, N.H. Barton, Evolution; International Journal of Organic Evolution 55 (2001) 1921–1931.
2001 | Journal Article | IST-REx-ID: 4266
The role of hybridisation in evolution
N.H. Barton, Molecular Ecology 10 (2001) 551–568.
View
| DOI
N.H. Barton, Molecular Ecology 10 (2001) 551–568.
2001 | Book Chapter | IST-REx-ID: 4267
Adaptation at the edge of a species' range
N.H. Barton, in:, Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–392.
View
N.H. Barton, in:, Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–392.
2001 | Book Chapter | IST-REx-ID: 4278
The evolutionary consequences of gene flow and local adaptation: Future approaches
N.H. Barton, in:, Dispersal, Oxford University Press, 2001.
View
N.H. Barton, in:, Dispersal, Oxford University Press, 2001.
2001 | Conference (Editor) | IST-REx-ID: 4449
EMSOFT: Embedded Software
T.A. Henzinger, C. Kirsch, EMSOFT: Embedded Software, ACM, 2001.
View
| DOI
T.A. Henzinger, C. Kirsch, EMSOFT: Embedded Software, ACM, 2001.
2001 | Conference Paper | IST-REx-ID: 4475
Some lessons from the HYTECH experience
T.A. Henzinger, J. Preussig, H. Wong Toi, in:, IEEE, 2001, pp. 2887–2892.
View
| DOI
T.A. Henzinger, J. Preussig, H. Wong Toi, in:, IEEE, 2001, pp. 2887–2892.
2001 | Conference Paper | IST-REx-ID: 4477
Assume-guarantee reasoning for hierarchical hybrid systems
T.A. Henzinger, M. Minea, V. Prabhu, in:, Springer, 2001, pp. 275–290.
View
| DOI
T.A. Henzinger, M. Minea, V. Prabhu, in:, Springer, 2001, pp. 275–290.
2001 | Conference Paper | IST-REx-ID: 4478
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 64–72.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 64–72.
2001 | Conference Paper | IST-REx-ID: 4479
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 166–184.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 166–184.
2001 | Conference Paper | IST-REx-ID: 4564
A reusable and platform-independent framework for distributed control systems
T. Brown, A. Pasetti, W. Pree, T.A. Henzinger, C. Kirsch, in:, IEEE, 2001, pp. 1–11.
View
| DOI
T. Brown, A. Pasetti, W. Pree, T.A. Henzinger, C. Kirsch, in:, IEEE, 2001, pp. 1–11.
2001 | Journal Article | IST-REx-ID: 4599
Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, Formal Methods in System Design 18 (2001) 97–116.
View
| DOI
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, Formal Methods in System Design 18 (2001) 97–116.
2001 | Conference Paper | IST-REx-ID: 4600
jMocha: A model-checking tool that exploits design structure
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, IEEE, 2001, pp. 835–836.
View
| DOI
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, IEEE, 2001, pp. 835–836.
2001 | Conference Paper | IST-REx-ID: 4622
Interface automata
L. De Alfaro, T.A. Henzinger, in:, ACM, 2001, pp. 109–120.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, ACM, 2001, pp. 109–120.
2001 | Conference Paper | IST-REx-ID: 4623
Interface theories for component-based design
L. De Alfaro, T.A. Henzinger, in:, ACM, 2001, pp. 148–165.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, ACM, 2001, pp. 148–165.
2001 | Conference Paper | IST-REx-ID: 4632
Compositional methods for probabilistic systems
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
2001 | Conference Paper | IST-REx-ID: 4633
Symbolic algorithms for infinite-state games
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
2001 | Conference Paper | IST-REx-ID: 4634
The control of synchronous systems, Part II
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.