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


2004 | Published | Conference Paper | IST-REx-ID: 4558
Quantitative stochastic parity games
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4577
An eclipse plug-in for model checking
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4578
The BLAST query language for software verification
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4581
Generating tests from counterexamples
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 11764
Scheduling data transfers in a network and the set scheduling problem
A. Goel, M. Henzinger, S. Plotkin, E. Tardos, Journal of Algorithms 48 (2003) 314–332.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 11766 | OA
Scheduling multicasts on unit-capacity trees and meshes
M. Henzinger, S. Leonardi, Journal of Computer and System Sciences 66 (2003) 567–611.
[Published Version] View | DOI | Download Published Version (ext.)
 

2003 | Published | Conference Paper | IST-REx-ID: 11860
Query-free news search
M. Henzinger, B.-W. Chang, B. Milch, S. Brin, in:, Proceedings of the 12th International Conference on World Wide Web, Association for Computing Machinery, 2003.
View | Files available | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 11897
Improved algorithms for topic distillation in a hyperlinked environment
K. Bharat, M. Henzinger, in:, 21st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2003, pp. 104–111.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 11909 | OA
Challenges in web search engines
M. Henzinger, R. Motwani, C. Silverstein, in:, 18th International Joint Conference on Artificial Intelligence, Association for Computing Machinery, 2003, pp. 1573–1579.
[Published Version] View | Download Published Version (ext.)
 

2003 | Published | Journal Article | IST-REx-ID: 2623
Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies
M. Coesmans, P. Sillevis Smitt, D. Linden, R. Shigemoto, T. Hirano, Y. Yamakawa, A. Van Alphen, C. Luo, J. Van Der Geest, J. Kros, C. Gaillard, M. Frens, C. De Zeeuw, Annals of Neurology 53 (2003) 325–336.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2625
Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons
I. Minami, M. Kengaku, S. Smitt, R. Shigemoto, T. Hirano, European Journal of Neuroscience 17 (2003) 1023–1032.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2626
Differential expression patterns of mGluR1α in monkey nigral dopamine neurons
K. Kaneda, M. Imanishi, A. Nambu, R. Shigemoto, M. Takada, Neuroreport 14 (2003) 947–950.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2627
Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry
R. Kawakami, Y. Shinohara, Y. Kato, H. Sugiyama, R. Shigemoto, I. Ito, Science 300 (2003) 990–994.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2628
The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats
A. Momiyama, R. Silver, M. Häusser, T. Notomi, Y. Wu, R. Shigemoto, S. Cull Candy, Journal of Physiology 549 (2003) 75–92.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2629
High level of mGluR7 in the presynaptic active zones of select populations of GABAergic terminals innervating interneurons in the rat hippocampus
P. Somogyi, Y. Dalezios, R. Luján, J. Roberts, M. Watanabe, R. Shigemoto, European Journal of Neuroscience 17 (2003) 2503–2520.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2630
Expression of metabotropic glutamate receptor group I in rat gustatory papillae
T. Toyono, Y. Seta, S. Kataoka, S. Kawano, R. Shigemoto, K. Toyoshima, Cell and Tissue Research 313 (2003) 29–35.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2631
Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and NG108-15 cells
H. Higashida, J. Zhang, S. Mochida, X. Chen, Y. Shin, M. Noda, K. Hossain, N. Hoshi, M. Hashii, R. Shigemoto, S. Nakanishi, Y. Fukuda, S. Yokoyama, Journal of Neurochemistry 85 (2003) 1148–1158.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2632
Cell type-dependent expression of HCN1 in the main olfactory bulb
N. Holderith, R. Shigemoto, Z. Nusser, European Journal of Neuroscience 18 (2003) 344–354.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2633
Co-expression of metabotropic glutamate receptor 7 and N-type Ca2+ channels in single cerebrocortical nerve terminals of adult rats
C. Millán, E. Castro, M. Torres, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 278 (2003) 23955–23962.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2634
Blockade of GABAB receptors alters the tangential migration of cortical neurons
G. López Bendito, R. Luján, R. Shigemoto, P. Ganter, O. Paulsen, Z. Molnár, Cerebral Cortex 13 (2003) 932–942.
View | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed