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
2008 |
Published |
Journal Article |
IST-REx-ID: 4532
Doyen, Laurent, et al. “Equivalence of Labeled Markov Chains.” International Journal of Foundations of Computer Science, vol. 19, no. 3, World Scientific Publishing, 2008, pp. 549–63, doi:10.1142/S0129054108005814 .
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4533
Doyen, Laurent, et al. Interface Theories with Component Reuse. ACM, 2008, pp. 79–88, doi:10.1145/1450058.1450070.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4534
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.” Information Processing Letters, vol. 106, no. 1, Elsevier, 2008, pp. 1–7, doi:10.1016/j.ipl.2007.08.035.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4546
Chatterjee, Krishnendu, et al. Logical Reliability of Interacting Real-Time Tasks. IEEE, 2008, pp. 909–14, doi:10.1145/1403375.1403595.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4548
Chatterjee, Krishnendu, et al. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory, vol. 37, no. 2, Springer, 2008, pp. 219–34, doi:10.1007/s00182-007-0110-5.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4568
Beyer, Dirk, et al. Program Analysis with Dynamic Change of Precision. ACM, 2008, pp. 29–38, doi:10.1109/ASE.2008.13.
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 11884
Henzinger, Monika. “Search Technologies for the Internet.” Science, vol. 317, no. 5837, American Association for the Advancement of Science, 2007, pp. 468–71, doi:10.1126/science.1126557.
View
| DOI
| PubMed | Europe PMC
2007 |
Published |
Conference Paper |
IST-REx-ID: 11924
Henzinger, Monika. “Combinatorial Algorithms for Web Search Engines: Three Success Stories.” 18th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial & Applied Mathematics, 2007, pp. 1022–26.
View
2007 |
Published |
Journal Article |
IST-REx-ID: 12201
Feng, Xiaoqi, and Hugh G. Dickinson. “Packaging the Male Germline in Plants.” Trends in Genetics, vol. 23, no. 10, Elsevier BV, 2007, pp. 503–10, doi:10.1016/j.tig.2007.08.005.
View
| DOI
| PubMed | Europe PMC
2007 |
Published |
Journal Article |
IST-REx-ID: 2665
Tóth, Kinga, et al. “Morphology and Synaptic Input of Substance P Receptor-Immunoreactive Interneurons in Control and Epileptic Human Hippocampus.” Neuroscience, vol. 144, no. 2, Elsevier, 2007, pp. 495–508, doi:10.1016/j.neuroscience.2006.09.039.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2666
Luyt, Karen, et al. “Developing Oligodendrocytes Express Functional GABAB Receptors That Stimulate Cell Proliferation and Migration.” Journal of Neurochemistry, vol. 100, no. 3, Wiley-Blackwell, 2007, pp. 822–40, doi:10.1111/j.1471-4159.2006.04255.x.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2667
Masugi Tokita, Miwako, et al. “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, 2007, pp. 2135–44, doi:10.1523/JNEUROSCI.2861-06.2007.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2668
Boyes, Justin, et al. “Functional Presynaptic HCN Channels in the Rat Globus Pallidus.” European Journal of Neuroscience, vol. 25, no. 7, Wiley-Blackwell, 2007, pp. 2081–92, doi:10.1111/j.1460-9568.2007.05463.x.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2669
Brewster, Amy, et al. “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, 2007, pp. 702–12, doi:10.1093/cercor/bhk021.
View
| DOI
2007 |
Published |
Book Review |
IST-REx-ID: 2670
Masugi Tokita, Miwako, and Ryuichi Shigemoto. “High-Resolution Quantitative Visualization of Glutamate and GABA Receptors at Central Synapses.” Current Opinion in Neurobiology, vol. 17, no. 3, Elsevier, 2007, pp. 387–93, doi:10.1016/j.conb.2007.04.012.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2671
Bender, Roland, et al. “Localization of HCN1 Channels to Presynaptic Compartments: Novel Plasticity That May Contribute to Hippocampal Maturation.” Journal of Neuroscience, vol. 27, no. 17, Society for Neuroscience, 2007, pp. 4697–706, doi:10.1523/JNEUROSCI.4699-06.2007.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2672
Whitaker, Gina, et al. “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, 2007, pp. 22900–09, doi:10.1074/jbc.M610978200.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2673
Ladera, Carolina, et al. “ The Coexistence of Multiple Receptors in a Single Nerve Terminal Provides Evidence for Pre-Synaptic Integration.” Journal of Neurochemistry, vol. 103, no. 6, Wiley-Blackwell, 2007, pp. 2314–26, doi:10.1111/j.1471-4159.2007.04964.x.
View
| DOI
2007 |
Published |
Book Chapter |
IST-REx-ID: 2705 |
Erdös, László. “Recent Developments in Quantum Mechanics with Magnetic Fields.” Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday , edited by Fritz Gesztesy et al., vol. 76, American Mathematical Society, 2007, pp. 401–28.
View
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 2748
Erdös, László, et al. “Rigorous Derivation of the Gross-Pitaevskii Equation.” Physical Review Letters, vol. 98, no. 4, American Physical Society, 2007, doi:10.1103/PhysRevLett.98.040404.
View
| DOI