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.
8920 Publications
2008 |
Published |
Conference Paper |
IST-REx-ID: 4533
L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, “Interface theories with component reuse,” presented at the EMSOFT: Embedded Software , 2008, pp. 79–88.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4534
K. Chatterjee and T. A. Henzinger, “Reduction of stochastic parity to stochastic mean-payoff games,” Information Processing Letters, vol. 106, no. 1. Elsevier, pp. 1–7, 2008.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4546
K. Chatterjee et al., “Logical reliability of interacting real-time tasks,” presented at the DATE: Design, Automation and Test in Europe, 2008, pp. 909–914.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4548
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Stochastic limit-average games are in EXPTIME,” International Journal of Game Theory, vol. 37, no. 2. Springer, pp. 219–234, 2008.
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 2451
J. Friml, “Auxin - Universal development signal in plant life,” Živa, vol. 1. CSAV, 2007.
View
2007 |
Published |
Journal Article |
IST-REx-ID: 2495
E. Kuramoto et al., “Metabotropic glutamate receptor 4-immunopositive terminals of medium-sized spiny neurons selectively form synapses with cholinergic interneurons in the rat neostriatum,” Journal of Comparative Neurology, vol. 500, no. 5. Wiley-Blackwell, pp. 908–922, 2007.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2667
M. Masugi Tokita, E. Tarusawa, M. Watanabe, E. Molnár, K. Fujimoto, and R. Shigemoto, “Number and density of AMPA receptors in individual synapses in the rat cerebellum as revealed by SDS-digested freeze-fracture replica labeling,” Journal of Neuroscience, vol. 27, no. 8. Society for Neuroscience, pp. 2135–2144, 2007.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2669
A. Brewster, Y. Chen, R. Bender, A. Yeh, R. Shigemoto, and T. Baram, “Quantitative analysis and subcellular distribution of mRNA and protein expression of the hyperpolarization-activated cyclic nucleotide-gated channels throughout development in rat hippocampus,” Cerebral Cortex, vol. 17, no. 3. Oxford University Press, pp. 702–712, 2007.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2672
G. Whitaker, D. Angoli, H. Nazzari, R. Shigemoto, and E. Accili, “HCN2 and HCN4 isoforms self-assemble and co-assemble with equal preference to form functional pacemaker channels,” Journal of Biological Chemistry, vol. 282, no. 31. American Society for Biochemistry and Molecular Biology, pp. 22900–22909, 2007.
View
| DOI
2007 |
Published |
Book Chapter |
IST-REx-ID: 2705 |
L. Erdös, “Recent developments in quantum mechanics with magnetic fields,” in Spectral Theory and Mathematical Physics: a Festschrift in Honor of Barry Simon’s 60th Birthday , vol. 76, F. Gesztesy, P. Deift, P. Galvez, P. Perry, and W. Schlag, Eds. American Mathematical Society, 2007, pp. 401–428.
View
| Download (ext.)