Please note that ISTA 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.
7604 Publications
2007 |
Published |
Thesis |
IST-REx-ID: 4559
Stochastic ω-Regular Games
K. Chatterjee, Stochastic ω-Regular Games, University of California, Berkeley, 2007.
View
| Download (ext.)
K. Chatterjee, Stochastic ω-Regular Games, University of California, Berkeley, 2007.
2007 |
Published |
Thesis |
IST-REx-ID: 4566
A framework for compositional design and analysis of systems
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
View
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
2007 |
Published |
Journal Article |
IST-REx-ID: 4567
The software model checker BLAST: Applications to software engineering
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4570
Minimum-time reachability in timed games
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
View
| DOI
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4571
Path invariants
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4572
Invariant synthesis for combined theories
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4573
Configurable software verification: Concretizing the convergence of model checking and program analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
View
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4575
An application of web-service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
View
| DOI
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
2006 |
Published |
Journal Article |
IST-REx-ID: 2657
Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum
R. Luján, R. Shigemoto, European Journal of Neuroscience 23 (2006) 1479–1490.
View
| DOI
R. Luján, R. Shigemoto, European Journal of Neuroscience 23 (2006) 1479–1490.
2006 |
Published |
Journal Article |
IST-REx-ID: 2659
Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons
M. Inamura, M. Itakura, H. Okamoto, S. Hoka, A. Mizoguchi, Y. Fukazawa, R. Shigemoto, S. Yamamori, M. Takahashi, Neuroscience Research 55 (2006) 45–53.
View
| DOI
M. Inamura, M. Itakura, H. Okamoto, S. Hoka, A. Mizoguchi, Y. Fukazawa, R. Shigemoto, S. Yamamori, M. Takahashi, Neuroscience Research 55 (2006) 45–53.
2006 |
Published |
Journal Article |
IST-REx-ID: 2660
Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition
H. Shaban, Y. Humeau, C. Herry, G. Cassasus, R. Shigemoto, S. Ciocchi, S. Barbieri, H. Van Der Putten, K. Kaupmann, B. Bettler, A. Lüthi, Nature Neuroscience 9 (2006) 1028–1035.
View
| DOI
H. Shaban, Y. Humeau, C. Herry, G. Cassasus, R. Shigemoto, S. Ciocchi, S. Barbieri, H. Van Der Putten, K. Kaupmann, B. Bettler, A. Lüthi, Nature Neuroscience 9 (2006) 1028–1035.
2006 |
Published |
Journal Article |
IST-REx-ID: 2661
Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants
R. Vigot, S. Barbieri, H. Bräuner Osborne, R. Tureček, R. Shigemoto, Y. Zhang, R. Luján, L. Jacobson, B. Biermann, J. Fritschy, C. Vacher, M. Müller, G. Sansig, N. Guetg, J. Cryan, K. Kaupmann, M. Gassmann, T. Oertner, B. Bettler, Neuron 50 (2006) 589–601.
View
| DOI
R. Vigot, S. Barbieri, H. Bräuner Osborne, R. Tureček, R. Shigemoto, Y. Zhang, R. Luján, L. Jacobson, B. Biermann, J. Fritschy, C. Vacher, M. Müller, G. Sansig, N. Guetg, J. Cryan, K. Kaupmann, M. Gassmann, T. Oertner, B. Bettler, Neuron 50 (2006) 589–601.
2006 |
Published |
Journal Article |
IST-REx-ID: 2662
Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells
Á. Kulik, I. Vida, Y. Fukazawa, N. Guetg, Y. Kasugai, C. Marker, F. Rigato, B. Bettler, K. Wickman, M. Frotscher, R. Shigemoto, Journal of Neuroscience 26 (2006) 4289–4297.
View
| DOI
Á. Kulik, I. Vida, Y. Fukazawa, N. Guetg, Y. Kasugai, C. Marker, F. Rigato, B. Bettler, K. Wickman, M. Frotscher, R. Shigemoto, Journal of Neuroscience 26 (2006) 4289–4297.
2006 |
Published |
Journal Article |
IST-REx-ID: 2663
A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses
T. Kodama, Y. Itsukaichi Nishida, Y. Fukazawa, M. Wakamori, M. Miyata, E. Molnár, Y. Mori, R. Shigemoto, K. Imoto, European Journal of Neuroscience 24 (2006) 2993–3007.
View
| DOI
T. Kodama, Y. Itsukaichi Nishida, Y. Fukazawa, M. Wakamori, M. Miyata, E. Molnár, Y. Mori, R. Shigemoto, K. Imoto, European Journal of Neuroscience 24 (2006) 2993–3007.
2006 |
Published |
Book Review |
IST-REx-ID: 2664
Metabotropic glutamate receptors
F. Ferraguti, R. Shigemoto, Cell and Tissue Research 326 (2006) 483–504.
View
| DOI
F. Ferraguti, R. Shigemoto, Cell and Tissue Research 326 (2006) 483–504.
2006 |
Published |
Journal Article |
IST-REx-ID: 2745
Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons
A. Elgart, L. Erdös, B. Schlein, H. Yau, Archive for Rational Mechanics and Analysis 179 (2006) 265–283.
View
| DOI
A. Elgart, L. Erdös, B. Schlein, H. Yau, Archive for Rational Mechanics and Analysis 179 (2006) 265–283.
2006 |
Published |
Conference Paper |
IST-REx-ID: 2746
Towards the quantum Brownian motion
L. Erdös, M. Salmhofer, H. Yau, in:, World Scientific Publishing, 2006, pp. 233–257.
View
| DOI
L. Erdös, M. Salmhofer, H. Yau, in:, World Scientific Publishing, 2006, pp. 233–257.
2006 |
Published |
Journal Article |
IST-REx-ID: 2747
Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate
L. Erdös, B. Schlein, H. Yau, Communications on Pure and Applied Mathematics 59 (2006) 1659–1741.
View
| DOI
L. Erdös, B. Schlein, H. Yau, Communications on Pure and Applied Mathematics 59 (2006) 1659–1741.
2006 |
Published |
Journal Article |
IST-REx-ID: 2791
Finite lifetime of turbulence in shear flows
B. Hof, J. Westerweel, T. Schneider, B. Eckhardt, Nature 443 (2006) 59–62.
View
| DOI
B. Hof, J. Westerweel, T. Schneider, B. Eckhardt, Nature 443 (2006) 59–62.
2006 |
Published |
Journal Article |
IST-REx-ID: 2792
Observation of nonlinear travelling waves in turbulent pipe flow
B. Hof, C. Van Doorne, J. Westerweel, F. Nieuwstadt, Fluid Mechanics and Its Applications 78 (2006) 109–114.
View
| DOI
B. Hof, C. Van Doorne, J. Westerweel, F. Nieuwstadt, Fluid Mechanics and Its Applications 78 (2006) 109–114.