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.
11357 Publications
2007 |
Published |
Conference (Editor) |
IST-REx-ID: 4530
CSL: Computer Science Logic
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
View
| DOI
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
2007 |
Published |
Journal Article |
IST-REx-ID: 4531
Predictive modeling of signaling crosstalk during C. elegans vulval development
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).
View
| DOI
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).
2007 |
Published |
Conference Paper |
IST-REx-ID: 4537
Assume-guarantee synthesis
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
2007 |
Published |
Journal Article |
IST-REx-ID: 4547
Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
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 |
Conference Paper |
IST-REx-ID: 11929
Finding near-duplicate web pages: A large-scale evaluation of algorithms
M. Henzinger, in:, 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2006, pp. 284–291.
View
| DOI
M. Henzinger, in:, 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2006, pp. 284–291.
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.