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


2006 | Published | Conference Paper | IST-REx-ID: 4552
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Strategy improvement for concurrent reachability games,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 291–300.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4574
D. Beyer, T. A. Henzinger, and G. Théoduloz, “Lazy shape analysis,” presented at the CAV: Computer Aided Verification, 2006, vol. 4144, pp. 532–546.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 11698
M. Henzinger, “Hyperlink analysis on the world wide web,” in Proceedings of the 16th ACM conference on Hypertext and hypermedia, Salzburg, Austria, 2005, pp. 1–3.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 11763 | OA
A. Goel, M. Henzinger, and S. Plotkin, “An online throughput-competitive algorithm for multicast routing and admission control,” Journal of Algorithms, vol. 55, no. 1. Elsevier, pp. 1–20, 2005.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 11904
M. Henzinger, B.-W. Chang, B. Milch, and S. Brin, “Query-free news search,” World Wide Web, vol. 8, no. 2. Springer Nature, pp. 101–126, 2005.
View | Files available | DOI
 

2005 | Published | Book Review | IST-REx-ID: 2647
R. Luján, R. Shigemoto, and G. López Bendito, “Glutamate and GABA receptor signalling in the developing brain,” Neuroscience, vol. 130, no. 3. Elsevier, pp. 567–580, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2648
R. Luján, J. Albasanz, R. Shigemoto, and J. Juíz, “Preferential localization of the hyperpolarization-activated cyclic nucleotide-gated cation channel subunit HCN1 in basket cell terminals of the rat cerebellum,” European Journal of Neuroscience, vol. 21, no. 8. Wiley-Blackwell, pp. 2073–2082, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2649
J. Tanaka et al., “Number and density of AMPA receptors in single synapses in immature cerebellum,” Journal of Neuroscience, vol. 25, no. 4. Society for Neuroscience, pp. 799–807, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2650
G. Nyíri, E. Szabadits, C. Cserép, K. Mackie, R. Shigemoto, and T. Freund, “GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons,” European Journal of Neuroscience, vol. 21, no. 11. Wiley-Blackwell, pp. 3034–3042, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2651
K. Kanbara et al., “Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis,” Journal of Andrology, vol. 26, no. 4. American Society of Andrology, pp. 485–493, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2652
C. Price et al., “Neurogliaform neurons form a novel inhibitory network in the hippocampal CA1 area,” Journal of Neuroscience, vol. 25, no. 29. Society for Neuroscience, pp. 6775–6786, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2653
A. Hagiwara, Y. Fukazawa, M. Deguchi Tawarada, T. Ohtsuka, and R. Shigemoto, “Differential distribution of release-related proteins in the hippocampal CA3 area as revealed by freeze-fracture replica labeling,” Journal of Comparative Neurology, vol. 489, no. 2. Wiley-Blackwell, pp. 195–216, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2654
F. Ferraguti et al., “ Metabotropic glutamate receptor 8-expressing nerve terminals target subsets of GABAergic neurons in the hippocampus,” Journal of Neuroscience, vol. 25, no. 45. Society for Neuroscience, pp. 10520–10536, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2655
Y. Wu et al., “Target-cell-specific left-right asymmetry of NMDA receptor content in Schaffer collateral synapses in ε1/NR2A knock-out mice,” Journal of Neuroscience, vol. 25, no. 40. Society for Neuroscience, pp. 9213–9226, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2656
Y. Feng et al., “Morphological evidence for GABA/glycine-cocontaining terminals in synaptic contact with neurokinin-1 receptor-expressing neurons in the sacral dorsal commissural nucleus of the rat,” Neuroscience Letters, vol. 388, no. 3. Elsevier, pp. 144–148, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2658
K. Kaneda et al., “Down-regulation of metabotropic glutamate receptor 1α in globus pallidus and substantia nigra of parkinsonian monkeys,” European Journal of Neuroscience, vol. 22, no. 12. Wiley-Blackwell, pp. 3241–3254, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2743
L. Erdös, D. Hasler, and J. Solovej, “Existence of the D0-D4 bound state: A detailed proof,” Annales Henri Poincare, vol. 6, no. 2. Birkhäuser, pp. 247–267, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2744
D. Eng and L. Erdös, “The linear Boltzmann equation as the low density limit of a random Schrödinger equation,” Reviews in Mathematical Physics, vol. 17, no. 6. World Scientific Publishing, pp. 669–743, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2788
B. Hof, C. Van Doorne, J. Westerweel, and F. Nieuwstadt, “Turbulence regeneration in pipe flow at moderate reynolds numbers,” Physical Review Letters, vol. 95, no. 21. American Physical Society, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2789
B. Hof, “Transition to turbulence in pipe flow,” Fluid Mechanics and its Applications, vol. 77. Springer, pp. 221–231, 2005.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed